The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Diego Latella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  46. Rate-Based Transition Systems for Stochastic Process Calculi. [Citation Graph (, )][DBLP]


  47. Scalable analysis of collective behaviour in smart service systems. [Citation Graph (, )][DBLP]


  48. A Fluid Flow Approach to Usability Analysis of Multi-user Systems. [Citation Graph (, )][DBLP]


  49. Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. [Citation Graph (, )][DBLP]


  50. On a Uniform Framework for the Definition of Stochastic Process Languages. [Citation Graph (, )][DBLP]


  51. Engineering crowd interaction within smart environments. [Citation Graph (, )][DBLP]


  52. MarCaSPiS: a Markovian Extension of a Calculus for Services. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002