| Publication | Date of Publication | Type |
|---|
| Learning Mealy machines with one timer | 2024-02-02 | Paper |
| Benchmarks for automata learning and conformance testing | 2023-08-02 | Paper |
| Grey-Box Learning of Register Automata | 2023-03-21 | Paper |
| Automata Learning and Galois Connections (Invited Talk) | 2022-07-21 | Paper |
| A Myhill-Nerode theorem for register automata and symbolic trace languages | 2022-04-01 | Paper |
| Combining black-box and white-box techniques for learning register automata | 2022-02-16 | Paper |
| Learning Mealy machines with one timer | 2021-10-04 | Paper |
| A Myhill-Nerode theorem for register automata and symbolic trace languages | 2021-07-08 | Paper |
| Simulating parallel internal column contextual array grammars using two-dimensional parallel restarting automata with multiple windows | 2021-07-01 | Paper |
| Learning unions of \(k\)-testable languages | 2019-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967165 | 2019-07-03 | Paper |
| Model learning as a satisfiability modulo theories problem | 2018-06-26 | Paper |
| A theory of normed simulations | 2017-07-12 | Paper |
| Enhancing Automata Learning by Log-Based Metrics | 2016-06-17 | Paper |
| Learning Register Automata with Fresh Value Generation | 2016-02-25 | Paper |
| Generating models of infinite-state communication protocols using regular inference with abstraction | 2015-03-24 | Paper |
| Improving active Mealy machine learning for protocol conformance testing | 2014-12-05 | Paper |
| Automata Learning through Counterexample Guided Abstraction Refinement | 2012-11-08 | Paper |
| A Theory of History Dependent Abstractions for Learning Interface Automata | 2012-09-25 | Paper |
| Analysis of a clock synchronization protocol for wireless sensor networks | 2012-03-13 | Paper |
| The Theory of Timed I/O Automata | 2011-06-21 | Paper |
| The Theory of Timed I/O Automata, Second Edition | 2011-05-20 | Paper |
| Learning I/O Automata | 2010-08-31 | Paper |
| The axiomatization of override and update | 2010-06-11 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| A testing scenario for probabilistic processes | 2008-12-21 | Paper |
| Compositional Abstraction in Real-Time Model Checking | 2008-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3519383 | 2008-08-14 | Paper |
| Analysis of a biphase mark protocol with Uppaal and PVS | 2006-12-20 | Paper |
| Switched PIOA: parallel composition via distributed scheduling | 2006-12-07 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Hybrid I/O automata. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449196 | 2004-02-08 | Paper |
| Linear parametric model checking of timed automata | 2003-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552483 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769587 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754085 | 2001-11-11 | Paper |
| Testing timed automata | 2001-08-20 | Paper |
| Three logics for branching bisimulation | 1998-02-02 | Paper |
| The difference between splitting in \(n\) and \(n+1\) | 1997-10-26 | Paper |
| A note on fairness in I/O automata | 1997-02-27 | Paper |
| Action transducers and timed automata | 1996-12-01 | Paper |
| Forward and backward simulations. II: Timing-based systems | 1996-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865641 | 1996-03-27 | Paper |
| Forward and backward simulations. I. Untimed Systems | 1995-11-14 | Paper |
| Turning SOS rules into equations | 1994-06-19 | Paper |
| Modular specification of process algebras | 1993-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038723 | 1993-05-18 | Paper |
| An algebra for process creation | 1993-02-22 | Paper |
| Structured operational semantics and bisimulation as a congruence | 1993-01-16 | Paper |
| Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3771632 | 1987-01-01 | Paper |
