| 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? | 2024-04-18 | Paper |
| Checking deadlock-freedom of parametric component-based systems | 2023-11-24 | Paper |
| Specification and validation of autonomous driving systems: a multilevel semantic framework | 2023-08-10 | Paper |
| Verification of component-based systems with recursive architectures | 2023-04-20 | Paper |
| Structural Invariants for the Verification of Systems with Parameterized Architectures | 2022-10-13 | Paper |
| Checking deadlock-freedom of parametric component-based systems | 2021-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216331 | 2020-02-17 | Paper |
| The Algebra of Connectors—Structuring Interaction in BIP | 2018-06-12 | Paper |
| On the synthesis of discrete controllers for timed systems | 2017-12-04 | Paper |
| Compositional specification of timed systems | 2017-11-16 | Paper |
| Functional BIP: embedding connectors in functional programming languages | 2017-09-12 | Paper |
| Configuration logics: modeling architecture styles | 2016-11-30 | Paper |
| A general framework for architecture composability | 2016-08-04 | Paper |
| A Theory Agenda for Component-Based Design | 2015-06-22 | Paper |
| Rigorous implementation of real-time systems -- from theory to application | 2013-08-26 | Paper |
| A framework for automated distributed implementation of component-based models | 2013-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904104 | 2013-01-28 | Paper |
| Priority scheduling of distributed systems based on model checking | 2012-09-27 | Paper |
| Causal semantics for the algebra of connectors | 2010-09-16 | Paper |
| Knowledge Based Scheduling of Distributed Systems | 2010-09-07 | Paper |
| Component-Based Construction of Deadlock-Free Systems | 2009-08-06 | Paper |
| Priority Scheduling of Distributed Systems Based on Model Checking | 2009-06-30 | Paper |
| Causal Semantics for the Algebra of Connectors | 2009-02-12 | Paper |
| A Notion of Glue Expressiveness for Component-Based Systems | 2008-11-25 | Paper |
| Compositional Verification for Component-Based Systems and Application | 2008-11-20 | Paper |
| Symbolic quality control for multimedia applications | 2008-09-12 | Paper |
| SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR | 2008-07-15 | Paper |
| An Approach to Modelling and Verification of Component Based Systems | 2008-03-07 | Paper |
| Ensuring Properties of Interaction Systems | 2007-09-24 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| Composition for component-based modeling | 2005-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817527 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473739 | 2004-08-04 | Paper |
| Decidable integration graphs. | 2003-01-14 | Paper |
| An algebraic framework for urgency | 2003-01-14 | Paper |
| Scheduler modeling based on the controller synthesis paradigm | 2002-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551173 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766638 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518892 | 2001-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503931 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934622 | 2000-04-09 | Paper |
| Property preserving abstractions for the verification of concurrent systems | 1995-04-10 | Paper |
| Symbolic model checking for real-time systems | 1995-02-13 | Paper |
| The algebra of timed processes, ATP: Theory and application | 1994-10-12 | Paper |
| From ATP to timed graphs and hybrid systems | 1994-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3790614 | 1987-01-01 | Paper |
| A logic for the description of non-deterministic programs and their properties | 1986-01-01 | Paper |
| A logic for the specification and proof of regular controllable processes of CCS | 1986-01-01 | Paper |
| A modal characterization of observational congruence on finite terms of CCS | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690206 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703286 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336680 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343432 | 1984-01-01 | Paper |
| Fairness and related properties in transition systems - a temporal logic to deal with fairness | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3940830 | 1982-01-01 | Paper |
| A unified approach for studying the properties of transition systems | 1982-01-01 | Paper |
| Global and local invariants in transition systems | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3945590 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902493 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4185813 | 1979-01-01 | Paper |
| Structural properties of petri nets | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128722 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4048977 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5665123 | 1972-01-01 | Paper |
