Diego Latella

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 40

Top Venues

CoRR

QAPL

COORDINATION

Log. Methods Comput. Sci.

Publications

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
. FORTE (2024)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR (2024)
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Polyhedral Models and SLCS. FORTE (2023)
Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
Minimisation of Spatial Models Using Branching Bisimilarity. FM (2023)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR (2023)
Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. HCI (38) (2022)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) (2022)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. 18 (4) (2022)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR (2021)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. CoRR (2021)
Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops (2021)
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
Spatial Model Checking for Smart Stations - Research Challenges. FMICS (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod (2021)
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Feasibility of Spatial Model Checking for Nevus Segmentation. FormaliSE@ICSE (2021)
Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. SPIN (2021)
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Using Spatial Logic and Model Checking for Nevus Segmentation. CoRR (2020)
Nicolas Gast, Diego Latella, Mieke Massink
Refined Mean Field Analysis of the Gossip Shuffle Protocol - extended version -. CoRR (2020)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR (2020)
Nicolas Gast, Diego Latella, Mieke Massink
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. COORDINATION (2020)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. TACAS (1) (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Innovating Medical Image Analysis via Spatial Logics. From Software Engineering to Formal Methods and Tools, and Back (2019)
Vincenzo Ciancia, Diego Latella, Mieke Massink
Embedding RCC8D in the Collective Spatial Logic CSLCS. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. ERCIM News 2019 (118) (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). CoRR (2018)
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Spatial Logics and Model Checking for Medical Imaging (Extended Version). CoRR (2018)
Nicolas Gast, Diego Latella, Mieke Massink
A refined mean field approximation of synchronous discrete-time population models. CoRR (2018)
Nicolas Gast, Diego Latella, Mieke Massink
A Refined Mean Field Approximation for Synchronous Population Processes. SIGMETRICS Perform. Evaluation Rev. 46 (2) (2018)
Nicolas Gast, Diego Latella, Mieke Massink
A refined mean field approximation of synchronous discrete-time population models. Perform. Evaluation 126 (2018)
Diego Latella, Michele Loreti, Mieke Massink
FlyFast: A Mean Field Model Checker. TACAS (2) (2017)
Diego Latella, Mieke Massink
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination. QAPL@ETAPS (2017)
Diego Latella, Michele Loreti, Mieke Massink
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd (2017)
Vincenzo Ciancia, Diego Latella, Mieke Massink
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. COORDINATION (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM (2016)
Diego Latella
On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract. FORECAST@STAF (2016)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. ISoLA (1) (2016)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. FORECAST@STAF (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12 (4) (2016)
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL (2015)
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
An Experimental Spatio-Temporal Model Checker. SEFM Workshops (2015)
Diego Latella, Mieke Massink, Erik P. de Vink
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. 11 (4) (2015)
Diego Latella, Mieke Massink, Erik P. de Vink
A Definition Scheme for Quantitative Bisimulation. QAPL (2015)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas
Exploring Spatio-temporal Properties of Bike-Sharing Systems. SASO Workshops (2015)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems (2015)
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops (2015)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW (2015)
Diego Latella, Michele Loreti, Mieke Massink
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION (2015)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110 (2015)
Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops (2014)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Probabilistic Model Checking. ICE (2014)
Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014 (98) (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space - Extended Version. CoRR (2014)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space. IFIP TCS (2014)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fast Mean-Field Model-Checking. TGC (2013)
Luca Bortolussi, Diego Latella, Mieke Massink
Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION (2013)
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intell. 7 (2-3) (2013)
Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink
Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation 70 (5) (2013)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR (2013)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46 (1) (2013)
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS (2012)
Diego Latella, Mieke Massink, Erik P. de Vink
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages ACCAT (2012)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24 (2) (2012)
Mieke Massink, Diego Latella
Fluid Analysis of Foraging Ants. COORDINATION (2012)
Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE (2011)
Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS (2010)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM (2010)
Mieke Massink, Michael D. Harrison, Diego Latella
Scalable analysis of collective behaviour in smart service systems. SAC (2010)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
MarCaSPiS: a Markovian Extension of a Calculus for Services. Electron. Notes Theor. Comput. Sci. 229 (4) (2009)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS (2009)
Michael D. Harrison, Mieke Massink, Diego Latella
Engineering crowd interaction within smart environments. EICS (2009)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) (2009)
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
Assisting the design of a groupware system. J. Log. Algebraic Methods Program. 78 (4) (2009)
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE (2008)
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News 2008 (73) (2008)
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC (2008)
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
Model checking mobile stochastic logic. Theor. Comput. Sci. 382 (1) (2007)
Mieke Massink, Diego Latella, Stefania Gnesi
On testing UML statecharts. J. Log. Algebraic Methods Program. 69 (1-2) (2006)
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
Towards a Logic for Performance and Mobility. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Maurice H. ter Beek, Mieke Massink, Diego Latella
Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS (2005)
Rocco De Nicola, Diego Latella, Mieke Massink
Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC (2005)
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
A case study on the automated verification of groupware protocols. ICSE (2005)
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
. Electron. Notes Theor. Comput. Sci. 133 (2005)
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi
Model Checking Groupware Protocols. COOP (2004)
Mieke Massink, Joost-Pieter Katoen, Diego Latella
Model Checking Dependability Attributes of Wireless Group Communication. DSN (2004)
Stefania Gnesi, Diego Latella, Mieke Massink
Formal Test-Case Generation for UML Statecharts. ICECCS (2004)
Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
Mobile UML Statecharts with Localities. Global Computing (2004)
Diego Latella, Mieke Massink
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS (2003)
Diego Latella, Mieke Massink
On testing and conformance relations for UML statechart diagrams behaviours. ISSTA (2002)
Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
AGILE: Software Architecture for Mobility. WADT (2002)
Stefania Gnesi, Diego Latella, Mieke Massink
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. J. Log. Algebraic Methods Program. 51 (1) (2002)
Diego Latella, Mieke Massink
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE (2001)
Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia
Dependability analysis in the early phases of UML-based system design. Comput. Syst. Sci. Eng. 16 (5) (2001)
Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. TACAS (2001)
Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini
Design Validation of Embedded Dependable Systems. IEEE Micro 21 (5) (2001)
Joost-Pieter Katoen, Christel Baier, Diego Latella
Metric semantics for true concurrent real time. Theor. Comput. Sci. 254 (1-2) (2001)
Stefania Gnesi, Diego Latella
Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers. Formal Methods Syst. Des. 19 (2) (2001)
Stefania Gnesi, Diego Latella, Mieke Massink
A stochastic extension of a behavioural subset of UML statechart diagrams. HASE (2000)

Diego Latella.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Diego Latella