| Publication | Date of Publication | Type |
|---|
| Robustness for biochemical networks: step-by-step approach | 2024-12-02 | Paper |
| Computing bisimilarity metrics for probabilistic timed automata | 2024-04-19 | Paper |
| Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics | 2024-03-14 | Paper |
| Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems | 2024-02-21 | Paper |
| Back to the format: a survey on SOS for probabilistic processes | 2024-02-12 | Paper |
| Weak Simulation Quasimetric in a Gossip Scenario | 2022-06-15 | Paper |
| A process calculus approach to detection and mitigation of PLC malware | 2021-10-21 | Paper |
| A probabilistic calculus of cyber-physical systems | 2021-07-21 | Paper |
| Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata | 2021-05-25 | Paper |
| A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces | 2021-05-10 | Paper |
| Compositional weak metrics for group key update | 2020-05-26 | Paper |
| On the decidability of linear bounded periodic cyber-physical systems | 2019-10-22 | Paper |
| Weak bisimulation metrics in models with nondeterminism and continuous state spaces | 2018-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553277 | 2018-11-02 | Paper |
| A semantic theory of the Internet of things | 2018-03-21 | Paper |
| A Calculus of Cyber-Physical Systems | 2017-06-01 | Paper |
| A Function Elimination Method for Checking Satisfiability of Arithmetical Logics | 2017-03-22 | Paper |
| Probabilistic bisimulation as a congruence | 2015-09-17 | Paper |
| A Specification Format for Rooted Branching Bisimulation | 2015-06-26 | Paper |
| Security Policies Enforcement Using Finite Edit Automata | 2014-06-27 | Paper |
| Automatic analysis of a non-repudiation protocol | 2013-09-20 | Paper |
| Expressive power of hybrid systems with variables, parameters and arrays | 2013-09-09 | Paper |
| Formal models of timing attacks on web privacy | 2013-07-24 | Paper |
| A study on shuffle, stopwatches and independently evolving clocks | 2013-02-04 | Paper |
| Semantic Analysis of Gossip Protocols for Wireless Sensor Networks | 2011-09-02 | Paper |
| Hybrid and First-Order Complete Extensions of CaRet | 2011-07-01 | Paper |
| Weak bisimulation for probabilistic timed automata | 2010-11-19 | Paper |
| Reachability results for timed automata with unbounded data structures | 2010-10-08 | Paper |
| A Decidable Probability Logic for Timed Probabilistic Systems | 2010-02-05 | Paper |
| Complexity and succinctness issues for linear-time hybrid logics | 2009-12-15 | Paper |
| Removing all silent transitions from timed automata | 2009-12-01 | Paper |
| \(\varepsilon\)-transitions in concurrent timed automata | 2009-07-09 | Paper |
| Design and verification of long-running transactions in a timed framework | 2008-11-20 | Paper |
| Complexity and Succinctness Issues for Linear-Time Hybrid Logics | 2008-10-27 | Paper |
| Distributed Time-Asynchronous Automata | 2008-09-17 | Paper |
| Expressive power of hybrid systems with real variables, integer variables and arrays | 2008-08-12 | Paper |
| Taylor approximation for hybrid systems | 2007-11-21 | Paper |
| Parametric probabilistic transition systems for system design and analysis | 2007-04-19 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| Information and Communications Security | 2005-08-19 | Paper |
| Monotonic hybrid systems | 2005-08-05 | Paper |
| Concurrency in timed automata | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461959 | 2004-05-18 | Paper |
| Transformations of timed cooperating automata | 2003-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782713 | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536387 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4507819 | 2000-10-10 | Paper |
