Personale

Recapiti

Orario di ricevimento

Italiano

Curriculum

Note

Pubblicazioni

Insegnamenti

English

Curriculum

Note

Alessandro FANTECHI

Ruolo attuale:: Professore Ordinario
SSD:: IINF-05/A - Sistemi di elaborazione delle informazioni
Afferenza organizzativa:: Dipartimento di Ingegneria dell'Informazione

Recapiti

	0552758639 - 0552758994
	alessandro.fantechi(AT)unifi.it

Ulteriori Recapiti

https://stlab.dinfo.unifi.it/fantechi/

Alessandro FANTECHI

Curriculum

Alessandro Fantechi

Alessandro Fantechi ha ricevuto la laurea in Scienze dell'Informazione all'Universita di Pisa, nel Novembre 1978, conseguendo nel contempo il Diploma di Licenza della Scuola Normale Superiore.

Dal Dicembre 2007 è Professore Ordinario presso la Facoltà di Ingegneria dell'Università di Firenze, dove è stato Professore Straordinario dal Dicembre 2005 e Professore Associato dal Novembre 1995.

In precedenza, è stato Professore Associato presso la Facoltà di Ingegneria dell'Università di Pisa dal 1992, e Ricercatore dell'IEI - CNR, Pisa, dal 1983.

Attualmente tiene presso l'Università di Firenze il corso di Informatica Industriale per il Corso di Laurea di Ingegneria Informatica e Ingegneria delle Telecomunicazioni, e il corso di Elementi di Software Dependability per il Corso di Laurea Magistrale in Ingegneria Informatica.

È stato Presidente del Corso di Laurea in Ingegneria Informatica dal Novembre 2007 all’Ottobre 2014.

È associato alla ricerca dell'Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" del CNR (precedentemente, IEI), Pisa dal 1992.

È presidente della Sezione Territoriale Toscana dell’AICA (Associazione Italiana per il Calcolo Automatico).

Alessandro Fantechi si occupa principalmente di applicazioni di metodi formali di specifica e verifica, con particolare riguardo alla modellazione di architetture service-oriented, alle tecniche di modellazione della variabilità in prodotti di famiglie software, alle tecniche di model-checking, e alle loro applicazioni in ambito industriale, in particolare nel domino degli apparati di segnalamento ferroviario.

I suoi interessi di ricerca hanno compreso, oltre alle tecniche di descrizione formale, la logica temporale, la programmazione e modellazione di sistemi distribuiti, e l'applicazione di tecniche di elaborazione del linguaggio naturale all'ingegneria dei requisiti.

Ha pubblicato piu' di 100 articoli su riviste o a conferenze internazionali.

Ha svolto l'attività di coordinatore di unità in diversi progetti nazionali di ricerca (COFIN - SALADIN, COFIN - QUACK) ed internazionali (ESPRIT - LOTOSPHERE).

Ha partecipato all'organizzazione di diverse conferenze internazionali, tra cui FMOODS'99, ICSM2001, FME 2003, SEFM 2010, IFM2012, VAMOS 2013, VECOS2013 ed e' stato membro del comitato di programma di diverse edizioni delle conferenze internazionali TACAS, FMOODS, FORTE, FMICS, VAMOS. E’ stato Program Co-chair della conferenza FMICS 2008 e General co-Chair di SPLC2014 e RSSR2017.

Dal Novembre 2008 al Novembre 2011 è stato coordinatore del gruppo FMICS - Formal Methods for Industrial Critical Systems dell'ERCIM.

È stato Professore visitatore “Velux” alla Denmarks Technical University (DTU, Lyngby, Danimarca) da Gennaio a Agosto 2016, su finanziamento della Fondazione Villum.

Ha svolto numerose attività di trasferimento tecnologico verso importanti imprese nazionali dedite a produzione di sistemi embedded e safety-critical, in particolare nei settori del segnalamento ferroviario e dei sistemi avionici.

Alessandro FANTECHI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Broy, Manfred; Brucker, Achim; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra; Platzer, André; Ringert, Jan; Sullivan, Allison (In corso di stampa). Does Every Computer Scientist Need to Know Formal Methods?. FORMAL ASPECTS OF COMPUTING, pp. 1-15, ISSN:0934-5043 DOI Accesso ONLINE all'editore

Broccia, Giovanna; ter Beek, Maurice H.; Lluch Lafuente, Alberto; Spoletini, Paola; Fantechi, Alessandro; Ferrari, Alessio (2025). Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. INFORMATION AND SOFTWARE TECHNOLOGY, vol. 178, pp. 1-18, ISSN:0950-5849 DOI Accesso ONLINE all'editore

Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania (2024). Coherent modal transition systems refinement. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 138, pp. 1-23, ISSN:2352-2208 DOI Accesso ONLINE all'editore

Basile, Davide; ter Beek, Maurice H.; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria (2024). An Integrated Perspective on the Evaluation of Complex Railway Systems. In: International Symposium on Leveraging Applications of Formal Methods (ISoLA), Springer, pp. 190-207, ISBN:9783031753893 DOI

Limbrée, Christophe; Haxthausen, Anne E.; Gori, Gloria; Fantechi, Alessandro (2024). Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. In: ISoLA 2024, Iràklion, Grecia, Springer, pp. 127-141, ISBN:9783031753893 DOI Accesso ONLINE all'editore

Belli D.; Fantechi A.; Gnesi S.; Masullo L.; Mazzanti F.; Quadrini L.; Trentini D.; Vaghi C. (2023). The 4SECURail Case Study on Rigorous Standard Interface Specifications. In: Formal Methods for Industrial Critical Systems (FMICS) 2023, Antwerp, Belgio, September 20-22, 2023, Alessandro Cimatti, Laura Titolo, vol. 14290 LNCS, pp. 22-39, ISBN:978-3-031-43680-2 DOI Accesso ONLINE all'editore

Haxthausen, AE; Fantechi, A (2023). Compositional Verification of Railway Interlocking Systems. FORMAL ASPECTS OF COMPUTING, vol. 35, pp. 1-46, ISSN:0934-5043 DOI Accesso ONLINE all'editore

Haxthausen, Anne E.; Fantechi, Alessandro; Gori, Gloria (2023). Decomposing the Verification of Interlocking Systems. In: Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, Bremen, Germany, 1-2 March 2023, Springer Nature Switzerland, pp. 96-113, ISBN:978-3-031-40132-9 DOI Accesso ONLINE all'editore

Haxthausen A.E.; Fantechi A.; Gori G.; Mikkelsen O.K.; Petersen S.-A. (2023). Automated Compositional Verification of Interlocking Systems. In: RSSRail 2023, Berlino, 10-12 Ottobre 2023, Springer, vol. 14198 LNCS, pp. 146-164, ISBN:978-3-031-43365-8 DOI Accesso ONLINE all'editore

Fantechi, A; Gnesi, S; Semini, L (2023). VIBE: Looking for Variability In amBiguous rEquirements?. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 195, pp. 0-0, ISSN:0164-1212 DOI Accesso ONLINE all'editore

Fantechi, Alessandro; Gnesi, Stefania; Passaro, Lucia; Semini, Laura (2023). Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. In: 31st {IEEE} International Requirements Engineering Conference, Hannover, Germany, September 4-8, 2023, IEEE, pp. 335-340, ISBN:979-8-3503-2689-5 DOI Accesso ONLINE all'editore

Fantechi A.; Gori G.; Haxthausen A.E.; Limbree C. (2022). Compositional Verification of Railway Interlockings: Comparison of Two Methods. In: 4th International Conference on Reliability, Safety and Security of Railway Systems, RSSRail 2022, fra, 2022, Springer Science and Business Media Deutschland GmbH, vol. 13294, pp. 3-19, ISBN:978-3-031-05813-4 DOI

Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria (2022). Future Train Control Systems: Challenges for Dependability Assessment. In: ISoLA (Leveraging Applications of Formal Methods, Verification and Validation Practice), Rhodes, Greece, 22-30 Ottobre 2022, Springer, vol. 13704, pp. 269-285, ISBN:978-3-031-19761-1 DOI

Fantechi, A; Gori, G; Papini, M (2022). Software rejuvenation and runtime reliability monitoring. In: WOSAR 2022 - 14th International Workshop on Software aging and rejuvenation, Charlotte, NC, USA, 31 Ottobre - 3 Novembre, IEEE COMPUTER SOC, pp. 162-169, ISBN:978-1-6654-7679-9 DOI Accesso ONLINE all'editore

Fantechi, A; Gori, G; Papini, M (2022). Runtime Reliability Monitoring for Complex Fault-Tolerance Policies. In: 2022 6th International Conference on System Reliability and Safety (ICSRS), Venezia, 23-25 Nov. 2022, IEEE, pp. 110-119, ISBN:978-1-6654-7092-6 DOI

Flammini F.; De Donato L.; Fantechi A.; Vittorini V. (2022). A Vision of Intelligent Train Control. In: 4th International Conference on Reliability, Safety and Security of Railway Systems, RSSRail 2022, fra, 2022, Springer Science and Business Media Deutschland GmbH, vol. 13294, pp. 192-208, ISBN:9783031058134 DOI

Fantechi A.; Haxthausen A.E.; Woodcock J. (2021). Editorial. FORMAL ASPECTS OF COMPUTING, vol. 33, pp. 923-924, ISSN:0934-5043 DOI

Fantechi A.; Gnesi S.; Semini L. (2021). Language and Communication Problems in Formalization: A Natural Language Approach. In: Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, Eds.. Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, Lecture Notes in Computer Science 12750, pp. 121-134 Springer Science and Business Media Deutschland GmbH. DOI

Basile D.; Fantechi A.; Rosadi I. (2021). Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer: Applying Formal Methods to Railway Standard Interfaces. In: 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021, 2021, Springer Science and Business Media Deutschland GmbH, vol. 12863, pp. 174-190. DOI

Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca (2021). Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. FORMAL ASPECTS OF COMPUTING, vol. -, pp. 0-0, ISSN:0934-5043 DOI Accesso ONLINE all'editore

Alessandro Fantechi, Gloria Gori, Jacopo Parri, Samuele Sampietro (2021). STINGRAY Project: Smart Stations as hubs of infomobility services for Smart Cities. In: 7th Cini Annual Conference on ICT for Smart Cities & Communities (I-CITIES 2021), Salerno, September 22-24, 2021, CINI, pp. 0-0.

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Jacopo Parri, Moreno Pieralli, Samuele Sampietro (2021). A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment. INGEGNERIA FERROVIARIA, pp. 5-27, ISSN:0020-0956

Carnevali L.; Ciani L.; Fantechi A.; Gori G.; Papini M. (2021). An efficient library for reliability block diagram evaluation. APPLIED SCIENCES, vol. 11, pp. 1-24, ISSN:2076-3417 DOI Accesso ONLINE all'editore

Fantechi A.; Gnesi S.; Livi S.; Semini L. (2021). A spaCy-based tool for extracting variability from NL requirements. In: 25th ACM International Systems and Software Product Line Conference, SPLC 2021, gbr, 2021, Association for Computing Machinery, vol. Part F171625-B, pp. 32-35, ISBN:9781450384704 DOI

Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.; Fantechi A. (2020). Comparing formal tools for system design: A judgment study. In: 42nd ACM/IEEE International Conference on Software Engineering, ICSE 2020, kor, 2020, IEEE Computer Society, pp. 62-74, ISBN:9781450371216 DOI

Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O. (2020). 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. In: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, grc, 2020, Springer Science and Business Media Deutschland GmbH, vol. 12476, pp. 368-384. DOI

Arrabito M.; Fantechi A.; Gnesi S.; Semini L. (2020). An experience with the application of three nlp tools for the analysis of natural language requirements. In: 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020, 2020, Springer Science and Business Media Deutschland GmbH, vol. 1266, pp. 488-498. DOI

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario (2020). Stochastic modeling and analysis of road–tramway intersections. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 16, pp. 215-230, ISSN:1614-5046 DOI

Basile D.; ter Beek M.H.; Fantechi A.; Ferrari A.; Gnesi S.; Masullo L.; Mazzanti F.; Piattino A.; Trentini D. (2020). Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. In: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, grc, 2020, Springer Science and Business Media Deutschland GmbH, vol. 12478, pp. 467-485. DOI

Arganese E.; Fantechi A.; Gnesi S.; Semini L. (2020). Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. In: Stan Jarzabek, Aneta Poniszewska-Marańda, Lech Madeyski. Integrating Research and Practice in Software Engineering - Studies in Computational Intelligence, pp. 125-143 Springer Verlag, ISBN:978-3-030-26573-1. DOI

Fantechi A.; Gnesi S.; Haxthausen A.E. (2020). Formal Methods for Distributed Computing in Future Railway Systems. In: Tiziana Margaria, Bernhard Steffen. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 389-392 Springer Science and Business Media Deutschland GmbH. DOI

Basile D.; Fantechi A.; Rucher L.; Mando G. (2019). Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. In: 3rd International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, fra, 2019, Springer Verlag, vol. 11495, pp. 41-58, ISBN:978-3-030-18743-9 DOI Accesso ONLINE all'editore

Ferrari A.; ter Beek M.H.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Piattino A.; Trentini D. (2019). Survey on Formal Methods and Tools in Railways: The ASTRail Approach. In: 3rd International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, fra, 2019, Springer Verlag, vol. 11495, pp. 226-241. DOI Accesso ONLINE all'editore

Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini (2019). A novel layered approach to evaluate reliability of complex systems. In: 5th International forum on Research and technologies for society and industry, Florence, Italy, September, 9-12 2019, IEEE, pp. 291-295. DOI Accesso ONLINE all'editore

ter Beek M.H.; Fantechi A.; Semini L. (2019). The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back. In: Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (Eds.). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 1-11 Springer Verlag. DOI

Ceccarelli, Andrea; Basile, Davide; Bondavalli, Andrea; Falai, Lorenzo; Fantechi, Alessandro; Ferrari, Sandro; Mandò, Gianluca; Nostro, Nicola; Rucher, Luigi (2019). The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. In: SAFECOMPW-SASSUR 2019, fin, 2019, Springer, vol. 11699, pp. 185-197, ISBN:978-3-030-26249-5 DOI

Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura (2019). Applying the QuARS tool to detect variability. In: SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B, Paris, Sun SITE Central Europe (CEUR), pp. 1-4, ISBN:9781450366687 DOI

ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco (2019). States and Events in KandISTI. In: Models, Mindsets, Meta 2018, Springer, vol. 11200, pp. 110-128, ISBN:978-3-030-22347-2 DOI

Fantechi, Alessandro (2019). Connected or Autonomous Trains?. In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Springer, vol. 11495, pp. 3-19, ISBN:978-3-030-18743-9 DOI

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (2019). From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Springer, 978-3-030-30984-8.

ter Beek, Maurice H.; Borälv, Arne; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Löfving, Christer; Mazzanti, Franco (2019). Adopting Formal Methods in an Industrial Setting: The Railways Case. In: International Symposium on Formal Methods - FM 2019, Springer, vol. 11800, pp. 762-772, ISBN:978-3-030-30941-1 DOI

Fantechi, Alessandro; Najm, Elie; Stefani, Jean-Bernard (2019). From Behavioural Contracts to Session Types. In: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, Springer, vol. 11665, pp. 278-297, ISBN:978-3-030-21484-5 DOI

Carnevali Laura, Fantechi Alessandro, Gori Gloria, Vicario Enrico. (2018). Analysis of a Road/Tramway Intersection by the ORIS Tool. In: Verification and Evaluation of Computer and Communication Systems. VECoS 2018, Springer, vol. 11181, pp. 185-199, ISBN:978-3-030-00358-6 DOI

Alessandro Fantechi; Anne E. Haxthausen (2018). Safety Interlocking as a Distributed Mutual Exclusion Problem. In: 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, irl, 2018, Springer Verlag, vol. 11119, pp. 52-66, ISBN:9783030002435 DOI Accesso ONLINE all'editore

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi (2018). Product line models of large cyber-physical systems. In: 22nd International Systems and Software Product Lines Conference (SPLC2018), ACM, vol. 1, pp. 208-214, ISBN:9781450364645 DOI

Ferrari, Alessio*; Gori, Gloria; Rosadini, Benedetta; Trotta, Iacopo; Bacherini, Stefano; Fantechi, Alessandro; Gnesi, Stefania (2018). Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. EMPIRICAL SOFTWARE ENGINEERING, vol. ..., pp. 1-50, ISSN:1382-3256 DOI Accesso ONLINE all'editore

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari (2018). On the industrial uptake of formal methods in the railway domain: A survey with stakeholders. In: 14th International Conference on Integrated Formal Methods, IFM 2018, irl, 2018, Springer Verlag, vol. 11023, pp. 20-29, ISBN:9783319989372 DOI Accesso ONLINE all'editore

Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura (2018). Hacking an Ambiguity Detection Tool to Extract Variation Points. In: 12th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS, Madrid, Spagna, February 7–9, 2018, ACM, pp. 43-50, ISBN:9781450353984 DOI

Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini (2018). Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. In: 26th IEEE International Requirements Engineering Conference, IEEE, pp. 418-423, ISBN:978-1-5386-7418-5 DOI

Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky (2017). Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. di Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky, Springer, 978-3-319-68498-7.

Rosadini, Benedetta; Ferrari, Alessio; Gori, Gloria; Fantechi, Alessandro; Gnesi, Stefania; Trotta, Iacopo; Bacherini, Stefano (2017). Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. In: Requirement Engineering Foundation for Software Quality, Essen, Germany, 27/02/2017 - 02/03/2017, Springer International Publishing, pp. 344-360, ISBN:978-3-319-54045-0 DOI Accesso ONLINE all'editore

Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura (2017). Optimizing Feature Interaction Detection. In: 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, ita, 2017, Springer Verlag, vol. 10471, pp. 201-216, ISBN:9783319671123 DOI Accesso ONLINE all'editore

Fantechi, Alessandro; Haxthausen, Anne E.; Macedo, Hugo D. (2017). Compositional verification of interlocking systems for large stations. In: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017, ita, 2017, Springer Verlag, vol. 10469, pp. 236-252, ISBN:9783319661964 DOI Accesso ONLINE all'editore

Fantechi, Alessandro; Haxthausen, Anne E.; Nielsen, Michel Boje Randahl (2017). Model Checking Geographically Distributed Interlocking Systems Using UMC. In: 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2017, rus, 2017, Institute of Electrical and Electronics Engineers Inc., pp. 278-286, ISBN:9781509060580 DOI Accesso ONLINE all'editore

Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura (2017). Ambiguity defects as variation points in requirements. In: Eleventh International Workshop on Variability Modelling of Software-intensive Systems, Eindhoven, 1-3 Feb. 2017, ACM, pp. 13-19, ISBN:9781450348119 DOI Accesso ONLINE all'editore

Paganelli, Federica; Ambra, Terence; Fantechi, Alessandro; Giuli, Dino (2017). Formalizing REST APIs for web-based communication and SIP interworking. TELECOMMUNICATION SYSTEMS, pp. 1-19, ISSN:1018-4864 DOI Accesso ONLINE all'editore

Macedo, Hugo Daniel; Fantechi, Alessandro; Haxthausen, Anne E. (2017). Compositional model checking of interlocking systems for lines with multiple stations. In: 9th International Symposium on NASA Formal Methods, NFM 2017, usa, 2017, Springer Verlag, vol. 10227, pp. 146-162, ISBN:9783319572871 DOI Accesso ONLINE all'editore

Fantechi, Alessandro; Macedo, Hugo Daniel; Haxthausen, Anne Elisabeth (2016). Compositional verification of multi-station interlocking systems. In: ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Springer Verlag, vol. 9953, pp. 279-293, ISBN:9783319471686 DOI Accesso ONLINE all'editore

Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania (2016). Formal methods and safety certification: Challenges in the railways domain. In: Margaria T., Steffen B.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 261-265 Springer Verlag, ISBN:9783319471686. DOI Accesso ONLINE all'editore

ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco (2016). Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. Volume 85, Pages 287–315, pp. 287-315, ISSN:2352-2208 DOI Accesso ONLINE all'editore

Fantechi, Alessandro (2016). Formal techniques for a data-driven certification of advanced railway signalling systems. In: 21st International Workshop on Formal Methods for Industrial Critical Systems, FMICS-AVoCS 2016 and 16th International Workshop on Automated Verification of Critical Systems, AVoCS 2016, ita, 2016, Springer Verlag, vol. 9933, pp. 231-245, ISBN:9783319459424 DOI Accesso ONLINE all'editore

Pepi, Stefano; Fantechi, Alessandro (2016). Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. In: International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn 2016, SCITEPRESS, pp. 5-13, ISBN:978-989-758-166-3 DOI

Fantechi, Alessandro; Gnesi, Stefania (2016). Refinement of Behavioural Models for Variability Description. In: Edited by Luigia Petre and Emil Sekerinski. From Action Systems to Distributed Systems - The Refinement Approach, pp. 155-169 Chapman and Hall, ISBN:978-1-4987-0158-7. DOI

Bonacchi, A.; Fantechi, A; Bacherini, S.; Tempestini, M. (2016). Validation process for railway interlocking systems. SCIENCE OF COMPUTER PROGRAMMING, vol. 128, pp. 2-21, ISSN:0167-6423 DOI

ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura (2016). Variability-based design of services for smart transportation systems. In: ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Springer Verlag, vol. 9953, pp. 465-481, ISBN:9783319471686 DOI Accesso ONLINE all'editore

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi (2015). Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. In: Software Product Line Conference 2015, ACM, pp. 321-326, ISBN:9781450336130 DOI

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti (2015). Using FMC for family-based analysis of software product lines. In: Software Product Line Conference 2015, ACM, pp. 432-439, ISBN:9781450336130 DOI

Mariano Di Claudio; Alessandro Fantechi; Simone Menabeni; Giacomo Martelli; Paolo Nesi (2014). Model-Based Development of an Automatic Train Operation Component for Communication Based Train Control. In: 17th International IEEE Conference on Intelligent Transportation Systems, Qingdao, China, October 8-11, 2014, IEEE Computer Society, pp. 0-0, ISBN:9781479960774

Alessandro Fantechi; Francesco Flammini; Stefania Gnesi (2014). Formal methods for railway control systems. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 16, pp. 643-646, ISSN:1433-2779 DOI

Andrea, Bonacchi; Alessandro, Fantechi; Stefano, Bacherini; Matteo, Tempestini; Leonardo, Cipriani (2014). Validation of Railway Interlocking Systems by Formal Verification, A Case Study. In: International Conference on Software Engineering and Formal Methods SEFM 2013: Software Engineering and Formal Methods, Springer Verlag, vol. 8368, pp. 237-252, ISBN:9783319050317 DOI

Fantechi, Alessandro (2014). Twenty-Five Years of Formal Methods and Railways: What Next? - Software Engineering and Formal Methods. In: Formal Methods for Industrial Critical Systems (FMICS) 2013, Springer, vol. 8368, pp. 167-183, ISBN:9783319050317 DOI

Bonacchi, Andrea; Fantechi, Alessandro (2014). Validation of Interlocking Systems by Testing their Models. , pp. 226-229 DOI

Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani (2013). Model-Based Development and Formal Methods in the Railway Industry. IEEE SOFTWARE, vol. 30, pp. 28-34, ISSN:0740-7459 DOI

Felicita Giandomenico;Alessandro Fantechi;Stefania Gnesi;Massimiliano Leone Itria (2013). Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. In: SERENE, Springer-Verlag, vol. 8166, pp. 184-198, ISBN:9783642408939 DOI

Tommaso Magherini;Alessandro Fantechi;Chris D. Nugent;Enrico Vicario (2013). Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, vol. 43, pp. 509-521, ISSN:2168-2291 DOI

Jonathan Michaux;Elie Najm;Alessandro Fantechi (2013). Session types for safe Web service orchestration. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, vol. 82, pp. 282-310, ISSN:1567-8326 DOI

Gionni Bernardini;Federica Paganelli;Mauro Manetti;Alessandro Fantechi;Ernesto Iadanza (2013). SYRMA: a tool for a system approach to risk management in mission critical systems. INTERNATIONAL JOURNAL OF BUSINESS INFORMATION SYSTEMS, vol. 13, pp. 21-44, ISSN:1746-0972 DOI Accesso ONLINE all'editore

Alessandro Fantechi (2013). Topologically configurable systems as product families. In: 17th International Software Product Line Conference SPLC '13, ACM, pp. 151-157, ISBN:9781450319683 DOI

Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini (2013). The Metrô Rio case study. SCIENCE OF COMPUTER PROGRAMMING, vol. 78, pp. 828-842, ISSN:0167-6423 DOI

Alessandro Fantechi; Chris D. Nugent; Alessandro Pinzuti; Enrico Vicario; Tommaso Magherini (2013). An On-line system for automated recognition of human activities. EUROPEAN JOURNAL OF LAW AND TECHNOLOGY, vol. 4, pp. 1-12, ISSN:2042-115X

A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi (2012). A Logical Verification Methodology for Service-Oriented Computing. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 21(3), pp. 1-46, ISSN:1049-331X DOI Accesso ONLINE all'editore

Jonathan Michaux;Elie Najm;Alessandro Fantechi (2012). Adding Sessions to BPEL. In: WWV 2012, -, vol. 98, pp. 60-76. DOI

Alessandro Fantechi; Wan Fokkink; Angelo Morzenti (2012). Some Trends in Formal Methods Applications to Railway Signaling. In: Stefania Gnesi, Tiziana Margaria. Formal Methods for Industrial Critical Systems, pp. 61-84 IEEE, ISBN:9780470876183. DOI

T. Magherini; A. Fantechi; C.D. Nugent; A. Pinzuti; E. Vicario (2012). Monitoring of ADLs in sensorized environments using an on-line Model Checker. In: Informatica Quantitativa 2012, IMT - Institute for Advanced Studies Lucca, pp. 1-1.

Andrea Bonacchi; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini; Leonardo Cipriani (2012). A GUI Testability Problem: A Case Study in the Railway Signaling Domain. In: 2012 Eighth International Conference on the Quality of Information and Communications Technology, IEEE, pp. 103-107, ISBN:9780769547770 DOI

Alessandro Fantechi (2012). The Role of Formal Methods in Software Development for Railway Applications. In: Francesco Flammini. Railway Safety, Reliability, and Security, pp. 282-297 IGI, ISBN:9781466616431. DOI

Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi (2011). Model Checking Interlocking Control Tables. In: FORMS/FORMAT 2010, Springer-Verlag, pp. 107-115, ISBN:9783642142604 DOI

A. Fantechi; S. Gnesi (2011). On the Adoption of Model Checking in Safety-Related Software Industry. In: SAFECOMP, Springer-Verlag, vol. 6894, pp. 383-396, ISBN:9783642242694 DOI Accesso ONLINE all'editore

Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi (2011). Formal Description of Variability in Product Families. In: 2011 15th International Software Product Line Conference, ACM, pp. 130-139, ISBN:9781457710292 DOI

Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi;Matteo Tempestini (2011). Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. INTERNATIONAL JOURNAL OF EMBEDDED AND REAL-TIME COMMUNICATION SYSTEMS, vol. 2, pp. 42-61, ISSN:1947-3176 DOI

P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi; (2011). A model-checking tool for families of services.. In: FMOODS/FORTE, Reykjavik, Iceland, June 2011, vol. Lecture Notes in Computer Science 6722, pp. 44-58, ISBN:9783642214608 DOI Accesso ONLINE all'editore

Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi;Jose L. Fiadeiro (2011). Variability and Rigour in Service Computing Engineering. In: 2011 IEEE 34th Software Engineering Workshop, IEEE, pp. 122-127, ISBN:9780769546278 DOI

M. H. ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti (2011). A state/event-based model-checking approach for the analysis of abstract system properties.. SCIENCE OF COMPUTER PROGRAMMING, vol. 76, pp. 119-135, ISSN:0167-6423 Accesso ONLINE all'editore

D. D. Cofer; A. Fantechi; S. Leue; P. Merino (2011). Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).. SCIENCE OF COMPUTER PROGRAMMING, vol. 76, pp. 63-64, ISSN:0167-6423 Accesso ONLINE all'editore

A. Fantechi; S. Gnesi (2011). Model Checking, cos'è e come si applica. MONDO DIGITALE, vol. anno X, n. 2/3, pp. 29-38, ISSN:1720-898X Accesso ONLINE all'editore

Patrizia Asirelli;Maurice H. ter Beek;Alessandro Fantechi;Stefania Gnesi;Franco Mazzanti (2011). Design and validation of variability in product lines. In: PLEASE '11, ACM, pp. 25-30, ISBN:9781450305846 DOI

D. Grasso; A. Fantechi; A. Ferrari; C. Becheri; S. Bacherini (2010). Model Based Testing and Abstract Interpretation in the Railway Signaling Context. In: Third International Conference on Software Testing, Verification and Validation (ICST2010), Parigi, Marzo 2010, pp. 0-0.

A. Ferrari; A. Fantechi; D. Grasso; M. Papini. (2010). An industrial application of formal model based development: the Metro Rio ATP case. In: 2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010), Londra, UK, Aprile 2010, pp. 0-0.

P. Asirelli; M. H. Ter Beek; S. Gnesi; A. Fantechi (2010). A deontic logical framework for modelling product families. In: Fourth International Workshop on Variability Modelling of Software (VAMOS 2010), Linz, Austria, Gennaio 2010, pp. 37-44.

P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi (2010). A logical framework to deal with variability. In: 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France, October 11-14, vol. Lecture Notes in Computer Science 6396, pp. 43-58, ISBN:9783642162640 Accesso ONLINE all'editore

A. Ferrari; D. Grasso; G. Magnani; A. Fantechi (2010). The Metro Rio ATP case study. In: 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), Antwerp, Belgio, Settembre, vol. Lecture Notes in Computer Science 6371, pp. 1-16, ISBN:9783642158971 Accesso ONLINE all'editore

M.H. ter Beek; S. Gnesi; A. Fantechi; G. Zavattaro (2010). Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). In: ACOTA 2010, Antwerp, Belgium, September 20-21, pp. 0-0.

A. Bucchiarone; A. Fantechi; S. Gnesi; G. Trentanni (2010). An experience in using a tool for evaluating a large set of natural language requirements. In: ACM Symposium On Applied Computing (SAC 2010), Sierre, Svizzera, Marzo 2010, pp. 281-286.

P. Asirelli; M. H. Ter Beek; A. Fantechi; S. Gnesi (2009). Deontic logics for modeling behavioural variability. In: Third International Worksho on Variability Modelling of Software (VAMOS 2009), Siviglia, Gennaio 2009, pp. 71-76.

A. Ferrari; A. Fantechi; S. Bacherini; N. Zingoni (2009). Formal Development for Railway Signaling Using Commercial Tools. In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, NL, Novembre 2009, vol. 5825, pp. 197-198.

A. Fantechi (2009). Informatica Industriale. Milano: Città Studi, ISBN:9788825173447

D. Cofer; A. Fantechi (2009). Formal Methods for Industrial Critical Systems. Heidelberg: Springer-Verlag, 9783642032394.

A. Ferrari; A. Fantechi; S. Bacherini; N. Zingoni (2009). Formal modeling for railway signaling using commercial tools. In: The First NASA Formal Methods Symposium, NASA Ames Conference Center, Moffett Field, California, USA, April 2009, pp. 166-170. Accesso ONLINE all'editore

A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi (2008). A model checking approach for verifying COWS specifications. In: José Luiz Fiadeiro, Paola Inverardi (Eds.).. Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 230-245, Berlin: Springer, ISBN:9783540787426. DOI

M. Banci; A. Fantechi; S. Gnesi (2008). Model driven development of railway systems using diversity. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 23, pp. 329-335, ISSN:0267-6192

A. Fantechi; E. Najm (2008). Session types for orchestration charts. In: COORDINATION 2008, Oslo - Norway, June 2008, Springer, vol. 5052, pp. 117-134. DOI

S. Gnesi; A. Fantechi (2008). Formal modeling for product families engineering. In: SPLC 2008, Limerick. Ireland, Settembre 2008, pp. 193-202, ISBN:9780769533032

M. Wirsing; L. Acciai; A. Clark; F. Banti; A. Fantechi; S. Gilmore; S. Gnesi; L. Gonczy; M. Holz; N. Koch; A. Lapadula; P. Mayer; F. Mazzanti; R. Pugliese; A. Schroeder; F. Tiezzi; M. Tribastone; D. Varro (2008). SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Tiziana Margaria, Bernhard Steffen (Eds.).. Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 170-190, Berlin: Springer, ISBN:9783540884781. DOI

M. H. TER BEEK; A. FANTECHI; S. GNESI; AND F. MAZZANTI (2007). An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications. In: FMICS 2007, Berlin, July 2007, vol. 4916, pp. 135-147.

M. BANCI; A. FANTECHI; S. GNESI; G. LOMBARDI (2007). Model driven development and code generation: an automotive case study. In: SDL-Forum, Paris, September 2007, vol. 4745, pp. 19-34.

M. BANCI; A. FANTECHI; S. GNESI; G. LOMBARDI (2007). Experimenting with diversity in the model driven development of a railway signalling system. In: Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, September 2007, pp. 0-0, ISBN:9781595937254

A. FANTECHI; S. GNESI (2007). A Behavioural Model for Product Families. In: ESEC-FSE, Dubrovnik, September 2007, pp. 517-520, ISBN:9781595938114

S. BACHERINI; A. FANTECHI; M. TEMPESTINI; N. ZINGONI (2007). Formal specifications of railway signalling systems using Stateflow. In: FORMS/FORMAT 2007, Braunschweig, Germany, January 2007, pp. 361-368.

S. BACHERINI; A. FANTECHI; M. TEMPESTINI; N. ZINGONI (2006). A Story about Formal Methods Adoption by a Railway Signaling Manufacturer. In: FM 2006: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, vol. 4085, pp. 179-189. DOI

M. Banci; A. Fantechi; S. Gnesi (2006). Statecharts composition to model topologically distributed applications. JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE, vol. 10, pp. 1-15, ISSN:1092-0617

M. BANCI; A. FANTECHI; S. GNESI (2006). Statecharts composition to model topologically distributed applications. In: Ninth World Conference on Integrated Design & Process Technologies (IDPT'06), San Diego, USA, June 2006, pp. 15-15.

M. BANCI; A. FANTECHI (2005). Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 133, pp. 3-19, ISSN:1571-0661

M. BANCI; A. FANTECHI (2005). Instantiating Generic Charts for Railway Interlocking Systems. In: Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), Lisbona, September 2005, pp. 134-143.

A. FANTECHI; E. SPINICCI (2005). A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. In: WER 05 - Porto, Giugno 2005, pp. 245-256.

M. BANCI; M. BECUCCI; A. FANTECHI (2005). Validation Coverage for a Component-based SDL model of a Railway Signaling System. In: International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Barcellona, Aprile 2004, vol. 116, pp. 99-111. Accesso ONLINE all'editore

C. CARREZ; A. FANTECHI; E. NAJM (2005). Assembling Components with Behavioural Contracts - Assemblage de Composants selon des Contrats Comportementaux. ANNALES DES TÉLÉCOMMUNICATIONS, vol. 60, pp. 989-1022, ISSN:0003-4347

A. FANTECHI; S. GNESI; A. MAGGIORE (2005). Enhancing test coverage by back-tracing model-checker counterexamples. In: International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Barcellona, Aprile 2004, vol. 116, pp. 199-211. Accesso ONLINE all'editore

M. BECUCCI; A. FANTECHI; M GIROMINI; E. SPINICCI (2005). "A Comparison between Handwritten and Automatic Generation of C Code from SDL using Static Analysis". SOFTWARE-PRACTICE & EXPERIENCE, vol. 35, pp. 1317-1347, ISSN:0038-0644

A. FANTECHI; S. GNESI; G. LAMI; E. NESTI (2004). A Methodology for the Derivation and Verification of Use Cases for Product Lines. In: SPLC 2004, Boston, USA, Settembre 2004, vol. 3154, pp. 255-265.

R. MEOLIC; A. FANTECHI; S. GNESI (2004). Witness and counterexample automata for ACTL. In: FORTE 2004, LNCS 3235, Madrid, Spagna., Settembre 2004, vol. 3235, pp. 259-275.

A. FANTECHI; G. CASCINI; E. SPINICCI (2004). Natural Language Processing of Patents and Technical Documentation. In: DAS2004, LNCS 3163, Firenze, Settembre 2004, vol. 3163, pp. 508-520.

A. FANTECHI; S.GNESI; G.LAMI; A. MACCARI (2003). Application of Linguistic Techniques for Use Case Analysis. REQUIREMENTS ENGINEERING, vol. 8, pp. 161-170, ISSN:0947-3602

C. CARREZ; A. FANTECHI; E. NAJM (2003). Behavioural Contracts for a Sound Assembly of Components. In: FORTE 2003, Berlin, 29 Sept - 2 Oct. 2003., vol. LNCS 2767, pp. 111-126.

A. FANTECHI; S. GNESI; I. JOHN; G. LAMI; J.DRR (2003). Elicitation of Use Cases for Product Lines.. In: Product Family Engineering PFE-5, Siena, 4-6 Nov., vol. LNCS 3014, pp. 152-167.

S. BACHERINI; S. BIANCHI; L. CAPECCHI; C. BECHERI; A. FELLECA; A. FANTECHI; E. SPINICCI (2003). Modelling a railway signalling system using SDL. In: FORMS 2003, Budapest, Hungary, 15-16 May, pp. 1-13.

A. FANTECHI; E. SPINICCI (2003). Modelling and Validating a Multiple-Configuration Railway Signalling System Using SDL. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 82, pp. 1-13, ISSN:1571-0661 Accesso ONLINE all'editore

A. FANTECHI; S. GNESI; G. LAMI (2003). A Relation-based Approach to Use Case Analysis. In: REFSQ'03, Klagenfurt/Velden, Austria., 16 -17 June, pp. 81-89.

C. BERNARDESCHI; A. FANTECHI; S. GNESI (2002). Model Checking Fault Tolerant Systems. SOFTWARE TESTING VERIFICATION & RELIABILITY, vol. 12, pp. 251-275, ISSN:0960-0833

A. FANTECHI; S.GNESI; G.LAMI; A. MACCARI (2002). Application of Linguistic Techniques for Use Case Analysis. In: Requirements Engineering '02 (RE02), Essen, Germany, 9-13 September 2002, pp. 157-164.

A. BERTOLINO; A. FANTECHI; S.GNESI; G.LAMI; A. MACCARI (2002). Use Case Description of Requirements for Product Lines. In: International Workshop on Requirements Engineering for Product Lines (REPL'02), Essen, Germany, pp. 12-18.

C. BERNARDESCHI.; A. FANTECHI; S. GNESI (2001). Formal Validation of the GUARDS Inter-consistency Mechanism. RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 71, pp. 261-270, ISSN:0951-8320, Elsevier Applied Science:An Imprint of Elsevier Science Ltd, The Boulevard, Langford Lane, Kidlington Oxford OX5 1GB United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: nlinfo-f@elsevier.nl OR usinfo-f@elsevier.com OR forinfo-kyf04035@niftyserve.or.jp, INTERNET: http://www.elsevier.nl/, Fax: 011 44 1865 843010:

N. DE FRANCESCO; A. FANTECHI; S. GNESI; P.INVERARDI (2001). Finite Approximations for Model Checking non-finite state processes. COMPUTER JOURNAL, vol. 44, pp. 109-123, ISSN:0010-4620, Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485:

CARCHIOLO V.; DE FRANCESCO N.; A. FANTECHI; MANGIONI G. (2001). ESA: an approach to Systems Design by Equation Solving. In: 6th Int.l Workshop on Formal Methods for Industrial Critical Systems (FMICS'01), Parigi, Luglio, pp. 1-13.

D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABÉJAC; V. THEVENOT; A. WELLINGS (2001). Introduction and Overview. In: D. POWELL ED.. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 2-26, BOSTON: kluwer, ISBN:0792372956. Accesso ONLINE all'editore

A. BONDAVALLI; A. FANTECHI; D. LATELLA; L. SIMONCINI (2001). Design Validation of Embedded Dependable Systems. IEEE MICRO, vol. 21, pp. 52-62, ISSN:0272-1732 DOI

D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABEJAC; V. THEVENOT; A. WELLINGS (2001). Introduction and Overview (Chapter 1).. In: D. POWELL. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 1-26, BOSTON: Kluwer Academic Publishers, ISBN:9780792372950. DOI

C. BERNARDESCHI; A. FANTECHI; S. GNESI (2001). Formal verification (Chapter 10).. In: D. POWELL. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 139-156, BOSTON: Kluwer Academic Publishers, ISBN:9780792372950.

C. BERNARDESCHI; A. FANTECHI; L. SIMONCINI (2000). Formally Verifying Fault Tolerant System Designs. COMPUTER JOURNAL, vol. 43, pp. 191-205, ISSN:0010-4620, Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485:

A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (2000). An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems. In: IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00), Washington, DC, USA, 2000-September 21-22, Washington DC:, pp. ---.

A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (1999). Towards a Discipline of System Engineering: Validation of Dependable Systems. In: IEEE - From Needs to Solutions: Computer Security, Dependability, and Assurance (NATO CSDA'98), Williamsburg, VA, USA, 1999-November 11-13, Williamsburg, VA, USA:, pp. 144-165, ISBN:0769503373 DOI Accesso ONLINE all'editore

P. Ciancarini; A. Fantechi; R. Gorrieri (1999). Formal Methods for Open Object-based Distributed Systems. Boston: Kluwer Academic Publisher, 9780792384298.

A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (1999). Integrated Validation of Dependable Systems. In: IDPT '99 4th, Int. Conference on Integrated Design and Process Technology, Kusadasi, Turkey, 1999-June 27 - July 2, Kusadasi, Turkey:, pp. ---.

A. FANTECHI; S. GNESI; L. SEMINI (1999). Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality. In: DCCA-7 - Dependable Computing for Critical Applications, San Jose, CA, USA, Gennaio 1999, pp. 1-12.

D. POWELL; J. ARLAT; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; A. FANTECHI; E. JENN; C. RABEJAC; A. WELLINGS (1999). GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 10, pp. 580-599, ISSN:1045-9219 DOI

A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci (1998). A Symbolic Model Checker for ACTL. In: Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (Eds.).. Lecture Notes in Computer Science 1641, pp. 228-242, Berlin: Springer, ISBN:9783540664628. DOI

C. BERNARDESCHI; A. FANTECHI; S. GNESI; S. LAROSA; ET AL. (1998). Formal Verification Environment for Railway Signalling System Design. FORMAL METHODS IN SYSTEM DESIGN, vol. 12, pp. 139-161, ISSN:0925-9856, Kluwer Academic Publishers / Massachusetts:PO Box 358, Accord Station:Hingham, MA 02018:(617)871-6600:

A. Fantechi;P. Nesi;E. Somma (1997). Object-oriented analysis of COBOL. In: Proceedings. First Euromicro Conference on Software Maintenance and Reengineering, pp. 157-164, ISBN:0818678925 DOI

C. BERNARDESCHI; J. DUSTZADEH; A. FANTECHI; E. NAJM; ET AL. (1997). Transformations and Consistent Semantics for ODP Viewpoints. In: FMOODS'97, Canterbury, UK, July 1997, pp. 1-13.

A. FANTECHI; S. GNESI; G. RISTORI (1994). Model Checking for Action-based Logics. FORMAL METHODS IN SYSTEM DESIGN, vol. 4, pp. 187-203, ISSN:0925-9856, Kluwer Academic Publishers / Massachusetts:PO Box 358, Accord Station:Hingham, MA 02018:(617)871-6600:

R. DE NICOLA; FANTECHI A.; GNESI S.; RISTORI G. (1993). An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. COMPUTER NETWORKS AND ISDN SYSTEMS, vol. 25(7), pp. 761-778, ISSN:0169-7552

Alessandro FANTECHI

Curriculum

Alessandro Fantechi is Full Professor at the Faculty of Engineering of the University of Florence, where he teaches a course on Embedded systems and an advanced course on Dependable Systems, and.where he has been Associate Professor since 1995.

He has conducted research in the field of Software Engineering, concentrating in the last fifteen years on the application of formal specification and verification methods, especially focusing on model checking based verification techniques. His main current research interests are on industrial applications of model checking, in particular in the railway domain, and on software product lines and variability modeling.

He maintains frequent research collaborations with ISTI - CNR in Pisa, Technical University of Denmark, and with Telecom Paristech (France)

He has maintained good research and consultancy relations with industries as well, and in particular companies in the railway signalling domain, such as General Electric Transportation Systems (now ALSTOM) and Thales, and several small and medium enterprises as well as Italian State Railways. Alessandro Fantechi is currently participating to two industrial R&D projects funded by Regione Toscana, one on a ground-based rolling stock diagnostic system, and one on an innovative signalling system for tramway networks, exploiting obstacle detection sensors: in both cases he is the responsible of formal modelling activities.

He is member of AICA, FME (Formal Methods Europe), IFIP WG 6.1, and has been coordinator of the ERCIM FMICS (Formal Methds for Industrial Critical Sytems) Working Group from 2008 to 2011. He is also member of CIFI (Collegio Ingegneri Ferroviari Italiani), of AMT (Associazione per gli studi sulla mobilità e i trasporti in Toscana), and is a member of LRTA (Light Rail Transit Association).

He has been the coordinator of the curriculum in Computer Engineering of the University of Florence from 2007 to 2014.

He is one of the co-chairs of theInternational conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2017) that will be held in Pistoia in November 2017.