The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefania Gnesi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
    Verifying Mobile Processes in the HAL Environment. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:511-515 [Conf]
  2. Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
    An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:37-47 [Conf]
  3. Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori
    Verifying hardware components within JACK. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:246-260 [Conf]
  4. 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]
  5. Stefania Gnesi, Paola Inverardi, Monica Nesi
    A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:181-196 [Conf]
  6. 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]
  7. 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]
  8. Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso
    Formal Modelling and Verification of an Asynchronous Extension of SOAP. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:287-296 [Conf]
  9. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi
    Proving Safety Properties for Embedded Control Systems. [Citation Graph (0, 0)][DBLP]
    EDCC, 1996, pp:321-332 [Conf]
  10. Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari
    An Executon Environment for the Formal Definiton of Ada. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:327-335 [Conf]
  11. Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
    A Symbolic Model Checker for ACTL. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:228-242 [Conf]
  12. Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
    A Formal Security Analysis of an OSA/Parlay Authentication Interface. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:131-146 [Conf]
  13. Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve
    An Expressive Temporal Logic for Basic LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:261-276 [Conf]
  14. Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini
    How Expressive Are LOTOS Behaviour Expressions? [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:17-32 [Conf]
  15. Alessandro Fantechi, Stefania Gnesi, R. Sacchelli
    Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:218-220 [Conf]
  16. Robert Meolic, Alessandro Fantechi, Stefania Gnesi
    Witness and Counterexample Automata for ACTL. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:259-275 [Conf]
  17. Alfonso Catalano, Stefania Gnesi, Ugo Montanari
    Shortest Path Problems and Tree Grammars: An Algebraic Framework. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:167-179 [Conf]
  18. Stefania Gnesi, Diego Latella, Mieke Massink
    Model Checking UML Statechart Diagrams Using JACK. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:46-55 [Conf]
  19. Stefania Gnesi, Diego Latella, Mieke Massink
    Formal Test-Case Generation for UML Statecharts. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:75-84 [Conf]
  20. 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]
  21. Alessandro Fantechi, Stefania Gnesi, V. Perticaroli
    An Expressive Logic for Basic Process Algebra. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:453-462 [Conf]
  22. Stefania Gnesi, Franco Mazzanti
    On the Fly Verification of Network of Automata. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1040-1046 [Conf]
  23. Stefania Gnesi, Laura Semini
    Implementation of Coordination Primitives in a Mobile Architecture. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1012-1018 [Conf]
  24. Antonia Bertolino, Stefania Gnesi
    PLUTO: A Test Methodology for Product Families. [Citation Graph (0, 0)][DBLP]
    PFE, 2003, pp:181-197 [Conf]
  25. Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr
    Elicitation of Use Cases for Product Lines. [Citation Graph (0, 0)][DBLP]
    PFE, 2003, pp:152-167 [Conf]
  26. Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
    Compositional logic semantics and LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:365-378 [Conf]
  27. Antonio Bucchiarone, Stefania Gnesi, P. Pierini
    Quality Analysis of NL Requirements: An Industrial Case Study. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:390-394 [Conf]
  28. Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari
    Application of Linguistic Techniques for Use Case Analysis. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:157-164 [Conf]
  29. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
    Formal Validation of the GUARDS Inter-Consistency Mechanism. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:420-430 [Conf]
  30. Antonia Bertolino, Stefania Gnesi
    Use case-based testing of product lines. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:355-358 [Conf]
  31. Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi
    A Deductive Database Support to the Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1996, pp:309-316 [Conf]
  32. Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini
    An Architecture-Centric Approach for Producing Quality Systems. [Citation Graph (0, 0)][DBLP]
    QoSA/SOQUA, 2005, pp:21-37 [Conf]
  33. Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti
    A Methodology for the Derivation and Verification of Use Cases for Product Lines. [Citation Graph (0, 0)][DBLP]
    SPLC, 2004, pp:255-265 [Conf]
  34. Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
    An Automated Based Verification Environment for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:275-289 [Conf]
  35. Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
    Model Checking of Non-Finite State Processes by Finite Approximations. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:195-215 [Conf]
  36. 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]
  37. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
    Verication On The Web Of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:72-74 [Conf]
  38. 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]
  39. Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
    Modeling Web Applications by the Multiple Levels of Integrity Policy. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:161-175 [Conf]
  40. Alessandro Fantechi, Stefania Gnesi, Laura Semini
    Achieving Fault Tolerance by a Formally Validated Interaction Policy. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:133-152 [Conf]
  41. Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
    Finite Approximations for Model Checking Non-finite-state Processes. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:2, pp:109-123 [Journal]
  42. Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
    An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1993, v:25, n:7, pp:761-778 [Journal]
  43. Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni
    An automatic tool for the analysis of natural language requirements. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2005, v:20, n:1, pp:- [Journal]
  44. Amar Bouali, Stefania Gnesi, Salvatore Larosa
    JACK: Just Another Concurrency Kit. The intergration Projekt. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:54, n:, pp:207-223 [Journal]
  45. Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
    Modeling Web Applications by the Multiple Levels of Integrity Policy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:167-185 [Journal]
  46. 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]
  47. Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore
    Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:199-211 [Journal]
  48. Stefania Gnesi
    Formal Specification and Verification of Complex Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  49. Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
    Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:111-126 [Journal]
  50. Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
    Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:57-70 [Journal]
  51. Stefania Gnesi, Diego Latella
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:4, pp:311-312 [Journal]
  52. Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
    Model Checking for Action-Based Logics. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1994, v:4, n:2, pp:187-203 [Journal]
  53. Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, M. Vanocchi, Paolo Moreschini
    Assisting Requirement Formalization by Means of Natural Language Translation. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1994, v:4, n:3, pp:243-263 [Journal]
  54. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
    A Formal Verification Environment for Railway Signaling System Design. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:12, n:2, pp:139-161 [Journal]
  55. 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]
  56. 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]
  57. Alessandro Fantechi, Stefania Gnesi
    Compositionality and Bisimulation: A Negative Result. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:2, pp:109-114 [Journal]
  58. Stefania Gnesi, Ugo Montanari, Alberto Martelli
    Dynamic Programming as Graph Searching: An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1981, v:28, n:4, pp:737-751 [Journal]
  59. 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]
  60. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
    An industrial application for the JACK environment. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1997, v:39, n:3, pp:249-264 [Journal]
  61. Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari
    Applications of linguistic techniques for use case analysis. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2003, v:8, n:3, pp:161-170 [Journal]
  62. 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]
  63. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker
    Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:46, n:3, pp:195-196 [Journal]
  64. Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini
    Executing the formal definition of Ada. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1991, v:26, n:3, pp:25-34 [Journal]
  65. John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
    The industrialization of formal methods. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:301-302 [Journal]
  66. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
    Model checking fault tolerant systems. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:4, pp:251-275 [Journal]
  67. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
    A model-checking verification environment for mobile processes. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:440-473 [Journal]
  68. Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
    Model Driven Development and Code Generation: An Automotive Case Study. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:19-34 [Conf]
  69. Alessandro Fantechi, Stefania Gnesi
    A behavioural model for product families. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:521-524 [Conf]
  70. F. Fabbrini, M. Fusani, Stefania Gnesi, Giuseppe Lami
    Automatic clustering of non-functional requirements. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:672-677 [Conf]
  71. 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]

  72. Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. [Citation Graph (, )][DBLP]


  73. Graph-Based Design and Analysis of Dynamic Software Architectures. [Citation Graph (, )][DBLP]


  74. Dynamic Software Architecture Development: Towards an Automated Process. [Citation Graph (, )][DBLP]


  75. A Model Checking Approach for Verifying COWS Specifications. [Citation Graph (, )][DBLP]


  76. A Model-Checking Approach for Service Component Architectures. [Citation Graph (, )][DBLP]


  77. Formal verification of an automotive scenario in service-oriented computing. [Citation Graph (, )][DBLP]


  78. A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. [Citation Graph (, )][DBLP]


  79. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]


  80. QuARS Express - A Tool Demonstration. [Citation Graph (, )][DBLP]


  81. CMC-UMC: a framework for the verification of abstract service-oriented properties. [Citation Graph (, )][DBLP]


  82. An experience in using a tool for evaluating a large set of natural language requirements. [Citation Graph (, )][DBLP]


  83. Experimenting with diversity in the model driven development of a railway signaling system. [Citation Graph (, )][DBLP]


  84. A behavioural model for product families. [Citation Graph (, )][DBLP]


  85. Formal Modeling for Product Families Engineering. [Citation Graph (, )][DBLP]


  86. Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach. [Citation Graph (, )][DBLP]


  87. An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. [Citation Graph (, )][DBLP]


  88. Web Service Composition Approaches: From Industrial Standards to Formal Methods. [Citation Graph (, )][DBLP]


  89. A Deontic Logical Framework for Modelling Product Families. [Citation Graph (, )][DBLP]


  90. Deontic Logics for Modeling Behavioural Variability. [Citation Graph (, )][DBLP]


  91. Modelling Dynamic Software Architectures using Typed Graph Grammars. [Citation Graph (, )][DBLP]


  92. A Graph-based Design Framework for Global Computing Systems. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.011secs
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