| Publication | Date of Publication | Type |
|---|
| 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 | 2023-05-26 | Paper |
| Time abstracted bisimulation: Implicit specifications and decidability | 2023-04-28 | Paper |
| Model-checking for real-time systems | 2022-12-09 | Paper |
| On the Analysis of Parallel Real-Time Tasks With Spin Locks | 2022-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997235 | 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 | 2018-12-06 | Paper |
| Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks | 2018-09-20 | Paper |
| Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks | 2018-06-27 | Paper |
| Schedulability analysis of a graph-based task model for mixed-criticality systems | 2016-03-09 | Paper |
| Combinatorial abstraction refinement for feasibility analysis of static priorities | 2015-11-13 | Paper |
| Graph-based models for real-time workload: a survey | 2015-09-25 | Paper |
| Universality of R-automata with Value Copying | 2015-03-19 | Paper |
| An optimal resource sharing protocol for generalized multiframe tasks | 2014-12-03 | Paper |
| Bounding and shaping the demand of generalized mixed-criticality sporadic task systems | 2014-07-14 | Paper |
| Sampled semantics of timed automata | 2010-09-21 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| R-Automata | 2008-11-25 | Paper |
| Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times | 2008-07-03 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Sampled Universality of Timed Automata | 2007-09-07 | Paper |
| Communicating Timed Automata: The More Synchronous, the More Difficult to Verify | 2007-09-05 | Paper |
| Task automata: Schedulability, decidability and undecidability | 2007-08-23 | Paper |
| Exploring optimal solution to hardware/software partitioning for synchronous model | 2006-10-25 | Paper |
| Schedulability analysis of fixed-priority systems using timed automata | 2006-04-28 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4658723 | 2005-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4654724 | 2005-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818802 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738327 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472228 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472261 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472451 | 2004-08-04 | Paper |
| Compact data structures and state-space reduction for model-checking real-time systems | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426385 | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417925 | 2003-07-30 | Paper |
| Automated verification of an audio-control protocol using UPPAAL | 2003-02-13 | Paper |
| Formal design and analysis of a gear controller | 2002-09-29 | Paper |
| Axiomatising timed automata | 2002-08-14 | Paper |
| Testing preorders for probabilistic processes can be characterized by simulations | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729075 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508304 | 2001-05-28 | Paper |
| Probabilistic extensions of process algebras. | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939617 | 2000-02-06 | Paper |
| Uppaal in a nutshell | 1997-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036565 | 1993-05-18 | Paper |
