Diego Latella

2007
46	EE	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
45	EE	Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Towards a Logic for Performance and Mobility. Electr. Notes Theor. Comput. Sci. 153(2): 161-175 (2006)
44	EE	Mieke Massink, Diego Latella, Stefania Gnesi: On testing UML statecharts. J. Log. Algebr. Program. 69(1-2): 1-74 (2006)
2005
43	EE	Maurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
42	EE	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
41	EE	Rocco De Nicola, Diego Latella, Mieke Massink: Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435
40	EE	Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: Model Checking Publish/Subscribe Notification for thinkteam®. Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005)
2004
39		Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
38	EE	Mieke Massink, Joost-Pieter Katoen, Diego Latella: Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720
37	EE	Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
36	EE	Stefania Gnesi, Diego Latella, Mieke Massink: Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
2003
35	EE	Diego Latella, Mieke Massink: On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS 2003: 199-213
2002
34	EE	Diego Latella, Mieke Massink: On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153
33	EE	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: 1-33
32	EE	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. Algebr. Program. 51(1): 43-75 (2002)
2001
31		Diego Latella, Mieke Massink: A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE 2001: 11-22
30	EE	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
29		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)
28		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 in System Design 19(2): 119-120 (2001)
27	EE	Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini: Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001)
26	EE	Joost-Pieter Katoen, Christel Baier, Diego Latella: Metric semantics for true concurrent real time. Theor. Comput. Sci. 254(1-2): 501-542 (2001)
2000
25		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 Kluwer 2000
24	EE	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
23	EE	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
22		Jorge Cuéllar, Stefania Gnesi, Diego Latella: Foreword. Sci. Comput. Program. 36(1): 1-3 (2000)
1999
21		Diego Latella, István Majzik, Mieke Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS 1999
20	EE	Stefania Gnesi, Diego Latella, Mieke Massink: Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55
19	EE	Diego Latella, István Majzik, Mieke Massink: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Asp. Comput. 11(6): 637-664 (1999)
1998
18	EE	Christel Baier, Joost-Pieter Katoen, Diego Latella: Metric Semantics for True Concurrent Real Time. ICALP 1998: 568-579
17	EE	Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: Partial Order Models for Quantitative Extensions of LOTOS. Computer Networks 30(9-10): 925-950 (1998)
16	EE	Stefania Gnesi, Diego Latella: Editorial. Formal Asp. Comput. 10(4): 311-312 (1998)
15	EE	Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Asp. Comput. 10(5-6): 550-575 (1998)
14		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 in System Design 12(2): 123-124 (1998)
13		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 in System Design 12(2): 189-216 (1998)
1996
12		Alessandro Fantechi, Stefania Gnesi, Diego Latella: Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578
11		Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma: On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT 1996: 385-404
1995
10		Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: A Stochastic Causality-Based Process Algebra. Comput. J. 38(7): 552-565 (1995)
1994
9		Fosca Giannotti, Diego Latella: Gate Splitting in LOTOS Specifications Using Abstract Interpretation. Sci. Comput. Program. 23(2-3): 127-149 (1994)
1993
8		Joost-Pieter Katoen, Rom Langerak, Diego Latella: Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE 1993: 253-268
7		Fosca Giannotti, Diego Latella: Gate Splitting in LOTOS Specifications Using Abstract Interpretation. TAPSOFT 1993: 437-452
6		Diego Latella, Paola Quaglia: A Fully Parallel Calculus of Synchronizing Processes. TAPSOFT 1993: 732-745
1992
5		Fosca Giannotti, Diego Latella: Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA 1992: 194-204
1991
4		Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa: Non-standard Interpretations of LOTOS Specifications. TAPSOFT, Vol.2 1991: 217-234
3		Tommaso Bolognesi, Olof Hagsand, Diego Latella, Björn Pehrson: The Definition of a Graphical G-LOTOS Editor Using the Meta-Tool LOGGIE. Computer Networks and ISDN Systems 22(1): 61-77 (1991)
1989
2	EE	Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
1985
1		Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329

Coauthor Index

1	C. Abbaneo	[23] [24]
2	Arturo M. Amendola	[23] [24]
3	Luis Filipe Andrade	[33]
4	Christel Baier	[18] [26]
5	Paolo Baldan	[33]
6	Hubert Baumeister	[33] [37]
7	Maurice H. ter Beek	[39] [40] [42] [43]
8	Tommaso Bolognesi	[3] [4] [13] [25]
9	Andrea Bondavalli	[2] [27] [29]
10	Howard Bowman	[15]
11	Ed Brinksma	[10] [11] [13] [17]
12	Roberto Bruni	[33]
13	Mario Dal Cin	[29]
14	Andrea Corradini	[33]
15	Jorge Cuéllar	[22]
16	Giorgio P. Faconti (Giorgio Faconti)	[15]
17	Alessandro Fantechi	[12] [27]
18	José Luiz Fiadeiro	[33]
19	Alessandro Forghieri	[40] [42]
20	Nicoletta De Francesco	[1] [2]
21	Fabio Gadducci	[33]
22	Fosca Giannotti	[5] [7] [9]
23	Stefania Gnesi	[12] [14] [16] [20] [22] [23] [24] [28] [32] [33] [36] [39] [40] [42] [44]
24	Olof Hagsand	[3]
25	Piotr Hoffman	[33]
26	Joost-Pieter Katoen	[8] [10] [11] [13] [15] [17] [18] [26] [30] [38] [45] [46]
27	Nora Koch	[33]
28	Piotr Kosiuczenko	[33]
29	Rom Langerak	[8] [10] [11] [13] [17] [30]
30	Alessandro Lapadula	[33]
31	Gabriele Lenzini	[23] [24]
32	Antónia Lopes	[33]
33	Michele Loreti	[33] [46]
34	István Majzik	[19] [21] [29]
35	P. Marmo	[23] [24]
36	Mieke Massink	[15] [19] [20] [21] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46]
37	Franco Mazzanti	[33]
38	Ugo Montanari	[33]
39	Rocco De Nicola	[33] [41] [45] [46]
40	Cristóvão Oliveira	[33]
41	András Pataricza	[29]
42	Björn Pehrson	[3]
43	Rosario Pugliese	[33]
44	Paola Quaglia	[6]
45	Theo C. Ruys	[30]
46	Giancarlo Savoia	[29]
47	Maurizio Sebastianis	[40] [42]
48	Luca Simoncini	[27]
49	Andrzej Tarlecki	[33]
50	Gigliola Vaglini	[1] [2]
51	Michel Wermelinger	[33]
52	Martin Wirsing	[33] [37]
53	Artur Zawlocki	[33]
54	Elisabetta Zuppa	[4]

Colors in the list of coauthors