
Alessandro Fantechi
Person information
- affiliation: University of Florence, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j40]Laura Carnevali, Alessandro Fantechi
, Gloria Gori, Enrico Vicario:
Stochastic modeling and analysis of road-tramway intersections. Innov. Syst. Softw. Eng. 16(2): 215-230 (2020) - [c108]Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi:
Comparing formal tools for system design: a judgment study. ICSE 2020: 62-74 - [c107]Davide Basile
, Maurice H. ter Beek
, Felicita Di Giandomenico
, Alessandro Fantechi
, Stefania Gnesi
, Giorgio Oronzo Spagnolo
:
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) 2020: 368-384 - [c106]Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) 2020: 389-392 - [c105]Davide Basile
, Maurice H. ter Beek
, Alessandro Fantechi
, Alessio Ferrari
, Stefania Gnesi
, Laura Masullo, Franco Mazzanti
, Andrea Piattino, Daniele Trentini:
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) 2020: 467-485 - [c104]Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. QUATIC 2020: 488-498 - [c103]Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops 2020 - [p3]Eleonora Arganese, Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. Integrating Research and Practice in Software Engineering 2020: 125-143
2010 – 2019
- 2019
- [c102]Maurice H. ter Beek
, Alessandro Fantechi
, Laura Semini
:
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 2019: 1-11 - [c101]Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani:
From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 278-297 - [c100]Maurice H. ter Beek
, Arne Borälv, Alessandro Fantechi
, Alessio Ferrari
, Stefania Gnesi
, Christer Löfving, Franco Mazzanti
:
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM 2019: 762-772 - [c99]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
From Generic Requirements to Variability. REFSQ Workshops 2019 - [c98]Alessandro Fantechi
:
Connected or Autonomous Trains? RSSRail 2019: 3-19 - [c97]Davide Basile
, Alessandro Fantechi
, Luigi Rucher, Gianluca Mandò:
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. RSSRail 2019: 41-58 - [c96]Alessio Ferrari
, Maurice H. ter Beek
, Franco Mazzanti
, Davide Basile
, Alessandro Fantechi
, Stefania Gnesi
, Andrea Piattino, Daniele Trentini:
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail 2019: 226-241 - [c95]Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini:
A novel layered approach to evaluate reliability of complex systems. RTSI 2019: 291-295 - [c94]Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher:
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops 2019: 185-197 - [c93]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Applying the QuARS tool to detect variability. SPLC (B) 2019: 62:1-62:4 - [e7]Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer 2019, ISBN 978-3-030-30984-8 [contents] - [i4]Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi:
Smart Services for Railways. ERCIM News 2019(117) (2019) - 2018
- [j39]Alessio Ferrari
, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi:
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. 23(6): 3684-3733 (2018) - [c92]Maurice H. ter Beek
, Alessandro Fantechi
, Stefania Gnesi
, Franco Mazzanti
:
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta 2018: 110-128 - [c91]Alessandro Fantechi, Anne E. Haxthausen
:
Safety Interlocking as a Distributed Mutual Exclusion Problem. FMICS 2018: 52-66 - [c90]Davide Basile
, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari:
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM 2018: 20-29 - [c89]Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
:
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE 2018: 418-423 - [c88]Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC 2018: 208-214 - [c87]Alessandro Fantechi, Alessio Ferrari
, Stefania Gnesi, Laura Semini
:
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS 2018: 43-50 - [c86]Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario:
Analysis of a Road/Tramway Intersection by the ORIS Tool. VECoS 2018: 185-199 - [i3]Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno:
Formal Methods for the Railway Sector. ERCIM News 2018(112) (2018) - 2017
- [j38]Federica Paganelli
, Terence Ambra, Alessandro Fantechi, Dino Giuli:
Formalizing REST APIs for web-based communication and SIP interworking. Telecommun. Syst. 66(1): 75-93 (2017) - [c85]Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Optimizing Feature Interaction Detection. FMICS-AVoCS 2017: 201-216 - [c84]Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
:
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM 2017: 146-162 - [c83]Alessandro Fantechi, Anne E. Haxthausen
, Michel Boje Randahl Nielsen:
Model Checking Geographically Distributed Interlocking Systems Using UMC. PDP 2017: 278-286 - [c82]Benedetta Rosadini, Alessio Ferrari
, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini:
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. REFSQ 2017: 344-360 - [c81]Alessandro Fantechi, Anne E. Haxthausen
, Hugo Daniel Macedo:
Compositional Verification of Interlocking Systems for Large Stations. SEFM 2017: 236-252 - [c80]Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Ambiguity defects as variation points in requirements. VaMoS 2017: 13-19 - [e6]Alessandro Fantechi, Thierry Lecomte
, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Lecture Notes in Computer Science 10598, Springer 2017, ISBN 978-3-319-68498-7 [contents] - 2016
- [j37]Maurice H. ter Beek
, Alessandro Fantechi
, Stefania Gnesi, Franco Mazzanti:
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. 85(2): 287-315 (2016) - [j36]Andrea Bonacchi, Alessandro Fantechi
, Stefano Bacherini, Matteo Tempestini:
Validation process for railway interlocking systems. Sci. Comput. Program. 128: 2-21 (2016) - [c79]Alessandro Fantechi:
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems. FMICS-AVoCS 2016: 231-245 - [c78]Alessandro Fantechi, Alessio Ferrari
, Stefania Gnesi:
Formal Methods and Safety Certification: Challenges in the Railways Domain. ISoLA (2) 2016: 261-265 - [c77]Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
:
Compositional Verification of Multi-station Interlocking Systems. ISoLA (2) 2016: 279-293 - [c76]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) 2016: 465-481 - [c75]Alessandro Fantechi, Stefano Pepi:
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. AMARETTO@MODELSWARD 2016: 5-13 - [c74]Stefano Pepi, Alessandro Fantechi:
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System. MODELSWARD (Revised Selected Papers) 2016: 46-69 - [p2]Alessandro Fantechi, Stefania Gnesi:
Refinement of Behavioural Models for Variability Description. From Action Systems to Distributed Systems 2016: 155-169 - 2015
- [c73]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi:
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC 2015: 321-326 - [c72]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Using FMC for family-based analysis of software product lines. SPLC 2015: 432-439 - [e5]Alessandro Fantechi, Patrizio Pelliccione
:
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. Lecture Notes in Computer Science 9274, Springer 2015, ISBN 978-3-319-23128-0 [contents] - 2014
- [j35]Alessandro Fantechi, Francesco Flammini
, Stefania Gnesi
:
Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 643-646 (2014) - [c71]Andrea Bonacchi, Alessandro Fantechi:
On the Validation of an Interlocking System by Model-Checking. FMICS 2014: 94-108 - [c70]Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367 - [c69]Mariano Di Claudio, Alessandro Fantechi, Giacomo Martelli, Simone Menabeni, Paolo Nesi:
Model-based development of an automatic train operation component for communication based train control. ITSC 2014: 1015-1020 - [c68]Andrea Bonacchi, Alessandro Fantechi:
Validation of Interlocking Systems by Testing their Models. QUATIC 2014: 226-229 - [e4]Stefania Gnesi, Alessandro Fantechi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana:
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2740-4 [contents] - [e3]Stefania Gnesi, Alessandro Fantechi, Maurice H. ter Beek, Goetz Botterweck, Martin Becker:
18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2739-8 [contents] - 2013
- [j34]Gionni Bernardini, Federica Paganelli, Mauro Manetti, Alessandro Fantechi, Ernesto Iadanza
:
SYRMA: a tool for a system approach to risk management in mission critical systems. Int. J. Bus. Inf. Syst. 13(1): 21-44 (2013) - [j33]Alessandro Fantechi, Chris D. Nugent, Alessandro Pinzuti, Enrico Vicario, Tommaso Magherini:
An On-line system for automated recognition of human activities. Eur. J. Law Technol. 4(2) (2013) - [j32]Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Session types for safe Web service orchestration. J. Log. Algebraic Methods Program. 82(8): 282-310 (2013) - [j31]Alessio Ferrari
, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini:
The Metrô Rio case study. Sci. Comput. Program. 78(7): 828-842 (2013) - [j30]Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani:
Model-Based Development and Formal Methods in the Railway Industry. IEEE Softw. 30(3): 28-34 (2013) - [j29]Tommaso Magherini, Alessandro Fantechi, Chris D. Nugent
, Enrico Vicario
:
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. IEEE Trans. Hum. Mach. Syst. 43(6): 509-521 (2013) - [c67]Terence Ambra, Federica Paganelli, Alessandro Fantechi, Dino Giuli, Lorenzo Mazzi:
Resource-oriented design towards the convergence of Web-centric and Telecom-centric services. FGCT 2013: 120-125 - [c66]Alessandro Fantechi:
Twenty-Five Years of Formal Methods and Railways: What Next? SEFM Workshops 2013: 167-183 - [c65]Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani:
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. SEFM Workshops 2013: 237-252 - [c64]Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi
, Massimiliano Leone Itria:
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. SERENE 2013: 184-198 - [c63]Alessandro Fantechi:
Topologically configurable systems as product families. SPLC 2013: 151-156 - [c62]Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Safe Session-Based Service Orchestration with Unreliable Communication. WS-FM 2013: 106-126 - 2012
- [j28]Alessandro Fantechi, Stefania Gnesi
, Alessandro Lapadula, Franco Mazzanti
, Rosario Pugliese
, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16:1-16:46 (2012) - [c61]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) 2012: 146-161 - [c60]Alessandro Fantechi, Francesco Flammini
, Stefania Gnesi
:
Formal Methods for Intelligent Transportation Systems. ISoLA (2) 2012: 187-189 - [c59]Alessandro Fantechi:
Distributing the Challenge of Model Checking Interlocking Control Tables. ISoLA (2) 2012: 276-289 - [c58]Alessio Ferrari
, Alessandro Fantechi, Stefania Gnesi
:
Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods 2012: 24-38 - [c57]Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani:
A GUI Testability Problem: A Case Study in the Railway Signaling Domain. QUATIC 2012: 103-107 - [c56]Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Adding Sessions to BPEL. WWV 2012: 60-76 - 2011
- [j27]Alessio Ferrari
, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini:
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Int. J. Embed. Real Time Commun. Syst. 2(2): 42-61 (2011) - [j26]Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino
:
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76(2): 63-64 (2011) - [j25]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
, Franco Mazzanti
:
A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2): 119-135 (2011) - [c55]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58 - [c54]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
, Franco Mazzanti
:
Design and validation of variability in product lines. PLEASE@ICSE 2011: 25-30 - [c53]Alessandro Fantechi, Stefania Gnesi
:
On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP 2011: 383-396 - [c52]Maurice H. ter Beek
, Stefania Gnesi
, Alessandro Fantechi, José Luiz Fiadeiro:
Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127 - [c51]Patrizia Asirelli, Maurice H. ter Beek
, Stefania Gnesi
, Alessandro Fantechi:
Formal Description of Variability in Product Families. SPLC 2011: 130-139 - 2010
- [c50]Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro:
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA 2010: 14-19 - [c49]Alessio Ferrari
, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini:
The Metrô Rio ATP Case Study. FMICS 2010: 1-16 - [c48]Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi:
Model Checking Interlocking Control Tables. FORMS/FORMAT 2010: 107-115 - [c47]Daniele Grasso, Alessandro Fantechi, Alessio Ferrari
, Carlo Becheri, Stefano Bacherini:
Model Based Testing and Abstract Interpretation in the Railway Signaling Context. ICST 2010: 103-106 - [c46]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Logical Framework to Deal with Variability. IFM 2010: 43-58 - [c45]Antonio Bucchiarone
, Stefania Gnesi
, Alessandro Fantechi, Gianluca Trentanni:
An experience in using a tool for evaluating a large set of natural language requirements. SAC 2010: 281-286 - [c44]Alessio Ferrari
, Mario Papini, Alessandro Fantechi, Daniele Grasso:
An industrial application of formal model based development: the Metrô Rio ATP case. SERENE 2010: 71-76 - [c43]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44
2000 – 2009
- 2009
- [c42]Alessio Ferrari
, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni:
Formal Development for Railway Signaling Using Commercial Tools. FMICS 2009: 197-198 - [c41]Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni:
Modeling Guidelines for Code Generation in the Railway Signaling Context. NASA Formal Methods 2009: 166-170 - [c40]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76 - [e2]Darren D. Cofer, Alessandro Fantechi:
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5596, Springer 2009, ISBN 978-3-642-03239-4 [contents] - 2008
- [j24]Michele Banci, Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi:
Model driven development of railway systems using diversity. Comput. Syst. Sci. Eng. 23(5) (2008) - [c39]Alessandro Fantechi, Elie Najm:
Session Types for Orchestration Charts. COORDINATION 2008: 117-134 - [c38]Alessandro Fantechi, Stefania Gnesi
, Alessandro Lapadula, Franco Mazzanti
, Rosario Pugliese
, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245 - [c37]Alessandro Fantechi, Alessio Ferrari
:
Panel Discussion on Formal Methods in Commercial Software Development Tools. FMICS 2008: 4-6 - [c36]Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch
, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190 - [c35]Antonio Bucchiarone
, Stefania Gnesi
, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi:
QuARS Express - A Tool Demonstration. ASE 2008: 473-474 - [c34]Alessandro Fantechi, Stefania Gnesi
:
Formal Modeling for Product Families Engineering. SPLC 2008: 193-202 - [i2]Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi:
Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News 2008(75) (2008) - [i1]Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Experimenting with Diversity in the Formal Development of Railway Signalling Systems. ERCIM News 2008(75) (2008) - 2007
- [c33]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
, Franco Mazzanti
:
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS 2007: 133-148 - [c32]Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34 - [c31]Michele Banci, Alessandro Fantechi, Stefania Gnesi
, Giovanni Lombardi:
Experimenting with diversity in the model driven development of a railway signaling system. EFTS 2007: 5 - [c30]Alessandro Fantechi, Stefania Gnesi
:
A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524 - 2006
- [j23]Michele Banci, Alessandro Fantechi, Stefania Gnesi:
Statecharts Composition to Model Topologically Distributed Applications. Trans. SDPS 10(1): 1-15 (2006) - [c29]Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni:
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189 - [c28]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152 - [p1]Antonia Bertolino
, Alessandro Fantechi, Stefania Gnesi
, Giuseppe Lami:
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445 - 2005
- [j22]Cyril Carrez, Alessandro Fantechi, Elie Najm:
Assembling components with behavioural contracts. Ann. des Télécommunications 60(7-8): 989-1022 (2005) - [j21]Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci:
Validation Coverage for a Component-based SDL model of a Railway Signaling System. Electron. Notes Theor. Comput. Sci. 116: 99-111 (2005) - [j20]Alessandro Fantechi, Stefania Gnesi
, Adriana Maggiore:
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. Electron. Notes Theor. Comput. Sci. 116: 199-211 (2005) - [j19]Michele Banci, Alessandro Fantechi:
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. Electron. Notes Theor. Comput. Sci. 133: 3-19 (2005) - [j18]Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci:
A comparison between handwritten and automatic generation of C code from SDL using static analysis. Softw. Pract. Exp. 35(14): 1317-1347 (2005) - [c27]Alessandro Fantechi, Emilio Spinicci:
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. WER 2005: 245-256 - 2004
- [c26]Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci:
Natural Language Processing of Patents and Technical Documentation. Document Analysis Systems 2004: 508-520 - [c25]Robert Meolic
, Alessandro Fantechi, Stefania Gnesi:
Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275 - [c24]Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti:
A Methodology for the Derivation and Verification of Use Cases for Product Lines. SPLC 2004: 255-265 - 2003
- [j17]Alessandro Fantechi, Emilio Spinicci:
Modelling and Validating a multiple-configuration railway signalling system using SDL. Electron. Notes Theor. Comput. Sci. 82(6): 66-76 (2003) - [j16]