| Publication | Date of Publication | Type |
|---|
Analysis of spatio-temporal properties of stochastic systems using TSTL
ACM Transactions on Modeling and Computer Simulation | 2024-09-08 | Paper |
Statistical abstraction for multi-scale spatio-temporal systems
ACM Transactions on Modeling and Computer Simulation | 2024-09-08 | Paper |
Fluid approximation-based analysis for mode-switching population dynamics
ACM Transactions on Modeling and Computer Simulation | 2024-08-08 | Paper |
Policy Synthesis for Collective Dynamics
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Active and sparse methods in smoothed model checking
| 2022-03-24 | Paper |
scientific article; zbMATH DE number 7447774 (Why is no real title available?)
| 2021-12-17 | Paper |
Geometric fluid approximation for general continuous-time Markov chains
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-10-29 | Paper |
Persistent stochastic non-interference
Fundamenta Informaticae | 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
Theoretical Computer Science | 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
Quantitative Evaluation of Systems | 2019-09-17 | Paper |
Unbiased Bayesian inference for population Markov jump processes via random truncations
Statistics and Computing | 2018-03-07 | Paper |
Replicated computations results (RCR) report for ``Semantics and efficient simulation algorithms for an expressive multi-level modeling language
ACM Transactions on Modeling and Computer Simulation | 2017-07-03 | Paper |
Automatic moment-closure approximation of spatially distributed collective adaptive systems
ACM Transactions on Modeling and Computer Simulation | 2017-06-30 | Paper |
Abstract interpretation of PEPA models
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Model checking single agent behaviours by fluid approximation
Information and Computation | 2015-06-01 | Paper |
HYPE: hybrid modelling by composition of flows
Formal Aspects of Computing | 2014-11-11 | Paper |
The benefits of sometimes not being discrete
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Improved continuous approximation of PEPA models through epidemiological examples
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
A structural approach for modelling performance of systems using skeletons
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Checking individual agent behaviours in Markov population models by fluid approximation
Lecture Notes in Computer Science | 2013-06-28 | Paper |
Fluid model checking
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Bio-PEPAd: a non-Markovian extension of Bio-PEPA
Theoretical Computer Science | 2012-03-13 | Paper |
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science | 2011-05-03 | Paper |
Stochastic process algebras
Formal Methods for Performance Evaluation | 2011-03-25 | Paper |
Structural analysis for stochastic process algebra models
Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
Formal methods for biochemical signalling pathways
Formal Methods: State of the Art and New Directions | 2010-04-23 | Paper |
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Process Algebra Modelling Styles for Biomolecular Processes
Lecture Notes in Computer Science | 2009-11-10 | Paper |
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science | 2009-08-07 | Paper |
A Function-Equivalent Components Based Simplification Technique for PEPA Models
Formal Methods and Stochastic Models for Performance Evaluation | 2009-03-12 | Paper |
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA
Theoretical Computer Science | 2008-12-12 | Paper |
Relating continuous and discrete PEPA models of signalling pathways
Theoretical Computer Science | 2008-11-06 | Paper |
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
Journal of Computer and System Sciences | 2008-09-01 | Paper |
Formal techniques for performance analysis: blending SAN and PEPA
Formal Aspects of Computing | 2007-04-19 | Paper |
A Compositional Approach to Performance Modelling
| 2005-07-29 | Paper |
scientific article; zbMATH DE number 2100582 (Why is no real title available?)
| 2004-09-14 | Paper |
scientific article; zbMATH DE number 2087800 (Why is no real title available?)
| 2004-08-11 | Paper |
Product form solution for a class of PEPA models
Performance Evaluation | 2003-06-24 | Paper |
scientific article; zbMATH DE number 1884416 (Why is no real title available?)
| 2003-03-18 | Paper |
Performance investigation of an on‐line auction system
Concurrency and Computation: Practice and Experience | 2003-02-04 | Paper |
Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation | 2003-01-21 | Paper |
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation | 2003-01-21 | Paper |
scientific article; zbMATH DE number 1786478 (Why is no real title available?)
| 2002-08-21 | Paper |
scientific article; zbMATH DE number 1538068 (Why is no real title available?)
| 2001-06-13 | Paper |
Specifications in stochastic process algebra for a robot control problem
International Journal of Production Research | 1999-04-22 | Paper |
scientific article; zbMATH DE number 956806 (Why is no real title available?)
| 1996-12-11 | Paper |
