| Publication | Date of Publication | Type |
|---|
| An encoding of interaction nets in OCaml | 2025-09-03 | Paper |
| Timing is all you need | 2025-03-25 | Paper |
| Partial order reductions for timed systems | 2025-01-27 | Paper |
| Deciding properties of regular real timed processes | 2024-04-29 | Paper |
| Characterizations of parallel real-time workloads | 2024-02-28 | Paper |
Model checking, synthesis, and learning
Model Checking, Synthesis, and Learning | 2023-05-26 | Paper |
Time abstracted bisimulation: Implicit specifications and decidability
Lecture Notes in Computer Science | 2023-04-28 | Paper |
Model-checking for real-time systems
Fundamentals of Computation Theory | 2022-12-09 | Paper |
On the Analysis of Parallel Real-Time Tasks With Spin Locks
IEEE Transactions on Computers | 2022-03-23 | Paper |
| Horn clauses for communicating timed systems | 2021-06-28 | Paper |
Horn clauses for communicating timed systems
(available as arXiv preprint) | 2021-06-28 | Paper |
| Characterization of simulation by probabilistic testing | 2021-05-20 | Paper |
| Refinement of workload models for engine controllers by state space partitioning | 2020-07-28 | Paper |
Model checking bounded continuous-time extended linear duration invariants
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks
IEEE Transactions on Computers | 2018-09-20 | Paper |
Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks
IEEE Transactions on Computers | 2018-06-27 | Paper |
Schedulability analysis of a graph-based task model for mixed-criticality systems
Real-Time Systems | 2016-03-09 | Paper |
Combinatorial abstraction refinement for feasibility analysis of static priorities
Real-Time Systems | 2015-11-13 | Paper |
Graph-based models for real-time workload: a survey
Real-Time Systems | 2015-09-25 | Paper |
Universality of R-automata with Value Copying
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
An optimal resource sharing protocol for generalized multiframe tasks
Journal of Logical and Algebraic Methods in Programming | 2014-12-03 | Paper |
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems
Real-Time Systems | 2014-07-14 | Paper |
Sampled semantics of timed automata
Logical Methods in Computer Science | 2010-09-21 | Paper |
Integrated Formal Methods
Lecture Notes in Computer Science | 2009-05-07 | Paper |
R-Automata
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Sampled Universality of Timed Automata
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
Computer Aided Verification | 2007-09-05 | Paper |
Task automata: Schedulability, decidability and undecidability
Information and Computation | 2007-08-23 | Paper |
Exploring optimal solution to hardware/software partitioning for synchronous model
Formal Aspects of Computing | 2006-10-25 | Paper |
Schedulability analysis of fixed-priority systems using timed automata
Theoretical Computer Science | 2006-04-28 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 2147037 (Why is no real title available?) | 2005-03-18 | Paper |
| scientific article; zbMATH DE number 2143087 (Why is no real title available?) | 2005-03-08 | Paper |
| scientific article; zbMATH DE number 2102717 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2087522 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080041 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080067 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080209 (Why is no real title available?) | 2004-08-04 | Paper |
Compact data structures and state-space reduction for model-checking real-time systems
Real-Time Systems | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1982208 (Why is no real title available?) | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1956583 (Why is no real title available?) | 2003-07-30 | Paper |
Automated verification of an audio-control protocol using UPPAAL
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Formal design and analysis of a gear controller
International Journal on Software Tools for Technology Transfer. STTT | 2002-09-29 | Paper |
Axiomatising timed automata
Acta Informatica | 2002-08-14 | Paper |
Testing preorders for probabilistic processes can be characterized by simulations
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1629959 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1512619 (Why is no real title available?) | 2001-05-28 | Paper |
| Probabilistic extensions of process algebras. | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1400094 (Why is no real title available?) | 2000-02-06 | Paper |
Uppaal in a nutshell
International Journal on Software Tools for Technology Transfer. STTT | 1997-01-01 | Paper |
| scientific article; zbMATH DE number 176736 (Why is no real title available?) | 1993-05-18 | Paper |
