| Publication | Date of Publication | Type |
|---|
| A linear-time model-checking algorithm for the alternation-free modal mu-calculus | 2024-04-29 | Paper |
| Active automata learning as black-box search and lazy partition refinement | 2023-07-26 | Paper |
| From languages to behaviors and back | 2023-07-26 | Paper |
| Bisimulation collapse and the process taxonomy | 2023-06-28 | Paper |
| Model checking, synthesis, and learning | 2023-05-26 | Paper |
| Never-stop context-free learning | 2023-05-26 | Paper |
| A Context-Free Symbiosis of Runtime Verification and Automata Learning | 2023-04-13 | Paper |
| Unifying models | 2022-11-09 | Paper |
| Data flow analysis as model checking | 2022-08-16 | Paper |
| Property-oriented expansion | 2022-02-16 | Paper |
| Generative program analysis and beyond: the power of domain-specific languages (invited paper) | 2021-10-18 | Paper |
| Quantitative comparison of estimations for the density within pedestrian streams | 2020-08-11 | Paper |
| Characteristic invariants in Hennessy-Milner logic | 2020-05-26 | Paper |
| Property-Preserving Parallel Decomposition | 2020-02-24 | Paper |
| The fundamental diagram of pedestrian movement revisited | 2019-07-09 | Paper |
| Local model checking for context-free processes | 2019-03-29 | Paper |
| Model checking the full modal mu-calculus for infinite sequential processes | 2018-07-04 | Paper |
| Mathematical Foundations of Advanced Informatics | 2018-05-28 | Paper |
| Active learning for extended finite state machines | 2016-08-04 | Paper |
| Playing with Abstraction and Representation | 2016-03-23 | Paper |
| Sparse code motion | 2015-03-17 | Paper |
| Learning register automata: from languages to program structures | 2014-12-05 | Paper |
| A succinct canonical register automaton model | 2014-12-03 | Paper |
| Grundlagen der höheren Informatik | 2013-11-15 | Paper |
| A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations | 2012-11-21 | Paper |
| Demonstrating Learning of Register Automata | 2012-06-29 | Paper |
| Inferring Canonical Register Automata | 2012-06-15 | Paper |
| A Succinct Canonical Register Automaton Model | 2011-10-07 | Paper |
| Quality Engineering: Leveraging Heterogeneous Information | 2011-02-15 | Paper |
| Automata Learning with Automated Alphabet Abstraction Refinement | 2011-02-15 | Paper |
| An elementary bisimulation decision procedure for arbitrary context-free processes | 2010-06-17 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601112 | 2009-02-09 | Paper |
| ViDoC - Visual Design of Optimizing Compilers | 2007-09-24 | Paper |
| Dynamic and formal verification of embedded systems: A comparative survey | 2006-09-28 | Paper |
| High-order compact solvers for the three-dimensional Poisson equation | 2005-12-27 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738314 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738340 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738487 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463175 | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414375 | 2003-07-25 | Paper |
| Correction of finite size effects in molecular dynamics applied to the friction coefficient of a Brownian particle | 2002-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531767 | 2002-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2743709 | 2002-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764125 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2712587 | 2001-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760246 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518888 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494381 | 2000-08-10 | Paper |
| Model checking the full modal mu-calculus for infinite sequential processes | 2000-01-12 | Paper |
| The electronic tool integration platform: Concepts and design | 1997-01-01 | Paper |
| Priority as extremal probability | 1996-12-01 | Paper |
| Compositional minimisation of finite state systems using interface specifications | 1996-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847017 | 1996-05-28 | Paper |
| Reactive, generative, and stratified models of probabilistic processes | 1995-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764629 | 1995-05-04 | Paper |
| Generating data flow analysis algorithms from modal specifications | 1994-07-21 | Paper |
| Characteristic formulae for processes with divergence | 1994-05-05 | Paper |
| A linear-time model-checking algorithm for the alternation-free modal mu- calculus | 1993-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036558 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037089 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037383 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038674 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3996243 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975169 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975170 | 1992-06-26 | Paper |
| Finite constants: Characterizations of a new decidable set of constants | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3793667 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721632 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713531 | 1986-01-01 | Paper |
| A numerical method for the evaluation of an equilibrium configuration of a toroidal pinch | 1978-01-01 | Paper |
