| Publication | Date of Publication | Type |
|---|
Scalable and reliable stochastic parametric verification with stochastic variational smoothed model checking
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2025-12-18 | Paper |
Conformal quantitative predictive monitoring of stochastic systems with conditional validity
Nonlinear Analysis. Hybrid Systems | 2025-06-27 | Paper |
Improved estimations of stochastic chemical kinetics by finite-state expansion
Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences | 2025-05-13 | Paper |
| Stochastic concurrent constraint programming | 2025-03-11 | Paper |
| \textsf{CoBiC}: context-dependent bioambient calculus | 2025-03-11 | Paper |
| Location aggregation of spatial population CTMC models | 2025-02-26 | Paper |
| Efficient checking of individual rewards properties in Markov population models | 2025-02-06 | Paper |
| CARMA: collective adaptive resource-sharing Markovian agents | 2025-02-06 | Paper |
| Portfolio volatility contributions of risk factors in the presence of risk factors multi-collinearity | 2025-02-05 | Paper |
| Bayesian Abstraction of Markov Population Models | 2024-03-14 | Paper |
| Reducing Spreading Processes on Networks to Markov Population Models | 2024-03-14 | Paper |
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Learning model checking and the kernel trick for signal temporal logic on stochastic processes | 2024-01-23 | Paper |
Generative abstraction of Markov population processes
Theoretical Computer Science | 2023-10-17 | Paper |
Variance reduction in stochastic reaction networks using control variates
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Signal convolution logic
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling
Quantitative Evaluation of Systems | 2023-06-02 | Paper |
Abstraction of Markov population dynamics via generative adversarial nets
(available as arXiv preprint) | 2022-05-25 | Paper |
Abstraction-guided truncations for stationary distributions of Markov population models
(available as arXiv preprint) | 2022-03-24 | Paper |
scientific article; zbMATH DE number 7471693 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471693 (Why is no real title available?) | 2022-02-09 | Paper |
Bounding mean first passage times in population continuous-time Markov chains
(available as arXiv preprint) | 2021-12-08 | Paper |
Analysis of Markov jump processes under terminal constraints
(available as arXiv preprint) | 2021-08-04 | Paper |
| Hybrid performance modelling of opportunistic networks | 2021-04-14 | Paper |
Hybrid performance modelling of opportunistic networks
(available as arXiv preprint) | 2021-04-14 | Paper |
| HYPE with stochastic events | 2021-03-10 | Paper |
HYPE with stochastic events
(available as arXiv preprint) | 2021-03-10 | Paper |
Fluid approximation of broadcasting systems
Theoretical Computer Science | 2020-03-20 | Paper |
Logic-based multi-objective design of chemical reaction networks
Hybrid Systems Biology | 2019-12-04 | Paper |
Central limit model checking
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Central limit model checking
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Control variates for stochastic simulation of chemical reaction networks
(available as arXiv preprint) | 2019-10-10 | Paper |
| Bayesian statistical parameter synthesis for linear temporal properties of stochastic models | 2019-09-16 | Paper |
Model-based whole-genome analysis of DNA methylation fidelity
Hybrid Systems Biology | 2019-05-21 | Paper |
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic
Hybrid Systems Biology | 2019-05-21 | Paper |
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
(available as arXiv preprint) | 2018-11-02 | Paper |
| Deep abstractions of chemical reaction networks | 2018-10-17 | Paper |
Model checking Markov population models by stochastic approximations
Information and Computation | 2018-09-27 | Paper |
Fluid analysis of spatio-temporal properties of agents in a population model
Analytical and Stochastic Modelling Techniques and Applications | 2018-07-06 | Paper |
| Generalized method of moments for stochastic reaction networks in equilibrium | 2018-03-22 | Paper |
Matching models across abstraction levels with Gaussian processes
(available as arXiv preprint) | 2018-03-22 | Paper |
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
(available as arXiv preprint) | 2018-01-11 | Paper |
| Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation | 2018-01-11 | Paper |
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Mean-field limits beyond ordinary differential equations
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 2016-10-04 | Paper |
Coding Theory: A General Framework and Two Inverse Problems
Fundamenta Informaticae | 2016-08-15 | Paper |
Hybrid behaviour of Markov population models
Information and Computation | 2016-03-10 | Paper |
Smoothed model checking for uncertain continuous-time Markov chains
Information and Computation | 2016-03-10 | Paper |
Fluid model checking of timed properties
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Learning and designing stochastic processes from logical constraints
Logical Methods in Computer Science | 2015-08-25 | Paper |
Data-driven statistical learning of temporal logic properties
Lecture Notes in Computer Science | 2015-08-06 | Paper |
System design of stochastic models using robustness of temporal properties
Theoretical Computer Science | 2015-06-10 | 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 |
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
On the approximation of stochastic concurrent constraint programming by master equation
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
The Importance of Being (A Little Bit) Discrete
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Stochastic concurrent constraint programming and differential equations
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
(Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program
Journal of Logic and Computation | 2013-08-27 | 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 |
Language sampling for universal grammars
Rendiconti dell'Istituto di Matematica dell'Università di Trieste | 2012-09-25 | Paper |
Spearman permutation distances and Shannon's distinguishability
Fundamenta Informaticae | 2012-07-11 | Paper |
Hybrid dynamics of stochastic -calculus
Mathematics in Computer Science | 2011-02-19 | Paper |
Stochastic programs and hybrid automata for (biological) modeling
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Hybrid dynamics of stochastic programs
Theoretical Computer Science | 2010-05-11 | Paper |
| A criterion for the stochasticity of matrices with specified order relations | 2010-01-13 | Paper |
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
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 |
Hybrid Semantics for Stochastic π-Calculus
Algebraic Biology | 2009-02-03 | Paper |
| Hamming-like distances for ill-defined strings in linguistic classification | 2008-10-23 | Paper |
Modeling biological systems in stochastic concurrent constraint programming
Constraints | 2008-09-02 | Paper |
Agent-based protein structure prediction
Multiagent and Grid Systems | 2007-11-05 | Paper |
Codeword distinguishability in minimum diversity decoding
Journal of Discrete Mathematical Sciences and Cryptography | 2007-09-18 | Paper |
| scientific article; zbMATH DE number 5117161 (Why is no real title available?) | 2007-01-19 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
FUZZY POSSIBILITIES AS UPPER PREVISIONS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2005-05-09 | Paper |
