Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDAlessandro 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]