| Publication | Date of Publication | Type |
|---|
Robustness for biochemical networks: step-by-step approach
Theoretical Computer Science | 2024-12-02 | Paper |
Analysis of spatio-temporal properties of stochastic systems using TSTL
ACM Transactions on Modeling and Computer Simulation | 2024-09-08 | Paper |
Replicated computations results (RCR) report for ``Statistical abstraction for multi-scale spatio-temporal systems
ACM Transactions on Modeling and Computer Simulation | 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
Logical Methods in Computer Science | 2023-08-26 | Paper |
A Spatial Logic for Simplicial Models
Logical Methods in Computer Science | 2023-08-26 | Paper |
A logical framework for reasoning about local and global properties of collective systems
Quantitative Evaluation of Systems | 2023-06-02 | Paper |
\textsf{FlyFast}: a scalable approach to probabilistic model-checking based on mean-field approximation
ModelEd, TestEd, TrustEd | 2022-11-09 | Paper |
| How adaptive and reliable is your program? | 2022-03-21 | 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 |
Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics.
Formal Aspects of Computing | 2021-08-30 | Paper |
| The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes | 2021-06-09 | Paper |
The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
(available as arXiv preprint) | 2021-06-09 | Paper |
An Experimental Spatio-Temporal Model Checker
Software Engineering and Formal Methods | 2021-05-18 | Paper |
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
Theoretical Computer Science | 2020-04-21 | Paper |
Fluid approximation of broadcasting systems
Theoretical Computer Science | 2020-03-20 | Paper |
| On-the-fly probabilistic model checking | 2020-02-14 | Paper |
On-the-fly probabilistic model checking
(available as arXiv preprint) | 2020-02-14 | Paper |
A calculus for collective-adaptive systems and its behavioural theory
Information and Computation | 2019-09-17 | Paper |
Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems
Quantitative Evaluation of Systems | 2019-09-17 | Paper |
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
(available as arXiv preprint) | 2018-11-02 | Paper |
A modal logic for mobile agents
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Asynchronous distributed execution of fixpoint-based computational fields
(available as arXiv preprint) | 2017-05-08 | Paper |
Model checking spatial logics for closure spaces
Logical Methods in Computer Science | 2017-04-11 | Paper |
On-the-fly fast mean-field model-checking
Trustworthy Global Computing | 2016-11-09 | Paper |
Group-by-group probabilistic bisimilarities and their logical characterizations
Trustworthy Global Computing | 2016-11-09 | Paper |
On the Power of Attribute-Based Communication
Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
Spatial logic and spatial model checking for closure spaces
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 2016-10-04 | Paper |
CaSPiS: a calculus of sessions, pipelines and services
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
\textsf{MarCaSPiS}: a Markovian extension of a calculus for services
Electronic Notes in Theoretical Computer Science | 2016-06-03 | Paper |
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
Acta Informatica | 2015-03-02 | Paper |
Specifying and Verifying Properties of Space
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
Theoretical Computer Science | 2014-07-25 | Paper |
Programming and verifying component ensembles
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
A uniform definition of stochastic process calculi
ACM Computing Surveys | 2014-06-05 | Paper |
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
Logical Methods in Computer Science | 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
Information and Computation | 2013-11-29 | Paper |
Hyperformulae, parallel deductions and intersection types
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
The Klaim project: Theory and practice
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Rate-Based Transition Systems for Stochastic Process Calculi
Automata, Languages and Programming | 2009-07-14 | Paper |
Multiple-Labelled Transition Systems for nominal calculi and their logics
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Model checking mobile stochastic logic
Theoretical Computer Science | 2007-09-03 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2087391 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1696899 (Why is no real title available?) | 2002-01-28 | Paper |
