Alessandro Fantechi

2008
54	EE	Alessandro Fantechi, Elie Najm: Session Types for Orchestration Charts. COORDINATION 2008: 117-134
53	EE	Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
2007
52	EE	Alessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524
51	EE	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	EE	Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni: A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189
49	EE	Alessandro Fantechi, Stefania Gnesi, Laura Semini: Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152
48	EE	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	EE	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	EE	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	EE	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	EE	Michele Banci, Alessandro Fantechi: Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. Electr. Notes Theor. Comput. Sci. 133: 3-19 (2005)
42	EE	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	EE	Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci: Natural Language Processing of Patents and Technical Documentation. Document Analysis Systems 2004: 508-520
40	EE	Robert Meolic, Alessandro Fantechi, Stefania Gnesi: Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275
39	EE	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	EE	Cyril Carrez, Alessandro Fantechi, Elie Najm: Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126
37	EE	Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr: Elicitation of Use Cases for Product Lines. PFE 2003: 152-167
36	EE	Alessandro Fantechi, Emilio Spinicci: Modelling and Validating a multiple-configuration railway signalling system using SDL. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
35	EE	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	EE	Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164
33	EE	Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4): 251-275 (2002)
2001
32	EE	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	EE	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	EE	Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430
27	EE	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	EE	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	EE	Alessandro Fantechi, Paolo Nesi, E. Somma: Object-Oriented Analysis of COBOL. CSMR 1997: 157-164
22	EE	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, M. 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	EE	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	Luca Aceto	[2]
2	Jean Arlat	[27]
3	Stefano Bacherini	[50]
4	Fabrizio Baiardi	[3]
5	Michele Banci	[43] [44] [51]
6	Marcello Becucci	[42] [44]
7	Cinzia Bernardeschi	[16] [18] [20] [22] [24] [25] [28] [30] [33]
8	Antonia Bertolino	[48]
9	Ljerka Beus-Dukic	[27]
10	Andrea Bondavalli	[27] [31]
11	Michele Carenini	[13]
12	Cyril Carrez	[38] [46]
13	Gaetano Cascini	[41]
14	Paolo Ciancarini	[29]
15	P. Coppola	[27]
16	Jörg Dörr	[37]
17	Nicoletta De Francesco	[17] [32]
18	Marco Giromini	[42]
19	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]
20	Roberto Gorrieri	[29]
21	Paola Inverardi	[1] [4] [17] [32]
22	Eric Jenn	[27]
23	Isabel John	[37]
24	Giuseppe Lami	[34] [35] [37] [39] [48]
25	Cosimo Laneve	[5]
26	Alessandro Lapadula	[53]
27	Salvatore Larosa	[19] [24]
28	Diego Latella	[21] [31]
29	F. Leggio	[8]
30	Norma Lijtmaer	[1]
31	Giovanni Lombardi	[51]
32	Alessandro Maccari	[34] [35]
33	Adriana Maggiore	[45]
34	Franco Mazzanti	[26] [53]
35	Gianluca Mazzarini	[7]
36	Robert Meolic	[40]
37	Giorgio Mongardi	[20] [24]
38	Ugo Montanari	[4]
39	Paolo Moreschini	[13]
40	Elie Najm	[38] [46] [54]
41	Paolo Nesi	[23]
42	E. Nesti	[39]
43	Rocco De Nicola	[2] [10] [11] [19]
44	Fabio Paternò	[18]
45	V. Perticaroli	[12]
46	David Powell	[27]
47	Rosario Pugliese	[26] [53]
48	Christophe Rabéjac	[27]
49	Gioia Ristori	[6] [10] [11] [13] [14] [19]
50	Dario Romano	[24]
51	R. Sacchelli	[15]
52	Laura Semini	[49]
53	Luca Simoncini	[16] [25] [30] [31]
54	E. Somma	[23]
55	Emilio Spinicci	[36] [41] [42] [44] [47]
56	P. Talini	[8]
57	Matteo Tempestini	[50]
58	Francesco Tiezzi	[53]
59	A. Tomasi	[3]
60	Enrico Tronci	[26]
61	Marco Vanneschi	[3]
62	M. Vanocchi	[13]
63	Andy J. Wellings	[27]
64	Niccolò Zingoni	[50]

Colors in the list of coauthors