| Publication | Date of Publication | Type |
|---|
| Synchronous agents, verification, and blame -- a deontic view | 2024-09-13 | Paper |
| TeSSLa-ROS-bridge -- runtime verification of robotic systems | 2024-09-13 | Paper |
| Analyzing robustness of Angluin's \(L^*\) algorithm in presence of noise | 2024-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6191009 | 2024-02-08 | Paper |
| TeSSLa: temporal stream-based specification language | 2023-08-02 | Paper |
| A survey of model learning techniques for recurrent neural networks | 2023-07-26 | Paper |
| Symbolic runtime verification for monitoring under uncertainties and assumptions | 2023-06-02 | Paper |
| Property-directed verification and robustness certification of recurrent neural networks | 2022-06-22 | Paper |
| Model-Checking Counting Temporal Logics on Flat Structures | 2020-05-27 | Paper |
| A Robust Class of Data Languages and an Application to Learning | 2015-01-15 | Paper |
| Ordered Navigation on Multi-attributed Data Words | 2014-09-15 | Paper |
| Learning Transparent Data Automata | 2014-07-08 | Paper |
| Topology, monitorable properties and runtime verification | 2014-06-10 | Paper |
| Inference of timed transition systems | 2013-10-02 | Paper |
| \textsc{Upp}DMC: a distributed model checker for fragments of the \(\mu\)-calculus | 2013-09-25 | Paper |
| Insights to Angluin's learning | 2013-09-20 | Paper |
| Network invariants for real-time systems | 2013-09-09 | Paper |
| Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\) | 2013-08-30 | Paper |
| A Fresh Approach to Learning Register Automata | 2013-06-28 | Paper |
| Three-valued abstraction for probabilistic systems | 2012-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3225714 | 2012-03-22 | Paper |
| Learning of event-recording automata | 2010-11-11 | Paper |
| Learning Workflow Petri Nets | 2010-06-22 | Paper |
| Comparing LTL Semantics for Runtime Verification | 2010-06-17 | Paper |
| Regular Linear Temporal Logic with Past | 2010-01-14 | Paper |
| Don’t Know for Multi-valued Systems | 2009-12-01 | Paper |
| Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation | 2009-08-11 | Paper |
| Validation of Stochastic Systems | 2009-07-24 | Paper |
| A brief account of runtime verification | 2009-07-20 | Paper |
| Network invariants for real-time systems | 2009-05-27 | Paper |
| Inferring Network Invariants Automatically | 2009-03-12 | Paper |
| Abstraction for Stochastic Systems by Erlang’s Method of Stages | 2008-11-25 | Paper |
| Impartial Anticipation in Runtime-Verification | 2008-11-20 | Paper |
| Learning Meets Verification | 2008-09-17 | Paper |
| Regular Linear Temporal Logic | 2008-09-17 | Paper |
| Monitoring of Real-Time Properties | 2008-04-17 | Paper |
| Three-Valued Abstraction for Continuous-Time Markov Chains | 2007-11-29 | Paper |
| Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning | 2007-09-03 | Paper |
| When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus | 2007-08-23 | Paper |
| Model Checking Software | 2007-05-02 | Paper |
| Message-passing automata are expressively equivalent to EMSO logic | 2006-09-13 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673428 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738217 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428292 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422788 | 2003-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415260 | 2003-07-28 | Paper |
| Prefix-Recognizable Graphs and Monadic Logic | 2003-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551158 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771064 | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766537 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934536 | 2001-09-10 | Paper |
| Rewriting logic as a framework for generic verification tools | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938419 | 2000-02-23 | Paper |
