Alessandro Fantechi

	2009
64		Darren 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
63		Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni: Formal Development for Railway Signaling Using Commercial Tools. FMICS 2009: 197-198
62		Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
	2008
61		Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474
60		Alessandro Fantechi, Elie Najm: Session Types for Orchestration Charts. COORDINATION 2008: 117-134
59		Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
58		Alessandro Fantechi, Alessio Ferrari: Panel Discussion on Formal Methods in Commercial Software Development Tools. FMICS 2008: 4-6
57		Martin 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
56		Alessandro Fantechi, Stefania Gnesi: Formal Modeling for Product Families Engineering. SPLC 2008: 193-202
	2007
55		Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Experimenting with diversity in the model driven development of a railway signaling system. EFTS 2007: 5
54		Alessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524
53		Alessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE (Companion) 2007: 521-524
52		Maurice 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
51		Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34
	2006
50		Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni: A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189
49		Alessandro Fantechi, Stefania Gnesi, Laura Semini: Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152
48		Antonia 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
47		Alessandro 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)
45		Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore: Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. Electr. Notes Theor. Comput. Sci. 116: 199-211 (2005)
44		Michele 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)
43		Michele Banci, Alessandro Fantechi: Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. Electr. Notes Theor. Comput. Sci. 133: 3-19 (2005)
42		Marcello 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
41		Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci: Natural Language Processing of Patents and Technical Documentation. Document Analysis Systems 2004: 508-520
40		Robert Meolic, Alessandro Fantechi, Stefania Gnesi: Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275
39		Alessandro 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
38		Cyril Carrez, Alessandro Fantechi, Elie Najm: Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126
37		Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr: Elicitation of Use Cases for Product Lines. PFE 2003: 152-167
36		Alessandro Fantechi, Emilio Spinicci: Modelling and Validating a multiple-configuration railway signalling system using SDL. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
35		Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Applications of linguistic techniques for use case analysis. Requir. Eng. 8(3): 161-170 (2003)
	2002
34		Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164
33		Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4): 251-275 (2002)
	2001
32		Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
31		Andrea 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
28		Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430
27		David 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
26		Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
25		Cinzia 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
23		Alessandro Fantechi, Paolo Nesi, E. Somma: Object-Oriented Analysis of COBOL. CSMR 1997: 157-164
22		Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: An industrial application for the JACK environment. Journal of Systems and Software 39(3): 249-264 (1997)
	1996
21		Alessandro Fantechi, Stefania Gnesi, Diego Latella: Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578
20		Cinzia 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
16		Cinzia 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
12		Alessandro 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
10		Rocco 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)
8		Alessandro 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

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

Colors in the list of coauthors