Diego Latella - RankMe

139 papers A* 3A 5B 7C 12Misc 3Journal 49Unranked 57

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract. FASE Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2026	J	`jnl`	Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. Log. Methods Comput. Sci. Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2025	J	`jnl`	On Bisimilarity for Quasi-discrete Closure Spaces. Log. Methods Comput. Sci. Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2025	J	`jnl`	Practical Exploration of Polyhedral Model Checking. CoRR Yuri Andriaccio, Vincenzo Ciancia, Diego Latella, Mieke Massink
2025	—	`conf`	Ten Years of Spatial Model Checking. Rebeca for Actor Analysis in Action Vincenzo Ciancia, Diego Latella, Mieke Massink
2024	—	`conf`	Measured Causes: Adding Time and Probability to True Concurrency - Ten Papers with Pisa and Twente. Principles of Verification (3) Ed Brinksma, Rom Langerak, Diego Latella, Mieke Massink
2024	—	`conf`	Towards Hybrid-AI in Imaging Using VoxLogicA. ISoLA (4) Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
2024	J	`jnl`	Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. CoRR Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	C	`conf`	Weak Simplicial Bisimilarity for Polyhedral Models and SLCS FORTE Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	J	`jnl`	Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2023	B	`conf`	Minimisation of Spatial Models Using Branching Bisimilarity. FM Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
2023	C	`conf`	On Bisimilarity for Polyhedral Models and SLCS. FORTE Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
2023	J	`jnl`	On Bisimilarity for Quasi-discrete Closure Spaces. CoRR Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2022	—	`conf`	Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2022	J	`jnl`	Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2022	—	`conf`	On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
2022	—	`conf`	Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. HCI (38) Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021	—	`conf`	A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. SPIN Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink
2021	—	`conf`	Feasibility of Spatial Model Checking for Nevus Segmentation. FormaliSE@ICSE Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021	J	`jnl`	Geometric Model Checking of Continuous Space. CoRR Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2021	J	`jnl`	On Bisimilarities for Closure Spaces - Preliminary Version. CoRR Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2021	—	`conf`	Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021	C	`conf`	Spatial Model Checking for Smart Stations - Research Challenges. FMICS Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
2021	—	`conf`	Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
2020	J	`jnl`	Refined Mean Field Analysis of the Gossip Shuffle Protocol - extended version -. CoRR Nicolas Gast, Diego Latella, Mieke Massink
2020	C	`conf`	Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. COORDINATION Nicolas Gast, Diego Latella, Mieke Massink
2020	J	`jnl`	Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transf. Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2020	J	`jnl`	Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2020	J	`jnl`	Using Spatial Logic and Model Checking for Nevus Segmentation. CoRR Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019	—	`conf`	Embedding RCC8D in the Collective Spatial Logic CSLCS. Models, Languages, and Tools for Concurrent and Distributed Programming Vincenzo Ciancia, Diego Latella, Mieke Massink
2019	—	`conf`	Innovating Medical Image Analysis via Spatial Logics. From Software Engineering to Formal Methods and Tools, and Back Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019	—	`conf`	VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. TACAS (1) Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019	J	`jnl`	VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. ERCIM News Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2018	J	`jnl`	A Refined Mean Field Approximation for Synchronous Population Processes. SIGMETRICS Perform. Evaluation Rev. Nicolas Gast, Diego Latella, Mieke Massink
2018	J	`jnl`	A refined mean field approximation of synchronous discrete-time population models. CoRR Nicolas Gast, Diego Latella, Mieke Massink
2018	J	`jnl`	A refined mean field approximation of synchronous discrete-time population models. Perform. Evaluation Nicolas Gast, Diego Latella, Mieke Massink
2018	J	`jnl`	Spatial Logics and Model Checking for Medical Imaging (Extended Version). CoRR Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2018	J	`jnl`	Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
2018	J	`jnl`	VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). CoRR Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2017	—	`conf`	Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination. QAPL Diego Latella, Mieke Massink
2017	—	`conf`	FlyFast: A Mean Field Model Checker. TACAS (2) Diego Latella, Michele Loreti, Mieke Massink
2017	—	`conf`	FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd Diego Latella, Michele Loreti, Mieke Massink
2016	—	`conf`	A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. ISoLA (1) Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin
2016	—	`conf`	From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. FORECAST@STAF Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2016	J	`jnl`	Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2016	—	`conf`	On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract. FORECAST@STAF Diego Latella
2016	C	`conf`	On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. COORDINATION Vincenzo Ciancia, Diego Latella, Mieke Massink
2016	—	`conf`	Spatial Logic and Spatial Model Checking for Closure Spaces. SFM Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2015	—	`conf`	A Definition Scheme for Quantitative Bisimulation. QAPL Diego Latella, Mieke Massink, Erik P. de Vink
2015	—	`conf`	An Experimental Spatio-Temporal Model Checker. SEFM Workshops Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
2015	J	`jnl`	Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. Diego Latella, Mieke Massink, Erik P. de Vink
2015	—	`conf`	CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
2015	—	`conf`	Exploring Spatio-temporal Properties of Bike-Sharing Systems. SASO Workshops Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas
2015	C	`conf`	Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION Diego Latella, Michele Loreti, Mieke Massink
2015	—	`conf`	On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
2015	—	`conf`	On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW Diego Latella, Michele Loreti, Mieke Massink
2015	J	`jnl`	On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. Diego Latella, Michele Loreti, Mieke Massink
2015	—	`ch.`	The SCEL Language: Design, Implementation, Verification. The ASCENS Approach Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015	—	`conf`	Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
2014	J	`jnl`	A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
2014	—	`conf`	Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
2014	—	`conf`	On-the-fly Probabilistic Model Checking. ICE Diego Latella, Michele Loreti, Mieke Massink
2014	J	`jnl`	Specifying and Verifying Properties of Space - Extended Version. CoRR Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2014	—	`conf`	Specifying and Verifying Properties of Space. IFIP TCS Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2014	—	`conf`	Stochastically timed predicate-based communication primitives for autonomic computing. QAPL Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
2013	J	`jnl`	A uniform definition of stochastic process calculi. ACM Comput. Surv. Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2013	J	`jnl`	Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink
2013	J	`jnl`	On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intell. Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
2013	—	`conf`	On-the-fly Fast Mean-Field Model-Checking. TGC Diego Latella, Michele Loreti, Mieke Massink
2013	J	`jnl`	On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR Diego Latella, Michele Loreti, Mieke Massink
2013	C	`conf`	Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION Luca Bortolussi, Diego Latella, Mieke Massink
2012	—	`conf`	Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
2012	—	`conf`	Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages ACCAT Diego Latella, Mieke Massink, Erik P. de Vink
2012	C	`conf`	Fluid Analysis of Foraging Ants. COORDINATION Mieke Massink, Diego Latella
2012	B	`ed.`	Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings IFM John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
2012	J	`jnl`	Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
2011	B	`conf`	Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
2011	—	`ch.`	Quantitative Analysis of Services. Results of the SENSORIA Project Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo
2011	—	`ch.`	SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2010	B	`conf`	A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison
2010	—	`conf`	Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink
2010	Misc	`conf`	Scalable analysis of collective behaviour in smart service systems. SAC Mieke Massink, Michael D. Harrison, Diego Latella
2009	J	`jnl`	Assisting the design of a groupware system. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2009	Misc	`conf`	Engineering crowd interaction within smart environments. EICS Michael D. Harrison, Mieke Massink, Diego Latella
2009	C	`conf`	On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2009	—	`conf`	Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2008	—	`conf`	A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
2008	J	`jnl`	Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2008	—	`conf`	Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
2008	—	`conf`	MarCaSPiS: a Markovian Extension of a Calculus for Services. SOS@ICALP Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2007	J	`jnl`	Model checking mobile stochastic logic. Theor. Comput. Sci. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
2006	J	`jnl`	On testing UML statecharts. J. Log. Algebraic Methods Program. Mieke Massink, Diego Latella, Stefania Gnesi
2005	A*	`conf`	A case study on the automated verification of groupware protocols. ICSE Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
2005	Misc	`conf`	Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC Rocco De Nicola, Diego Latella, Mieke Massink
2005	—	`conf`	Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS Maurice H. ter Beek, Mieke Massink, Diego Latella
2005	—	`conf`	Towards a Logic for Performance and Mobility. QAPL Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
2004	B	`conf`	Formal Test-Case Generation for UML Statecharts. ICECCS Stefania Gnesi, Diego Latella, Mieke Massink
2004	—	`conf`	Mobile UML Statecharts with Localities. Global Computing Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
2004	A	`conf`	Model Checking Dependability Attributes of Wireless Group Communication. DSN Mieke Massink, Joost-Pieter Katoen, Diego Latella
2004	—	`conf`	Model Checking Groupware Protocols. COOP Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi
2004	C	`conf`	Model Checking Publish/Subscribe Notification for thinkteam FMICS Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
2003	—	`conf`	On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS Diego Latella, Mieke Massink
2002	—	`conf`	AGILE: Software Architecture for Mobility. WADT Luís 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
2002	J	`jnl`	Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. J. Log. Algebraic Methods Program. Stefania Gnesi, Diego Latella, Mieke Massink
2002	A	`conf`	On testing and conformance relations for UML statechart diagrams behaviours. ISSTA Diego Latella, Mieke Massink
2001	—	`conf`	A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE Diego Latella, Mieke Massink
2001	J	`jnl`	Dependability analysis in the early phases of UML-based system design. Comput. Syst. Sci. Eng. Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia
2001	J	`jnl`	Design Validation of Embedded Dependable Systems. IEEE Micro Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini
2001	A	`conf`	First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. TACAS Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
2001	J	`jnl`	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. Stefania Gnesi, Diego Latella
2001	J	`jnl`	Metric semantics for true concurrent real time. Theor. Comput. Sci. Joost-Pieter Katoen, Christel Baier, Diego Latella
2000	A	`conf`	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. TACAS Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
2000	—	`conf`	A stochastic extension of a behavioural subset of UML statechart diagrams. HASE Stefania Gnesi, Diego Latella, Mieke Massink
2000	A	`conf`	An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
2000	J	`jnl`	Foreword. Sci. Comput. Program. Jorge Cuéllar, Stefania Gnesi, Diego Latella
2000	C	`ed.`	Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy FORTE Tommaso Bolognesi, Diego Latella
1999	J	`jnl`	Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects Comput. Diego Latella, István Majzik, Mieke Massink
1999	—	`conf`	High-level Integrated Design Environment for dependability (HIDE). WORDS (Fall) Andrea Bondavalli, Mario Dal Cin, Diego Latella, András Pataricza
1999	—	`conf`	Model Checking UML Statechart Diagrams Using JACK. HASE Stefania Gnesi, Diego Latella, Mieke Massink
1999	—	`conf`	Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS Diego Latella, István Majzik, Mieke Massink
1998	J	`jnl`	A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods Syst. Des. Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi
1998	J	`jnl`	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
1998	J	`jnl`	Editorial. Formal Aspects Comput. Stefania Gnesi, Diego Latella
1998	A*	`conf`	Metric Semantics for True Concurrent Real Time. ICALP Christel Baier, Joost-Pieter Katoen, Diego Latella
1998	J	`jnl`	Partial Order Models for Quantitative Extensions of LOTOS. Comput. Networks Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
1998	J	`jnl`	Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected Papers. Formal Methods Syst. Des. Stefania Gnesi, Diego Latella
1996	—	`conf`	On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
1996	B	`conf`	Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR Alessandro Fantechi, Stefania Gnesi, Diego Latella
1995	J	`jnl`	A Stochastic Causality-Based Process Algebra. Comput. J. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
1994	J	`jnl`	Gate Splitting in LOTOS Specifications Using Abstract Interpretation. Sci. Comput. Program. Fosca Giannotti, Diego Latella
1993	—	`conf`	A Fully Parallel Calculus of Synchronizing Processes. TAPSOFT Diego Latella, Paola Quaglia
1993	—	`conf`	Gate Splitting in LOTOS Specifications Using Abstract Interpretation. TAPSOFT Fosca Giannotti, Diego Latella
1993	C	`conf`	Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE Joost-Pieter Katoen, Rom Langerak, Diego Latella
1992	—	`conf`	Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA Fosca Giannotti, Diego Latella
1991	—	`conf`	Non-standard Interpretations of LOTOS Specifications. TAPSOFT, Vol.2 Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa
1991	J	`jnl`	The Definition of a Graphical G-LOTOS Editor Using the Meta-Tool LOGGIE. Comput. Networks ISDN Syst. Tommaso Bolognesi, Olof Hagsand, Diego Latella, Björn Pehrson
1989	—	`conf`	Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
1989	—	`conf`	Techniques for the formal definition of the G-LOTOS syntax. VL Tommaso Bolognesi, Diego Latella
1985	A*	`conf`	An Interactive Debugger for a Concurrent Language. ICSE Nicoletta De Francesco, Diego Latella, Gigliola Vaglini