![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Diego Latella
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c81]Nick Bezhanishvili
, Vincenzo Ciancia
, David Gabelaia
, Mamuka Jibladze
, Diego Latella
, Mieke Massink
, Erik P. de Vink
:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. FORTE 2024: 20-38 - [i15]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 abs/2404.06131 (2024) - 2023
- [c80]Vincenzo Ciancia
, Jan Friso Groote
, Diego Latella
, Mieke Massink
, Erik P. de Vink
:
Minimisation of Spatial Models Using Branching Bisimilarity. FM 2023: 263-281 - [c79]Vincenzo Ciancia
, David Gabelaia
, Diego Latella
, Mieke Massink
, Erik P. de Vink
:
On Bisimilarity for Polyhedral Models and SLCS. FORTE 2023: 132-151 - [i14]Vincenzo Ciancia, Diego Latella
, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR abs/2301.11634 (2023) - 2022
- [j30]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) - [c78]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: 98-115 - [c77]Giovanna Broccia, Vincenzo Ciancia, Diego Latella
, Mieke Massink:
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. HCI (38) 2022: 103-111 - [c76]Laura Bussi
, Vincenzo Ciancia, Fabio Gadducci, Diego Latella
, Mieke Massink:
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) 2022: 479-497 - 2021
- [c75]Laura Bussi
, Vincenzo Ciancia
, Fabio Gadducci
, Diego Latella
, Mieke Massink
:
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod 2021: 78-90 - [c74]Maurice H. ter Beek
, Vincenzo Ciancia
, Diego Latella
, Mieke Massink
, Giorgio Oronzo Spagnolo
:
Spatial Model Checking for Smart Stations - Research Challenges. FMICS 2021: 39-47 - [c73]Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella
, Mieke Massink:
Feasibility of Spatial Model Checking for Nevus Segmentation. FormaliSE@ICSE 2021: 1-12 - [c72]Gina Belmonte, Giovanna Broccia, Laura Bussi
, Vincenzo Ciancia, Diego Latella
, Mieke Massink:
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops 2021: 285-301 - [c71]Vincenzo Ciancia
, Gina Belmonte
, Diego Latella
, Mieke Massink
:
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. SPIN 2021: 22-41 - [i13]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink:
Geometric Model Checking of Continuous Space. CoRR abs/2105.06194 (2021) - [i12]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR abs/2105.06690 (2021) - 2020
- [j29]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): 195-217 (2020) - [c70]Nicolas Gast, Diego Latella
, Mieke Massink:
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. COORDINATION 2020: 230-239 - [i11]Nicolas Gast, Diego Latella, Mieke Massink:
Refined Mean Field Analysis of the Gossip Shuffle Protocol - extended version -. CoRR abs/2004.07519 (2020) - [i10]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR abs/2005.05578 (2020) - [i9]Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Using Spatial Logic and Model Checking for Nevus Segmentation. CoRR abs/2012.13289 (2020)
2010 – 2019
- 2019
- [c69]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: 85-109 - [c68]Vincenzo Ciancia, Diego Latella
, Mieke Massink:
Embedding RCC8D in the Collective Spatial Logic CSLCS. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 260-277 - [c67]Gina Belmonte, Vincenzo Ciancia, Diego Latella
, Mieke Massink:
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. TACAS (1) 2019: 281-298 - [i8]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. ERCIM News 2019(118) (2019) - 2018
- [j28]Nicolas Gast, Diego Latella
, Mieke Massink
:
A refined mean field approximation of synchronous discrete-time population models. Perform. Evaluation 126: 1-21 (2018) - [j27]Nicolas Gast, Diego Latella
, Mieke Massink:
A Refined Mean Field Approximation for Synchronous Population Processes. SIGMETRICS Perform. Evaluation Rev. 46(2): 30-32 (2018) - [j26]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): 289-311 (2018) - [i7]Nicolas Gast, Diego Latella, Mieke Massink:
A refined mean field approximation of synchronous discrete-time population models. CoRR abs/1807.08585 (2018) - [i6]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). CoRR abs/1811.05677 (2018) - [i5]Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Spatial Logics and Model Checking for Medical Imaging (Extended Version). CoRR abs/1811.06065 (2018) - 2017
- [c66]Diego Latella
, Michele Loreti
, Mieke Massink:
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd 2017: 254-275 - [c65]Diego Latella
, Michele Loreti
, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309 - [c64]Diego Latella
, Mieke Massink
:
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination. QAPL@ETAPS 2017: 92-110 - 2016
- [j25]Vincenzo Ciancia, Diego Latella
, Michele Loreti
, Mieke Massink
:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016) - [c63]Vincenzo Ciancia
, Diego Latella
, Mieke Massink
:
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. COORDINATION 2016: 67-83 - [c62]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: 657-673 - [c61]Vincenzo Ciancia
, Diego Latella
, Michele Loreti
, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [c60]Diego Latella
:
On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract. FORECAST@STAF 2016: 53-61 - [c59]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: 81-92 - 2015
- [j24]Diego Latella
, Mieke Massink
, Erik P. de Vink:
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. 11(4) (2015) - [j23]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110: 23-50 (2015) - [c58]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - [c57]Diego Latella
, Michele Loreti
, Mieke Massink
:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34 - [c56]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207 - [c55]Vincenzo Ciancia
, Diego Latella
, Mieke Massink
, Rytis Paskauskas:
Exploring Spatio-temporal Properties of Bike-Sharing Systems. SASO Workshops 2015: 74-79 - [c54]Maurice H. ter Beek
, Stefania Gnesi, Diego Latella
, Mieke Massink
:
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280 - [c53]Vincenzo Ciancia
, Gianluca Grilletti
, Diego Latella
, Michele Loreti
, Mieke Massink
:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - [c52]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: 16-31 - [c51]Diego Latella
, Mieke Massink
, Erik P. de Vink:
A Definition Scheme for Quantitative Bisimulation. QAPL 2015: 63-78 - [p3]Rocco De Nicola
, Diego Latella, Alberto Lluch-Lafuente
, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - 2014
- [c50]Vincenzo Ciancia
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c49]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: 32-37 - [c48]Diego Latella
, Michele Loreti
, Mieke Massink
, Valerio Senni
:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c47]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Probabilistic Model Checking. ICE 2014: 45-59 - [i4]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space - Extended Version. CoRR abs/1406.6393 (2014) - [i3]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) - 2013
- [j22]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5:1-5:35 (2013) - [j21]Luca Bortolussi
, Jane Hillston, Diego Latella
, Mieke Massink
:
Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation 70(5): 317-349 (2013) - [j20]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): 201-228 (2013) - [c46]Luca Bortolussi
, Diego Latella
, Mieke Massink
:
Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION 2013: 1-15 - [c45]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314 - [i2]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR abs/1312.3416 (2013) - 2012
- [j19]Mieke Massink
, Diego Latella
, Andrea Bracciali
, Michael D. Harrison
, Jane Hillston:
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24(2): 267-302 (2012) - [c44]Mieke Massink
, Manuele Brambilla, Diego Latella
, Marco Dorigo
, Mauro Birattari
:
Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS 2012: 25-36 - [c43]Mieke Massink
, Diego Latella
:
Fluid Analysis of Foraging Ants. COORDINATION 2012: 152-165 - [c42]Diego Latella
, Mieke Massink
, Erik P. de Vink:
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ACCAT 2012: 23-43 - [e2]John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne:
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7321, Springer 2012, ISBN 978-3-642-30728-7 [contents] - 2011
- [c41]Mieke Massink
, Diego Latella
, Andrea Bracciali
, Jane Hillston:
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110 - [p2]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466 - [p1]Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella
, Michele Loreti
, Paola Quaglia
, Stefano Schivo
:
Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540 - 2010
- [c40]Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink:
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS 2010: 3-18 - [c39]Mieke Massink
, Michael D. Harrison
, Diego Latella
:
Scalable analysis of collective behaviour in smart service systems. SAC 2010: 1173-1180 - [c38]Mieke Massink
, Diego Latella
, Andrea Bracciali
, Michael D. Harrison
:
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180
2000 – 2009
- 2009
- [j18]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): 191-232 (2009) - [c37]Michael D. Harrison
, Mieke Massink
, Diego Latella
:
Engineering crowd interaction within smart environments. EICS 2009: 117-122 - [c36]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25 - [c35]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446 - 2008
- [c34]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: 166-180 - [c33]Mario Bravetti, Diego Latella
, Michele Loreti
, Mieke Massink
, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [c32]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
MarCaSPiS: a Markovian Extension of a Calculus for Services. SOS@ICALP 2008: 11-26 - [i1]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) - 2007
- [j17]Rocco De Nicola
, Joost-Pieter Katoen
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007) - 2006
- [j16]Mieke Massink
, Diego Latella
, Stefania Gnesi
:
On testing UML statecharts. J. Log. Algebraic Methods Program. 69(1-2): 1-74 (2006) - 2005
- [c31]Maurice H. ter Beek, Mieke Massink
, Diego Latella:
Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50 - [c30]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: 596-603 - [c29]Rocco De Nicola
, Diego Latella
, Mieke Massink
:
Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435 - [c28]Rocco De Nicola
, Joost-Pieter Katoen
, Diego Latella
, Mieke Massink
:
Towards a Logic for Performance and Mobility. QAPL 2005: 161-175 - 2004
- [c27]Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi:
Model Checking Groupware Protocols. COOP 2004: 179-194 - [c26]Mieke Massink
, Joost-Pieter Katoen, Diego Latella:
Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720 - [c25]Diego Latella, Mieke Massink
, Hubert Baumeister, Martin Wirsing:
Mobile UML Statecharts with Localities. Global Computing 2004: 34-58 - [c24]Stefania Gnesi, Diego Latella, Mieke Massink
:
Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84 - [c23]Maurice H. ter Beek
, Mieke Massink
, Diego Latella
, Stefania Gnesi
, Alessandro Forghieri, Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®. FMICS 2004: 275-294 - 2003
- [c22]Diego Latella, Mieke Massink:
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS 2003: 199-213 - 2002
- [j15]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): 43-75 (2002) - [c21]Diego Latella, Mieke Massink:
On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153 - [c20]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:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - 2001
- [j14]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): 265-275 (2001) - [j13]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): 119-120 (2001) - [j12]Andrea Bondavalli
, Alessandro Fantechi, Diego Latella
, Luca Simoncini:
Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001) - [j11]Joost-Pieter Katoen
, Christel Baier, Diego Latella
:
Metric semantics for true concurrent real time. Theor. Comput. Sci. 254(1-2): 501-542 (2001) - [c19]Diego Latella
, Mieke Massink
:
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE 2001: 11-22 - [c18]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: 220-235 - 2000
- [j10]Jorge Cuéllar, Stefania Gnesi, Diego Latella
:
Foreword. Sci. Comput. Program. 36(1): 1-3 (2000) - [c17]Stefania Gnesi
, Diego Latella
, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo:
An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN 2000: 119-124 - [c16]Stefania Gnesi, Diego Latella
, Mieke Massink
:
A stochastic extension of a behavioural subset of UML statechart diagrams. HASE 2000: 55-64 - [c15]Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo:
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. TACAS 2000: 535-549 - [e1]Tommaso Bolognesi, Diego Latella:
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. IFIP Conference Proceedings 183, Kluwer 2000, ISBN 0-7923-7968-3 [contents]
1990 – 1999
- 1999
- [j9]Diego Latella, István Majzik, Mieke Massink:
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects Comput. 11(6): 637-664 (1999) - [c14]Diego Latella, István Majzik, Mieke Massink:
Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS 1999 - [c13]Stefania Gnesi, Diego Latella
, Mieke Massink
:
Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55 - [c12]Andrea Bondavalli, Mario Dal Cin, Diego Latella, András Pataricza:
High-level Integrated Design Environment for dependability (HIDE). WORDS (Fall) 1999: 87-92 - 1998
- [j8]Ed Brinksma, Joost-Pieter Katoen, Rom Langerak
, Diego Latella
:
Partial Order Models for Quantitative Extensions of LOTOS. Comput. Networks 30(9-10): 925-950 (1998) - [j7]Stefania Gnesi, Diego Latella:
Editorial. Formal Aspects Comput. 10(4): 311-312 (1998) - [j6]Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. 10(5-6): 550-575 (1998) - [j5]Stefania Gnesi, Diego Latella
:
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. 12(2): 123-124 (1998) - [j4]Joost-Pieter Katoen
, Rom Langerak
, Ed Brinksma, Diego Latella
, Tommaso Bolognesi:
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods Syst. Des. 12(2): 189-216 (1998) - [c11]Christel Baier, Joost-Pieter Katoen, Diego Latella:
Metric Semantics for True Concurrent Real Time. ICALP 1998: 568-579 - 1996
- [c10]Alessandro Fantechi, Stefania Gnesi, Diego Latella
:
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578 - [c9]Joost-Pieter Katoen, Rom Langerak
, Diego Latella
, Ed Brinksma:
On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT 1996: 385-404 - 1995
- [j3]Ed Brinksma, Joost-Pieter Katoen, Rom Langerak
, Diego Latella
:
A Stochastic Causality-Based Process Algebra. Comput. J. 38(7): 552-565 (1995) - 1994
- [j2]Fosca Giannotti, Diego Latella
:
Gate Splitting in LOTOS Specifications Using Abstract Interpretation. Sci. Comput. Program. 23(2-3): 127-149 (1994) - 1993
- [c8]Joost-Pieter Katoen, Rom Langerak, Diego Latella:
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE 1993: 253-268 - [c7]Fosca Giannotti, Diego Latella
:
Gate Splitting in LOTOS Specifications Using Abstract Interpretation. TAPSOFT 1993: 437-452 - [c6]Diego Latella
, Paola Quaglia:
A Fully Parallel Calculus of Synchronizing Processes. TAPSOFT 1993: 732-745 - 1992
- [c5]Fosca Giannotti, Diego Latella:
Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA 1992: 194-204 - 1991
- [j1]Tommaso Bolognesi, Olof Hagsand, Diego Latella
, Björn Pehrson:
The Definition of a Graphical G-LOTOS Editor Using the Meta-Tool LOGGIE. Comput. Networks ISDN Syst. 22(1): 61-77 (1991) - [c4]Tommaso Bolognesi, Diego Latella
, Elisabetta Zuppa:
Non-standard Interpretations of LOTOS Specifications. TAPSOFT, Vol.2 1991: 217-234
1980 – 1989
- 1989
- [c3]Andrea Bondavalli
, Nicoletta De Francesco, Diego Latella
, Gigliola Vaglini:
Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67 - [c2]Tommaso Bolognesi, Diego Latella:
Techniques for the formal definition of the G-LOTOS syntax. VL 1989: 43-49 - 1985
- [c1]Nicoletta De Francesco, Diego Latella, Gigliola Vaglini:
An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint