Rogue apps, hidden web tracking and ubiquitous sensors
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
PhD Supervision
56 PhD theses supervised or reviewed (2003–2022).
2022 ↑
2021 ↑
Regulierung algorithmenbasierter Entscheidungen. Grundrechtliche Argumentation im Kontext von Artikel 22 DSGVO
Rechtswissenschaftliche Fakultät, Westfälische Wilhelms-Universität zu Münster
2019 ↑
Das S-Netzwerk und seine potenzielle wirtschaftliche Bedeutung
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
An Analysis of the Differences between Unit and Integration Testing
Institut für Informatik der Georg-August-Universität Göttingen
Scalable and Efficient Distributed Self-Healing with Self-Optimization Features in fixed IP Networks
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
2018 ↑
Managing Cloud Ecosystems - Brokering, Deployment, and Consumption
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Modellbasiertes Security-Engineering in der Softwareentwicklung
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
2017 ↑
Secure Remote Service Execution for Web Media Streaming
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
2016 ↑
Experiment-Driven Evaluation of Cloud-based Distributed Systems
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Unification of Monitoring Interfaces of Federated Cloud and Future Internet Testbed Infrastructures
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
2015 ↑
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
2014 ↑
Privacy-Aware Dynamic Coalitions – A Formal Framework
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Testing Hybrid Systems with TTCN-3
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
2013 ↑
Testing Framework for Real-time And Embedded Systems
Fachbereich Mathematik und Informatik, Freie Universität Berlin
Enhanced Test Case Generation with the Classification Tree Method
Fachbereich Mathematik und Informatik, Freie Universität Berlin
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
2012 ↑
Zeitlich präzises Steuergerätetestsystem auf Basis einer nicht echtzeitfähigen Plattform
Mathematisch-Naturwissenschaftliche Fakultät, Eberhard Karls Universität Tübingen
Environment Model-based System Testing of Real-Time Embedded Systems
Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, Norway
2011 ↑
Slicing Behavior Trees for Verification of Large Systems
Institute for Integrated and Intelligent Systems, Griffith University, Australia
A Methodology for Pattern-Oriented Model-Driven Testing of Reactive Software Systems
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
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
Modellbasierte Entwicklung komponentenorientierter Systeme mit besonderer Berücksichtigung von Dienstgüteeigenschaften
Mathematisch-Naturwissenschaftlichen Fakultät II, Humboldt-Universität zu Berlin
Formal Modeling, Simulation, and Validation of Communication Platforms
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
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
Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
On Test Design
School of Innovation, Design and Engineering, Mälardalen University, Sweden
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
2010 ↑
Quality Assurance of Test Specifications for Reactive Systems
Mathematisch-Naturwissenschaftlichen Fakultät, Georg-August-Universität zu Göttingen
Modeling and Model-based Testing of Service Choreographies
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
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
Test-Driven Language Modeling
Mathematisch-Naturwissenschaftlichen Fakultät II der Humboldt-Universität zu Berlin
The Foundations for a Scaleable Methodology for Systems Design
School of Information and Communication Technology Science, Environment, Engineering and Technology, Griffith University, Australia
Regelbasierte Konformitätsprüfung kollaborativer Artefakte
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Generating Tests for Feature Interaction
Institut für Informatik, Technische Universität München
2009 ↑
SESAME: A Model-Driven Process for the Test Selection of Small-Size Safety-Related Embedded Software
University of Luxembourg, Luxembourg
2008 ↑
Model-based Testing of Real-Time Embedded Systems in the Automotive Domain
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Pattern oriented transformations between analysis and design models (POTAD)
Fakultät für Informatik und Automatisierung, Technische Universität Ilmenau
Engineering Reactive Systems - A Compositional and Model-Driven Method Based on Collaborative Building Blocks
Norwegian University of Science and Technology, Trondheim, Norway
Partitioning-Centric Modeling and Architectural Design of Automotive Embedded Systems
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
A Performance Test Design Method and its Implementation Patterns for Multi-Service Systems
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Testing Reactive Systems With Data – Enumerative Methods and Constraint Solving
Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, The Netherlands
2007 ↑
From Abstract Test Suites (ATS) to Executable Test Suites (ETS): A Contribution to Conformance and Interoperability Testing.
University Rennes, France
Automatic Generation of Object-Oriented Unit Tests Using Genetic Programming
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
A Graphical Approach to Security Risk Analysis
Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, Norway
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
2006 ↑
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
Load Specification and Load Generation for Multimedia Traffic Loads in Computer Networks
Fakultät Mathematik, Informatik und Naturwissenschaften, Universität Hamburg
Test Generation Using Event Sequence Graphs
Fakultät für Elektrotechnik, Informatik und Mathematik der Universität Paderborn
Advanced Techniques for Passive Testing of Communication Protocols
Institut National des Telecommunications, Evry, France
2005 ↑
UML-basierter Klassen- und Integrationstest objektorientierter Programme
Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
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
2004 ↑
Languages, Tools and Patterns for the Specification of Distributed Real-Time Test
Mathematisch-Naturwissenschaftlichen Fakultät, Georg-August-Universität zu Göttingen
Virtual Teaching Interface for E-Learning Capable Simulations
Ludwig–Maximilians–University Munich
2003 ↑
Test des composants logiciels pour les telecommunications
IRISA/TRISKELL, France