| Publication | Date of Publication | Type |
|---|
| Iterating non-aggregative structure compositions | 2025-01-01 | Paper |
| On an invariance problem for parameterized concurrent systems | 2024-08-13 | 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 |
Decision problems in a logic for reasoning about reconfigurable distributed systems
(available as arXiv preprint) | 2022-12-07 | 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 |
| A compositional approach to the verification of hybrid systems | 2021-05-20 | Paper |
Checking deadlock-freedom of parametric component-based systems
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
Priority-based scheduling of mixed-critical jobs
Real-Time Systems | 2020-07-13 | Paper |
| Compositional parameter synthesis | 2020-01-03 | Paper |
| Local planning of multiparty interactions with bounded horizons | 2020-01-03 | Paper |
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
Formal Aspects of Computing | 2018-01-08 | Paper |
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
Formal Aspects of Computing | 2018-01-08 | Paper |
Compositional verification for timed systems based on automatic invariant generation
Logical Methods in Computer Science | 2015-10-29 | Paper |
A Theory Agenda for Component-Based Design
Software, Services, and Systems | 2015-06-22 | Paper |
Safety problems are NP-complete for flat integer programs with octagonal loops
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Deciding conditional termination
Logical Methods in Computer Science | 2014-09-05 | Paper |
Model-driven information flow security for component-based systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Verification of asynchronous circuits using timed automata
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
As soon as probable: optimal scheduling under stochastic uncertainty
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
A framework for automated distributed implementation of component-based models
Distributed Computing | 2013-02-04 | Paper |
Deciding conditional termination
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Runtime verification of component-based systems
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Performance evaluation of schedulers in a probabilistic setting
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Programs with lists are counter automata
Formal Methods in System Design | 2011-05-23 | Paper |
Verification of timed automata via satisfiability checking
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Quantitative separation logic and programs with lists
Journal of Automated Reasoning | 2010-10-08 | Paper |
Methods for knowledge based controlling of distributed systems
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Fast acceleration of ultimately periodic relations
Computer Aided Verification | 2010-08-18 | Paper |
Automatic Verification of Integer Array Programs
Computer Aided Verification | 2009-06-30 | Paper |
Flat Parametric Counter Automata
Fundamenta Informaticae | 2009-06-23 | Paper |
Iterating Octagons
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Quantitative Separation Logic and Programs with Lists
Automated Reasoning | 2008-11-27 | Paper |
Compositional Verification for Component-Based Systems and Application
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
On Flat Programs with Lists
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Flat Parametric Counter Automata
Automata, Languages and Programming | 2007-09-11 | Paper |
Programs with Lists Are Counter Automata
Computer Aided Verification | 2007-09-05 | Paper |
On Interleaving in Timed Automata
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Formal Methods for the Design of Real-Time Systems
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
| scientific article; zbMATH DE number 2102711 (Why is no real title available?) | 2004-09-24 | Paper |
State space reduction based on live variables analysis.
Science of Computer Programming | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1905116 (Why is no real title available?) | 2003-05-21 | 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 |
| scientific article; zbMATH DE number 1629962 (Why is no real title available?) | 2001-11-04 | Paper |
| scientific article; zbMATH DE number 1617317 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1487855 (Why is no real title available?) | 2000-08-10 | Paper |
Protocol verification with the Aldébaran toolset
International Journal on Software Tools for Technology Transfer. STTT | 1997-01-01 | Paper |
