| Publication | Date of Publication | Type |
|---|
| Analysis of spatio-temporal properties of stochastic systems using TSTL | 2024-09-08 | Paper |
| Statistical abstraction for multi-scale spatio-temporal systems | 2024-09-08 | Paper |
| Fluid approximation-based analysis for mode-switching population dynamics | 2024-08-08 | Paper |
| Policy Synthesis for Collective Dynamics | 2023-06-28 | Paper |
| Active and sparse methods in smoothed model checking | 2022-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384915 | 2021-12-17 | Paper |
| Geometric fluid approximation for general continuous-time Markov chains | 2021-10-29 | Paper |
| Persistent stochastic non-interference | 2021-10-25 | Paper |
| Hybrid performance modelling of opportunistic networks | 2021-04-14 | Paper |
| HYPE with stochastic events | 2021-03-10 | Paper |
| Fluid approximation of broadcasting systems | 2020-03-20 | Paper |
| Extending a Hodgkin-Huxley model for larval \textit{Drosophila} muscle excitability via particle swarm fitting | 2019-10-10 | Paper |
| Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems | 2019-09-17 | Paper |
| Unbiased Bayesian inference for population Markov jump processes via random truncations | 2018-03-07 | Paper |
| Replicated computations results (RCR) report for ``Semantics and efficient simulation algorithms for an expressive multi-level modeling language | 2017-07-03 | Paper |
| Automatic moment-closure approximation of spatially distributed collective adaptive systems | 2017-06-30 | Paper |
| Abstract interpretation of PEPA models | 2016-03-23 | Paper |
| Model checking single agent behaviours by fluid approximation | 2015-06-01 | Paper |
| HYPE: hybrid modelling by composition of flows | 2014-11-11 | Paper |
| The benefits of sometimes not being discrete | 2014-09-15 | Paper |
| HYPE Applied to the Modelling of Hybrid Biological Systems | 2014-05-13 | Paper |
| Improved continuous approximation of PEPA models through epidemiological examples | 2014-03-21 | Paper |
| Some investigations concerning the CTMC and the ODE model derived from bio-PEPA | 2014-03-21 | Paper |
| Bio-PEPA: an extension of the process algebra PEPA for biochemical networks | 2014-01-17 | Paper |
| A structural approach for modelling performance of systems using skeletons | 2014-01-17 | Paper |
| Checking individual agent behaviours in Markov population models by fluid approximation | 2013-06-28 | Paper |
| Fluid model checking | 2012-09-25 | Paper |
| Bio-PEPAd: a non-Markovian extension of Bio-PEPA | 2012-03-13 | Paper |
| A semantic equivalence for Bio-PEPA based on discretisation of continuous values | 2011-05-03 | Paper |
| Stochastic process algebras | 2011-03-25 | Paper |
| Structural analysis for stochastic process algebra models | 2011-01-21 | Paper |
| Formal methods for biochemical signalling pathways | 2010-04-23 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| Process Algebra Modelling Styles for Biomolecular Processes | 2009-11-10 | Paper |
| HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour | 2009-10-22 | Paper |
| Bio-PEPA: A framework for the modelling and analysis of biological systems | 2009-08-07 | Paper |
| A Function-Equivalent Components Based Simplification Technique for PEPA Models | 2009-03-12 | Paper |
| Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA | 2008-12-12 | Paper |
| Relating continuous and discrete PEPA models of signalling pathways | 2008-11-06 | Paper |
| Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models | 2008-09-01 | Paper |
| Formal techniques for performance analysis: blending SAN and PEPA | 2007-04-19 | Paper |
| A Compositional Approach to Performance Modelling | 2005-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817054 | 2004-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738769 | 2004-08-11 | Paper |
| Product form solution for a class of PEPA models | 2003-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798038 | 2003-03-18 | Paper |
| Performance investigation of an on‐line auction system | 2003-02-04 | Paper |
| Unified specification and performance evaluation using stochastic process algebras | 2003-01-21 | Paper |
| Product form solution for an insensitive stochastic process algebra structure | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547770 | 2002-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518928 | 2001-06-13 | Paper |
| Specifications in stochastic process algebra for a robot control problem | 1999-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687213 | 1996-12-11 | Paper |
