| Publication | Date of Publication | Type |
|---|
| Nondeterminism and guarded commands | 2024-10-28 | Paper |
scientific article; zbMATH DE number 7830376 (Why is no real title available?)
(available as arXiv preprint) | 2024-04-10 | Paper |
| Concurrent hyperproperties | 2024-02-28 | Paper |
Spatial and timing properties in highway traffic
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Model checking, synthesis, and learning
Model Checking, Synthesis, and Learning | 2023-05-26 | Paper |
High-level representation of benchmark families for Petri games
Model Checking, Synthesis, and Learning | 2023-05-26 | Paper |
Model Checking Branching Properties on Petri Nets with Transits
1517.68233 | 2022-12-22 | Paper |
A case study in transformational design of concurrent systems
Lecture Notes in Computer Science | 2022-11-02 | Paper |
| The synthesis problem for repeatedly communicating Petri games | 2022-08-19 | Paper |
Assessing the Success and Impact of Hoare’s Logic
Theories of Programming | 2022-02-14 | Paper |
| Petri games: synthesis of distributed systems with causal memory | 2021-06-24 | Paper |
A sound and complete Hoare logic for dynamically-typed, object-oriented programs
(available as arXiv preprint) | 2021-05-20 | Paper |
\textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
(available as arXiv preprint) | 2021-02-09 | Paper |
Model checking data flows in concurrent network updates
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Solving high-level Petri games
Acta Informatica | 2020-05-26 | Paper |
Formalising a hazard warning communication protocol with timed automata
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Fifty years of Hoare's logic
Formal Aspects of Computing | 2019-12-18 | Paper |
Fifty years of Hoare's logic
Formal Aspects of Computing | 2019-12-18 | Paper |
Interfaces between languages for communicating systems
Automata, Languages and Programming | 2019-12-04 | Paper |
Petri games: synthesis of distributed systems with causal memory
Information and Computation | 2017-03-16 | Paper |
Structural transformations for data-enriched real-time systems
Formal Aspects of Computing | 2015-09-03 | Paper |
Automatic verification of combined specifications: an overview
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Proving safety of traffic manoeuvres on country roads
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Layered reasoning for randomized distributed algorithms
Formal Aspects of Computing | 2013-03-22 | Paper |
Verification of object-oriented programs: a transformational approach
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Layered composition for timed automata
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Kleene, Rabin, and Scott Are Available
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Fairness for dynamic control
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
Explicit fair scheduling for dynamic control
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Specification and inheritance in CSP-OZ.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Verification of sequential and concurrent programs
Texts in Computer Science | 2009-09-10 | Paper |
Modular Verification of Recursive Programs
Languages: From Formal to Natural | 2009-06-03 | Paper |
| Real-Time Systems | 2008-10-09 | Paper |
Automating Verification of Cooperation, Control, and Design in Traffic Applications
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Integrating a formal method into a software engineering process with UML and Java
Formal Aspects of Computing | 2008-04-09 | Paper |
Verification of cooperating traffic agents
International Journal of Control | 2007-05-18 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming | 2005-05-12 | Paper |
| scientific article; zbMATH DE number 2143088 (Why is no real title available?) | 2005-03-08 | Paper |
| scientific article; zbMATH DE number 2086955 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1988974 (Why is no real title available?) | 2003-10-20 | Paper |
| scientific article; zbMATH DE number 1988984 (Why is no real title available?) | 2003-10-20 | Paper |
| scientific article; zbMATH DE number 1693515 (Why is no real title available?) | 2002-01-22 | Paper |
| Trace-oriented models of concurrency | 2001-12-18 | Paper |
Transformational design of real-time systems. I: From requirements to program specifications
Acta Informatica | 1999-03-30 | Paper |
| scientific article; zbMATH DE number 1032897 (Why is no real title available?) | 1997-07-09 | Paper |
Programmverifikation
Springer-Lehrbuch | 1994-05-16 | Paper |
| scientific article; zbMATH DE number 50008 (Why is no real title available?) | 1993-01-23 | Paper |
| Nets, Terms and Formulas | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 17795 (Why is no real title available?) | 1992-06-26 | Paper |
Correctness of concurrent processes
Theoretical Computer Science | 1992-06-25 | Paper |
Hiding in stream semantics of uniform concurrency
Acta Informatica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4119656 (Why is no real title available?) | 1989-01-01 | Paper |
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
Journal of Computer and System Sciences | 1988-01-01 | Paper |
Readies and Failures in the Algebra of Communicating Processes
SIAM Journal on Computing | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4018374 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4037225 (Why is no real title available?) | 1987-01-01 | Paper |
Infinite streams and finite observations in the semantics of uniform concurrency
Theoretical Computer Science | 1987-01-01 | Paper |
Specification-oriented semantics for communicating processes
Acta Informatica | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3980464 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3963182 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3926214 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3903937 (Why is no real title available?) | 1985-01-01 | Paper |
Correctness of programs with Pascal-like procedures without global variables
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3890707 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3888900 (Why is no real title available?) | 1984-01-01 | Paper |
Proof rules and transformations dealing with fairness
Science of Computer Programming | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3926215 (Why is no real title available?) | 1983-01-01 | Paper |
On the notion of expressiveness and the rule of adaptation
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3755844 (Why is no real title available?) | 1982-01-01 | Paper |
Sound and complete Hoare-like calculi based on copy rules
Acta Informatica | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3835316 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3767015 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3688676 (Why is no real title available?) | 1980-01-01 | Paper |
