Diego Latella

From MaRDI portal
Person:995463

Available identifiers

zbMath Open latella.diegoWikidataQ125798418 ScholiaQ125798418MaRDI QIDQ995463

List of research outcomes





PublicationDate of PublicationType
Embedding RCC8D in the collective spatial logic CSLCS2024-02-23Paper
On bisimilarity for polyhedral models and \texttt{SLCS}2024-01-11Paper
Minimisation of spatial models using branching bisimilarity2023-08-17Paper
Back-and-forth in space: on logics and bisimilarity in closure spaces2023-07-26Paper
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation2023-06-28Paper
Geometric Model Checking of Continuous Space2023-01-09Paper
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation2022-11-09Paper
A fully parallel calculus of synchronizing processes2022-11-02Paper
Gate splitting in LOTOS specifications using abstract interpretation2022-11-02Paper
An Experimental Spatio-Temporal Model Checker2021-05-18Paper
https://portal.mardi4nfdi.de/entity/Q52160782020-02-14Paper
Model Checking Spatial Logics for Closure Spaces2017-04-11Paper
On-the-fly Fast Mean-Field Model-Checking2016-11-09Paper
Spatial Logic and Spatial Model Checking for Closure Spaces2016-10-04Paper
\textsf{MarCaSPiS}: a Markovian extension of a calculus for services2016-06-03Paper
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically2016-01-07Paper
Specifying and Verifying Properties of Space2014-09-15Paper
A uniform definition of stochastic process calculi2014-06-05Paper
Rate-Based Transition Systems for Stochastic Process Calculi2009-07-14Paper
Assisting the design of a groupware system - Model checking usability aspects of thinkteam2009-04-29Paper
Model checking mobile stochastic logic2007-09-03Paper
On testing UML statecharts2006-08-17Paper
Global Computing2005-08-19Paper
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking2003-02-13Paper
https://portal.mardi4nfdi.de/entity/Q27695892002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27290892001-11-04Paper
Metric semantics for true concurrent real time2001-08-20Paper
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker2000-08-27Paper
https://portal.mardi4nfdi.de/entity/Q42511141999-06-17Paper
Gate splitting in LOTOS specifications using abstract interpretation1995-04-10Paper

Research outcomes over time

This page was built for person: Diego Latella