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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Diego Latella