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
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
Gate splitting in LOTOS specifications using abstract interpretation	2022-11-02	Paper
A fully parallel calculus of synchronizing processes	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
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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Diego Latella