dblp.uni-trier.dewww.uni-trier.de

Diego Latella Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
49EERocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
2008
48EEMieke 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
47EEMario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
2007
46EERocco 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
45EERocco 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)
44EEMieke Massink, Diego Latella, Stefania Gnesi: On testing UML statecharts. J. Log. Algebr. Program. 69(1-2): 1-74 (2006)
2005
43EEMaurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
42EEMaurice 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
41EERocco De Nicola, Diego Latella, Mieke Massink: Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435
40EEMaurice 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
38EEMieke Massink, Joost-Pieter Katoen, Diego Latella: Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720
37EEDiego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
36EEStefania Gnesi, Diego Latella, Mieke Massink: Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
2003
35EEDiego Latella, Mieke Massink: On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS 2003: 199-213
2002
34EEDiego Latella, Mieke Massink: On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153
33EELuis 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
32EEStefania 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
30EETheo 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)
27EEAndrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini: Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001)
26EEJoost-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
24EEStefania 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
23EEStefania 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
20EEStefania Gnesi, Diego Latella, Mieke Massink: Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55
19EEDiego 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
18EEChristel Baier, Joost-Pieter Katoen, Diego Latella: Metric Semantics for True Concurrent Real Time. ICALP 1998: 568-579
17EEEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: Partial Order Models for Quantitative Extensions of LOTOS. Computer Networks 30(9-10): 925-950 (1998)
16EEStefania Gnesi, Diego Latella: Editorial. Formal Asp. Comput. 10(4): 311-312 (1998)
15EEHoward 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
12EEAlessandro 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
7EEFosca Giannotti, Diego Latella: Gate Splitting in LOTOS Specifications Using Abstract Interpretation. TAPSOFT 1993: 437-452
6EEDiego 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
4EETommaso 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
2EEAndrea 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)