Field of study: Computer Systems and Technologies
Topics of doctoral theses (supervisor)
-
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology –
graduate 2020
Field of study: Fundamentals of Computer Science
Topics of doctoral theses (supervisor)
-
Abstraction-Based Analysis of Continuous-Time Models in System Biology –
graduate 2022
Field of study: Fundamentals of Computer Science
Topics of doctoral theses (supervisor)
-
Rule-based Modelling of Biochemical Processes: Specification and Analysis –
graduate 2023
-
Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems –
graduate 2022
Field of study: Informatics
Topics of doctoral theses (supervisor)
-
Designing Data-Parallel Graph Algorithms for Model Checking –
graduate 2012
-
Algorithms for Mean-Payoff and Energy Games –
graduate 2011
-
External Memory LTL Model Checking –
graduate 2010
-
Distributed State Space Reductions –
graduate 2008
-
Visual Coordination Networks –
graduate 2006
-
Distributed Memory LTL Model Checking –
graduate 2005
-
Using Assumptions to Distribute Model Checking –
graduate 2004
Detailed information on doctoral topics and students
