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

Stefania Gnesi Vis

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

*2009
90EEJoão Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi: A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224
89EEMaurice H. ter Beek, Franco Mazzanti, Stefania Gnesi: CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117
88EEPatrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
87EEAntonio Bucchiarone, Greg Dennis, Stefania Gnesi: A Graph-based Design Framework for Global Computing Systems. Electr. Notes Theor. Comput. Sci. 236: 117-130 (2009)
2008
86EEAntonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474
85EEStefania Gnesi: Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. Concurrency, Graphs and Models 2008: 258-260
84EERoberto 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
83EEAlessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
82EEMaurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti: Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622
81EEMartin 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
80EEAlessandro Fantechi, Stefania Gnesi: Formal Modeling for Product Families Engineering. SPLC 2008: 193-202
79EERoberto 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
78EEMichele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Experimenting with diversity in the model driven development of a railway signaling system. EFTS 2007: 5
77EEAlessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524
76EEAlessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE (Companion) 2007: 521-524
75EEMaurice 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
74EEMaurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
73EEFabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami: Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach. ICSEA 2007: 68
72EEMichele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34
2006
71EEMaurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
70EEAlessandro Fantechi, Stefania Gnesi, Laura Semini: Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152
69EEAntonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami: Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445
68EEGianluca 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)
67EEMieke Massink, Diego Latella, Stefania Gnesi: On testing UML statecharts. J. Log. Algebr. Program. 69(1-2): 1-74 (2006)
66EEJohn S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)
2005
65EERicardo 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
64EEMaurice 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
63EEAntonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
62EEAntonio Bucchiarone, Stefania Gnesi, P. Pierini: Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394
61 Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini: Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV 2005: 161-175
60 Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni: An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. 20(1): (2005)
59EEAlessandro Fantechi, Stefania Gnesi, Adriana Maggiore: Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. Electr. Notes Theor. Comput. Sci. 116: 199-211 (2005)
58EEStefania 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)
57EEMaurice 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
56 Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
55EERobert Meolic, Alessandro Fantechi, Stefania Gnesi: Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275
54 Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami: Automatic clustering of non-functional requirements. IASTED Conf. on Software Engineering and Applications 2004: 672-677
53EEStefania Gnesi, Diego Latella, Mieke Massink: Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
52EEAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti: A Methodology for the Derivation and Verification of Use Cases for Product Lines. SPLC 2004: 255-265
51 Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto: Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
50EEStefania 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
49 Keijiro Araki, Stefania Gnesi, Dino Mandrioli: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings Springer 2003
48EEAntonia Bertolino, Stefania Gnesi: Use case-based testing of product lines. ESEC / SIGSOFT FSE 2003: 355-358
47EEAlessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr: Elicitation of Use Cases for Product Lines. PFE 2003: 152-167
46EEAntonia Bertolino, Stefania Gnesi: PLUTO: A Test Methodology for Product Families. PFE 2003: 181-197
45EEGian 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)
44EEStefania Gnesi: Formal Specification and Verification of Complex Systems. Electr. Notes Theor. Comput. Sci. 80: (2003)
43EEAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Applications of linguistic techniques for use case analysis. Requir. Eng. 8(3): 161-170 (2003)
42EEHubert 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
41EEAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164
40EELuis 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
39EEStefania 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)
38EECinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4): 251-275 (2002)
2001
37EENicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
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. Formal Methods in System Design 19(2): 119-120 (2001)
2000
35EEStefania 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
34EEStefania 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
33 Jorge Cuéllar, Stefania Gnesi, Diego Latella: Foreword. Sci. Comput. Program. 36(1): 1-3 (2000)
1999
32EEStefania Gnesi, Diego Latella, Mieke Massink: Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55
31 Stefania Gnesi, Laura Semini: Implementation of Coordination Primitives in a Mobile Architecture. PDPTA 1999: 1012-1018
30 Stefania Gnesi, Franco Mazzanti: On the Fly Verification of Network of Automata. PDPTA 1999: 1040-1046
29EECinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430
1998
28EEGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
27EEAlessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
26EEStefania Gnesi, Diego Latella: Editorial. Formal Asp. Comput. 10(4): 311-312 (1998)
25 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)
24 Cinzia 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
23 Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
22EECinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: An industrial application for the JACK environment. Journal of Systems and Software 39(3): 249-264 (1997)
1996
21EEAlessandro Fantechi, Stefania Gnesi, Diego Latella: Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578
20EECinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi: Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332
19 Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi: A Deductive Database Support to the Specification of Concurrent Systems. SOFSEM 1996: 309-316
1995
18 Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori: Verifying hardware components within JACK. CHARME 1995: 246-260
17 Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
1994
16 Alessandro Fantechi, Stefania Gnesi, R. Sacchelli: Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. FORTE 1994: 218-220
15 Amar Bouali, Stefania Gnesi, Salvatore Larosa: JACK: Just Another Concurrency Kit. The intergration Projekt. Bulletin of the EATCS 54: 207-223 (1994)
14 Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: Model Checking for Action-Based Logics. Formal Methods in System Design 4(2): 187-203 (1994)
13 Alessandro 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
12EEAlessandro Fantechi, Stefania Gnesi, V. Perticaroli: An Expressive Logic for Basic Process Algebra. MFCS 1993: 453-462
11 Rocco 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
10EERocco 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
9 Alessandro Fantechi, Stefania Gnesi: Compositionality and Bisimulation: A Negative Result. Inf. Process. Lett. 39(2): 109-114 (1991)
8EEAlessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini: Executing the formal definition of Ada. SIGPLAN Notices 26(3): 25-34 (1991)
1990
7 Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini: How Expressive Are LOTOS Behaviour Expressions? FORTE 1990: 17-32
6 Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: Compositional logic semantics and LOTOS. PSTV 1990: 365-378
1989
5 Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve: An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276
1988
4EEStefania Gnesi, Paola Inverardi, Monica Nesi: A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency 1988: 181-196
1987
3 Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari: An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335
1981
2EEStefania Gnesi, Ugo Montanari, Alberto Martelli: Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28(4): 737-751 (1981)
1978
1 Alfonso 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 [34] [35]
2João Abreu [90]
3Lucia Acciai [81]
4Gianluca Amato [61] [68]
5Arturo M. Amendola [34] [35]
6Luis Filipe Andrade [40]
7Keijiro Araki [49]
8Patrizia Asirelli [19] [88]
9Paolo Baldan [40]
10Michele Banci [72] [78]
11Federico Banti [81]
12Hubert Baumeister [40]
13Maurice H. ter Beek [56] [57] [64] [71] [74] [75] [82] [88] [89]
14Cinzia Bernardeschi [20] [22] [24] [29] [38]
15Antonia Bertolino [46] [48] [63] [69]
16Amar Bouali [15]
17Roberto Bruni [40] [79] [84]
18Antonio Bucchiarone [62] [63] [74] [79] [84] [86] [87]
19Gaetano Di Caprio [65]
20Michele Carenini [13]
21Alfonso Catalano [1]
22Allan Clark [81]
23Massimo Coppola [61] [68]
24Ricardo Corin [65]
25Andrea Corradini [40]
26Jorge Cuéllar [33]
27Greg Dennis [87]
28Jörg Dörr [47]
29Sandro Etalle [65]
30Fabrizio Fabbrini [54] [73]
31Alessandro Fantechi [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [20] [21] [22] [24] [27] [29] [37] [38] [41] [43] [47] [52] [55] [59] [69] [70] [72] [75] [76] [77] [78] [80] [81] [83] [86] [88]
32Gian Luigi Ferrari (GianLuigi Ferrari) [23] [28] [45] [51]
33Gianluigi Ferro [23]
34José Luiz Fiadeiro [40] [90]
35John S. Fitzgerald [66]
36Alessandro Forghieri [57] [64]
37Nicoletta De Francesco [17] [37]
38Mario Fusani [54] [73]
39Fabio Gadducci [40]
40Hubert Garavel [42]
41Stephen Gilmore (Stephen T. Gilmore) [81]
42László Gönczy [81]
43Dan Hirsch [84]
44Piotr Hoffman [40]
45Matthias M. Hölzl [81]
46Paola Inverardi [3] [4] [17] [37]
47Isabel John [47]
48Nora Koch [40] [81] [82]
49Piotr Kosiuczenko [40]
50Giuseppe Lami [41] [43] [47] [52] [54] [60] [69] [73] [86]
51Cosimo Laneve [5]
52Alessandro Lapadula [40] [81] [83]
53Salvatore Larosa [15] [18] [24]
54Diego Latella [21] [25] [26] [32] [33] [34] [35] [36] [39] [40] [53] [56] [57] [64] [67]
55F. Leggio [8]
56Gabriele Lenzini [34] [35] [50] [58] [65]
57Alberto Lluch-Lafuente [84]
58Giovanni Lombardi [72] [78]
59Antónia Lopes [40]
60Michele Loreti [40]
61Alessandro Maccari [41] [43]
62Adriana Maggiore [59]
63Dino Mandrioli [49] [66]
64P. Marmo [34] [35]
65Alberto Martelli [2]
66Fabio Martinelli [50] [58]
67Mieke Massink [32] [39] [40] [53] [56] [57] [64] [67]
68Philip Mayer [81]
69Franco Mazzanti [27] [30] [40] [71] [75] [81] [82] [83] [89] [90]
70Gianluca Mazzarini [7]
71Hernán C. Melgratti [79]
72Robert Meolic [55]
73Corrado Moiso [65] [71]
74Giorgio Mongardi [20] [24]
75Ugo Montanari [1] [2] [3] [23] [28] [40] [45] [51]
76Paolo Moreschini [13]
77Henry Muccini [63]
78Monica Nesi [4]
79E. Nesti [52]
80Rocco De Nicola [10] [11] [18] [40]
81Cristóvão Oliveira [40]
82V. Perticaroli [12]
83P. Pierini [62]
84Marco Pistore [23] [28] [45]
85Rosario Pugliese [27] [40] [81] [83]
86Roberto Raggi [51]
87Gioia Ristori [6] [10] [11] [13] [14] [18] [23] [28]
88Dario Romano [24]
89Maria Cristina Rossi [19]
90R. Sacchelli [16]
91Ina Schieferdecker [42]
92Andreas Schroeder [81]
93Francesca Scozzari [61] [68]
94Maurizio Sebastianis [57] [64]
95Laura Semini [31] [61] [68] [70]
96P. Talini [8]
97Andrzej Tarlecki [40]
98Francesco Tiezzi [81] [83]
99Gianluca Trentanni [51] [60] [86]
100Mirco Tribastone [81]
101Enrico Tronci [27]
102Emilio Tuosto [51]
103Massimo Vanocchi [13]
104Dániel Varró [81]
105Michel Wermelinger [40]
106Martin Wirsing [40] [81]
107Artur Zawlocki [40]

Colors in the list of coauthors

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