| Publication | Date of Publication | Type |
|---|
| Robustness for biochemical networks: step-by-step approach | 2024-12-02 | Paper |
| Analysis of spatio-temporal properties of stochastic systems using TSTL | 2024-09-08 | Paper |
| Replicated computations results (RCR) report for ``Statistical abstraction for multi-scale spatio-temporal systems | 2024-09-08 | Paper |
| Implementing a CTL model checker with \(\mu \mathcal{G}\), a language for programming graph neural networks | 2024-01-11 | Paper |
| A framework to measure the robustness of programs in the unpredictable environment | 2023-08-26 | Paper |
| A Spatial Logic for Simplicial Models | 2023-08-26 | Paper |
| A logical framework for reasoning about local and global properties of collective systems | 2023-06-02 | Paper |
| \textsf{FlyFast}: a scalable approach to probabilistic model-checking based on mean-field approximation | 2022-11-09 | Paper |
| How adaptive and reliable is your program? | 2022-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028457 | 2022-02-09 | Paper |
| Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. | 2021-08-30 | Paper |
| The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes | 2021-06-09 | Paper |
| An Experimental Spatio-Temporal Model Checker | 2021-05-18 | Paper |
| The metric linear-time branching-time spectrum on nondeterministic probabilistic processes | 2020-04-21 | Paper |
| Fluid approximation of broadcasting systems | 2020-03-20 | Paper |
| On-the-fly probabilistic model checking | 2020-02-14 | Paper |
| A calculus for collective-adaptive systems and its behavioural theory | 2019-09-17 | Paper |
| Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems | 2019-09-17 | Paper |
| Qualitative and quantitative monitoring of spatio-temporal properties with SSTL | 2018-11-02 | Paper |
| A modal logic for mobile agents | 2017-07-12 | Paper |
| Asynchronous distributed execution of fixpoint-based computational fields | 2017-05-08 | Paper |
| Model checking spatial logics for closure spaces | 2017-04-11 | Paper |
| On-the-fly fast mean-field model-checking | 2016-11-09 | Paper |
| Group-by-group probabilistic bisimilarities and their logical characterizations | 2016-11-09 | Paper |
| On the Power of Attribute-Based Communication | 2016-10-19 | Paper |
| Spatial logic and spatial model checking for closure spaces | 2016-10-04 | Paper |
| CaSPiS: a calculus of sessions, pipelines and services | 2016-07-27 | Paper |
| \textsf{MarCaSPiS}: a Markovian extension of a calculus for services | 2016-06-03 | Paper |
| Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes | 2015-03-02 | Paper |
| Specifying and Verifying Properties of Space | 2014-09-15 | Paper |
| Relating strong behavioral equivalences for processes with nondeterminism and probabilities | 2014-07-25 | Paper |
| Programming and verifying component ensembles | 2014-07-24 | Paper |
| A uniform definition of stochastic process calculi | 2014-06-05 | Paper |
| Revisiting trace and testing equivalences for nondeterministic and probabilistic processes | 2014-03-24 | Paper |
| Multi labelled transition systems: a semantic framework for nominal calculi | 2013-12-04 | Paper |
| A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences | 2013-11-29 | Paper |
| Hyperformulae, parallel deductions and intersection types | 2013-04-19 | Paper |
| Revisiting trace and testing equivalences for nondeterministic and probabilistic processes | 2012-06-22 | Paper |
| The Klaim project: Theory and practice | 2010-02-05 | Paper |
| Rate-Based Transition Systems for Stochastic Process Calculi | 2009-07-14 | Paper |
| Multiple-Labelled Transition Systems for nominal calculi and their logics | 2008-04-10 | Paper |
| Model checking mobile stochastic logic | 2007-09-03 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738174 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767185 | 2002-01-28 | Paper |
