PhD Theses supervised or reviewed by Ina Schieferdecker

[Supervised 23] Jacob Leon Kröger, "Rogue apps, hidden web tracking and ubiquitous sensors", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2022.

[Supervised 22] Kathrin Steinbach, "Regulierung algorithmenbasierter Entscheidungen. Grundrechtliche Argumentation im Kontext von Artikel 22 DSGVO", Rechtswissenschaftliche Fakultät, Westfälische Wilhelms-Universität zu Münster 2021.

[Supervised 21] Johannes Viehmann, "Modellbasiertes Security-Engineering in der Softwareentwicklung", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2019.

[Supervised 20] Nikolay Tcholtchev, "Scalable and Efficient Distributed Self-Healing with Self-Optimization Features in fixed IP Networks", 2019.

[Supervised 19] Armin Lunkeit, "Modellbasiertes Security-Engineering in der Softwareentwicklung", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2018.

[Supervised 18] Jürgen Großmann, "Testing Hybrid Systems with TTCN-3", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2014.

[Supervised 17] Diana Alina Serbanescu, "Testing Framework for Real-time And Embedded Systems", Fachbereich Mathematik und Informatik, Freie Universität Berlin 2013.

[Supervised 16] Peter Michael Kruse, "Enhanced Test Case Generation with the Classification Tree Method", Fachbereich Mathematik und Informatik, Freie Universität Berlin 2013.

[Supervised 15] Karsten Gabriel, "Interaction on Human-Centric Communication Platforms: Modelling and Analysis using Algebraic High-Level Nets and Processes", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2013.

[Supervised 14] Alain-Georges Vouffo-Feudjio, "A Methodology for Pattern-Oriented Model-Driven Testing of Reactive Software Systems", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2011.

[Supervised 13] Diana-Elena Vega, "A Methodology for Automated Interoperability Testing of Healthcare Information Systems based on an Actor Emulation Approach", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2011.

[Supervised 12] Tony Modica, "Formal Modeling, Simulation, and Validation of Communication Platforms", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2011.

[Supervised 11] Edzard Höfig, "Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2011.

[Supervised 10] Alain-Georges Vouffo Feudjio, "A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2011.

[Supervised 9] Ranganai Chaparadza, "On-Demand Monitoring: a Monitoring Paradigm for Traffic Flows in Multi-Service Self-Managing Networks", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2011.

[Supervised 8] Sebastian Wieczorek, "Modeling and Model-based Testing of Service Choreographies", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2010.

[Supervised 7] Tibor Farkas, "Regelbasierte Konformitätsprüfung kollaborativer Artefakte", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2010.

[Supervised 6] Justyna Zander-Nowicka, "Model-based Testing of Real-Time Embedded Systems in the Automotive Domain", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2008.

[Supervised 5] Augustin Kebemou, "Partitioning-Centric Modeling and Architectural Design of Automotive Embedded Systems", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2008.

[Supervised 4] George Din, "A Performance Test Design Method and its Implementation Patterns for Multi-Service Systems", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2008.

[Supervised 3] Stefan Wappler, "Automatic Generation of Object-Oriented Unit Tests Using Genetic Programming", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2007.

[Supervised 2] Zhen Ru Dai, "An Approach to Model-Driven Testing – Functional and Real-Time Testing with UML 2.0, U2TP and TTCN-3", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2006.

[Supervised 1] Baptiste Alcalde, "Advanced Techniques for Passive Testing of Communication Protocols", Institut National des Telecommunications, Evry, France 2006.

[Reviewed 34] Fabian Trautsch, "An Analysis of the Differences between Unit and Integration Testing", 2019.

[Reviewed 33] Mathias Slawik, "Managing Cloud Ecosystems - Brokering, Deployment, and Consumption", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2018.

[Reviewed 32] Alexandra Mikityuk, "Secure Remote Service Execution for Web Media Streaming", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2017.

[Reviewed 31] Markus Klems, "Experiment-Driven Evaluation of Cloud-based Distributed Systems", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2016.

[Reviewed 30] Yahya Al-Hazmi, "Unification of Monitoring Interfaces of Federated Cloud and Future Internet Testbed Infrastructures", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2016.

[Reviewed 29] Emil Alegroth, "Visual GUI Testing: Automating High-Level Software Testing in Industrial Practice", Division of Software Engineering Department of Computer Science \& Engineering Chalmers University of Technology and Goteborg University Göteborg, Sweden 2015.

[Reviewed 28] Nadim Sarrouh, "Privacy-Aware Dynamic Coalitions -- A Formal Framework", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2014.

[Reviewed 27] Daniel Ulmer, "Zeitlich präzises Steuergerätetestsystem auf Basis einer nicht echtzeitfähigen Plattform", Mathematisch-Naturwissenschaftliche Fakultät, Eberhard Karls Universität Tübingen 2012.

[Reviewed 26] Muhammad Zohaib Zafar Iqbal, "Environment Model-based System Testing of Real-Time Embedded Systems", Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, Norway 2012.

[Reviewed 25] Nisansala Prasanthi Yatapanage, "Slicing Behavior Trees for Verification of Large Systems", Institute for Integrated and Intelligent Systems, Griffith University, Australia 2011.

[Reviewed 24] Tim Ritter, "Modellbasierte Entwicklung komponentenorientierter Systeme mit besonderer Berücksichtigung von Dienstgüteeigenschaften", Mathematisch-Naturwissenschaftlichen Fakultät II, Humboldt-Universität zu Berlin 2011.

[Reviewed 23] Surya Bahadur Kathayat, "On the Development of Situated Collaborative Services", Norwegian University of Science and Technology, Faculty of Information Technology, Mathematics and Electrical Engineering, Department of Telematics, Norway 2011.

[Reviewed 22] Sigrid Eldh, "On Test Design", School of Innovation, Design and Engineering, Mälardalen University, Sweden 2011.

[Reviewed 21] Benjamin Immanuel Eberhardt Elmar Zeiß, "Quality Assurance of Test Specifications for Reactive Systems", Mathematisch-Naturwissenschaftlichen Fakultät, Georg-August-Universität zu Göttingen 2010.

[Reviewed 20] Stephan Weißleder, "Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines", Mathematisch-Naturwissenschaftlichen Fakultät II, Humboldt-Universität zu Berlin 2010.

[Reviewed 19] Daniel A. Sadilek, "Test-Driven Language Modeling", Mathematisch-Naturwissenschaftlichen Fakultät II der Humboldt-Universität zu Berlin 2010.

[Reviewed 18] Toby Myers, "The Foundations for a Scaleable Methodology for Systems Design", School of Information and Communication Technology Science, Environment, Engineering and Technology, Griffith University, Australia 2010.

[Reviewed 17] Sebastian Benz, "Generating Tests for Feature Interaction", Institut für Informatik, Technische Universität München 2010.

[Reviewed 16] Benoit Ries, "SESAME: A Model-Driven Process for the Test Selection of Small-Size Safety-Related Embedded Software", University of Luxembourg, Luxembourg 2009.

[Reviewed 15] Gabriel Schwefer, "Pattern oriented transformations between analysis and design models (POTAD)", Fakultät für Informatik und Automatisierung, Technische Universität Ilmenau 2008.

[Reviewed 14] Frank Alexander Kraemer, "Engineering Reactive Systems - A Compositional and Model-Driven Method Based on Collaborative Building Blocks", Norwegian University of Science and Technology, Trondheim, Norway 2008.

[Reviewed 13] Jens R. Calame, "Testing Reactive Systems With Data -- Enumerative Methods and Constraint Solving", Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, The Netherlands 2008.

[Reviewed 12] Ariel Sabiguero Yawelak, "From Abstract Test Suites (ATS) to Executable Test Suites (ETS): A Contribution to Conformance and Interoperability Testing.", University Rennes, France 2007.

[Reviewed 11] Jan Trowitzsch, "Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2007.

[Reviewed 10] Dirk Seifert, "Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2007.

[Reviewed 9] Ida Hogganvik, "A Graphical Approach to Security Risk Analysis", Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, Norway 2007.

[Reviewed 8] Oliver Bühler, "Evolutionärer Funktionstest von eingebetteten Systemen für abstandsbasierte Fahrerassistenzfunktionen im Automobil", Fakultät für Informations- und Kognitionswissenschaften, Eberhard-Karls-Universität Tübingen 2007.

[Reviewed 7] Jing Cong, "Load Specification and Load Generation for Multimedia Traffic Loads in Computer Networks", Fakultät Mathematik, Informatik und Naturwissenschaften, Universität Hamburg 2006.

[Reviewed 6] Christof J. Budnik, "Test Generation Using Event Sequence Graphs", Fakultät für Elektrotechnik, Informatik und Mathematik der Universität Paderborn 2006.

[Reviewed 5] Dehla Sokenou, "UML-basierter Klassen- und Integrationstest objektorientierter Programme", Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin 2005.

[Reviewed 4] Frank Werner Lammermann, "Dimensionierung quantitativer Abbruchkriterien für den evolutionären Strukturtests mit Hilfe von Software-Maßen", Mathematisch-Naturwissenschaftlichen Fakultät II, Humboldt-Universität zu Berlin 2005.

[Reviewed 3] Helmut Wolfram Neukirchen, "Languages, Tools and Patterns for the Specification of Distributed Real-Time Test", Mathematisch-Naturwissenschaftlichen Fakultät, Georg-August-Universität zu Göttingen 2004.

[Reviewed 2] Mang Li, "Virtual Teaching Interface for E-Learning Capable Simulations", Ludwig–Maximilians–University Munich 2004.

[Reviewed 1] Simon Pickin, "Test des composants logiciels pour les telecommunications", IRISA/TRISKELL, France 2003.

Automatically generated from this bibtex using the Smartbib project