Alessandro Fantechi

200 papers A* 3A 6B 23C 24Misc 6Journal 50Unranked 79
YearRankTypeTitle / Venue / Authors
2025 A conf
Combining Established and Emerging Techniques to Detect Inconsistencies in Requirements.
RE
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2025 — conf
Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection.
RSSRail
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori
2025 C conf
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles.
FMICS
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni, Lucio Rota
2025 J jnl
Does Every Computer Scientist Need to Know Formal Methods?
Formal Aspects Comput.
Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan
2025 J jnl
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication.
Inf. Softw. Technol.
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessandro Fantechi, Alessio Ferrari
2025 — conf
Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications.
The Combined Power of Research, Education, and Dissemination
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2025 — conf
Fusion
RSSRail
Gianluca Mandò, Luigi Rucher, Alessandro Fantechi, Gloria Gori
2025 — conf
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.
RSSRail
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2025 J jnl
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.
IEEE Trans. Intell. Transp. Syst.
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2024 J jnl
Advanced Integrated Evaluation of Railway Systems .
ERCIM News
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi
2024 — conf
An Integrated Perspective on the Evaluation of Complex Railway Systems.
ISoLA (5)
Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori
2024 — conf
Can AI Help with the Formalization of Railway Cybersecurity Requirements?
ISoLA (1)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi
2024 J jnl
Coherent modal transition systems refinement.
J. Log. Algebraic Methods Program.
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2024 B conf
Exploring LLMs' Ability to Detect Variability in Requirements.
REFSQ
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2024 — conf
Formal Methods for Distributed Computing in Future Railway Systems.
ISoLA (5)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
2024 — conf
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components.
ISoLA (5)
Christophe Limbrée, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi
2023 — conf
Automated Compositional Verification of Interlocking Systems.
RSSRail
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen
2023 J jnl
Compositional Verification of Railway Interlocking Systems.
Formal Aspects Comput.
Anne Elisabeth Haxthausen, Alessandro Fantechi
2023 — conf
Decomposing the Verification of Interlocking Systems.
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori
2023 A conf
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation.
RE
Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini
2023 — conf
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study.
REFSQ Workshops
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2023 C conf
The 4SECURail Case Study on Rigorous Standard Interface Specifications.
FMICS
Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi
2023 J jnl
VIBE: Looking for Variability In amBiguous rEquirements.
J. Syst. Softw.
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2022 — conf
A Vision of Intelligent Train Control.
RSSRail
Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini
2022 — conf
Compositional Verification of Railway Interlockings: Comparison of Two Methods.
RSSRail
Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée
2022 — conf
Formal Methods for Distributed Control Systems of Future Railways.
ISoLA (4)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
2022 — conf
Future Train Control Systems: Challenges for Dependability Assessment.
ISoLA (4)
Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2022 — conf
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies.
ICSRS
Alessandro Fantechi, Gloria Gori, Marco Papini
2022 J jnl
Runtime reliability monitoring for complex fault-tolerance policies.
CoRR
Alessandro Fantechi, Gloria Gori, Marco Papini
2022 — conf
Software rejuvenation and runtime reliability monitoring.
ISSRE Workshops
Alessandro Fantechi, Gloria Gori, Marco Papini
2022 — ed.
VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022
VaMoS
Paolo Arcaini, Xavier Devroey, Alessandro Fantechi
2021 — conf
A spaCy-based tool for extracting variability from NL requirements.
SPLC (B)
Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini
2021 J jnl
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker.
Formal Aspects Comput.
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
2021 J jnl
Editorial.
Formal Aspects Comput.
Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock
2021 C conf
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces.
FMICS
Davide Basile, Alessandro Fantechi, Irene Rosadi
2021 — conf
Language and Communication Problems in Formalization: A Natural Language Approach.
Logic, Computation and Rigorous Methods
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020 — conf
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.
ISoLA (1)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
2020 — conf
A comparison of NLP Tools for RE to extract Variation Points.
REFSQ Workshops
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020 Misc conf
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements.
QUATIC
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020 A* conf
Comparing formal tools for system design: a judgment study.
ICSE
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi
2020 — conf
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.
ISoLA (3)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
2020 — conf
Formal Methods for Distributed Computing in Future Railway Systems.
ISoLA (3)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
2020 — ch.
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents.
Integrating Research and Practice in Software Engineering
Eleonora Arganese, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020 J jnl
Stochastic modeling and analysis of road-tramway intersections.
Innov. Syst. Softw. Eng.
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
2019 — conf
A novel layered approach to evaluate reliability of complex systems.
RTSI
Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini
2019 B conf
Adopting Formal Methods in an Industrial Setting: The Railways Case.
FM
Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
2019 — conf
Applying the QuARS tool to detect variability.
SPLC (B)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2019 — conf
Connected or Autonomous Trains?
RSSRail
Alessandro Fantechi
2019 — conf
From Behavioural Contracts to Session Types.
Models, Languages, and Tools for Concurrent and Distributed Programming
Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani
2019 — conf
From Generic Requirements to Variability.
REFSQ Workshops
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2019 — ed.
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
2019 J jnl
Smart Services for Railways.
ERCIM News
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi
2019 — conf
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System.
RSSRail
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
2019 — conf
Survey on Formal Methods and Tools in Railways: The ASTRail Approach.
RSSRail
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
2019 — conf
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back.
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
2019 — conf
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.
SAFECOMP Workshops
Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher
2018 C conf
Analysis of a Road/Tramway Intersection by the ORIS Tool.
VECoS
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
2018 J jnl
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.
Empir. Softw. Eng.
Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
2018 J jnl
Formal Methods for the Railway Sector.
ERCIM News
Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
2018 — conf
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report.
VaMoS
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
2018 B conf
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.
IFM
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
2018 B conf
Product line models of large cyber-physical systems: the case of ERTMS/ETCS.
SPLC
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2018 A conf
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP.
RE
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
2018 C conf
Safety Interlocking as a Distributed Mutual Exclusion Problem.
FMICS
Alessandro Fantechi, Anne E. Haxthausen
2018 — conf
States and Events in KandISTI - A Retrospective.
Models, Mindsets, Meta
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2017 — conf
Ambiguity defects as variation points in requirements.
VaMoS
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2017 — conf
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations.
NFM
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
2017 B conf
Compositional Verification of Interlocking Systems for Large Stations.
SEFM
Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo
2017 J jnl
Formalizing REST APIs for web-based communication and SIP interworking.
Telecommun. Syst.
Federica Paganelli, Terence Ambra, Alessandro Fantechi, Dino Giuli
2017 C conf
Model Checking Geographically Distributed Interlocking Systems Using UMC.
PDP
Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen
2017 — conf
Optimizing Feature Interaction Detection.
FMICS-AVoCS
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2017 — ed.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
RSSRail
Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky
2017 B conf
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.
REFSQ
Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini
2016 — conf
Compositional Verification of Multi-station Interlocking Systems.
ISoLA (2)
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
2016 — conf
Formal Methods and Safety Certification: Challenges in the Railways Domain.
ISoLA (2)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi
2016 — conf
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems.
FMICS-AVoCS
Alessandro Fantechi
2016 J jnl
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
J. Log. Algebraic Methods Program.
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2016 — conf
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems.
AMARETTO@MODELSWARD
Alessandro Fantechi, Stefano Pepi
2016 — ch.
Refinement of Behavioural Models for Variability Description.
From Action Systems to Distributed Systems
Alessandro Fantechi, Stefania Gnesi
2016 — conf
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System.
MODELSWARD (Revised Selected Papers)
Stefano Pepi, Alessandro Fantechi
2016 J jnl
Validation process for railway interlocking systems.
Sci. Comput. Program.
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini
2016 — conf
Variability-Based Design of Services for Smart Transportation Systems.
ISoLA (2)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2015 B conf
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems.
SPLC
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2015 — ed.
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
SERENE
Alessandro Fantechi, Patrizio Pelliccione
2015 B conf
Using FMC for family-based analysis of software product lines.
SPLC
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2014 B ed.
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014
SPLC
Stefania Gnesi, Alessandro Fantechi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana
2014 — ed.
18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014
SPLC Workshops
Stefania Gnesi, Alessandro Fantechi, Maurice H. ter Beek, Goetz Botterweck, Martin Becker
2014 — conf
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems.
ISoLA (1)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2014 J jnl
Formal methods for railway control systems.
Int. J. Softw. Tools Technol. Transf.
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi
2014 — conf
Model-based development of an automatic train operation component for communication based train control.
ITSC
Mariano Di Claudio, Alessandro Fantechi, Giacomo Martelli, Simone Menabeni, Paolo Nesi
2014 C conf
On the Validation of an Interlocking System by Model-Checking.
FMICS
Andrea Bonacchi, Alessandro Fantechi
2014 Misc conf
Validation of Interlocking Systems by Testing their Models.
QUATIC
Andrea Bonacchi, Alessandro Fantechi
2013 J jnl
An On-line system for automated recognition of human activities.
Eur. J. Law Technol.
Alessandro Fantechi, Chris D. Nugent, Alessandro Pinzuti, Enrico Vicario, Tommaso Magherini
2013 J jnl
Model-Based Development and Formal Methods in the Railway Industry.
IEEE Softw.
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani
2013 — conf
Resource-oriented design towards the convergence of Web-centric and Telecom-centric services.
FGCT
Terence Ambra, Federica Paganelli, Alessandro Fantechi, Dino Giuli, Lorenzo Mazzi
2013 J jnl
SYRMA: a tool for a system approach to risk management in mission critical systems.
Int. J. Bus. Inf. Syst.
Gionni Bernardini, Federica Paganelli, Mauro Manetti, Alessandro Fantechi, Ernesto Iadanza
2013 — conf
Safe Session-Based Service Orchestration with Unreliable Communication.
WS-FM
Jonathan Michaux, Elie Najm, Alessandro Fantechi
2013 J jnl
Session types for safe Web service orchestration.
J. Log. Algebraic Methods Program.
Jonathan Michaux, Elie Najm, Alessandro Fantechi
2013 — conf
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.
SERENE
Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria
2013 J jnl
The Metrô Rio case study.
Sci. Comput. Program.
Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini
2013 B conf
Topologically configurable systems as product families.
SPLC
Alessandro Fantechi
2013 — conf
Twenty-Five Years of Formal Methods and Railways: What Next?
SEFM Workshops
Alessandro Fantechi
2013 J jnl
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living.
IEEE Trans. Hum. Mach. Syst.
Tommaso Magherini, Alessandro Fantechi, Chris D. Nugent, Enrico Vicario
2013 — conf
Validation of Railway Interlocking Systems by Formal Verification, A Case Study.
SEFM Workshops
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
2012 — conf
A Compositional Framework to Derive Product Line Behavioural Descriptions.
ISoLA (1)
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2012 Misc conf
A GUI Testability Problem: A Case Study in the Railway Signaling Domain.
QUATIC
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
2012 J jnl
A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol.
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2012 — conf
Adding Sessions to BPEL
WWV
Jonathan Michaux, Elie Najm, Alessandro Fantechi
2012 — conf
Distributing the Challenge of Model Checking Interlocking Control Tables.
ISoLA (2)
Alessandro Fantechi
2012 — conf
Formal Methods for Intelligent Transportation Systems.
ISoLA (2)
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi
2012 — conf
Lessons Learnt from the Adoption of Formal Model-Based Development.
NASA Formal Methods
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi
2011 — conf
A Model-Checking Tool for Families of Services.
FMOODS/FORTE
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2011 J jnl
A state/event-based model-checking approach for the analysis of abstract system properties.
Sci. Comput. Program.
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2011 J jnl
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.
Int. J. Embed. Real Time Commun. Syst.
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini
2011 — conf
Design and validation of variability in product lines.
PLEASE@ICSE
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2011 B conf
Formal Description of Variability in Product Families.
SPLC
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2011 B conf
On the Adoption of Model Checking in Safety-Related Software Industry.
SAFECOMP
Alessandro Fantechi, Stefania Gnesi
2011 J jnl
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).
Sci. Comput. Program.
Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino
2011 C conf
Variability and Rigour in Service Computing Engineering.
SEW
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro
2010 — conf
A Deontic Logical Framework for Modelling Product Families.
VaMoS
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2010 B conf
A Logical Framework to Deal with Variability.
IFM
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2010 Misc conf
An experience in using a tool for evaluating a large set of natural language requirements.
SAC
Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni
2010 — conf
An industrial application of formal model based development: the Metrô Rio ATP case.
SERENE
Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso
2010 A conf
Model Based Testing and Abstract Interpretation in the Railway Signaling Context.
ICST
Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini
2010 — conf
Model Checking Interlocking Control Tables.
FORMS/FORMAT
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi
2010 — conf
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research).
ACoTA
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro
2010 C conf
The Metrô Rio ATP Case Study.
FMICS
Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini
2009 — conf
Deontic Logics for Modeling Behavioural Variability.
VaMoS
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2009 C conf
Formal Development for Railway Signaling Using Commercial Tools.
FMICS
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni
2009 C ed.
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
FMICS
Darren D. Cofer, Alessandro Fantechi
2009 — conf
Modeling Guidelines for Code Generation in the Railway Signaling Context.
NASA Formal Methods
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni
2008 B conf
A Model Checking Approach for Verifying COWS Specifications.
FASE
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2008 J jnl
Evaluation of Natural Language Requirements in the MODCONTROL Project.
ERCIM News
Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi
2008 J jnl
Experimenting with Diversity in the Formal Development of Railway Signalling Systems.
ERCIM News
Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
2008 B conf
Formal Modeling for Product Families Engineering.
SPLC
Alessandro Fantechi, Stefania Gnesi
2008 J jnl
Model driven development of railway systems using diversity.
Comput. Syst. Sci. Eng.
Michele Banci, Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi
2008 C conf
Panel Discussion on Formal Methods in Commercial Software Development Tools.
FMICS
Alessandro Fantechi, Alessio Ferrari
2008 A* conf
QuARS Express - A Tool Demonstration.
ASE
Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
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ó
2008 C conf
Session Types for Orchestration Charts.
COORDINATION
Alessandro Fantechi, Elie Najm
2007 — conf
A behavioural model for product families.
ESEC/SIGSOFT FSE
Alessandro Fantechi, Stefania Gnesi
2007 C conf
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
FMICS
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2007 — conf
Experimenting with diversity in the model driven development of a railway signaling system.
EFTS
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
2007 — conf
Model Driven Development and Code Generation: An Automotive Case Study.
SDL Forum
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
2006 B conf
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.
FM
Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni
2006 — conf
Achieving Fault Tolerance by a Formally Validated Interaction Policy.
RODIN Book
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2006 — ch.
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements.
Software Product Lines
Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami
2006 J jnl
Statecharts Composition to Model Topologically Distributed Applications.
Trans. SDPS
Michele Banci, Alessandro Fantechi, Stefania Gnesi
2005 — conf
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents.
WER
Alessandro Fantechi, Emilio Spinicci
2005 J jnl
A comparison between handwritten and automatic generation of C code from SDL using static analysis.
Softw. Pract. Exp.
Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci
2005 J jnl
Assembling components with behavioural contracts.
Ann. des Télécommunications
Cyril Carrez, Alessandro Fantechi, Elie Najm
2005 C conf
Instantiating generic charts for railway interlocking systems.
FMICS
Michele Banci, Alessandro Fantechi
2004 B conf
A Methodology for the Derivation and Verification of Use Cases for Product Lines.
SPLC
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti
2004 — conf
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples.
TACoS
Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore
2004 C conf
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems.
FMICS
Michele Banci, Alessandro Fantechi
2004 B conf
Natural Language Processing of Patents and Technical Documentation.
Document Analysis Systems
Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci
2004 — conf
Validation Coverage for a Component-based SDL model of a Railway Signaling System.
TACoS
Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci
2004 C conf
Witness and Counterexample Automata for ACTL.
FORTE
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
2003 J jnl
Applications of linguistic techniques for use case analysis.
Requir. Eng.
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari
2003 C conf
Behavioural Contracts for a Sound Assembly of Components.
FORTE
Cyril Carrez, Alessandro Fantechi, Elie Najm
2003 — conf
Elicitation of Use Cases for Product Lines.
PFE
Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr
2003 — conf
Modelling and Validating a multiple-configuration railway signalling system using SDL.
TACoS
Alessandro Fantechi, Emilio Spinicci
2002 A conf
Application of Linguistic Techniques for Use Case Analysis.
RE
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari
2002 J jnl
Model checking fault tolerant systems.
Softw. Test. Verification Reliab.
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
2001 J jnl
Design Validation of Embedded Dependable Systems.
IEEE Micro
Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini
2001 J jnl
Finite Approximations for Model Checking Non-finite-state Processes.
Comput. J.
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
2001 J jnl
Formal validation of fault-tolerance mechanisms inside GUARDS.
Reliab. Eng. Syst. Saf.
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
2000 J jnl
Formally Verifying Fault Tolerant System Designs.
Comput. J.
Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
1999 — ed.
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
FMOODS
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
1999 B conf
Formal Validation of the GUARDS Inter-Consistency Mechanism.
SAFECOMP
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1999 J jnl
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distributed Syst.
David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings
1998 J jnl
A Formal Verification Environment for Railway Signaling System Design.
Formal Methods Syst. Des.
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
1998 — conf
A Symbolic Model Checker for ACTL.
FM-Trends
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
1998 C conf
Validating the Design of Dependable Systems.
ISORC
Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi
1997 J jnl
An industrial application for the JACK environment.
J. Syst. Softw.
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1997 — conf
Object-Oriented Analysis of COBOL.
CSMR
Alessandro Fantechi, Paolo Nesi, E. Somma
1996 B conf
Formal Verification of Safety Requirements on Complex Systems.
SAFECOMP
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1996 Misc conf
Proving Safety Properties for Embedded Control Systems.
EDCC
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi
1996 B conf
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.
CONCUR
Alessandro Fantechi, Stefania Gnesi, Diego Latella
1995 B conf
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.
SAFECOMP
A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli
1995 C conf
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications.
SEKE
Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò
1995 A conf
Model Checking of Non-Finite State Processes by Finite Approximations.
TACAS
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
1995 — conf
Verifying hardware components within JACK.
CHARME
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori
1994 J jnl
Assisting Requirement Formalization by Means of Natural Language Translation.
Formal Methods Syst. Des.
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini
1994 Misc conf
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study.
EDCC
Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
1994 J jnl
Model Checking for Action-Based Logics.
Formal Methods Syst. Des.
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1994 C conf
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.
FORTE
Alessandro Fantechi, Stefania Gnesi, R. Sacchelli
1993 J jnl
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Comput. Networks ISDN Syst.
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1993 B conf
An Expressive Logic for Basic Process Algebra.
MFCS
Alessandro Fantechi, Stefania Gnesi, V. Perticaroli
1991 A* conf
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
CAV
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1991 J jnl
Compositionality and Bisimulation: A Negative Result.
Inf. Process. Lett.
Alessandro Fantechi, Stefania Gnesi
1991 J jnl
Executing the formal definition of Ada.
ACM SIGPLAN Notices
Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini
1990 — conf
Compositional logic semantics and LOTOS.
PSTV
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1990 C conf
How Expressive Are LOTOS Behaviour Expressions?
FORTE
Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini
1989 C conf
An Expressive Temporal Logic for Basic LOTOS.
FORTE
Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve
1987 — conf
An Executon Environment for the Formal Definiton of Ada.
ESEC
Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari
1987 J jnl
Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination.
J. Parallel Distributed Comput.
Fabrizio Baiardi, Alessandro Fantechi, A. Tomasi, Marco Vanneschi
1986 — conf
Testing Equivalences for Event Structures.
Mathematical Models for the Semantics of Parallelism
Luca Aceto, Rocco De Nicola, Alessandro Fantechi
1986 J jnl
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada.
Softw. Pract. Exp.
Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer
1982 — conf
Portable Ada programming system: a proposed run-time architecture.
AdaTEC Conference on Ada
Alessandro Fantechi, F. Gallo