| Publication | Date of Publication | Type |
|---|
| Regular languages: from automata to logic and back | 2024-07-29 | Paper |
| A local-time semantics for negotiations | 2024-05-03 | Paper |
Knowledge transfer and information leakage in protocols
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
| Formalizing and checking multilevel consistency | 2020-08-05 | Paper |
| Time-bounded statistical analysis of resource-constrained business processes with distributed probabilistic systems | 2018-08-16 | Paper |
Effective verification of replicated data types using later appearance records (LAR)
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Checking conformance for time-constrained scenario-based specifications
Theoretical Computer Science | 2015-07-24 | Paper |
Bounded implementations of replicated data types
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Distributed Markov chains
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Distributed timed automata with independently evolving clocks
Fundamenta Informaticae | 2014-05-14 | Paper |
Finite-state automata on infinite inputs
Modern Applications of Automata Theory | 2013-02-26 | Paper |
Automata on distributed alphabets
Modern Applications of Automata Theory | 2013-02-26 | Paper |
| Model checking time-constrained scenario-based specifications | 2012-08-29 | Paper |
Assembling Sessions
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Kleene theorems for product systems
Descriptional Complexity of Formal Systems | 2011-07-29 | Paper |
Adding time to scenarios
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems | 2010-06-02 | Paper |
Netcharts: bridging the gap between HMSCs and executable specifications.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
| scientific article; zbMATH DE number 5587270 (Why is no real title available?) | 2009-07-27 | Paper |
Distributed Timed Automata with Independently Evolving Clocks
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Checking Coverage for Infinite Collections of Timed Scenarios
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
A Fresh Look at Testing for Asynchronous Communication
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Matching Scenarios with Timing Constraints
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Local Testing of Message Sequence Charts Is Difficult
Fundamentals of Computation Theory | 2008-02-26 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2096613 (Why is no real title available?) | 2004-09-06 | Paper |
| scientific article; zbMATH DE number 2086684 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2085276 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1982203 (Why is no real title available?) | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1954392 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1759427 (Why is no real title available?) | 2002-06-25 | Paper |
Models and logics for true concurrency.
Sādhanā | 2002-02-18 | Paper |
| scientific article; zbMATH DE number 1820085 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1670862 (Why is no real title available?) | 2001-12-06 | Paper |
| scientific article; zbMATH DE number 1500652 (Why is no real title available?) | 2000-11-07 | Paper |
| scientific article; zbMATH DE number 1500565 (Why is no real title available?) | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1114033 (Why is no real title available?) | 1998-02-08 | Paper |
| scientific article; zbMATH DE number 1059327 (Why is no real title available?) | 1997-09-10 | Paper |
PETRI NETS AND STEP TRANSITION SYSTEMS
International Journal of Foundations of Computer Science | 1993-05-16 | Paper |
A logical characterization of well branching event structures
Theoretical Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 4208063 (Why is no real title available?) | 1989-01-01 | Paper |
