| Publication | Date of Publication | Type |
|---|
An algebra of Boolean processes
| 2024-04-29 | Paper |
Property preserving abstractions under parallel composition
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
| 2020-12-03 | Paper |
Achieving distributed control through model checking
Formal Methods in System Design | 2012-09-27 | Paper |
Distributed implementation of systems with multiparty interactions and priorities
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Building distributed controllers for systems with priorities
The Journal of Logic and Algebraic Programming | 2011-06-07 | Paper |
Methods for knowledge based controlling of distributed systems
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Abstraction as the key for invariant verification
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
Lecture Notes in Computer Science | 2009-03-10 | Paper |
An Approach to Modelling and Verification of Component Based Systems
Lecture Notes in Computer Science | 2008-03-07 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Ensuring Properties of Interaction Systems
Program Analysis and Compilation, Theory and Practice | 2007-09-24 | Paper |
scientific article; zbMATH DE number 5173925 (Why is no real title available?)
| 2007-07-24 | Paper |
Formal Methods for the Design of Real-Time Systems
Lecture Notes in Computer Science | 2006-10-19 | Paper |
scientific article; zbMATH DE number 2043460 (Why is no real title available?)
| 2004-02-16 | Paper |
scientific article; zbMATH DE number 1951532 (Why is no real title available?)
| 2003-07-21 | Paper |
scientific article; zbMATH DE number 1905116 (Why is no real title available?)
| 2003-05-21 | Paper |
scientific article; zbMATH DE number 1744962 (Why is no real title available?)
| 2002-05-23 | Paper |
scientific article; zbMATH DE number 1728516 (Why is no real title available?)
| 2002-04-15 | Paper |
scientific article; zbMATH DE number 1670801 (Why is no real title available?)
| 2001-12-18 | Paper |
Compositional minimisation of finite state systems using interface specifications
Formal Aspects of Computing | 1996-12-01 | Paper |
Property preserving abstractions for the verification of concurrent systems
Formal Methods in System Design | 1995-04-10 | Paper |
scientific article; zbMATH DE number 177514 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177239 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 4119599 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4055005 (Why is no real title available?)
| 1987-01-01 | Paper |
A logic for the description of non-deterministic programs and their properties
Information and Control | 1986-01-01 | Paper |
A logic for the specification and proof of regular controllable processes of CCS
Acta Informatica | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3986629 (Why is no real title available?)
| 1986-01-01 | Paper |
A modal characterization of observational congruence on finite terms of CCS
Information and Control | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3913664 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3930336 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3878352 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3878351 (Why is no real title available?)
| 1984-01-01 | Paper |
