| Publication | Date of Publication | Type |
|---|
Embedding RCC8D in the collective spatial logic CSLCS
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
| On bisimilarity for polyhedral models and \texttt{SLCS} | 2024-01-11 | Paper |
Minimisation of spatial models using branching bisimilarity
Formal Methods | 2023-08-17 | Paper |
Back-and-forth in space: on logics and bisimilarity in closure spaces
Lecture Notes in Computer Science | 2023-07-26 | Paper |
Geometric Model Checking of Continuous Space
Logical Methods in Computer Science | 2023-01-09 | Paper |
\textsf{FlyFast}: a scalable approach to probabilistic model-checking based on mean-field approximation
ModelEd, TestEd, TrustEd | 2022-11-09 | Paper |
An Experimental Spatio-Temporal Model Checker
Software Engineering and Formal Methods | 2021-05-18 | 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 |
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
(available as arXiv preprint) | 2018-11-02 | 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 |
Spatial logic and spatial model checking for closure spaces
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 2016-10-04 | Paper |
\textsf{MarCaSPiS}: a Markovian extension of a calculus for services
Electronic Notes in Theoretical Computer Science | 2016-06-03 | Paper |
Bisimulation of labelled state-to-function transition systems coalgebraically
Logical Methods in Computer Science | 2016-01-07 | Paper |
Specifying and Verifying Properties of Space
Advanced Information Systems Engineering | 2014-09-15 | Paper |
A uniform definition of stochastic process calculi
ACM Computing Surveys | 2014-06-05 | Paper |
Rate-Based Transition Systems for Stochastic Process Calculi
Automata, Languages and Programming | 2009-07-14 | Paper |
Assisting the design of a groupware system - Model checking usability aspects of thinkteam
The Journal of Logic and Algebraic Programming | 2009-04-29 | Paper |
Model checking mobile stochastic logic
Theoretical Computer Science | 2007-09-03 | Paper |
On testing UML statecharts
The Journal of Logic and Algebraic Programming | 2006-08-17 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2080958 (Why is no real title available?) | 2004-08-04 | Paper |
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Using hybrid automata to support human factors analysis in a critical system
Formal Methods in System Design | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1701761 (Why is no real title available?) | 2002-02-05 | Paper |
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
Formal Aspects of Computing | 2000-08-27 | Paper |
Modelling and verification of PREMO synchronisable objects
Formal Aspects of Computing | 1999-07-26 | Paper |
| scientific article; zbMATH DE number 1304378 (Why is no real title available?) | 1999-06-17 | Paper |
