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

Stefania Gnesi Home Page Coauthor index pubzone.org

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

DBLP keys2012
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich W. Eisenecker, Sven Apel, Stefania Gnesi: Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings ACM 2012
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessio Ferrari, Alessandro Fantechi, Stefania Gnesi: Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods 2012: 24-38
2011
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi: On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP 2011: 383-396
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Formal Description of Variability in Product Families. SPLC 2011: 130-139
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Stefania Gnesi, Mercy N. Njima: Product Lines for Service Oriented Applications - PL for SOA WWV 2011: 34-48
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer: Introduction to the Sensoria Case Studies. Results of the SENSORIA Project 2011: 26-34
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Franco Mazzanti: An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. Results of the SENSORIA Project 2011: 390-407
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer: Specification and Implementation of Demonstrators for the Case Studies. Results of the SENSORIA Project 2011: 640-654
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Rosario Pugliese, Francesco Tiezzi: The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2): 119-135 (2011)
2010
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 IEEE Computer Society 2010
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro: Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA 2010: 14-19
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Logical Framework to Deal with Variability. IFM 2010: 43-58
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsabella Biscoglio, Alessandro Coco, Mario Fusani, Stefania Gnesi, Gianluca Trentanni: An Approach to Ambiguity Analysis in Safety-Related Standards. QUATIC 2010: 461-466
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni: An experience in using a tool for evaluating a large set of natural language requirements. SAC 2010: 281-286
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44
2009
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi: A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini: Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Franco Mazzanti, Stefania Gnesi: CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Greg Dennis, Stefania Gnesi: A Graph-based Design Framework for Global Computing Systems. Electr. Notes Theor. Comput. Sci. 236: 117-130 (2009)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni: Assisting the design of a groupware system. J. Log. Algebr. Program. 78(4): 191-232 (2009)
2008
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi: Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. Concurrency, Graphs and Models 2008: 258-260
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente: Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models 2008: 37-56
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti: Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró: SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi: Formal Modeling for Product Families Engineering. SPLC 2008: 193-202
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi: A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni: Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News 2008(73): (2008)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi: Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News 2008(75): (2008)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Experimenting with Diversity in the Formal Development of Railway Signalling Systems. ERCIM News 2008(75): (2008)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti: Modelling Dynamic Software Architectures using Typed Graph Grammars. Electr. Notes Theor. Comput. Sci. 213(1): 39-53 (2008)
2007
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Experimenting with diversity in the model driven development of a railway signaling system. EFTS 2007: 5
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE (Companion) 2007: 521-524
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti: An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS 2007: 133-148
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami: Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach. ICSEA 2007: 68
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi: Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70): (2007)
2006
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Laura Semini: Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami: Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini: Modeling Web Applications by the Multiple Levels of Integrity Policy. Electr. Notes Theor. Comput. Sci. 157(2): 167-185 (2006)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Diego Latella, Stefania Gnesi: On testing UML statecharts. J. Log. Algebr. Program. 69(1-2): 1-74 (2006)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)
2005
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso: A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS 2005: 131-146
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Stefania Gnesi, P. Pierini: Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini: Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV 2005: 161-175
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Giuseppe Lami, Gianluca Trentanni: An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. 20(1): (2005)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Adriana Maggiore: Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. Electr. Notes Theor. Comput. Sci. 116: 199-211 (2005)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. Electr. Notes Theor. Comput. Sci. 118: 57-70 (2005)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Meolic, Alessandro Fantechi, Stefania Gnesi: Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami: Automatic clustering of non-functional requirements. IASTED Conf. on Software Engineering and Applications 2004: 672-677
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Diego Latella, Mieke Massink: Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti: A Methodology for the Derivation and Verification of Use Cases for Product Lines. SPLC 2004: 255-265
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto: Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Electr. Notes Theor. Comput. Sci. 99: 111-126 (2004)
2003
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeijiro Araki, Stefania Gnesi, Dino Mandrioli: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings Springer 2003
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Stefania Gnesi: Use case-based testing of product lines. ESEC / SIGSOFT FSE 2003: 355-358
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr: Elicitation of Use Cases for Product Lines. PFE 2003: 152-167
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Stefania Gnesi: PLUTO: A Test Methodology for Product Families. PFE 2003: 181-197
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi: Formal Specification and Verification of Complex Systems. Electr. Notes Theor. Comput. Sci. 80: 294-298 (2003)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Applications of linguistic techniques for use case analysis. Requir. Eng. 8(3): 161-170 (2003)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert 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. Sci. Comput. Program. 46(3): 195-196 (2003)
2002
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4): 251-275 (2002)
2001
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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)
2000
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Cuéllar, Stefania Gnesi, Diego Latella: Foreword. Sci. Comput. Program. 36(1): 1-3 (2000)
1999
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Diego Latella, Mieke Massink: Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Laura Semini: Implementation of Coordination Primitives in a Mobile Architecture. PDPTA 1999: 1012-1018
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Franco Mazzanti: On the Fly Verification of Network of Automata. PDPTA 1999: 1040-1046
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430
1998
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri: On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Diego Latella: Editorial. Formal Asp. Comput. 10(4): 311-312 (1998)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano: A Formal Verification Environment for Railway Signaling System Design. Formal Methods in System Design 12(2): 139-161 (1998)
1997
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: An industrial application for the JACK environment. Journal of Systems and Software 39(3): 249-264 (1997)
1996
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Diego Latella: Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi: Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi: A Deductive Database Support to the Specification of Concurrent Systems. SOFSEM 1996: 309-316
1995
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori: Verifying hardware components within JACK. CHARME 1995: 246-260
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
1994
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, R. Sacchelli: Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. FORTE 1994: 218-220
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmar Bouali, Stefania Gnesi, Salvatore Larosa: JACK: Just Another Concurrency Kit. The intergration Projekt. Bulletin of the EATCS 54: 207-223 (1994)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Gioia Ristori: Model Checking for Action-Based Logics. Formal Methods in System Design 4(2): 187-203 (1994)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini: Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods in System Design 4(3): 243-263 (1994)
1993
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, V. Perticaroli: An Expressive Logic for Basic Process Algebra. MFCS 1993: 453-462
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems 25(7): 761-778 (1993)
1991
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV 1991: 37-47
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi: Compositionality and Bisimulation: A Negative Result. Inf. Process. Lett. 39(2): 109-114 (1991)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini: Executing the formal definition of Ada. SIGPLAN Notices 26(3): 25-34 (1991)
1990
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini: How Expressive Are LOTOS Behaviour Expressions? FORTE 1990: 17-32
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Gioia Ristori: Compositional logic semantics and LOTOS. PSTV 1990: 365-378
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Cosimo Laneve: An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276
1988
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Paola Inverardi, Monica Nesi: A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency 1988: 181-196
1987
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari: An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335
1981
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Ugo Montanari, Alberto Martelli: Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28(4): 737-751 (1981)
1978
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfonso Catalano, Stefania Gnesi, Ugo Montanari: Shortest Path Problems and Tree Grammars: An Algebraic Framework. Graph-Grammars and Their Application to Computer Science and Biology 1978: 167-179

Coauthor Index

1C. Abbaneo [35] [36]
2João Abreu [98]
3Lucia Acciai [87]
4Gianluca Amato [62] [69]
5Arturo M. Amendola [35] [36]
6Luis Filipe Andrade [41]
7Sven Apel [116]
8Keijiro Araki [50]
9Patrizia Asirelli [19] [95] [100] [103] [112] [114]
10Paolo Baldan [41]
11Michele Banci [74] [80]
12Federico Banti [87]
13Hubert Baumeister [41]
14Maurice H. ter Beek [57] [58] [65] [72] [73] [76] [77] [84] [88] [93] [95] [96] [97] [99] [100] [103] [104] [106] [111] [112] [114]
15Cinzia Bernardeschi [20] [22] [24] [30] [39]
16Antonia Bertolino [47] [49] [64] [70]
17Isabella Biscoglio [102]
18Amar Bouali [15]
19Roberto Bruni [41] [81] [90]
20Antonio Bucchiarone [63] [64] [76] [81] [83] [90] [92] [94] [99] [101]
21Gaetano Di Caprio [66]
22Michele Carenini [13]
23Alfonso Catalano [1]
24Allan Clark [87]
25Alessandro Coco [102]
26Massimo Coppola [62] [69]
27Ricardo Corin [66]
28Andrea Corradini [41]
29Jorge Cuéllar (Jorge Ricardo Cuellar) [34]
30Greg Dennis [94]
31Jörg Dörr [48]
32Ulrich W. Eisenecker [116]
33Jannis Elgner [108] [110]
34Sandro Etalle [66]
35Fabrizio Fabbrini [27] [55] [75]
36Alessandro Fantechi [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [20] [21] [22] [24] [28] [30] [38] [39] [42] [44] [48] [53] [56] [60] [70] [71] [74] [77] [78] [79] [80] [82] [83] [86] [87] [89] [92] [95] [100] [101] [103] [104] [106] [112] [113] [114] [115]
37Alessio Ferrari [115]
38Gian Luigi Ferrari (GianLuigi Ferrari) [23] [29] [46] [52]
39Gianluigi Ferro [23]
40José Luiz Fiadeiro [41] [98] [105]
41John S. Fitzgerald [67]
42Alessandro Forghieri [58] [65]
43Nicoletta De Francesco [17] [38]
44Mario Fusani [27] [55] [75] [102]
45Fabio Gadducci [41]
46Hubert Garavel [43]
47Vincenzo Gervasi [27]
48Stephen Gilmore (Stephen T. Gilmore) [87]
49László Gönczy [87]
50Dan Hirsch [90]
51Piotr Hoffman [41]
52Matthias M. Hölzl [87]
53Paola Inverardi [3] [4] [17] [38]
54Isabel John [48]
55Nora Koch [41] [87] [88] [108] [110]
56Piotr Kosiuczenko [41]
57Giuseppe Lami [42] [44] [48] [53] [55] [61] [70] [75] [92]
58Cosimo Laneve [5]
59Alessandro Lapadula [41] [87] [89]
60Salvatore Larosa [15] [18] [24]
61Diego Latella [21] [25] [26] [33] [34] [35] [36] [37] [40] [41] [54] [57] [58] [65] [68] [84] [93]
62F. Leggio [8]
63Gabriele Lenzini [35] [36] [51] [59] [66] [85]
64Alberto Lluch-Lafuente [90]
65Giovanni Lombardi [74] [80] [82]
66Antónia Lopes [41]
67Michele Loreti [41]
68Alessandro Maccari [42] [44]
69Andrea Maggiolo-Schettini [105]
70Adriana Maggiore [60]
71Dino Mandrioli [50] [67]
72P. Marmo [35] [36]
73Alberto Martelli [2]
74Fabio Martinelli [51] [59] [73] [85]
75Mieke Massink [33] [40] [41] [54] [57] [58] [65] [68] [84] [93]
76Ilaria Matteucci [85]
77Philip Mayer [87] [108] [110]
78Franco Mazzanti [28] [31] [41] [72] [73] [77] [87] [88] [89] [96] [98] [106] [109]
79Gianluca Mazzarini [7]
80Hernán C. Melgratti [81]
81Robert Meolic [56]
82Corrado Moiso [66] [72]
83Giorgio Mongardi [20] [24]
84Ugo Montanari [1] [2] [3] [23] [29] [41] [46] [52]
85Carlo Montangero [97]
86Paolo Moreschini [13]
87Henry Muccini [64]
88Monica Nesi [4]
89E. Nesti [53]
90Rocco De Nicola [10] [11] [18] [41]
91Mercy N. Njima [111]
92Cristóvão Oliveira [41]
93V. Perticaroli [12]
94Marinella Petrocchi [73]
95P. Pierini [63]
96Marco Pistore [23] [29] [46]
97Rosario Pugliese [28] [41] [87] [89] [107]
98Roberto Raggi [52]
99Gioia Ristori [6] [10] [11] [13] [14] [18] [23] [29]
100Dario Romano [24]
101Maria Cristina Rossi [19]
102Salvatore Ruggieri [27]
103R. Sacchelli [16]
104Ina Schieferdecker [43]
105Andreas Schroeder [87]
106Francesca Scozzari [62] [69]
107Maurizio Sebastianis [58] [65] [84] [93]
108Laura Semini [32] [62] [69] [71] [97]
109P. Talini [8]
110Andrzej Tarlecki [41]
111Francesco Tiezzi [87] [89] [107]
112Gianluca Trentanni [52] [61] [83] [84] [92] [93] [101] [102]
113Mirco Tribastone [87]
114Enrico Tronci [28]
115Emilio Tuosto [52]
116Massimo Vanocchi [13]
117Dániel Varró [87]
118Michel Wermelinger [41]
119Martin Wirsing [41] [87]
120Gianluigi Zavattaro [104]
121Artur Zawlocki [41]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page