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

Alessandro Fantechi 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
63EEDarren D. Cofer, Alessandro Fantechi: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers Springer 2009
62EEPatrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
2008
61EEAntonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474
60EEAlessandro Fantechi, Elie Najm: Session Types for Orchestration Charts. COORDINATION 2008: 117-134
59EEAlessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
58EEAlessandro Fantechi, Alessio Ferrari: Panel Discussion on Formal Methods in Commercial Software Development Tools. FMICS 2008: 4-6
57EEMartin 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
56EEAlessandro Fantechi, Stefania Gnesi: Formal Modeling for Product Families Engineering. SPLC 2008: 193-202
2007
55EEMichele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Experimenting with diversity in the model driven development of a railway signaling system. EFTS 2007: 5
54EEAlessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524
53EEAlessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE (Companion) 2007: 521-524
52EEMaurice 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
51EEMichele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34
2006
50EEStefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni: A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189
49EEAlessandro Fantechi, Stefania Gnesi, Laura Semini: Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152
48EEAntonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami: Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445
2005
47EEAlessandro Fantechi, Emilio Spinicci: A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. WER 2005: 245-256
46 Cyril Carrez, Alessandro Fantechi, Elie Najm: Assembling components with behavioural contracts. Annales des Télécommunications 60(7-8): 989-1022 (2005)
45EEAlessandro Fantechi, Stefania Gnesi, Adriana Maggiore: Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. Electr. Notes Theor. Comput. Sci. 116: 199-211 (2005)
44EEMichele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci: Validation Coverage for a Component-based SDL model of a Railway Signaling System. Electr. Notes Theor. Comput. Sci. 116: 99-111 (2005)
43EEMichele Banci, Alessandro Fantechi: Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. Electr. Notes Theor. Comput. Sci. 133: 3-19 (2005)
42EEMarcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci: A comparison between handwritten and automatic generation of C code from SDL using static analysis. Softw., Pract. Exper. 35(14): 1317-1347 (2005)
2004
41EEGaetano Cascini, Alessandro Fantechi, Emilio Spinicci: Natural Language Processing of Patents and Technical Documentation. Document Analysis Systems 2004: 508-520
40EERobert Meolic, Alessandro Fantechi, Stefania Gnesi: Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275
39EEAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti: A Methodology for the Derivation and Verification of Use Cases for Product Lines. SPLC 2004: 255-265
2003
38EECyril Carrez, Alessandro Fantechi, Elie Najm: Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126
37EEAlessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr: Elicitation of Use Cases for Product Lines. PFE 2003: 152-167
36EEAlessandro Fantechi, Emilio Spinicci: Modelling and Validating a multiple-configuration railway signalling system using SDL. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
35EEAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Applications of linguistic techniques for use case analysis. Requir. Eng. 8(3): 161-170 (2003)
2002
34EEAlessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164
33EECinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4): 251-275 (2002)
2001
32EENicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
31EEAndrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini: Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001)
2000
30 Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000)
1999
29 Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy Kluwer 1999
28EECinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430
27EEDavid Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings: GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE Trans. Parallel Distrib. Syst. 10(6): 580-599 (1999)
1998
26EEAlessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
25EECinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi: Validating the Design of Dependable Systems. ISORC 1998: 364-372
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
23EEAlessandro Fantechi, Paolo Nesi, E. Somma: Object-Oriented Analysis of COBOL. CSMR 1997: 157-164
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
1995
19 Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori: Verifying hardware components within JACK. CHARME 1995: 246-260
18 Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò: Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. SEKE 1995: 234-243
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
16EECinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94
15 Alessandro Fantechi, Stefania Gnesi, R. Sacchelli: Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. FORTE 1994: 218-220
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
1987
4 Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari: An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335
3 Fabrizio Baiardi, Alessandro Fantechi, A. Tomasi, Marco Vanneschi: Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination. J. Parallel Distrib. Comput. 4(6): 531-545 (1987)
1986
2 Luca Aceto, Rocco De Nicola, Alessandro Fantechi: Testing Equivalences for Event Structures. Mathematical Models for the Semantics of Parallelism 1986: 1-20
1 Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer: Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. Softw., Pract. Exper. 16(8): 701-717 (1986)

Coauthor Index

1Lucia Acciai [57]
2Luca Aceto [2]
3Jean Arlat [27]
4Patrizia Asirelli [62]
5Stefano Bacherini [50]
6Fabrizio Baiardi [3]
7Michele Banci [43] [44] [51] [55]
8Federico Banti [57]
9Marcello Becucci [42] [44]
10Maurice H. ter Beek [52] [62]
11Cinzia Bernardeschi [16] [18] [20] [22] [24] [25] [28] [30] [33]
12Antonia Bertolino [48]
13Ljerka Beus-Dukic [27]
14Andrea Bondavalli [27] [31]
15Antonio Bucchiarone [61]
16Michele Carenini [13]
17Cyril Carrez [38] [46]
18Gaetano Cascini [41]
19Paolo Ciancarini [29]
20Allan Clark [57]
21Darren D. Cofer [63]
22P. Coppola [27]
23Jörg Dörr [37]
24Alessio Ferrari [58]
25Nicoletta De Francesco [17] [32]
26Stephen Gilmore (Stephen T. Gilmore) [57]
27Marco Giromini [42]
28Stefania Gnesi [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [19] [20] [21] [22] [24] [26] [28] [32] [33] [34] [35] [37] [39] [40] [45] [48] [49] [51] [52] [53] [54] [55] [56] [57] [59] [61] [62]
29László Gönczy [57]
30Roberto Gorrieri [29]
31Matthias M. Hölzl [57]
32Paola Inverardi [1] [4] [17] [32]
33Eric Jenn [27]
34Isabel John [37]
35Nora Koch [57]
36Giuseppe Lami [34] [35] [37] [39] [48] [61]
37Cosimo Laneve [5]
38Alessandro Lapadula [57] [59]
39Salvatore Larosa [19] [24]
40Diego Latella [21] [31]
41F. Leggio [8]
42Norma Lijtmaer [1]
43Giovanni Lombardi [51] [55]
44Alessandro Maccari [34] [35]
45Adriana Maggiore [45]
46Philip Mayer [57]
47Franco Mazzanti [26] [52] [57] [59]
48Gianluca Mazzarini [7]
49Robert Meolic [40]
50Giorgio Mongardi [20] [24]
51Ugo Montanari [4]
52Paolo Moreschini [13]
53Elie Najm [38] [46] [60]
54Paolo Nesi [23]
55E. Nesti [39]
56Rocco De Nicola [2] [10] [11] [19]
57Fabio Paternò [18]
58V. Perticaroli [12]
59David Powell [27]
60Rosario Pugliese [26] [57] [59]
61Christophe Rabéjac [27]
62Gioia Ristori [6] [10] [11] [13] [14] [19]
63Dario Romano [24]
64R. Sacchelli [15]
65Andreas Schroeder [57]
66Laura Semini [49]
67Luca Simoncini [16] [25] [30] [31]
68E. Somma [23]
69Emilio Spinicci [36] [41] [42] [44] [47]
70P. Talini [8]
71Matteo Tempestini [50]
72Francesco Tiezzi [57] [59]
73A. Tomasi [3]
74Gianluca Trentanni [61]
75Mirco Tribastone [57]
76Enrico Tronci [26]
77Marco Vanneschi [3]
78Massimo Vanocchi [13]
79Dániel Varró [57]
80Andy J. Wellings [27]
81Martin Wirsing [57]
82Niccolò Zingoni [50]

Colors in the list of coauthors

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