Alessandro Fantechi

According to our database1, Alessandro Fantechi authored at least 154 papers between 1986 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents.
Proceedings of the Integrating Research and Practice in Software Engineering, 2020

Stochastic modeling and analysis of road-tramway intersections.
Innov. Syst. Softw. Eng., 2020

A comparison of NLP Tools for RE to extract Variation Points.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements.
Proceedings of the Quality of Information and Communications Technology, 2020

Formal Methods for Distributed Computing in Future Railway Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Comparing formal tools for system design: a judgment study.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Smart Services for Railways.
ERCIM News, 2019

Applying the QuARS tool to detect variability.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.
Proceedings of the Computer Safety, Reliability, and Security, 2019

A novel layered approach to evaluate reliability of complex systems.
Proceedings of the 5th IEEE International forum on Research and Technology for Society and Industry, 2019

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Connected or Autonomous Trains?
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

From Generic Requirements to Variability.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Adopting Formal Methods in an Industrial Setting: The Railways Case.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

From Behavioural Contracts to Session Types.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.
Empir. Softw. Eng., 2018

Formal Methods for the Railway Sector.
ERCIM News, 2018

Analysis of a Road/Tramway Intersection by the ORIS Tool.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Product line models of large cyber-physical systems: the case of ERTMS/ETCS.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Requirement Engineering of Software Product Lines: Extracting Variability Using NLP.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Safety Interlocking as a Distributed Mutual Exclusion Problem.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

States and Events in KandISTI - A Retrospective.
Proceedings of the Models, Mindsets, 2018

2017
Formalizing REST APIs for web-based communication and SIP interworking.
Telecommun. Syst., 2017

Ambiguity defects as variation points in requirements.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Compositional Verification of Interlocking Systems for Large Stations.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

Model Checking Geographically Distributed Interlocking Systems Using UMC.
Proceedings of the 25th Euromicro International Conference on Parallel, 2017

Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Optimizing Feature Interaction Detection.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016
Validation process for railway interlocking systems.
Sci. Comput. Program., 2016

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
J. Log. Algebraic Methods Program., 2016

Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System.
Proceedings of the Model-Driven Engineering and Software Development, 2016

Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems.
Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016

Compositional Verification of Multi-station Interlocking Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Formal Methods and Safety Certification: Challenges in the Railways Domain.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Variability-Based Design of Services for Smart Transportation Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Refinement of Behavioural Models for Variability Description.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015
Using FMC for family-based analysis of software product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

Applying the product lines paradigm to the quantitative analysis of collective adaptive systems.
Proceedings of the 19th International Conference on Software Product Line, 2015

2014
Formal methods for railway control systems.
Int. J. Softw. Tools Technol. Transf., 2014

Validation of Interlocking Systems by Testing their Models.
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Model-based development of an automatic train operation component for communication based train control.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

On the Validation of an Interlocking System by Model-Checking.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living.
IEEE Trans. Hum. Mach. Syst., 2013

Model-Based Development and Formal Methods in the Railway Industry.
IEEE Softw., 2013

The Metrô Rio case study.
Sci. Comput. Program., 2013

Session types for safe Web service orchestration.
J. Log. Algebraic Methods Program., 2013

An On-line system for automated recognition of human activities.
Eur. J. Law Technol., 2013

SYRMA: a tool for a system approach to risk management in mission critical systems.
Int. J. Bus. Inf. Syst., 2013

Safe Session-Based Service Orchestration with Unreliable Communication.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Topologically configurable systems as product families.
Proceedings of the 17th International Software Product Line Conference, 2013

Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Twenty-Five Years of Formal Methods and Railways: What Next?
Proceedings of the Software Engineering and Formal Methods, 2013

Validation of Railway Interlocking Systems by Formal Verification, A Case Study.
Proceedings of the Software Engineering and Formal Methods, 2013

Resource-oriented design towards the convergence of Web-centric and Telecom-centric services.
Proceedings of the Second International Conference on Future Generation Communication Technologies (FGCT 2013), 2013

2012
A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol., 2012

Adding Sessions to BPEL
Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012

A GUI Testability Problem: A Case Study in the Railway Signaling Domain.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Lessons Learnt from the Adoption of Formal Model-Based Development.
Proceedings of the NASA Formal Methods, 2012

Formal Methods for Intelligent Transportation Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Distributing the Challenge of Model Checking Interlocking Control Tables.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Compositional Framework to Derive Product Line Behavioural Descriptions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).
Sci. Comput. Program., 2011

A state/event-based model-checking approach for the analysis of abstract system properties.
Sci. Comput. Program., 2011

Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.
Int. J. Embed. Real Time Commun. Syst., 2011

Formal Description of Variability in Product Families.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability and Rigour in Service Computing Engineering.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

On the Adoption of Model Checking in Safety-Related Software Industry.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Design and validation of variability in product lines.
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011

A Model-Checking Tool for Families of Services.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
A Deontic Logical Framework for Modelling Product Families.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

An industrial application of formal model based development: the Metrô Rio ATP case.
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

An experience in using a tool for evaluating a large set of natural language requirements.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A Logical Framework to Deal with Variability.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Model Based Testing and Abstract Interpretation in the Railway Signaling Context.
Proceedings of the Third International Conference on Software Testing, 2010

Model Checking Interlocking Control Tables.
Proceedings of the FORMS/FORMAT 2010, 2010

The Metrô Rio ATP Case Study.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research).
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010

2009
Deontic Logics for Modeling Behavioural Variability.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

Modeling Guidelines for Code Generation in the Railway Signaling Context.
Proceedings of the First NASA Formal Methods Symposium, 2009

Formal Development for Railway Signaling Using Commercial Tools.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008
Experimenting with Diversity in the Formal Development of Railway Signalling Systems.
ERCIM News, 2008

Evaluation of Natural Language Requirements in the MODCONTROL Project.
ERCIM News, 2008

Model driven development of railway systems using diversity.
Comput. Syst. Sci. Eng., 2008

Formal Modeling for Product Families Engineering.
Proceedings of the Software Product Lines, 12th International Conference, 2008

QuARS Express - A Tool Demonstration.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Panel Discussion on Formal Methods in Commercial Software Development Tools.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

A Model Checking Approach for Verifying COWS Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Session Types for Orchestration Charts.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
A behavioural model for product families.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Experimenting with diversity in the model driven development of a railway signaling system.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

Model Driven Development and Code Generation: An Automotive Case Study.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006
Statecharts Composition to Model Topologically Distributed Applications.
Trans. SDPS, 2006

Product Line Use Cases: Scenario-Based Specification and Testing of Requirements.
Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Achieving Fault Tolerance by a Formally Validated Interaction Policy.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.
Proceedings of the FM 2006: Formal Methods, 2006

2005
A comparison between handwritten and automatic generation of C code from SDL using static analysis.
Softw. Pract. Exp., 2005

Enhancing Test Coverage by Back-tracing Model-checker Counterexamples.
Electron. Notes Theor. Comput. Sci., 2005

Geographical Versus Functional Modelling by Statecharts of Interlocking Systems.
Electron. Notes Theor. Comput. Sci., 2005

Validation Coverage for a Component-based SDL model of a Railway Signaling System.
Electron. Notes Theor. Comput. Sci., 2005

Assembling components with behavioural contracts.
Ann. des Télécommunications, 2005

A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents.
Proceedings of the Anais do WER05, 2005

2004
A Methodology for the Derivation and Verification of Use Cases for Product Lines.
Proceedings of the Software Product Lines, Third International Conference, 2004

Witness and Counterexample Automata for ACTL.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Natural Language Processing of Patents and Technical Documentation.
Proceedings of the Document Analysis Systems VI, 6th International Workshop, 2004

2003
Applications of linguistic techniques for use case analysis.
Requir. Eng., 2003

Modelling and Validating a multiple-configuration railway signalling system using SDL.
Electron. Notes Theor. Comput. Sci., 2003

Elicitation of Use Cases for Product Lines.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

Behavioural Contracts for a Sound Assembly of Components.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2002
Model checking fault tolerant systems.
Softw. Test. Verification Reliab., 2002

Application of Linguistic Techniques for Use Case Analysis.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001
Formal validation of fault-tolerance mechanisms inside GUARDS.
Reliab. Eng. Syst. Saf., 2001

Design Validation of Embedded Dependable Systems.
IEEE Micro, 2001

Finite Approximations for Model Checking Non-finite-state Processes.
Comput. J., 2001

2000
Formally Verifying Fault Tolerant System Designs.
Comput. J., 2000

1999
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distributed Syst., 1999

Formal Validation of the GUARDS Inter-Consistency Mechanism.
Proceedings of the Computer Safety, 1999

1998
A Formal Verification Environment for Railway Signaling System Design.
Formal Methods Syst. Des., 1998

Validating the Design of Dependable Systems.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

A Symbolic Model Checker for ACTL.
Proceedings of the Applied Formal Methods, 1998

1997
An industrial application for the JACK environment.
J. Syst. Softw., 1997

Object-Oriented Analysis of COBOL.
Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997

1996
Formal Verification of Safety Requirements on Complex Systems.
Proceedings of the 15th International Conference on Computer Safety, 1996

Proving Safety Properties for Embedded Control Systems.
Proceedings of the Dependable Computing, 1996

Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.
Proceedings of the CONCUR '96, 1996

1995
Model Checking of Non-Finite State Processes by Finite Approximations.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications.
Proceedings of the SEKE'95, 1995

An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.
Proceedings of the 14th International Conference on Computer Safety, 1995

Verifying hardware components within JACK.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994
Assisting Requirement Formalization by Means of Natural Language Translation.
Formal Methods Syst. Des., 1994

Model Checking for Action-Based Logics.
Formal Methods Syst. Des., 1994

Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.
Proceedings of the Formal Description Techniques VII, 1994

Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study.
Proceedings of the Dependable Computing, 1994

1993
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Comput. Networks ISDN Syst., 1993

An Expressive Logic for Basic Process Algebra.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1991
Executing the formal definition of Ada.
ACM SIGPLAN Notices, 1991

Compositionality and Bisimulation: A Negative Result.
Inf. Process. Lett., 1991

1990
Compositional logic semantics and LOTOS.
Proceedings of the Protocol Specification, 1990

How Expressive Are LOTOS Behaviour Expressions?
Proceedings of the Formal Description Techniques, 1990

1989
An Expressive Temporal Logic for Basic LOTOS.
Proceedings of the Formal Description Techniques, 1989

1987
Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination.
J. Parallel Distributed Comput., 1987

An Executon Environment for the Formal Definiton of Ada.
Proceedings of the ESEC '87, 1987

1986
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada.
Softw. Pract. Exp., 1986

Testing Equivalences for Event Structures.
Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986


  Loading...