| Publication | Date of Publication | Type |
|---|
| An overview and synthesis on timed process algebras | 2024-04-29 | Paper |
| An algebra of Boolean processes | 2024-04-29 | Paper |
What perceptron neural networks are (not) good for?
Information Sciences | 2024-04-18 | Paper |
Checking deadlock-freedom of parametric component-based systems
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
Specification and validation of autonomous driving systems: a multilevel semantic framework
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Verification of component-based systems with recursive architectures
Theoretical Computer Science | 2023-04-20 | Paper |
Structural Invariants for the Verification of Systems with Parameterized Architectures
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
Checking deadlock-freedom of parametric component-based systems
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
| Architecture diagrams: a graphical language for architecture style specification | 2020-02-17 | Paper |
Architecture diagrams: a graphical language for architecture style specification
(available as arXiv preprint) | 2020-02-17 | Paper |
The Algebra of Connectors—Structuring Interaction in BIP
IEEE Transactions on Computers | 2018-06-12 | Paper |
On the synthesis of discrete controllers for timed systems
STACS 95 | 2017-12-04 | Paper |
Compositional specification of timed systems
STACS 96 | 2017-11-16 | Paper |
Functional BIP: embedding connectors in functional programming languages
Journal of Logical and Algebraic Methods in Programming | 2017-09-12 | Paper |
Configuration logics: modeling architecture styles
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
A general framework for architecture composability
Formal Aspects of Computing | 2016-08-04 | Paper |
A Theory Agenda for Component-Based Design
Software, Services, and Systems | 2015-06-22 | Paper |
Rigorous implementation of real-time systems -- from theory to application
MSCS. Mathematical Structures in Computer Science | 2013-08-26 | Paper |
A framework for automated distributed implementation of component-based models
Distributed Computing | 2013-02-04 | Paper |
| scientific article; zbMATH DE number 6131559 (Why is no real title available?) | 2013-01-28 | Paper |
Priority scheduling of distributed systems based on model checking
Formal Methods in System Design | 2012-09-27 | Paper |
Causal semantics for the algebra of connectors
Formal Methods in System Design | 2010-09-16 | Paper |
Knowledge based scheduling of distributed systems
Time for Verification | 2010-09-07 | Paper |
Component-Based Construction of Deadlock-Free Systems
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Priority Scheduling of Distributed Systems Based on Model Checking
Computer Aided Verification | 2009-06-30 | Paper |
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects | 2009-02-12 | Paper |
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Compositional Verification for Component-Based Systems and Application
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Symbolic quality control for multimedia applications
Real-Time Systems | 2008-09-12 | Paper |
SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
25 Years of Model Checking | 2008-07-15 | Paper |
An Approach to Modelling and Verification of Component Based Systems
Lecture Notes in Computer Science | 2008-03-07 | Paper |
Ensuring Properties of Interaction Systems
Program Analysis and Compilation, Theory and Practice | 2007-09-24 | Paper |
Formal Methods for the Design of Real-Time Systems
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Composition for component-based modeling
Science of Computer Programming | 2005-05-12 | Paper |
| scientific article; zbMATH DE number 2102689 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2080772 (Why is no real title available?) | 2004-08-04 | Paper |
Decidable integration graphs.
Information and Computation | 2003-01-14 | Paper |
An algebraic framework for urgency
Information and Computation | 2003-01-14 | Paper |
Scheduler modeling based on the controller synthesis paradigm
Real-Time Systems | 2002-09-18 | Paper |
| scientific article; zbMATH DE number 1796149 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1696502 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1538037 (Why is no real title available?) | 2001-05-20 | Paper |
| scientific article; zbMATH DE number 1507211 (Why is no real title available?) | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1390333 (Why is no real title available?) | 2000-04-09 | Paper |
Property preserving abstractions for the verification of concurrent systems
Formal Methods in System Design | 1995-04-10 | Paper |
Symbolic model checking for real-time systems
Information and Computation | 1995-02-13 | Paper |
The algebra of timed processes, ATP: Theory and application
Information and Computation | 1994-10-12 | Paper |
From ATP to timed graphs and hybrid systems
Acta Informatica | 1994-07-04 | 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 |
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 3870583 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3878352 (Why is no real title available?) | 1984-01-01 | Paper |
Fairness and related properties in transition systems - a temporal logic to deal with fairness
Acta Informatica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3757688 (Why is no real title available?) | 1982-01-01 | Paper |
A unified approach for studying the properties of transition systems
Theoretical Computer Science | 1982-01-01 | Paper |
Global and local invariants in transition systems
Information and Control | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3763303 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3711387 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3622958 (Why is no real title available?) | 1979-01-01 | Paper |
Structural properties of petri nets
Mathematical Foundations of Computer Science 1978 | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3554187 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3463541 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3397449 (Why is no real title available?) | 1972-01-01 | Paper |
