| 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
Logical Methods in Computer Science | 2024-06-27 | Paper |
Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise
(available as arXiv preprint) | 2024-02-08 | Paper |
| Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise | 2024-02-08 | Paper |
TeSSLa: temporal stream-based specification language
Lecture Notes in Computer Science | 2023-08-02 | Paper |
A survey of model learning techniques for recurrent neural networks
Lecture Notes in Computer Science | 2023-07-26 | Paper |
Symbolic runtime verification for monitoring under uncertainties and assumptions
Automated Technology for Verification and Analysis | 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
(available as arXiv preprint) | 2020-05-27 | Paper |
A robust class of data languages and an application to learning
Logical Methods in Computer Science | 2015-01-15 | Paper |
Ordered navigation on multi-attributed data words
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Ordered navigation on multi-attributed data words
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Learning Transparent Data Automata
Application and Theory of Petri Nets and Concurrency | 2014-07-08 | Paper |
Topology, monitorable properties and runtime verification
Theoretical Computer Science | 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
Developments in Language Theory | 2013-06-28 | Paper |
Three-valued abstraction for probabilistic systems
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
| Learning workflow Petri nets | 2012-03-22 | Paper |
Learning of event-recording automata
Theoretical Computer Science | 2010-11-11 | Paper |
Learning workflow Petri nets
Applications and Theory of Petri Nets | 2010-06-22 | Paper |
Comparing LTL semantics for runtime verification
Journal Of Logic And Computation | 2010-06-17 | Paper |
Regular linear temporal logic with past
Lecture Notes in Computer Science | 2010-01-14 | Paper |
Don't know for multi-valued systems
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Lecture Notes in Computer Science | 2009-08-11 | Paper |
Validation of Stochastic Systems
Lecture Notes in Computer Science | 2009-07-24 | Paper |
A brief account of runtime verification
The Journal of Logic and Algebraic Programming | 2009-07-20 | Paper |
Network invariants for real-time systems
Formal Aspects of Computing | 2009-05-27 | Paper |
Inferring Network Invariants Automatically
Automated Reasoning | 2009-03-12 | Paper |
Abstraction for Stochastic Systems by Erlang’s Method of Stages
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Impartial Anticipation in Runtime-Verification
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Learning Meets Verification
Formal Methods for Components and Objects | 2008-09-17 | Paper |
Regular Linear Temporal Logic
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Monitoring of Real-Time Properties
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
Three-Valued Abstraction for Continuous-Time Markov Chains
Computer Aided Verification | 2007-11-29 | Paper |
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
Information and Computation | 2007-08-23 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Message-passing automata are expressively equivalent to EMSO logic
Theoretical Computer Science | 2006-09-13 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2163041 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2087422 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1980918 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1969331 (Why is no real title available?) | 2003-08-24 | Paper |
| scientific article; zbMATH DE number 1954389 (Why is no real title available?) | 2003-07-28 | Paper |
Prefix-Recognizable Graphs and Monadic Logic
Lecture Notes in Computer Science | 2003-07-16 | Paper |
| scientific article; zbMATH DE number 1796139 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1705169 (Why is no real title available?) | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1696437 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1390251 (Why is no real title available?) | 2001-09-10 | Paper |
| Rewriting logic as a framework for generic verification tools | 2001-05-07 | Paper |
| scientific article; zbMATH DE number 1405445 (Why is no real title available?) | 2000-02-23 | Paper |
