2008 | ||
---|---|---|
48 | EE | 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 |
47 | EE | Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 |
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 |