Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alessandro Fantechi
@inproceedings{DBLP:conf/refsq/FantechiGS24,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Daniel M{\'{e}}ndez and
Ana Moreira},
title = {Exploring LLMs' Ability to Detect Variability in Requirements},
booktitle = {Requirements Engineering: Foundation for Software Quality - 30th International
Working Conference, {REFSQ} 2024, Winterthur, Switzerland, April 8-11,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14588},
pages = {178--188},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57327-9\_11},
doi = {10.1007/978-3-031-57327-9\_11},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/FantechiGS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HaxthausenF23,
author = {Anne Elisabeth Haxthausen and
Alessandro Fantechi},
title = {Compositional Verification of Railway Interlocking Systems},
journal = {Formal Aspects Comput.},
volume = {35},
number = {1},
pages = {4:1--4:46},
year = {2023},
url = {https://doi.org/10.1145/3549736},
doi = {10.1145/3549736},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HaxthausenF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FantechiGS23,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
title = {{VIBE:} Looking for Variability In amBiguous rEquirements},
journal = {J. Syst. Softw.},
volume = {195},
pages = {111540},
year = {2023},
url = {https://doi.org/10.1016/j.jss.2022.111540},
doi = {10.1016/J.JSS.2022.111540},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/FantechiGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HaxthausenFG23,
author = {Anne E. Haxthausen and
Alessandro Fantechi and
Gloria Gori},
editor = {Anne E. Haxthausen and
Wen{-}ling Huang and
Markus Roggenbach},
title = {Decomposing the Verification of Interlocking Systems},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14165},
pages = {96--113},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40132-9\_7},
doi = {10.1007/978-3-031-40132-9\_7},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HaxthausenFG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BelliFGMMQTV23,
author = {Dimitri Belli and
Alessandro Fantechi and
Stefania Gnesi and
Laura Masullo and
Franco Mazzanti and
Lisa Quadrini and
Daniele Trentini and
Carlo Vaghi},
editor = {Alessandro Cimatti and
Laura Titolo},
title = {The 4SECURail Case Study on Rigorous Standard Interface Specifications},
booktitle = {Formal Methods for Industrial Critical Systems - 28th International
Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14290},
pages = {22--39},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43681-9\_2},
doi = {10.1007/978-3-031-43681-9\_2},
timestamp = {Wed, 20 Sep 2023 23:28:50 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BelliFGMMQTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FantechiGPS23,
author = {Alessandro Fantechi and
Stefania Gnesi and
Lucia C. Passaro and
Laura Semini},
editor = {Kurt Schneider and
Fabiano Dalpiaz and
Jennifer Horkoff},
title = {Inconsistency Detection in Natural Language Requirements using ChatGPT:
a Preliminary Evaluation},
booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE}
2023, Hannover, Germany, September 4-8, 2023},
pages = {335--340},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RE57278.2023.00045},
doi = {10.1109/RE57278.2023.00045},
timestamp = {Fri, 06 Oct 2023 16:02:57 +0200},
biburl = {https://dblp.org/rec/conf/re/FantechiGPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/FantechiGS23,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Alessio Ferrari and
Birgit Penzenstadler and
Irit Hadar and
Shola Oyedeji and
Sallam Abualhaija and
Andreas Vogelsang and
Gouri Deshpande and
Alexander Rachmann and
Jens Gulden and
Andrea Wohlgemuth and
Anne Hess and
Samuel Fricker and
Renata S. S. Guizzardi and
Jennifer Horkoff and
Anna Perini and
Angelo Susi and
Oliver Karras and
Fabiano Dalpiaz and
Ana Moreira and
Daniel Amyot and
Paola Spoletini},
title = {Rule-based {NLP} vs ChatGPT in ambiguity detection, a preliminary
study},
booktitle = {Joint Proceedings of {REFSQ-2023} Workshops, Doctoral Symposium, Posters
{\&} Tools Track and Journal Early Feedback co-located with the
28th International Conference on Requirements Engineering: Foundation
for Software Quality {(REFSQ} 2023), Barcelona, Catalunya, Spain,
April 17-20, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3378},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3378/NLP4RE-paper1.pdf},
timestamp = {Fri, 12 May 2023 16:39:20 +0200},
biburl = {https://dblp.org/rec/conf/refsq/FantechiGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/HaxthausenFGMP23,
author = {Anne E. Haxthausen and
Alessandro Fantechi and
Gloria Gori and
{\'{O}}li K{\'{a}}rason Mikkelsen and
Sofie{-}Amalie Petersen},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Automated Compositional Verification of Interlocking Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {146--164},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_9},
doi = {10.1007/978-3-031-43366-5\_9},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/HaxthausenFGMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/FantechiGP22,
author = {Alessandro Fantechi and
Gloria Gori and
Marco Papini},
title = {Runtime Reliability Monitoring for Complex Fault-Tolerance Policies},
booktitle = {6th International Conference on System Reliability and Safety, {ICSRS}
2022, Venice, Italy, November 23-25, 2022},
pages = {110--119},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSRS56243.2022.10067561},
doi = {10.1109/ICSRS56243.2022.10067561},
timestamp = {Mon, 27 Mar 2023 16:44:41 +0200},
biburl = {https://dblp.org/rec/conf/icsrs/FantechiGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FantechiGH22,
author = {Alessandro Fantechi and
Stefania Gnesi and
Anne E. Haxthausen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods for Distributed Control Systems of Future Railways},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {243--245},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_19},
doi = {10.1007/978-3-031-19762-8\_19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FantechiGH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FantechiGG22,
author = {Alessandro Fantechi and
Stefania Gnesi and
Gloria Gori},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Future Train Control Systems: Challenges for Dependability Assessment},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {269--285},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_21},
doi = {10.1007/978-3-031-19762-8\_21},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FantechiGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FantechiGP22,
author = {Alessandro Fantechi and
Gloria Gori and
Marco Papini},
title = {Software rejuvenation and runtime reliability monitoring},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} 2022 - Workshops, Charlotte, NC, USA, October 31
- Nov. 3, 2022},
pages = {162--169},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSREW55968.2022.00063},
doi = {10.1109/ISSREW55968.2022.00063},
timestamp = {Tue, 03 Jan 2023 17:09:36 +0100},
biburl = {https://dblp.org/rec/conf/issre/FantechiGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FantechiGHL22,
author = {Alessandro Fantechi and
Gloria Gori and
Anne E. Haxthausen and
Christophe Limbr{\'{e}}e},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Compositional Verification of Railway Interlockings: Comparison of
Two Methods},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {3--19},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_1},
doi = {10.1007/978-3-031-05814-1\_1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/FantechiGHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FlamminiDFV22,
author = {Francesco Flammini and
Lorenzo De Donato and
Alessandro Fantechi and
Valeria Vittorini},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {A Vision of Intelligent Train Control},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {192--208},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_14},
doi = {10.1007/978-3-031-05814-1\_14},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/FlamminiDFV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vamos/2022,
editor = {Paolo Arcaini and
Xavier Devroey and
Alessandro Fantechi},
title = {VaMoS '22: 16th International Working Conference on Variability Modelling
of Software-Intensive Systems, Florence, Italy, February 23 - 25,
2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510466},
doi = {10.1145/3510466},
isbn = {978-1-4503-9604-2},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12111,
author = {Alessandro Fantechi and
Gloria Gori and
Marco Papini},
title = {Runtime reliability monitoring for complex fault-tolerance policies},
journal = {CoRR},
volume = {abs/2208.12111},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12111},
doi = {10.48550/ARXIV.2208.12111},
eprinttype = {arXiv},
eprint = {2208.12111},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FantechiHW21,
author = {Alessandro Fantechi and
Anne E. Haxthausen and
Jim Woodcock},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {33},
number = {6},
pages = {923--924},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00568-x},
doi = {10.1007/S00165-021-00568-X},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/FantechiHW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BasileFRM21,
author = {Davide Basile and
Alessandro Fantechi and
Luigi Rucher and
Gianluca Mand{\`{o}}},
title = {Analysing an autonomous tramway positioning system with the Uppaal
Statistical Model Checker},
journal = {Formal Aspects Comput.},
volume = {33},
number = {6},
pages = {957--987},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00556-1},
doi = {10.1007/S00165-021-00556-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BasileFRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FantechiGS21,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {Language and Communication Problems in Formalization: {A} Natural
Language Approach},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {121--134},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_7},
doi = {10.1007/978-3-030-76020-5\_7},
timestamp = {Sat, 12 Jun 2021 12:58:01 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FantechiGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BasileFR21,
author = {Davide Basile and
Alessandro Fantechi and
Irene Rosadi},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Formal Analysis of the {UNISIG} Safety Application Intermediate Sub-layer
- Applying Formal Methods to Railway Standard Interfaces},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {174--190},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_11},
doi = {10.1007/978-3-030-85248-1\_11},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BasileFR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/FantechiGLS21,
author = {Alessandro Fantechi and
Stefania Gnesi and
Samuele Livi and
Laura Semini},
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {A spaCy-based tool for extracting variability from {NL} requirements},
booktitle = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume
{B}},
pages = {32--35},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461002.3473074},
doi = {10.1145/3461002.3473074},
timestamp = {Sun, 24 Apr 2022 17:23:47 +0200},
biburl = {https://dblp.org/rec/conf/splc/FantechiGLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/CarnevaliFGV20,
author = {Laura Carnevali and
Alessandro Fantechi and
Gloria Gori and
Enrico Vicario},
title = {Stochastic modeling and analysis of road-tramway intersections},
journal = {Innov. Syst. Softw. Eng.},
volume = {16},
number = {2},
pages = {215--230},
year = {2020},
url = {https://doi.org/10.1007/s11334-019-00355-1},
doi = {10.1007/S11334-019-00355-1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/CarnevaliFGV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001MBBF20,
author = {Alessio Ferrari and
Franco Mazzanti and
Davide Basile and
Maurice H. ter Beek and
Alessandro Fantechi},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Comparing formal tools for system design: a judgment study},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {62--74},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380373},
doi = {10.1145/3377811.3380373},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/0001MBBF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BasileBGFGS20,
author = {Davide Basile and
Maurice H. ter Beek and
Felicita Di Giandomenico and
Alessandro Fantechi and
Stefania Gnesi and
Giorgio Oronzo Spagnolo},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {30 Years of Simulation-Based Quantitative Analysis Tools: {A} Comparison
Experiment Between M{\"{o}}bius and Uppaal {SMC}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {368--384},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_21},
doi = {10.1007/978-3-030-61362-4\_21},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BasileBGFGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FantechiGH20,
author = {Alessandro Fantechi and
Stefania Gnesi and
Anne E. Haxthausen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods for Distributed Computing in Future Railway Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {389--392},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_24},
doi = {10.1007/978-3-030-61467-6\_24},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FantechiGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BasileBF0GMMPT20,
author = {Davide Basile and
Maurice H. ter Beek and
Alessandro Fantechi and
Alessio Ferrari and
Stefania Gnesi and
Laura Masullo and
Franco Mazzanti and
Andrea Piattino and
Daniele Trentini},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Designing a Demonstrator of Formal Methods for Railways Infrastructure
Managers},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {467--485},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_30},
doi = {10.1007/978-3-030-61467-6\_30},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BasileBF0GMMPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/ArrabitoFGS20,
author = {Monica Arrabito and
Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Martin J. Shepperd and
Fernando Brito e Abreu and
Alberto Rodrigues da Silva and
Ricardo P{\'{e}}rez{-}Castillo},
title = {An Experience with the Application of Three {NLP} Tools for the Analysis
of Natural Language Requirements},
booktitle = {Quality of Information and Communications Technology - 13th International
Conference, {QUATIC} 2020, Faro, Portugal, September 9-11, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1266},
pages = {488--498},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58793-2\_39},
doi = {10.1007/978-3-030-58793-2\_39},
timestamp = {Tue, 15 Sep 2020 17:11:57 +0200},
biburl = {https://dblp.org/rec/conf/quatic/ArrabitoFGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/ArrabitoFGS20,
author = {Monica Arrabito and
Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Mehrdad Sabetzadeh and
Andreas Vogelsang and
Sallam Abualhaija and
Markus Borg and
Fabiano Dalpiaz and
Maya Daneva and
Nelly Condori{-}Fern{\'{a}}ndez and
Xavier Franch and
Davide Fucci and
Vincenzo Gervasi and
Eduard C. Groen and
Renata S. S. Guizzardi and
Andrea Herrmann and
Jennifer Horkoff and
Luisa Mich and
Anna Perini and
Angelo Susi},
title = {A comparison of {NLP} Tools for {RE} to extract Variation Points},
booktitle = {Joint Proceedings of {REFSQ-2020} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 26th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2020), Pisa, Italy, March 24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2584},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2584/NLP4RE-paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/ArrabitoFGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/ArganeseFGS20,
author = {Eleonora Arganese and
Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Stan Jarzabek and
Aneta Poniszewska{-}Maranda and
Lech Madeyski},
title = {Nuts and Bolts of Extracting Variability Models from Natural Language
Requirements Documents},
booktitle = {Integrating Research and Practice in Software Engineering},
series = {Studies in Computational Intelligence},
volume = {851},
pages = {125--143},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-26574-8\_10},
doi = {10.1007/978-3-030-26574-8\_10},
timestamp = {Fri, 27 Dec 2019 21:10:37 +0100},
biburl = {https://dblp.org/rec/series/sci/ArganeseFGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeekFS19,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {The Legacy of Stefania Gnesi - From Software Engineering to Formal
Methods and Tools, and Back},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {1--11},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_1},
doi = {10.1007/978-3-030-30985-5\_1},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BeekFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FantechiNS19,
author = {Alessandro Fantechi and
Elie Najm and
Jean{-}Bernard Stefani},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {From Behavioural Contracts to Session Types},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {278--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_16},
doi = {10.1007/978-3-030-21485-2\_16},
timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FantechiNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BeekBFFGLM19,
author = {Maurice H. ter Beek and
Arne Bor{\"{a}}lv and
Alessandro Fantechi and
Alessio Ferrari and
Stefania Gnesi and
Christer L{\"{o}}fving and
Franco Mazzanti},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Adopting Formal Methods in an Industrial Setting: The Railways Case},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {762--772},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_46},
doi = {10.1007/978-3-030-30942-8\_46},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BeekBFFGLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/FantechiGS19,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Paola Spoletini and
Patrick M{\"{a}}der and
Daniel M. Berry and
Fabiano Dalpiaz and
Maya Daneva and
Alessio Ferrari and
Xavier Franch and
Sarah Gregory and
Eduard C. Groen and
Andrea Herrmann and
Anne Hess and
Frank Houdek and
Oliver Karras and
Anne Koziolek and
Kim Lauenroth and
Cristina Palomares and
Mehrdad Sabetzadeh and
Norbert Seyff and
Marcus Trapp and
Andreas Vogelsang and
Thorsten Weyer},
title = {From Generic Requirements to Variability},
booktitle = {Joint Proceedings of {REFSQ-2019} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 25th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2019), Essen, Germany, March 18th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2376},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2376/NLP4RE19\_paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/FantechiGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/Fantechi19,
author = {Alessandro Fantechi},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Connected or Autonomous Trains?},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {3--19},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_1},
doi = {10.1007/978-3-030-18744-6\_1},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/Fantechi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BasileFRM19,
author = {Davide Basile and
Alessandro Fantechi and
Luigi Rucher and
Gianluca Mand{\`{o}}},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Statistical Model Checking of Hazards in an Autonomous Tramway Positioning
System},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {41--58},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_3},
doi = {10.1007/978-3-030-18744-6\_3},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BasileFRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FerrariBMBFGPT19,
author = {Alessio Ferrari and
Maurice H. ter Beek and
Franco Mazzanti and
Davide Basile and
Alessandro Fantechi and
Stefania Gnesi and
Andrea Piattino and
Daniele Trentini},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Survey on Formal Methods and Tools in Railways: The ASTRail Approach},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {226--241},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_15},
doi = {10.1007/978-3-030-18744-6\_15},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/FerrariBMBFGPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtsi/CarnevaliCFP19,
author = {Laura Carnevali and
Lorenzo Ciani and
Alessandro Fantechi and
Marco Papini},
title = {A novel layered approach to evaluate reliability of complex systems},
booktitle = {5th {IEEE} International forum on Research and Technology for Society
and Industry, {RTSI} 2019, Florence, Italy, September 9-12, 2019},
pages = {291--295},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RTSI.2019.8895568},
doi = {10.1109/RTSI.2019.8895568},
timestamp = {Thu, 14 Nov 2019 11:03:29 +0100},
biburl = {https://dblp.org/rec/conf/rtsi/CarnevaliCFP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CeccarelliBBFFF19,
author = {Andrea Ceccarelli and
Davide Basile and
Andrea Bondavalli and
Lorenzo Falai and
Alessandro Fantechi and
Sandro Ferrari and
Gianluca Mand{\`{o}} and
Nicola Nostro and
Luigi Rucher},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Ilir Gashi and
Erwin Schoitsch and
Friedemann Bitsch},
title = {The {SISTER} Approach for Verification and Validation: {A} Lightweight
Process for Reusable Results},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September
10, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11699},
pages = {185--197},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26250-1\_15},
doi = {10.1007/978-3-030-26250-1\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CeccarelliBBFFF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/FantechiGS19,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Carlos Cetina and
Oscar D{\'{\i}}az and
Laurence Duchien and
Marianne Huchard and
Rick Rabiser and
Camille Salinesi and
Christoph Seidl and
Xhevahire T{\"{e}}rnava and
Leopoldo Teixeira and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Applying the QuARS tool to detect variability},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume B, Paris, France, September 9-13,
2019},
pages = {62:1--62:4},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3307630.3342388},
doi = {10.1145/3307630.3342388},
timestamp = {Wed, 25 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/splc/FantechiGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019gnesi,
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5},
doi = {10.1007/978-3-030-30985-5},
isbn = {978-3-030-30984-8},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2019gnesi.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GiandomenicoGSF19,
author = {Felicita Di Giandomenico and
Stefania Gnesi and
Giorgio Oronzo Spagnolo and
Alessandro Fantechi},
title = {Smart Services for Railways},
journal = {{ERCIM} News},
volume = {2019},
number = {117},
year = {2019},
url = {https://ercim-news.ercim.eu/en117/r-i/smart-services-for-railways},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/GiandomenicoGSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/FerrariGRTBFG18,
author = {Alessio Ferrari and
Gloria Gori and
Benedetta Rosadini and
Iacopo Trotta and
Stefano Bacherini and
Alessandro Fantechi and
Stefania Gnesi},
title = {Detecting requirements defects with {NLP} patterns: an industrial
experience in the railway domain},
journal = {Empir. Softw. Eng.},
volume = {23},
number = {6},
pages = {3684--3733},
year = {2018},
url = {https://doi.org/10.1007/s10664-018-9596-7},
doi = {10.1007/S10664-018-9596-7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/FerrariGRTBFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeekFGM18,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {States and Events in KandISTI - {A} Retrospective},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {110--128},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_8},
doi = {10.1007/978-3-030-22348-9\_8},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BeekFGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/FantechiH18,
author = {Alessandro Fantechi and
Anne E. Haxthausen},
editor = {Falk Howar and
Jiri Barnat},
title = {Safety Interlocking as a Distributed Mutual Exclusion Problem},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
pages = {52--66},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2\_4},
doi = {10.1007/978-3-030-00244-2\_4},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/FantechiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BasileBFGMPTF18,
author = {Davide Basile and
Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti and
Andrea Piattino and
Daniele Trentini and
Alessio Ferrari},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {On the Industrial Uptake of Formal Methods in the Railway Domain -
{A} Survey with Stakeholders},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {20--29},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_2},
doi = {10.1007/978-3-319-98938-9\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BasileBFGMPTF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FantechiFGS18,
author = {Alessandro Fantechi and
Alessio Ferrari and
Stefania Gnesi and
Laura Semini},
editor = {Guenther Ruhe and
Walid Maalej and
Daniel Amyot},
title = {Requirement Engineering of Software Product Lines: Extracting Variability
Using {NLP}},
booktitle = {26th {IEEE} International Requirements Engineering Conference, {RE}
2018, Banff, AB, Canada, August 20-24, 2018},
pages = {418--423},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RE.2018.00053},
doi = {10.1109/RE.2018.00053},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/FantechiFGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BeekFG18,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Thorsten Berger and
Paulo Borba and
Goetz Botterweck and
Tomi M{\"{a}}nnist{\"{o}} and
David Benavides and
Sarah Nadi and
Timo Kehrer and
Rick Rabiser and
Christoph Elsner and
Mukelabai Mukelabai},
title = {Product line models of large cyber-physical systems: the case of {ERTMS/ETCS}},
booktitle = {Proceeedings of the 22nd International Systems and Software Product
Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
10-14, 2018},
pages = {208--214},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3233027.3233046},
doi = {10.1145/3233027.3233046},
timestamp = {Sat, 09 Apr 2022 12:37:33 +0200},
biburl = {https://dblp.org/rec/conf/splc/BeekFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/FantechiFGS18,
author = {Alessandro Fantechi and
Alessio Ferrari and
Stefania Gnesi and
Laura Semini},
editor = {Rafael Capilla and
Malte Lochau and
Lidia Fuentes},
title = {Hacking an Ambiguity Detection Tool to Extract Variation Points: an
Experience Report},
booktitle = {Proceedings of the 12th International Workshop on Variability Modelling
of Software-Intensive Systems, {VAMOS} 2018, Madrid, Spain, February
7-9, 2018},
pages = {43--50},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3168365.3168381},
doi = {10.1145/3168365.3168381},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/FantechiFGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/CarnevaliFGV18,
author = {Laura Carnevali and
Alessandro Fantechi and
Gloria Gori and
Enrico Vicario},
editor = {Mohamed Faouzi Atig and
Saddek Bensalem and
Simon Bliudze and
Bruno Monsuez},
title = {Analysis of a Road/Tramway Intersection by the {ORIS} Tool},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 12th International Conference, VECoS 2018, Grenoble, France, September
26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11181},
pages = {185--199},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00359-3\_12},
doi = {10.1007/978-3-030-00359-3\_12},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/CarnevaliFGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BeekFFGS18,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Alessio Ferrari and
Stefania Gnesi and
Riccardo Scopigno},
title = {Formal Methods for the Railway Sector},
journal = {{ERCIM} News},
volume = {2018},
number = {112},
year = {2018},
url = {https://ercim-news.ercim.eu/en112/r-i/formal-methods-for-the-railway-sector},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BeekFFGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/PaganelliAFG17,
author = {Federica Paganelli and
Terence Ambra and
Alessandro Fantechi and
Dino Giuli},
title = {Formalizing {REST} APIs for web-based communication and {SIP} interworking},
journal = {Telecommun. Syst.},
volume = {66},
number = {1},
pages = {75--93},
year = {2017},
url = {https://doi.org/10.1007/s11235-016-0271-2},
doi = {10.1007/S11235-016-0271-2},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/PaganelliAFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/FantechiGS17,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Optimizing Feature Interaction Detection},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {201--216},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_13},
doi = {10.1007/978-3-319-67113-0\_13},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fmics/FantechiGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MacedoFH17,
author = {Hugo Daniel Macedo and
Alessandro Fantechi and
Anne E. Haxthausen},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Compositional Model Checking of Interlocking Systems for Lines with
Multiple Stations},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {146--162},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_11},
doi = {10.1007/978-3-319-57288-8\_11},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MacedoFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/FantechiHN17,
author = {Alessandro Fantechi and
Anne E. Haxthausen and
Michel Boje Randahl Nielsen},
editor = {Igor V. Kotenko and
Yiannis Cotronis and
Masoud Daneshtalab},
title = {Model Checking Geographically Distributed Interlocking Systems Using
{UMC}},
booktitle = {25th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2017, St. Petersburg, Russia, March
6-8, 2017},
pages = {278--286},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PDP.2017.66},
doi = {10.1109/PDP.2017.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/FantechiHN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/RosadiniFGFGTB17,
author = {Benedetta Rosadini and
Alessio Ferrari and
Gloria Gori and
Alessandro Fantechi and
Stefania Gnesi and
Iacopo Trotta and
Stefano Bacherini},
editor = {Paul Gr{\"{u}}nbacher and
Anna Perini},
title = {Using {NLP} to Detect Requirements Defects: An Industrial Experience
in the Railway Domain},
booktitle = {Requirements Engineering: Foundation for Software Quality - 23rd International
Working Conference, {REFSQ} 2017, Essen, Germany, February 27 - March
2, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10153},
pages = {344--360},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-54045-0\_24},
doi = {10.1007/978-3-319-54045-0\_24},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refsq/RosadiniFGFGTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FantechiHM17,
author = {Alessandro Fantechi and
Anne E. Haxthausen and
Hugo Daniel Macedo},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Compositional Verification of Interlocking Systems for Large Stations},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {236--252},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_15},
doi = {10.1007/978-3-319-66197-1\_15},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FantechiHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/FantechiGS17,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Maurice H. ter Beek and
Norbert Siegmund and
Ina Schaefer},
title = {Ambiguity defects as variation points in requirements},
booktitle = {Proceedings of the Eleventh International Workshop on Variability
Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands,
February 1-3, 2017},
pages = {13--19},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3023956.3023964},
doi = {10.1145/3023956.3023964},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/FantechiGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rssrail/2017,
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4},
doi = {10.1007/978-3-319-68499-4},
isbn = {978-3-319-68498-7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeekFGM16,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti},
title = {Modelling and analysing variability in product families: Model checking
of modal transition systems with variability constraints},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {2},
pages = {287--315},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.006},
doi = {10.1016/J.JLAMP.2015.11.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BeekFGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BonacchiFBT16,
author = {Andrea Bonacchi and
Alessandro Fantechi and
Stefano Bacherini and
Matteo Tempestini},
title = {Validation process for railway interlocking systems},
journal = {Sci. Comput. Program.},
volume = {128},
pages = {2--21},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.004},
doi = {10.1016/J.SCICO.2016.04.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BonacchiFBT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Fantechi16,
author = {Alessandro Fantechi},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {Formal Techniques for a Data-Driven Certification of Advanced Railway
Signalling Systems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {231--245},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_16},
doi = {10.1007/978-3-319-45943-1\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Fantechi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FantechiFG16,
author = {Alessandro Fantechi and
Alessio Ferrari and
Stefania Gnesi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods and Safety Certification: Challenges in the Railways
Domain},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {261--265},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_18},
doi = {10.1007/978-3-319-47169-3\_18},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/FantechiFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MacedoFH16,
author = {Hugo Daniel Macedo and
Alessandro Fantechi and
Anne E. Haxthausen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Compositional Verification of Multi-station Interlocking Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {279--293},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_20},
doi = {10.1007/978-3-319-47169-3\_20},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MacedoFH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeekFGS16,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Variability-Based Design of Services for Smart Transportation Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {465--481},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_38},
doi = {10.1007/978-3-319-47169-3\_38},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeekFGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/FantechiP16,
author = {Alessandro Fantechi and
Stefano Pepi},
editor = {Antonello Calabr{\`{o}} and
Francesca Lonetti and
Eda Marchetti},
title = {Petri Nets Modeling for the Schedulability Analysis of Industrial
Real Time Systems},
booktitle = {Proceedings of the International Workshop on domAin specific Model-based
AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016,
Rome, Italy, February 19-21, 2016},
pages = {5--13},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005841700050013},
doi = {10.5220/0005841700050013},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/FantechiP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/PepiF16,
author = {Stefano Pepi and
Alessandro Fantechi},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm
of an Industrial Real Time System},
booktitle = {Model-Driven Engineering and Software Development - 4th International
Conference, {MODELSWARD} 2016, Rome, Italy, February 19-21, 2016,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {692},
pages = {46--69},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-66302-9\_3},
doi = {10.1007/978-3-319-66302-9\_3},
timestamp = {Wed, 07 Mar 2018 14:41:20 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/PepiF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/FantechiG16,
author = {Alessandro Fantechi and
Stefania Gnesi},
editor = {Luigia Petre and
Emil Sekerinski},
title = {Refinement of Behavioural Models for Variability Description},
booktitle = {From Action Systems to Distributed Systems - The Refinement Approach},
pages = {155--169},
publisher = {Chapman and Hall/CRC},
year = {2016},
url = {https://doi.org/10.1201/b20053-16},
doi = {10.1201/B20053-16},
timestamp = {Tue, 16 May 2017 14:01:47 +0200},
biburl = {https://dblp.org/rec/books/crc/p/FantechiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BeekFG15,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Douglas C. Schmidt},
title = {Applying the product lines paradigm to the quantitative analysis of
collective adaptive systems},
booktitle = {Proceedings of the 19th International Conference on Software Product
Line, {SPLC} 2015, Nashville, TN, USA, July 20-24, 2015},
pages = {321--326},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2791060.2791100},
doi = {10.1145/2791060.2791100},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/BeekFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BeekFGM15,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti},
editor = {Douglas C. Schmidt},
title = {Using {FMC} for family-based analysis of software product lines},
booktitle = {Proceedings of the 19th International Conference on Software Product
Line, {SPLC} 2015, Nashville, TN, USA, July 20-24, 2015},
pages = {432--439},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2791060.2791118},
doi = {10.1145/2791060.2791118},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/BeekFGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2015,
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7},
doi = {10.1007/978-3-319-23129-7},
isbn = {978-3-319-23128-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FantechiFG14,
author = {Alessandro Fantechi and
Francesco Flammini and
Stefania Gnesi},
title = {Formal methods for railway control systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {643--646},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0342-1},
doi = {10.1007/S10009-014-0342-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FantechiFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BonacchiF14,
author = {Andrea Bonacchi and
Alessandro Fantechi},
editor = {Fr{\'{e}}d{\'{e}}ric Lang and
Francesco Flammini},
title = {On the Validation of an Interlocking System by Model-Checking},
booktitle = {Formal Methods for Industrial Critical Systems - 19th International
Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8718},
pages = {94--108},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10702-8\_7},
doi = {10.1007/978-3-319-10702-8\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BonacchiF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeekFG14,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {351--367},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_25},
doi = {10.1007/978-3-662-45234-9\_25},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeekFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/ClaudioFMMN14,
author = {Mariano Di Claudio and
Alessandro Fantechi and
Giacomo Martelli and
Simone Menabeni and
Paolo Nesi},
title = {Model-based development of an automatic train operation component
for communication based train control},
booktitle = {17th International {IEEE} Conference on Intelligent Transportation
Systems, {ITSC} 2014, Qingdao, China, October 8-11, 2014},
pages = {1015--1020},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ITSC.2014.6957821},
doi = {10.1109/ITSC.2014.6957821},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/ClaudioFMMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/BonacchiF14,
author = {Andrea Bonacchi and
Alessandro Fantechi},
title = {Validation of Interlocking Systems by Testing their Models},
booktitle = {9th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014},
pages = {226--229},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/QUATIC.2014.37},
doi = {10.1109/QUATIC.2014.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/BonacchiF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2014,
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2648511},
isbn = {978-1-4503-2740-4},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2014w,
editor = {Stefania Gnesi and
Alessandro Fantechi and
Maurice H. ter Beek and
Goetz Botterweck and
Martin Becker},
title = {18th International Software Product Lines Conference - Companion Volume
for Workshop, Tools and Demo papers, {SPLC} '14, Florence, Italy,
September 15-19, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2647908},
isbn = {978-1-4503-2739-8},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2014w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbis/BernardiniPMFI13,
author = {Gionni Bernardini and
Federica Paganelli and
Mauro Manetti and
Alessandro Fantechi and
Ernesto Iadanza},
title = {{SYRMA:} a tool for a system approach to risk management in mission
critical systems},
journal = {Int. J. Bus. Inf. Syst.},
volume = {13},
number = {1},
pages = {21--44},
year = {2013},
url = {https://doi.org/10.1504/IJBIS.2013.054166},
doi = {10.1504/IJBIS.2013.054166},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbis/BernardiniPMFI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jilt/FantechiNPVM13,
author = {Alessandro Fantechi and
Chris D. Nugent and
Alessandro Pinzuti and
Enrico Vicario and
Tommaso Magherini},
title = {An On-line system for automated recognition of human activities},
journal = {Eur. J. Law Technol.},
volume = {4},
number = {2},
year = {2013},
url = {https://ejlt.org/index.php/ejlt/article/view/189},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jilt/FantechiNPVM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MichauxNF13,
author = {Jonathan Michaux and
Elie Najm and
Alessandro Fantechi},
title = {Session types for safe Web service orchestration},
journal = {J. Log. Algebraic Methods Program.},
volume = {82},
number = {8},
pages = {282--310},
year = {2013},
url = {https://doi.org/10.1016/j.jlap.2013.05.004},
doi = {10.1016/J.JLAP.2013.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MichauxNF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FerrariFMGT13,
author = {Alessio Ferrari and
Alessandro Fantechi and
Gianluca Magnani and
Daniele Grasso and
Matteo Tempestini},
title = {The Metr{\^{o}} Rio case study},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {828--842},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.04.003},
doi = {10.1016/J.SCICO.2012.04.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FerrariFMGT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/FerrariFGM13,
author = {Alessio Ferrari and
Alessandro Fantechi and
Stefania Gnesi and
Gianluca Magnani},
title = {Model-Based Development and Formal Methods in the Railway Industry},
journal = {{IEEE} Softw.},
volume = {30},
number = {3},
pages = {28--34},
year = {2013},
url = {https://doi.org/10.1109/MS.2013.44},
doi = {10.1109/MS.2013.44},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/FerrariFGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/thms/MagheriniFNV13,
author = {Tommaso Magherini and
Alessandro Fantechi and
Chris D. Nugent and
Enrico Vicario},
title = {Using Temporal Logic and Model Checking in Automated Recognition of
Human Activities for Ambient-Assisted Living},
journal = {{IEEE} Trans. Hum. Mach. Syst.},
volume = {43},
number = {6},
pages = {509--521},
year = {2013},
url = {https://doi.org/10.1109/TSMC.2013.2283661},
doi = {10.1109/TSMC.2013.2283661},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/thms/MagheriniFNV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgct/AmbraPFGM13,
author = {Terence Ambra and
Federica Paganelli and
Alessandro Fantechi and
Dino Giuli and
Lorenzo Mazzi},
title = {Resource-oriented design towards the convergence of Web-centric and
Telecom-centric services},
booktitle = {Second International Conference on Future Generation Communication
Technologies {(FGCT} 2013), London, United Kingdom, November 12-14,
2013},
pages = {120--125},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FGCT.2013.6767203},
doi = {10.1109/FGCT.2013.6767203},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgct/AmbraPFGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Fantechi13,
author = {Alessandro Fantechi},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Twenty-Five Years of Formal Methods and Railways: What Next?},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {167--183},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_13},
doi = {10.1007/978-3-319-05032-4\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Fantechi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BonacchiFBTC13,
author = {Andrea Bonacchi and
Alessandro Fantechi and
Stefano Bacherini and
Matteo Tempestini and
Leonardo Cipriani},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Validation of Railway Interlocking Systems by Formal Verification,
{A} Case Study},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {237--252},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_18},
doi = {10.1007/978-3-319-05032-4\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BonacchiFBTC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GiandomenicoFGI13,
author = {Felicita Di Giandomenico and
Alessandro Fantechi and
Stefania Gnesi and
Massimiliano Leone Itria},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Stochastic Model-Based Analysis of Railway Operation to Support Traffic
Planning},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {184--198},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_15},
doi = {10.1007/978-3-642-40894-6\_15},
timestamp = {Mon, 05 Feb 2024 20:33:35 +0100},
biburl = {https://dblp.org/rec/conf/serene/GiandomenicoFGI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Fantechi13,
author = {Alessandro Fantechi},
editor = {Tomoji Kishi and
Stan Jarzabek and
Stefania Gnesi},
title = {Topologically configurable systems as product families},
booktitle = {17th International Software Product Line Conference, {SPLC} 2013,
Tokyo, Japan - August 26 - 30, 2013},
pages = {151--156},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491627.2491643},
doi = {10.1145/2491627.2491643},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/Fantechi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MichauxNF13,
author = {Jonathan Michaux and
Elie Najm and
Alessandro Fantechi},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Safe Session-Based Service Orchestration with Unreliable Communication},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {106--126},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_7},
doi = {10.1007/978-3-319-08260-8\_7},
timestamp = {Wed, 17 Mar 2021 14:09:58 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/MichauxNF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FantechiGLMPT12,
author = {Alessandro Fantechi and
Stefania Gnesi and
Alessandro Lapadula and
Franco Mazzanti and
Rosario Pugliese and
Francesco Tiezzi},
title = {A logical verification methodology for service-oriented computing},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {21},
number = {3},
pages = {16:1--16:46},
year = {2012},
url = {https://doi.org/10.1145/2211616.2211619},
doi = {10.1145/2211616.2211619},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/FantechiGLMPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AsirelliBFG12,
author = {Patrizia Asirelli and
Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Compositional Framework to Derive Product Line Behavioural Descriptions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {146--161},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_12},
doi = {10.1007/978-3-642-34026-0\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/AsirelliBFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FantechiFG12,
author = {Alessandro Fantechi and
Francesco Flammini and
Stefania Gnesi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods for Intelligent Transportation Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {187--189},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_19},
doi = {10.1007/978-3-642-34032-1\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/FantechiFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Fantechi12,
author = {Alessandro Fantechi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Distributing the Challenge of Model Checking Interlocking Control
Tables},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {276--289},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_26},
doi = {10.1007/978-3-642-34032-1\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Fantechi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FerrariFG12,
author = {Alessio Ferrari and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Lessons Learnt from the Adoption of Formal Model-Based Development},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {24--38},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_5},
doi = {10.1007/978-3-642-28891-3\_5},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/FerrariFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/BonacchiFBTC12,
author = {Andrea Bonacchi and
Alessandro Fantechi and
Stefano Bacherini and
Matteo Tempestini and
Leonardo Cipriani},
editor = {Jo{\~{a}}o Pascoal Faria and
Alberto Rodrigues da Silva and
Ricardo Jorge Machado},
title = {A {GUI} Testability Problem: {A} Case Study in the Railway Signaling
Domain},
booktitle = {8th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings},
pages = {103--107},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/QUATIC.2012.10},
doi = {10.1109/QUATIC.2012.10},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/BonacchiFBTC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6114,
author = {Jonathan Michaux and
Elie Najm and
Alessandro Fantechi},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Adding Sessions to {BPEL}},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {60--76},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.7},
doi = {10.4204/EPTCS.98.7},
timestamp = {Thu, 20 May 2021 14:31:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijertcs/FerrariMGFT11,
author = {Alessio Ferrari and
Gianluca Magnani and
Daniele Grasso and
Alessandro Fantechi and
Matteo Tempestini},
title = {Adoption of Model-Based Testing and Abstract Interpretation by a Railway
Signalling Manufacturer},
journal = {Int. J. Embed. Real Time Commun. Syst.},
volume = {2},
number = {2},
pages = {42--61},
year = {2011},
url = {https://doi.org/10.4018/jertcs.2011040103},
doi = {10.4018/JERTCS.2011040103},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijertcs/FerrariMGFT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CoferFLM11,
author = {Darren D. Cofer and
Alessandro Fantechi and
Stefan Leue and
Pedro Merino},
title = {Preface to the special issue on Formal Methods for Industrial Critical
Systems {(FMICS} 2007 + {FMICS} 2008)},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {63--64},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.07.001},
doi = {10.1016/J.SCICO.2010.07.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CoferFLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BeekFGM11,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti},
title = {A state/event-based model-checking approach for the analysis of abstract
system properties},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {119--135},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.07.002},
doi = {10.1016/J.SCICO.2010.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BeekFGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AsirelliBFG11,
author = {Patrizia Asirelli and
Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {A Model-Checking Tool for Families of Services},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {44--58},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_3},
doi = {10.1007/978-3-642-21461-5\_3},
timestamp = {Sun, 02 Jun 2019 21:14:32 +0200},
biburl = {https://dblp.org/rec/conf/forte/AsirelliBFG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AsirelliBFGM11,
author = {Patrizia Asirelli and
Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti},
editor = {Julia Rubin and
Goetz Botterweck and
Andreas Pleuss and
David M. Weiss},
title = {Design and validation of variability in product lines},
booktitle = {Proceedings of the 2nd International Workshop on Product Line Approaches
in Software Engineering, {PLEASE} 2011, Waikiki, Honolulu, HI, USA,
May 22-23, 2011},
pages = {25--30},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985484.1985492},
doi = {10.1145/1985484.1985492},
timestamp = {Thu, 14 Jan 2021 16:56:54 +0100},
biburl = {https://dblp.org/rec/conf/icse/AsirelliBFGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/FantechiG11,
author = {Alessandro Fantechi and
Stefania Gnesi},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {On the Adoption of Model Checking in Safety-Related Software Industry},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {383--396},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_28},
doi = {10.1007/978-3-642-24270-0\_28},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/FantechiG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/BeekGFF11,
author = {Maurice H. ter Beek and
Stefania Gnesi and
Alessandro Fantechi and
Jos{\'{e}} Luiz Fiadeiro},
editor = {James L. Rash and
Christopher A. Rouff},
title = {Variability and Rigour in Service Computing Engineering},
booktitle = {34th Annual {IEEE} Software Engineering Workshop, {SEW} 2011, Limerick,
Ireland, June 20-21, 2011},
pages = {122--127},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEW.2011.24},
doi = {10.1109/SEW.2011.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/BeekGFF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/AsirelliBGF11,
author = {Patrizia Asirelli and
Maurice H. ter Beek and
Stefania Gnesi and
Alessandro Fantechi},
editor = {Eduardo Santana de Almeida and
Tomoji Kishi and
Christa Schwanninger and
Isabel John and
Klaus Schmid},
title = {Formal Description of Variability in Product Families},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SPLC.2011.34},
doi = {10.1109/SPLC.2011.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/AsirelliBGF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acota/BeekGFZ10,
author = {Maurice H. ter Beek and
Stefania Gnesi and
Alessandro Fantechi and
Gianluigi Zavattaro},
editor = {Deepak Dhungana and
Rick Rabiser and
Norbert Seyff and
Goetz Botterweck},
title = {Modeling Variability, Evolvability, and Adaptability in Service Computing
(a vision for future research)},
booktitle = {Proceedings of the 1st International Workshop on Automated Configuration
and Tailoring of Applications, Antwerp, Belgium, September 20, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {688},
pages = {14--19},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-688/acota2010\_paper3\_terbeek.pdf},
timestamp = {Mon, 26 Jun 2023 20:49:09 +0200},
biburl = {https://dblp.org/rec/conf/acota/BeekGFZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/FerrariGMFT10,
author = {Alessio Ferrari and
Daniele Grasso and
Gianluca Magnani and
Alessandro Fantechi and
Matteo Tempestini},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {The Metr{\^{o}} Rio {ATP} Case Study},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {1--16},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_1},
doi = {10.1007/978-3-642-15898-8\_1},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/FerrariGMFT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/FerrariMGF10,
author = {Alessio Ferrari and
Gianluca Magnani and
Daniele Grasso and
Alessandro Fantechi},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Model Checking Interlocking Control Tables},
booktitle = {{FORMS/FORMAT} 2010 - Formal Methods for Automation and Safety in
Railway and Automotive Systems [8th Symposium on Formal Methods for
Automation and Safety in Railway and Automotive Systems, Braunschweig,
Germany, December 2-3, 2010},
pages = {107--115},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_11},
doi = {10.1007/978-3-642-14261-1\_11},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/FerrariMGF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GrassoFFBB10,
author = {Daniele Grasso and
Alessandro Fantechi and
Alessio Ferrari and
Carlo Becheri and
Stefano Bacherini},
title = {Model Based Testing and Abstract Interpretation in the Railway Signaling
Context},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {103--106},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.44},
doi = {10.1109/ICST.2010.44},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GrassoFFBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AsirelliBFG10,
author = {Patrizia Asirelli and
Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {A Logical Framework to Deal with Variability},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {43--58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_5},
doi = {10.1007/978-3-642-16265-7\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AsirelliBFG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BucchiaroneGFT10,
author = {Antonio Bucchiarone and
Stefania Gnesi and
Alessandro Fantechi and
Gianluca Trentanni},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {An experience in using a tool for evaluating a large set of natural
language requirements},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {281--286},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774148},
doi = {10.1145/1774088.1774148},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/BucchiaroneGFT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/FerrariPFG10,
author = {Alessio Ferrari and
Mario Papini and
Alessandro Fantechi and
Daniele Grasso},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {An industrial application of formal model based development: the Metr{\^{o}}
Rio {ATP} case},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {71--76},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401744},
doi = {10.1145/2401736.2401744},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/FerrariPFG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/AsirelliBGF10,
author = {Patrizia Asirelli and
Maurice H. ter Beek and
Stefania Gnesi and
Alessandro Fantechi},
editor = {David Benavides and
Don S. Batory and
Paul Gr{\"{u}}nbacher},
title = {A Deontic Logical Framework for Modelling Product Families},
booktitle = {Fourth International Workshop on Variability Modelling of Software-Intensive
Systems, Linz, Austria, January 27-29, 2010. Proceedings},
series = {ICB-Research Report},
volume = {37},
pages = {37--44},
publisher = {Universit{\"{a}}t Duisburg-Essen},
year = {2010},
url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf},
timestamp = {Wed, 28 Oct 2020 08:39:42 +0100},
biburl = {https://dblp.org/rec/conf/vamos/AsirelliBGF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/FerrariFBZ09,
author = {Alessio Ferrari and
Alessandro Fantechi and
Stefano Bacherini and
Niccol{\`{o}} Zingoni},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {Formal Development for Railway Signaling Using Commercial Tools},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {197--198},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_15},
doi = {10.1007/978-3-642-04570-7\_15},
timestamp = {Sun, 02 Oct 2022 16:01:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/FerrariFBZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FerrariFBZ09,
author = {Alessio Ferrari and
Alessandro Fantechi and
Stefano Bacherini and
Niccol{\`{o}} Zingoni},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Modeling Guidelines for Code Generation in the Railway Signaling Context},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {166--170},
year = {2009},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/FerrariFBZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/AsirelliBGF09,
author = {Patrizia Asirelli and
Maurice H. ter Beek and
Stefania Gnesi and
Alessandro Fantechi},
editor = {David Benavides and
Andreas Metzger and
Ulrich W. Eisenecker},
title = {Deontic Logics for Modeling Behavioural Variability},
booktitle = {Third International Workshop on Variability Modelling of Software-Intensive
Systems, Seville, Spain, January 28-30, 2009. Proceedings},
series = {{ICB} Research Report},
volume = {29},
pages = {71--76},
publisher = {Universit{\"{a}}t Duisburg-Essen},
year = {2009},
url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2009\_Proceedings.pdf},
timestamp = {Wed, 28 Oct 2020 08:39:42 +0100},
biburl = {https://dblp.org/rec/conf/vamos/AsirelliBGF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2008,
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03240-0},
doi = {10.1007/978-3-642-03240-0},
isbn = {978-3-642-03239-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/BanciGFL08,
author = {Michele Banci and
Stefania Gnesi and
Alessandro Fantechi and
Giovanni Lombardi},
title = {Model driven development of railway systems using diversity},
journal = {Comput. Syst. Sci. Eng.},
volume = {23},
number = {5},
year = {2008},
timestamp = {Thu, 23 Aug 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/BanciGFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/FantechiN08,
author = {Alessandro Fantechi and
Elie Najm},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {Session Types for Orchestration Charts},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {117--134},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_8},
doi = {10.1007/978-3-540-68265-3\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/FantechiN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FantechiGLMPT08,
author = {Alessandro Fantechi and
Stefania Gnesi and
Alessandro Lapadula and
Franco Mazzanti and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {A Model Checking Approach for Verifying {COWS} Specifications},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {230--245},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_17},
doi = {10.1007/978-3-540-78743-3\_17},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/FantechiGLMPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/FantechiF08,
author = {Alessandro Fantechi and
Alessio Ferrari},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Panel Discussion on Formal Methods in Commercial Software Development
Tools},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {4--6},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_4},
doi = {10.1007/978-3-642-03240-0\_4},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/FantechiF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Lucia Acciai and
Federico Banti and
Allan Clark and
Alessandro Fantechi and
Stephen Gilmore and
Stefania Gnesi and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Alessandro Lapadula and
Philip Mayer and
Franco Mazzanti and
Rosario Pugliese and
Andreas Schroeder and
Francesco Tiezzi and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
Transformation and Dynamicity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {170--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_13},
doi = {10.1007/978-3-540-88479-8\_13},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BucchiaroneGLTF08,
author = {Antonio Bucchiarone and
Stefania Gnesi and
Giuseppe Lami and
Gianluca Trentanni and
Alessandro Fantechi},
title = {QuARS Express - {A} Tool Demonstration},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {473--474},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.77},
doi = {10.1109/ASE.2008.77},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BucchiaroneGLTF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/FantechiG08,
author = {Alessandro Fantechi and
Stefania Gnesi},
title = {Formal Modeling for Product Families Engineering},
booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008,
Limerick, Ireland, September 8-12, 2008, Proceedings},
pages = {193--202},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SPLC.2008.45},
doi = {10.1109/SPLC.2008.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/FantechiG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BucchiaroneGTF08,
author = {Antonio Bucchiarone and
Stefania Gnesi and
Gianluca Trentanni and
Alessandro Fantechi},
title = {Evaluation of Natural Language Requirements in the {MODCONTROL} Project},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/evaluation-of-natural-language-requirements-in-the-modcontrol-project},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BucchiaroneGTF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FantechiGL08,
author = {Alessandro Fantechi and
Stefania Gnesi and
Giovanni Lombardi},
title = {Experimenting with Diversity in the Formal Development of Railway
Signalling Systems},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/experimenting-with-diversity-in-the-formal-development-of-railway-signalling-systems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/FantechiGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BeekFGM07,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti},
editor = {Stefan Leue and
Pedro Merino},
title = {An Action/State-Based Model-Checking Approach for the Analysis of
Communication Protocols for Service-Oriented Applications},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International
Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4916},
pages = {133--148},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79707-4\_11},
doi = {10.1007/978-3-540-79707-4\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BeekFGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BanciFGL07,
author = {Michele Banci and
Alessandro Fantechi and
Stefania Gnesi and
Giovanni Lombardi},
editor = {Emmanuel Gaudin and
Elie Najm and
Rick Reed},
title = {Model Driven Development and Code Generation: An Automotive Case Study},
booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL}
Forum, Paris, France, September 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4745},
pages = {19--34},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74984-4\_2},
doi = {10.1007/978-3-540-74984-4\_2},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/BanciFGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BanciFGL07,
author = {Michele Banci and
Alessandro Fantechi and
Stefania Gnesi and
Giovanni Lombardi},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Experimenting with diversity in the model driven development of a
railway signaling system},
booktitle = {Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems,
{EFTS} 2007, Dubrovnik, Croatia, September 4, 2007},
pages = {5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316550.1316555},
doi = {10.1145/1316550.1316555},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BanciFGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FantechiG07,
author = {Alessandro Fantechi and
Stefania Gnesi},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {A behavioural model for product families},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {521--524},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287700},
doi = {10.1145/1287624.1287700},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FantechiG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/BanciFG06,
author = {Michele Banci and
Alessandro Fantechi and
Stefania Gnesi},
title = {Statecharts Composition to Model Topologically Distributed Applications},
journal = {Trans. {SDPS}},
volume = {10},
number = {1},
pages = {1--15},
year = {2006},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid10-1-01},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jid/BanciFG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BacheriniFTZ06,
author = {Stefano Bacherini and
Alessandro Fantechi and
Matteo Tempestini and
Niccol{\`{o}} Zingoni},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {A Story About Formal Methods Adoption by a Railway Signaling Manufacturer},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {179--189},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_13},
doi = {10.1007/11813040\_13},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BacheriniFTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rodin/FantechiGS06,
author = {Alessandro Fantechi and
Stefania Gnesi and
Laura Semini},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Achieving Fault Tolerance by a Formally Validated Interaction Policy},
booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
{RODIN} project]},
series = {Lecture Notes in Computer Science},
volume = {4157},
pages = {133--152},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916246\_7},
doi = {10.1007/11916246\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/rodin/FantechiGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/splc/BertolinoFGL06,
author = {Antonia Bertolino and
Alessandro Fantechi and
Stefania Gnesi and
Giuseppe Lami},
editor = {Timo K{\"{a}}k{\"{o}}l{\"{a}} and
Juan C. Due{\~{n}}as},
title = {Product Line Use Cases: Scenario-Based Specification and Testing of
Requirements},
booktitle = {Software Product Lines - Research Issues in Engineering and Management},
pages = {425--445},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-33253-4\_11},
doi = {10.1007/978-3-540-33253-4\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/BertolinoFGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/CarrezFN05,
author = {Cyril Carrez and
Alessandro Fantechi and
Elie Najm},
title = {Assembling components with behavioural contracts},
journal = {Ann. des T{\'{e}}l{\'{e}}communications},
volume = {60},
number = {7-8},
pages = {989--1022},
year = {2005},
url = {https://doi.org/10.1007/BF03219957},
doi = {10.1007/BF03219957},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adt/CarrezFN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BecucciFGS05,
author = {Marcello Becucci and
Alessandro Fantechi and
Marco Giromini and
Emilio Spinicci},
title = {A comparison between handwritten and automatic generation of {C} code
from {SDL} using static analysis},
journal = {Softw. Pract. Exp.},
volume = {35},
number = {14},
pages = {1317--1347},
year = {2005},
url = {https://doi.org/10.1002/spe.673},
doi = {10.1002/SPE.673},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BecucciFGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BanciF05,
author = {Michele Banci and
Alessandro Fantechi},
editor = {Tiziana Margaria and
Mieke Massink},
title = {Instantiating generic charts for railway interlocking systems},
booktitle = {Proceedings of the 10th international workshop on Formal methods for
industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {134--143},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081180.1081197},
doi = {10.1145/1081180.1081197},
timestamp = {Tue, 25 Jan 2022 17:00:39 +0100},
biburl = {https://dblp.org/rec/conf/fmics/BanciF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wer/FantechiS05,
author = {Alessandro Fantechi and
Emilio Spinicci},
editor = {Jo{\~{a}}o Ara{\'{u}}jo and
Amador Dur{\'{a}}n Toro and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {A Content Analysis Technique for Inconsistency Detection in Software
Requirements Documents},
booktitle = {Anais do {WER05} - Workshop em Engenharia de Requisitos, Porto, Portugal,
Junho 13-14, 2005},
pages = {245--256},
year = {2005},
url = {http://wer.inf.puc-rio.br/WERpapers/artigos/artigos\_WER05/alessandro\_spinicci.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wer/FantechiS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/das/CasciniFS04,
author = {Gaetano Cascini and
Alessandro Fantechi and
Emilio Spinicci},
editor = {Simone Marinai and
Andreas Dengel},
title = {Natural Language Processing of Patents and Technical Documentation},
booktitle = {Document Analysis Systems VI, 6th International Workshop, {DAS} 2004,
Florence, Italy, September 8-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3163},
pages = {508--520},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28640-0\_48},
doi = {10.1007/978-3-540-28640-0\_48},
timestamp = {Fri, 13 Sep 2019 15:47:20 +0200},
biburl = {https://dblp.org/rec/conf/das/CasciniFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MeolicFG04,
author = {Robert Meolic and
Alessandro Fantechi and
Stefania Gnesi},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Witness and Counterexample Automata for {ACTL}},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {259--275},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_17},
doi = {10.1007/978-3-540-30232-2\_17},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/MeolicFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/FantechiGLN04,
author = {Alessandro Fantechi and
Stefania Gnesi and
Giuseppe Lami and
E. Nesti},
editor = {Robert L. Nord},
title = {A Methodology for the Derivation and Verification of Use Cases for
Product Lines},
booktitle = {Software Product Lines, Third International Conference, {SPLC} 2004,
Boston, MA, USA, August 30-September 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3154},
pages = {255--265},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28630-1\_16},
doi = {10.1007/978-3-540-28630-1\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/FantechiGLN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BanciF05,
author = {Michele Banci and
Alessandro Fantechi},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Geographical Versus Functional Modelling by Statecharts of Interlocking
Systems},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {3--19},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.055},
doi = {10.1016/J.ENTCS.2004.08.055},
timestamp = {Tue, 06 Dec 2022 10:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BanciF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BanciBFS05,
author = {Michele Banci and
Marcello Becucci and
Alessandro Fantechi and
Emilio Spinicci},
editor = {Mauro Pezz{\`{e}}},
title = {Validation Coverage for a Component-based {SDL} model of a Railway
Signaling System},
booktitle = {Proceedings of the International Workshop on Test and Analysis of
Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {116},
pages = {99--111},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.083},
doi = {10.1016/J.ENTCS.2004.02.083},
timestamp = {Fri, 09 Dec 2022 13:14:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BanciBFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FantechiGM05,
author = {Alessandro Fantechi and
Stefania Gnesi and
Adriana Maggiore},
editor = {Mauro Pezz{\`{e}}},
title = {Enhancing Test Coverage by Back-tracing Model-checker Counterexamples},
booktitle = {Proceedings of the International Workshop on Test and Analysis of
Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {116},
pages = {199--211},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.077},
doi = {10.1016/J.ENTCS.2004.02.077},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FantechiGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/FantechiGLM03,
author = {Alessandro Fantechi and
Stefania Gnesi and
Giuseppe Lami and
Alessandro Maccari},
title = {Applications of linguistic techniques for use case analysis},
journal = {Requir. Eng.},
volume = {8},
number = {3},
pages = {161--170},
year = {2003},
url = {https://doi.org/10.1007/s00766-003-0174-0},
doi = {10.1007/S00766-003-0174-0},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/FantechiGLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CarrezFN03,
author = {Cyril Carrez and
Alessandro Fantechi and
Elie Najm},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Behavioural Contracts for a Sound Assembly of Components},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {111--126},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_8},
doi = {10.1007/978-3-540-39979-7\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/CarrezFN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pfe/FantechiGJLD03,
author = {Alessandro Fantechi and
Stefania Gnesi and
Isabel John and
Giuseppe Lami and
J{\"{o}}rg D{\"{o}}rr},
editor = {Frank van der Linden},
title = {Elicitation of Use Cases for Product Lines},
booktitle = {Software Product-Family Engineering, 5th International Workshop, {PFE}
2003, Siena, Italy, November 4-6, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3014},
pages = {152--167},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24667-1\_12},
doi = {10.1007/978-3-540-24667-1\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pfe/FantechiGJLD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FantechiS03,
author = {Alessandro Fantechi and
Emilio Spinicci},
editor = {Mauro Pezz{\`{e}}},
title = {Modelling and Validating a multiple-configuration railway signalling
system using {SDL}},
booktitle = {International Workshop on Test and Analysis of Component-Based Systems,
TACoS 2003, Satellite Event of {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {6},
pages = {66--76},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81026-0},
doi = {10.1016/S1571-0661(04)81026-0},
timestamp = {Thu, 08 Dec 2022 11:29:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FantechiS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BernardeschiFG02,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
title = {Model checking fault tolerant systems},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {4},
pages = {251--275},
year = {2002},
url = {https://doi.org/10.1002/stvr.258},
doi = {10.1002/STVR.258},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BernardeschiFG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FantechiGLM02,
author = {Alessandro Fantechi and
Stefania Gnesi and
Giuseppe Lami and
Alessandro Maccari},
title = {Application of Linguistic Techniques for Use Case Analysis},
booktitle = {10th Anniversary {IEEE} Joint International Conference on Requirements
Engineering {(RE} 2002), 9-13 September 2002, Essen, Germany},
pages = {157--164},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICRE.2002.1048518},
doi = {10.1109/ICRE.2002.1048518},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/FantechiGLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FrancescoFGI01,
author = {Nicoletta De Francesco and
Alessandro Fantechi and
Stefania Gnesi and
Paola Inverardi},
title = {Finite Approximations for Model Checking Non-finite-state Processes},
journal = {Comput. J.},
volume = {44},
number = {2},
pages = {109--123},
year = {2001},
url = {https://doi.org/10.1093/comjnl/44.2.109},
doi = {10.1093/COMJNL/44.2.109},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/FrancescoFGI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/BondavalliFLS01,
author = {Andrea Bondavalli and
Alessandro Fantechi and
Diego Latella and
Luca Simoncini},
title = {Design Validation of Embedded Dependable Systems},
journal = {{IEEE} Micro},
volume = {21},
number = {5},
pages = {52--62},
year = {2001},
url = {https://doi.org/10.1109/40.958699},
doi = {10.1109/40.958699},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/BondavalliFLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BernardeschiFG01,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
title = {Formal validation of fault-tolerance mechanisms inside {GUARDS}},
journal = {Reliab. Eng. Syst. Saf.},
volume = {71},
number = {3},
pages = {261--270},
year = {2001},
url = {https://doi.org/10.1016/S0951-8320(00)00078-8},
doi = {10.1016/S0951-8320(00)00078-8},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/BernardeschiFG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BernardeschiFS00,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Luca Simoncini},
title = {Formally Verifying Fault Tolerant System Designs},
journal = {Comput. J.},
volume = {43},
number = {3},
pages = {191--205},
year = {2000},
url = {https://doi.org/10.1093/comjnl/43.3.191},
doi = {10.1093/COMJNL/43.3.191},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BernardeschiFS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/PowellABBCFJRW99,
author = {David Powell and
Jean Arlat and
Ljerka Beus{-}Dukic and
Andrea Bondavalli and
P. Coppola and
Alessandro Fantechi and
Eric Jenn and
Christophe Rab{\'{e}}jac and
Andy J. Wellings},
title = {{GUARDS:} {A} Generic Upgradable Architecture for Real-Time Dependable
Systems},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {10},
number = {6},
pages = {580--599},
year = {1999},
url = {https://doi.org/10.1109/71.774908},
doi = {10.1109/71.774908},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/PowellABBCFJRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BernardeschiFG99,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Formal Validation of the {GUARDS} Inter-Consistency Mechanism},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {420--430},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_36},
doi = {10.1007/3-540-48249-0\_36},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/BernardeschiFG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/1999,
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {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},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
isbn = {0-7923-8429-6},
timestamp = {Tue, 04 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BernardeschiFGLMR98,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi and
Salvatore Larosa and
Giorgio Mongardi and
Dario Romano},
title = {A Formal Verification Environment for Railway Signaling System Design},
journal = {Formal Methods Syst. Des.},
volume = {12},
number = {2},
pages = {139--161},
year = {1998},
url = {https://doi.org/10.1023/A:1008645826258},
doi = {10.1023/A:1008645826258},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BernardeschiFGLMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FantechiGMPT98,
author = {Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti and
Rosario Pugliese and
Enrico Tronci},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {A Symbolic Model Checker for {ACTL}},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {228--242},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_14},
doi = {10.1007/3-540-48257-1\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/FantechiGMPT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BernardeschiSF98,
author = {Cinzia Bernardeschi and
Luca Simoncini and
Alessandro Fantechi},
title = {Validating the Design of Dependable Systems},
booktitle = {1st International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
pages = {364--372},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISORC.1998.666809},
doi = {10.1109/ISORC.1998.666809},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BernardeschiSF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BernardeschiFG97,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
title = {An industrial application for the {JACK} environment},
journal = {J. Syst. Softw.},
volume = {39},
number = {3},
pages = {249--264},
year = {1997},
url = {https://doi.org/10.1016/S0164-1212(97)00057-5},
doi = {10.1016/S0164-1212(97)00057-5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BernardeschiFG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/FantechiNS97,
author = {Alessandro Fantechi and
Paolo Nesi and
E. Somma},
title = {Object-Oriented Analysis of {COBOL}},
booktitle = {1st Euromicro Working Conference on Software Maintenance and Reengineering
{(CSMR} '97), 17-19 March 1997, Berlin, Germany},
pages = {157--164},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CSMR.1997.583029},
doi = {10.1109/CSMR.1997.583029},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/FantechiNS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FantechiGL96,
author = {Alessandro Fantechi and
Stefania Gnesi and
Diego Latella},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Towards Automatic Temporal Logic Verification of Value Passing Process
Algebra Using Abstract Interpretation},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {563--578},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_76},
doi = {10.1007/3-540-61604-7\_76},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FantechiGL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardeschiFGM96,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi and
Giorgio Mongardi},
editor = {Andrzej Hlawiczka and
Jo{\~{a}}o Gabriel Silva and
Luca Simoncini},
title = {Proving Safety Properties for Embedded Control Systems},
booktitle = {Dependable Computing - EDCC-2, Second European Dependable Computing
Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1150},
pages = {321--332},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61772-8\_46},
doi = {10.1007/3-540-61772-8\_46},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/BernardeschiFGM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BernardeschiFG96,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Erwin Schoitsch},
title = {Formal Verification of Safety Requirements on Complex Systems},
booktitle = {15th International Conference on Computer Safety, Reliability and
Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
pages = {21--30},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4471-0937-2\_2},
doi = {10.1007/978-1-4471-0937-2\_2},
timestamp = {Tue, 25 Jun 2019 15:55:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BernardeschiFG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/NicolaFGLR95,
author = {Rocco De Nicola and
Alessandro Fantechi and
Stefania Gnesi and
Salvatore Larosa and
Gioia Ristori},
editor = {Paolo Camurati and
Hans Eveking},
title = {Verifying hardware components within {JACK}},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {246--260},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_15},
doi = {10.1007/3-540-60385-9\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/NicolaFGLR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AnselmiBFGLMT95,
author = {A. Anselmi and
Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi and
Salvatore Larosa and
Giorgio Mongardi and
Fernando Torielli},
editor = {Gerhard Rabe},
title = {An Experience in Formal Verification of Safety Properties of a Railway
Signalling Control System},
booktitle = {14th International Conference on Computer Safety, Reliability and
Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
pages = {474--488},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3054-3\_33},
doi = {10.1007/978-1-4471-3054-3\_33},
timestamp = {Tue, 25 Jun 2019 09:49:42 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BernardeschiFP95,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Fabio Patern{\`{o}}},
title = {Application of Correctness Preserving Transformations for Deriving
Architectural Descriptions of Interactive Systems from User Interface
Specifications},
booktitle = {SEKE'95, The 7th International Conference on Software Engineering
and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland,
USA, Proceedings},
pages = {234--243},
publisher = {Knowledge Systems Institute},
year = {1995},
timestamp = {Wed, 31 Jan 2007 12:10:53 +0100},
biburl = {https://dblp.org/rec/conf/seke/BernardeschiFP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FrancescoFGI95,
author = {Nicoletta De Francesco and
Alessandro Fantechi and
Stefania Gnesi and
Paola Inverardi},
editor = {Ed Brinksma and
Rance Cleaveland and
Kim Guldstrand Larsen and
Tiziana Margaria and
Bernhard Steffen},
title = {Model Checking of Non-Finite State Processes by Finite Approximations},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, First
International Workshop, {TACAS} '95, Aarhus, Denmark, May 19-20, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1019},
pages = {195--215},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60630-0\_10},
doi = {10.1007/3-540-60630-0\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FrancescoFGI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FantechiGR94,
author = {Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori},
title = {Model Checking for Action-Based Logics},
journal = {Formal Methods Syst. Des.},
volume = {4},
number = {2},
pages = {187--203},
year = {1994},
url = {https://doi.org/10.1007/BF01384084},
doi = {10.1007/BF01384084},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FantechiGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FantechiGRCVM94,
author = {Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori and
Michele Carenini and
Massimo Vanocchi and
Paolo Moreschini},
title = {Assisting Requirement Formalization by Means of Natural Language Translation},
journal = {Formal Methods Syst. Des.},
volume = {4},
number = {3},
pages = {243--263},
year = {1994},
url = {https://doi.org/10.1007/BF01384048},
doi = {10.1007/BF01384048},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FantechiGRCVM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardeschiFS94,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Luca Simoncini},
editor = {Klaus Echtle and
Dieter K. Hammer and
David Powell},
title = {Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: {A}
Case Study},
booktitle = {Dependable Computing - EDCC-1, First European Dependable Computing
Conference, Berlin, Germany, October 4-6, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {852},
pages = {77--94},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58426-9\_125},
doi = {10.1007/3-540-58426-9\_125},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/BernardeschiFS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FantechiGS94,
author = {Alessandro Fantechi and
Stefania Gnesi and
R. Sacchelli},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Tableau methods to describe strong bisimilarity on {LOTOS} processes
involving pure interleaving and enabling},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {218--220},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/FantechiGS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/NicolaFGR93,
author = {Rocco De Nicola and
Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori},
title = {An Action-Based Framework for Verifying Logical and Behavioural Properties
of Concurrent Systems},
journal = {Comput. Networks {ISDN} Syst.},
volume = {25},
number = {7},
pages = {761--778},
year = {1993},
url = {https://doi.org/10.1016/0169-7552(93)90047-8},
doi = {10.1016/0169-7552(93)90047-8},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/NicolaFGR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FantechiGP93,
author = {Alessandro Fantechi and
Stefania Gnesi and
V. Perticaroli},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {An Expressive Logic for Basic Process Algebra},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {453--462},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_37},
doi = {10.1007/3-540-57182-5\_37},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FantechiGP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FantechiG91,
author = {Alessandro Fantechi and
Stefania Gnesi},
title = {Compositionality and Bisimulation: {A} Negative Result},
journal = {Inf. Process. Lett.},
volume = {39},
number = {2},
pages = {109--114},
year = {1991},
url = {https://doi.org/10.1016/0020-0190(91)90163-C},
doi = {10.1016/0020-0190(91)90163-C},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FantechiG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FantechiGLT91,
author = {Alessandro Fantechi and
Stefania Gnesi and
F. Leggio and
P. Talini},
title = {Executing the formal definition of Ada},
journal = {{ACM} {SIGPLAN} Notices},
volume = {26},
number = {3},
pages = {25--34},
year = {1991},
url = {https://doi.org/10.1145/122167.122171},
doi = {10.1145/122167.122171},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FantechiGLT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NicolaFGR91,
author = {Rocco De Nicola and
Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Action Based Framework for Verifying Logical and Behavioural Properties
of Concurrent Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {37--47},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_5},
doi = {10.1007/3-540-55179-4\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/NicolaFGR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FantechiGM90,
author = {Alessandro Fantechi and
Stefania Gnesi and
Gianluca Mazzarini},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {How Expressive Are {LOTOS} Behaviour Expressions?},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {17--32},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/FantechiGM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/FantechiGR90,
author = {Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori},
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {Compositional logic semantics and {LOTOS}},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of
the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
pages = {365--378},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/FantechiGR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FantechiGL89,
author = {Alessandro Fantechi and
Stefania Gnesi and
Cosimo Laneve},
editor = {Son T. Vuong},
title = {An Expressive Temporal Logic for Basic {LOTOS}},
booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
Second International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
BC, Canada, 5-8 December, 1989},
pages = {261--276},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/FantechiGL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BaiardiFTV87,
author = {Fabrizio Baiardi and
Alessandro Fantechi and
A. Tomasi and
Marco Vanneschi},
title = {Distributed Implementation of Nested Communicating Sequential Processes:
Communication and Termination},
journal = {J. Parallel Distributed Comput.},
volume = {4},
number = {6},
pages = {531--545},
year = {1987},
url = {https://doi.org/10.1016/0743-7315(87)90029-3},
doi = {10.1016/0743-7315(87)90029-3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/BaiardiFTV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/FantechiGIM87,
author = {Alessandro Fantechi and
Stefania Gnesi and
Paola Inverardi and
Ugo Montanari},
editor = {Howard K. Nichols and
Dan Simpson},
title = {An Executon Environment for the Formal Definiton of Ada},
booktitle = {{ESEC} '87, 1st European Software Engineering Conference, Strasbourg,
France, September 9-11, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {289},
pages = {327--335},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0022125},
doi = {10.1007/BFB0022125},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/FantechiGIM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/FantechiIL86,
author = {Alessandro Fantechi and
Paola Inverardi and
Norma Lijtmaer},
title = {Using High Level Languages for Local Computer Network Communication:
{A} Case Study in Ada},
journal = {Softw. Pract. Exp.},
volume = {16},
number = {8},
pages = {701--717},
year = {1986},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/FantechiIL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/AcetoNF86,
author = {Luca Aceto and
Rocco De Nicola and
Alessandro Fantechi},
editor = {Marisa Venturini Zilli},
title = {Testing Equivalences for Event Structures},
booktitle = {Mathematical Models for the Semantics of Parallelism, Advanced School,
Rome, Italy, September 24 - October 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {280},
pages = {1--20},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18419-8\_9},
doi = {10.1007/3-540-18419-8\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/AcetoNF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adatec/FantechiG82,
author = {Alessandro Fantechi and
F. Gallo},
editor = {Gerald A. Fisher},
title = {Portable Ada programming system: a proposed run-time architecture},
booktitle = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
USA, October 6-8, 1982},
pages = {48--56},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/3304133.3304140},
doi = {10.1145/3304133.3304140},
timestamp = {Wed, 14 Jul 2021 15:49:19 +0200},
biburl = {https://dblp.org/rec/conf/adatec/FantechiG82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
