| 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 |
| A framework to measure the robustness of programs in the unpredictable environment | 2023-08-26 | Paper |
| Equivalences of Statecharts | 2023-06-28 | Paper |
| Weak Simulation Quasimetric in a Gossip Scenario | 2022-06-15 | Paper |
| How adaptive and reliable is your program? | 2022-03-21 | Paper |
| A probabilistic calculus of cyber-physical systems | 2021-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995155 | 2021-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992498 | 2021-06-09 | Paper |
| A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces | 2021-05-10 | Paper |
| Raiders of the lost equivalence: probabilistic branching bisimilarity | 2020-08-04 | Paper |
| CospanSpan(Graph): a Compositional Description of the Heart System | 2020-06-21 | Paper |
| Compositional weak metrics for group key update | 2020-05-26 | Paper |
| The metric linear-time branching-time spectrum on nondeterministic probabilistic processes | 2020-04-21 | Paper |
| Probabilistic divide \& congruence: branching bisimilarity | 2019-11-22 | Paper |
| Logical characterization of branching metrics for nondeterministic probabilistic transition systems | 2019-09-17 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4580323 | 2018-08-15 | Paper |
| Modal Decomposition on Nondeterministic Probabilistic Processes | 2018-03-21 | Paper |
| SOS specifications for uniformly continuous operators | 2017-11-14 | Paper |
| SOS specifications of probabilistic systems by uniformly continuous operators | 2017-09-12 | Paper |
| Compositional bisimulation metric reasoning with Probabilistic Process Calculi | 2017-04-11 | Paper |
| A Function Elimination Method for Checking Satisfiability of Arithmetical Logics | 2017-03-22 | Paper |
| Compositional Metric Reasoning with Probabilistic Process Calculi | 2015-10-01 | Paper |
| Probabilistic bisimulation as a congruence | 2015-09-17 | Paper |
| Systolic Automata and P Systems | 2015-09-08 | Paper |
| A Specification Format for Rooted Branching Bisimulation | 2015-06-26 | Paper |
| Compositional semantics and behavioural equivalences for reaction systems with restriction | 2014-08-29 | Paper |
| Notes on generative probabilistic bisimulation | 2013-12-13 | Paper |
| A Compositional Semantics of Reaction Systems with Restriction | 2013-08-05 | Paper |
| Formal models of timing attacks on web privacy | 2013-07-24 | Paper |
| Foundational aspects of multiscale modeling of biological systems with process algebras | 2012-05-30 | Paper |
| AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING | 2011-02-23 | Paper |
| Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings | 2011-01-21 | Paper |
| Compositional semantics of spiking neural P systems | 2010-08-24 | Paper |
| Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes | 2010-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192921 | 2009-08-10 | Paper |
| \(\varepsilon\)-transitions in concurrent timed automata | 2009-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601853 | 2009-02-12 | Paper |
| Non Expansive ε-Bisimulations | 2009-01-27 | Paper |
| Compositional semantics and behavioral equivalences for P systems | 2008-05-19 | Paper |
| Taylor approximation for hybrid systems | 2007-11-21 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Information and Communications Security | 2005-08-19 | Paper |
| Concurrency in timed automata | 2004-10-27 | Paper |
| Timed CCP compositionally embeds Argos and Lustre | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818752 | 2004-10-01 | Paper |
| Rule formats for compositional non-interference properties | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461959 | 2004-05-18 | Paper |
| An axiomatic semantics for the synchronous language Gentzen. | 2003-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417889 | 2003-07-30 | Paper |
| Transformations of timed cooperating automata | 2003-02-02 | Paper |
| A comparison of Statecharts step semantics | 2003-01-21 | Paper |
| On disjunction of literals in triggers of statecharts transitions. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782713 | 2002-12-02 | Paper |
| An axiomatic semantics for Esterel | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769444 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767177 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499205 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948014 | 2000-04-26 | Paper |
