Diego Latella

Available identifiers

zbMath Open latella.diegoWikidataQ125798418 ScholiaQ125798418MaRDI QIDQ995463

List of research outcomes

Publication	Date of Publication	Type
Embedding RCC8D in the collective spatial logic CSLCS	2024-02-23	Paper
On bisimilarity for polyhedral models and \texttt{SLCS}	2024-01-11	Paper
Minimisation of spatial models using branching bisimilarity	2023-08-17	Paper
Back-and-forth in space: on logics and bisimilarity in closure spaces	2023-07-26	Paper
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation	2023-06-28	Paper
Geometric Model Checking of Continuous Space	2023-01-09	Paper
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation	2022-11-09	Paper
A fully parallel calculus of synchronizing processes	2022-11-02	Paper
Gate splitting in LOTOS specifications using abstract interpretation	2022-11-02	Paper
An Experimental Spatio-Temporal Model Checker	2021-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q5216078	2020-02-14	Paper
Model Checking Spatial Logics for Closure Spaces	2017-04-11	Paper
On-the-fly Fast Mean-Field Model-Checking	2016-11-09	Paper
Spatial Logic and Spatial Model Checking for Closure Spaces	2016-10-04	Paper
\textsf{MarCaSPiS}: a Markovian extension of a calculus for services	2016-06-03	Paper
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically	2016-01-07	Paper
Specifying and Verifying Properties of Space	2014-09-15	Paper
A uniform definition of stochastic process calculi	2014-06-05	Paper
Rate-Based Transition Systems for Stochastic Process Calculi	2009-07-14	Paper
Assisting the design of a groupware system - Model checking usability aspects of thinkteam	2009-04-29	Paper
Model checking mobile stochastic logic	2007-09-03	Paper
On testing UML statecharts	2006-08-17	Paper
Global Computing	2005-08-19	Paper
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2769589	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2729089	2001-11-04	Paper
Metric semantics for true concurrent real time	2001-08-20	Paper
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker	2000-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4251114	1999-06-17	Paper
Gate splitting in LOTOS specifications using abstract interpretation	1995-04-10	Paper

Research outcomes over time

This page was built for person: Diego Latella