default search action

combined dblp search
author search
venue search
publication search

ask others

Alessio Ferrari 0001

> Home > Persons

Person information

affiliation: CNR-ISTI, Pisa, Italy

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/re/PenzenstadlerF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/PenzenstadlerF24
Birgit Penzenstadler, Alessio Ferrari:
Editorial for the REFSQ'23 special issue. Requir. Eng. 29(1): 1-2 (2024)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FerrariHSNFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FerrariHSNFG24
Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi:
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews. ACM Trans. Softw. Eng. Methodol. 33(4): 87:1-87:36 (2024)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/AbualhaijaADDFFF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/AbualhaijaADDFFF24
Sallam Abualhaija, Fatma Basak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari, Xavier Franch, Davide Fucci:
Replication in Requirements Engineering: The NLP for RE Case. ACM Trans. Softw. Eng. Methodol. 33(6): 151 (2024)
[c88]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/avi/MannariAB0TM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avi/MannariAB0TM24
Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari, Tommaso Turchi, Alessio Malizia:
ModeLLer - Enabling End-Users to Model Systems: a Case Study in Digital Agriculture. CoPDA@AVI 2024
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerdousSBRF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerdousSBRF24
Raihana Ferdous, Giorgio Oronzo Spagnolo, Alessandro Borselli, Lucio Rota, Alessio Ferrari:
Identifying Maintenance Needs with Machine Learning: a Case Study in Railways. RE Workshops 2024: 22-25
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariAA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariAA24
Alessio Ferrari, Sallam Abualhaija, Chetan Arora:
Model Generation with LLMs: From Requirements to UML Sequence Diagrams. RE Workshops 2024: 291-300
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MannariBSMF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MannariBSMF24
Chiara Mannari, Manlio Bacco, Giorgio Oronzo Spagnolo, Alessio Malizia, Alessio Ferrari:
Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture. RE Workshops 2024: 306-315
[c84]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/Abualhaija0D0G24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/Abualhaija0D0G24
Sallam Abualhaija, Chetan Arora, Davide Dell'Anna, Alessio Ferrari, Sepideh Ghanavati:
Preface: 7th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE'24). REFSQ Workshops 2024
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/BrocciaBLSF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/BrocciaBLSF24
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ 2024: 39-56
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/SpoletiniF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/SpoletiniF24
Paola Spoletini, Alessio Ferrari:
The Return of Formal Requirements Engineering in the Era of Large Language Models. REFSQ 2024: 344-353
[e7]
- view
- export record
  dblp key:
  - conf/refsq/2024w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/2024w
Daniel Méndez, Ana Moreira, Jennifer Horkoff, Thorsten Weyer, Maya Daneva, Michael Unterkalmsteiner, Stan Bühne, Jennifer Hehn, Birgit Penzenstadler, Oscar Dieste, Nelly Condori-Fernández, Renata S. S. Guizzardi, Khan Mohammad Habibullah, Anna Perini, Angelo Susi, Sallam Abualhaija, Chetan Arora, Davide Dell'Anna, Alessio Ferrari, Sepideh Ghanavati, Fabiano Dalpiaz, Jan-Philipp Steghöfer, Alexander Rachmann, Jens Gulden, Andrea Müller, Martina Beck, Dominik Birkmeier, Andrea Herrmann, Patrick Mennig, Kurt Schneider:
Joint Proceedings of REFSQ-2024 Workshops, Doctoral Symposium, Posters & Tools Track, and Education and Training Track co-located with the 30th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland, April 8-11, 2024. CEUR Workshop Proceedings 3672, CEUR-WS.org 2024 [contents]
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-06371
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-06371
Alessio Ferrari, Sallam Abualhaija, Chetan Arora:
Model Generation from Requirements with LLMs: an Exploratory Study. CoRR abs/2404.06371 (2024)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-06386
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-06386
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR abs/2404.06386 (2024)
[i19]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/0001B024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/0001B024
Davide Basile, Maurice H. ter Beek, Alessio Ferrari:
Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport. ERCIM News 2024(138) (2024)
[i18]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/Mannari0B24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/Mannari0B24
Chiara Mannari, Alessio Ferrari, Manlio Bacco:
Socio-technical Process Modelling to Foster Sustainable Digitalisation of Rural Areas. ERCIM News 2024(138) (2024)
2023
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/FerrariB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/FerrariB23
Alessio Ferrari, Maurice H. ter Beek:
Formal Methods in Railways: A Systematic Mapping Study. ACM Comput. Surv. 55(4): 69:1-69:37 (2023)
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/infsof/AlhoshanFZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/AlhoshanFZ23
Waad Alhoshan, Alessio Ferrari, Liping Zhao:
Zero-shot learning for requirements classification: An exploratory study. Inf. Softw. Technol. 159: 107202 (2023)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/re/AbbasFSESS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/AbbasFSESS23
Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Enoiu, Mehrdad Saadatmand, Daniel Sundmark:
On the relationship between similar requirements and similar software. Requir. Eng. 28(1): 23-47 (2023)
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BasileMF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BasileMF23
Davide Basile, Franco Mazzanti, Alessio Ferrari:
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. FMICS 2023: 1-21
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FerrariS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FerrariS23
Alessio Ferrari, Paola Spoletini:
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. ICSE 2023: 1290-1302
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/BrocciaFBCFB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/BrocciaFBCFB23
Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti:
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. ICPC 2023: 54-58
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/re/Ferrari23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/Ferrari23
Alessio Ferrari:
Artificial Intelligence in Engineering and Society: Blue Skies, Black Holes, and the Job of Requirements Engineers (Keynote). REW 2023: 67
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariLOB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariLOB23
Alessio Ferrari, Fabio Lepore, Livia Ortolani, Gianluca Brunori:
Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas. RE 2023: 157-168
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BashirAFSL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BashirAFSL23
Sarmad Bashir, Muhammad Abbas, Alessio Ferrari, Mehrdad Saadatmand, Pernilla Lindberg:
Requirements Classification for Smart Allocation: A Case Study in the Railway Industry. RE 2023: 201-211
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MannariABFTM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MannariABFTM23
Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari, Tommaso Turchi, Alessio Malizia:
ModeLLer - A Prototype to Support Requirements Elicitation in Co-Design Environments. RE 2023: 367-368
[e6]
- view
- export record
  dblp key:
  - conf/refsq/2023w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/2023w
Alessio Ferrari, Birgit Penzenstadler, Irit Hadar, Shola Oyedeji, Sallam Abualhaija, Andreas Vogelsang, Gouri Deshpande, Alexander Rachmann, Jens Gulden, Andrea Wohlgemuth, Anne Hess, Samuel Fricker, Renata S. S. Guizzardi, Jennifer Horkoff, Anna Perini, Angelo Susi, Oliver Karras, Fabiano Dalpiaz, Ana Moreira, Daniel Amyot, Paola Spoletini:
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. CEUR Workshop Proceedings 3378, CEUR-WS.org 2023 [contents]
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/2023
Alessio Ferrari, Birgit Penzenstadler:
Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings. Lecture Notes in Computer Science 13975, Springer 2023, ISBN 978-3-031-29785-4 [contents]
[d13]
- view
  authority control:
- export record
  dblp key:
  - data/10/BrocciaBLSF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BrocciaBLSF23
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 1. Zenodo, 2023 [all versions]
[d12]
- view
  authority control:
- export record
  dblp key:
  - data/10/BrocciaBLSF23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BrocciaBLSF23a
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 2. Zenodo, 2023 [all versions]
[d11]
- view
  authority control:
- export record
  dblp key:
  - data/10/BrocciaBLSF23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BrocciaBLSF23b
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 3. Zenodo, 2023 [all versions]
[d10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/BrocciaFBCFB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BrocciaFBCFB23
Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti:
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material. Zenodo, 2023
[d9]
- view
  authority control:
- export record
  dblp key:
  - data/10/BrocciaFBLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BrocciaFBLS23
Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini:
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. Version 1.0. Zenodo, 2023 [all versions]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/10/BrocciaFBLS23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BrocciaFBLS23a
Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini:
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. Version 3. Zenodo, 2023 [all versions]
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-12090
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-12090
Alessio Ferrari, Paola Spoletini:
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. CoRR abs/2301.12090 (2023)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-04723
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-04723
Waad Alhoshan, Alessio Ferrari, Liping Zhao:
Zero-Shot Learning for Requirements Classification: An Exploratory Study. CoRR abs/2302.04723 (2023)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-10265
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-10265
Sallam Abualhaija, Fatma Basak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari, Xavier Franch, Davide Fucci:
Replication and Verifiability in Requirements Engineering: the NLP for RE Case. CoRR abs/2304.10265 (2023)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-05078
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-05078
Alessio Ferrari, Fabio Lepore, Livia Ortolani, Gianluca Brunori:
Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas. CoRR abs/2306.05078 (2023)
2022
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/ZhaoAFLACB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/ZhaoAFLACB21
Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, Riza Theresa Batista-Navarro:
Natural Language Processing for Requirements Engineering: A Systematic Mapping Study. ACM Comput. Surv. 54(3): 55:1-55:41 (2022)
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/infsof/FerrariBGJHKKTB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/FerrariBGJHKKTB22
Alessio Ferrari, Manlio Bacco, Kirsten Gaber, Andreas Jedlitschka, Steffen Hess, Jouni Kaipainen, Panagiota Koltsida, Eleni Toli, Gianluca Brunori:
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts. Inf. Softw. Technol. 145: 106816 (2022)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/re/AbbasFSESS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/AbbasFSESS22
Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Enoiu, Mehrdad Saadatmand, Daniel Sundmark:
Correction to: On the relationship between similar requirements and similar software. Requir. Eng. 27(3): 399 (2022)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/re/FerrariSD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/FerrariSD22
Alessio Ferrari, Paola Spoletini, Sourav Debnath:
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis. Requir. Eng. 27(4): 489-519 (2022)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/ElrakaibyBFM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ElrakaibyBFM22
Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. 21(6): 2113-2132 (2022)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BasileBFL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BasileBFL22
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24(3): 351-370 (2022)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/FerrariMBB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/FerrariMBB22
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Trans. Software Eng. 48(11): 4675-4691 (2022)
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SeisenbergerBFF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SeisenbergerBFF22
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 2022: 246-268
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariHS22
Alessio Ferrari, Hans-Martin Heyn, Mehrdad Sabetzadeh:
AIRE 2022: 9th International Workshop on Artificial Intelligence and Requirements Engineering. RE Workshops 2022: 139-140
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/Alhoshan00L22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/Alhoshan00L22
Waad Alhoshan, Liping Zhao, Alessio Ferrari, Keletso J. Letsholo:
A Zero-Shot Learning Approach to Classifying Requirements: A Preliminary Study. REFSQ 2022: 52-59
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/Cherukuri0S22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/Cherukuri0S22
Himaja Cherukuri, Alessio Ferrari, Paola Spoletini:
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. REFSQ 2022: 79-86
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-04282
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-04282
Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo:
Classification of Natural Language Processing Techniques for Requirements Engineering. CoRR abs/2204.04282 (2022)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-00825
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-00825
Alessio Ferrari, Paola Spoletini, Sourav Debnath:
How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis. CoRR abs/2208.00825 (2022)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-05266
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-05266
Maurice H. ter Beek, Alessio Ferrari:
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. CoRR abs/2208.05266 (2022)
[i10]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/0001B22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/0001B22
Alessio Ferrari, Manlio Bacco:
Rethinking Requirements Engineering for Sustainability. ERCIM News 2022(131) (2022)
[i9]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/0001BB022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/0001BB022
Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari:
Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News 2022(131) (2022)
2021
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/FerrariMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/FerrariMP21
Alessio Ferrari, Nazim H. Madhavji, Liliana Pasquale:
Requirements engineering: Foundation for software quality (REFSQ2020). Inf. Softw. Technol. 137: 106636 (2021)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/00010A21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/00010A21
Alessio Ferrari, Liping Zhao, Waad Alhoshan:
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies. ICSE (Companion Volume) 2021: 322-323
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/re/Bano0Z021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/Bano0Z021
Muneera Bano, Chetan Arora, Didar Zowghi, Alessio Ferrari:
The Rise and Fall of COVID-19 Contact-Tracing Apps: when NFRs Collide with Pandemic. RE 2021: 106-116
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/re/DebnathS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/DebnathS021
Sourav Debnath, Paola Spoletini, Alessio Ferrari:
From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. RE 2021: 233-244
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/Abbas0SES21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/Abbas0SES21
Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Paul Enoiu, Mehrdad Saadatmand:
Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry. REFSQ 2021: 3-18
[c66]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/AbualhaijaA0G21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/AbualhaijaA0G21
Sallam Abualhaija, Fatma Basak Aydemir, Alessio Ferrari, Jin Guo:
Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021). REFSQ Workshops 2021
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/Vilela021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/Vilela021
Jéssyka Vilela, Alessio Ferrari:
SaPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context. REFSQ 2021: 191-207
[e4]
- view
- export record
  dblp key:
  - conf/refsq/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/2021w
Fatma Basak Aydemir, Catarina Gralha, Maya Daneva, Eduard C. Groen, Andrea Herrmann, Patrick Mennig, Sallam Abualhaija, Alessio Ferrari, Jin Guo, Renata S. S. Guizzardi, Jennifer Horkoff, Anna Perini, Angelo Susi, Travis D. Breaux, Xavier Franch, Neil A. Ernst, Elda Paja, Norbert Seyff:
Joint Proceedings of REFSQ 2021 Workshops, OpenRE, Poster and Tools Track, and Doctoral Symposium co-located with the 27th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2021), Essen, Germany, April 12, 2021. CEUR Workshop Proceedings 2857, CEUR-WS.org 2021 [contents]
[d7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/FerrariB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/FerrariB21
Alessio Ferrari, Maurice H. ter Beek:
Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction. Zenodo, 2021
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/10/MazzantiFBB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/MazzantiFBB21
Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 1.0. Zenodo, 2021 [all versions]
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/MazzantiFBB21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/MazzantiFBB21a
Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 2.0. Zenodo, 2021 [all versions]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/MazzantiFBB21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/MazzantiFBB21b
Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 3.0. Zenodo, 2021 [all versions]
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-11303
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-11303
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. CoRR abs/2101.11303 (2021)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-02410
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-02410
Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi:
Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews. CoRR abs/2104.02410 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-02848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-02848
Alessio Ferrari, Manlio Bacco, Kirsten Moore, Andreas Jedlitschka, Steffen Hess, Jouni Kaipainen, Panagiota Koltsida, Eleni Toli, Gianluca Brunori:
Rethinking Sustainability Requirements: Drivers, Barriers and Impacts of Digitalisation from the Viewpoint of Experts. CoRR abs/2105.02848 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-05413
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-05413
Alessio Ferrari, Maurice H. ter Beek:
Formal Methods in Railways: a Systematic Mapping Study. CoRR abs/2107.05413 (2021)
2020
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/re/FerrariSBZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/FerrariSBZ20
Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi:
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal. Requir. Eng. 25(4): 417-438 (2020)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/aire-ws/Bencomo0AR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aire-ws/Bencomo0AR20
Nelly Bencomo, Alessio Ferrari, Fatma Basak Aydemir, Mona Rahimi:
Message from the Organizers. AIRE@RE 2020: vii
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/er/ElrakaibyB0M20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/ElrakaibyB0M20
Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER 2020: 3-18
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/giots/BaccoB0KT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/giots/BaccoB0KT20
Manlio Bacco, Gianluca Brunori, Alessio Ferrari, Panagiota Koltsida, Eleni Toli:
IoT as a Digital Game Changer in Rural Areas: the DESIRA Conceptual Approach. GIoTS 2020: 1-6
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0001MBBF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0001MBBF20
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi:
Comparing formal tools for system design: a judgment study. ICSE 2020: 62-74
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BasileBF0GMMPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BasileBF0GMMPT20
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini:
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) 2020: 467-485
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/re/Girardi0NSFH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/Girardi0NSFH20
Daniela Girardi, Alessio Ferrari, Nicole Novielli, Paola Spoletini, Davide Fucci, Thaide Huichapa:
The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. RE 2020: 32-43
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BanoZ0S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BanoZ0S20
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini:
Inspectors Academy : Pedagogical Design for Requirements Inspection Training. RE 2020: 215-226
[c57]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/BaccoBDF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/BaccoBDF20
Manlio Bacco, Gianluca Brunori, Felice Dell'Orletta, Alessio Ferrari:
Using NLP to Support Terminology Extraction and Domain Scoping: Report on the H2020 DESIRA Project. REFSQ Workshops 2020
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/2020
Nazim H. Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi:
Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings [REFSQ 2020 was postponed]. Lecture Notes in Computer Science 12045, Springer 2020, ISBN 978-3-030-44428-0 [contents]
[d3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/ElRakaibyBFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ElRakaibyBFM20
Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). Zenodo, 2020
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/ElrakaibyBFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ElrakaibyBFM20
Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 2.0. Zenodo, 2020 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/ElrakaibyBFM20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ElrakaibyBFM20a
Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 1.0. Zenodo, 2020 [all versions]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-01099
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01099
Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, Riza Theresa Batista-Navarro:
Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study. CoRR abs/2004.01099 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/FerrariE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/FerrariE19
Alessio Ferrari, Andrea Esuli:
An NLP approach for cross-domain ambiguity detection in requirements engineering. Autom. Softw. Eng. 26(3): 559-598 (2019)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/re/BanoZFSD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/BanoZFSD19
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati:
Teaching requirements elicitation interviews: an empirical study of learning from mistakes. Requir. Eng. 24(3): 259-289 (2019)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/software/DekhtyarHHCFGHL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/DekhtyarHHCFGHL19
Alexander Dekhtyar, Jane Huffman Hayes, Irit Hadar, Erin Combs, Alessio Ferrari, Sarah Gregory, Jennifer Horkoff, Meira Levy, Maleknaz Nayebi, Barbara Paech, Jared Payne, Matt Primrose, Paola Spoletini, Shell Clarke, Chuck Brophy, Daniel Amyot, Walid Maalej, Guenther Ruhe, Jane Cleland-Huang, Didar Zowghi:
Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. IEEE Softw. 36(1): 86-94 (2019)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GervasiFZS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GervasiFZS19
Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini:
Ambiguity in Requirements Engineering: Towards a Unifying Framework. From Software Engineering to Formal Methods and Tools, and Back 2019: 191-210
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FerrariSFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FerrariSFP19
Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente:
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. From Software Engineering to Formal Methods and Tools, and Back 2019: 267-281
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeekBFFGLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeekBFFGLM19
Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti:
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM 2019: 762-772
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BasileBFL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BasileBFL19
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS 2019: 1-21
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariSBZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariSBZ19
Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi:
Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. RE 2019: 28-39
[c51]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/DalpiazFFGHP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/DalpiazFFGHP19
Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, Sarah Gregory, Frank Houdek, Cristina Palomares:
Requirements Philology (keynote). REFSQ Workshops 2019
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/FerrariBMBFGPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/FerrariBMBFGPT19
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini:
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail 2019: 226-241
[e2]
- view
- export record
  dblp key:
  - conf/refsq/2019w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/2019w
Paola Spoletini, Patrick Mäder, Daniel M. Berry, Fabiano Dalpiaz, Maya Daneva, Alessio Ferrari, Xavier Franch, Sarah Gregory, Eduard C. Groen, Andrea Herrmann, Anne Hess, Frank Houdek, Oliver Karras, Anne Koziolek, Kim Lauenroth, Cristina Palomares, Mehrdad Sabetzadeh, Norbert Seyff, Marcus Trapp, Andreas Vogelsang, Thorsten Weyer:
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. CEUR Workshop Proceedings 2376, CEUR-WS.org 2019 [contents]
2018
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/bpmj/FerrariWSG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bpmj/FerrariWSG18
Alessio Ferrari, Hans Friedrich Witschel, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Improving the quality of business process descriptions of public administrations: Resources and research challenges. Bus. Process. Manag. J. 24(1): 49-66 (2018)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/CorradiniFFGPRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/CorradiniFFGPRS18
Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo:
A Guidelines framework for understandable BPMN models. Data Knowl. Eng. 113: 129-154 (2018)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/FerrariGRTBFG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/FerrariGRTBFG18
Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi:
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. 23(6): 3684-3733 (2018)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/AngelisFGP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/AngelisFGP18
Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini:
Requirements elicitation and refinement in collaborative research projects. J. Softw. Evol. Process. 30(12) (2018)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/software/DalpiazFFP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/DalpiazFFP18
Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, Cristina Palomares:
Natural Language Processing for Requirements Engineering: The Best Is Yet to Come. IEEE Softw. 35(5): 115-119 (2018)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MazzantiFS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MazzantiFS18
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Towards formal methods diversity in railways: an experience report with seven frameworks. Int. J. Softw. Tools Technol. Transf. 20(3): 263-288 (2018)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Ferrari18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Ferrari18
Alessio Ferrari:
Natural language requirements processing: from research to practice. ICSE (Companion Volume) 2018: 536-537
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BasileBFGMPTF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BasileBFGMPTF18
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari:
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM 2018: 20-29
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariEG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariEG18
Alessio Ferrari, Andrea Esuli, Stefania Gnesi:
Identification of Cross-Domain Ambiguity with Language Models. AIRE@RE 2018: 31-38
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BanoBZFSD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BanoBZFSD18
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati:
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. RE 2018: 182-193
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/re/ElrakaibyFM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/ElrakaibyFM18
Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos:
CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RE 2018: 364-369
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FantechiFGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FantechiFGS18
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini:
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE 2018: 418-423
[c43]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/GnesiF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GnesiF18
Stefania Gnesi, Alessio Ferrari:
Research on NLP for RE at CNR-ISTI: a Report. REFSQ Workshops 2018
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/SpoletiniFBZG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/SpoletiniFBZG18
Paola Spoletini, Alessio Ferrari, Muneera Bano, Didar Zowghi, Stefania Gnesi:
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. REFSQ 2018: 101-118
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/FantechiFGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/FantechiFGS18
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini:
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS 2018: 43-50
[c40]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10324
Franco Mazzanti, Alessio Ferrari:
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. MARS/VPT@ETAPS 2018: 104-149
[e1]
- view
- export record
  dblp key:
  - conf/refsq/2018w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/2018w
Klaus Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari, Peter Forbrig, Xavier Franch, Marite Kirikova, Nazim H. Madhavji, Cristina Palomares, Jolita Ralyté, Mehrdad Sabetzadeh, Pete Sawyer, Dirk van der Linden, Anna Zamansky:
Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, March 19, 2018. CEUR Workshop Proceedings 2075, CEUR-WS.org 2018 [contents]
[i3]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/BeekFFGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BeekFFGS18
Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno:
Formal Methods for the Railway Sector. ERCIM News 2018(112) (2018)
2017
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/software/FerrariDEGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/FerrariDEGG17
Alessio Ferrari, Felice Dell'Orletta, Andrea Esuli, Vincenzo Gervasi, Stefania Gnesi:
Natural Language Requirements Processing: A 4D Vision. IEEE Softw. 34(6): 28-35 (2017)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/re/ElrakaibyFSGN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/ElrakaibyFSGN17
Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh:
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE 2017: 51-60
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariDG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariDG17
Alessio Ferrari, Beatrice Donati, Stefania Gnesi:
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings. RE Workshops 2017: 393-399
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariSDZG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariSDZG17
Alessio Ferrari, Paola Spoletini, Beatrice Donati, Didar Zowghi, Stefania Gnesi:
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. RE 2017: 400-405
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/re/SpoletiniF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/SpoletiniF17
Paola Spoletini, Alessio Ferrari:
Requirements Elicitation: A Look at the Future Through the Lenses of the Past. RE 2017: 476-477
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariSG17
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
PURE: A Dataset of Public Requirements Documents. RE 2017: 502-505
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BerryCFMMZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BerryCFMMZ17
Daniel M. Berry, Jane Cleland-Huang, Alessio Ferrari, Walid Maalej, John Mylopoulos, Didar Zowghi:
Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond. RE 2017: 570-573
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/DonatiFSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/DonatiFSG17
Beatrice Donati, Alessio Ferrari, Paola Spoletini, Stefania Gnesi:
Common Mistakes of Student Analysts in Requirements Elicitation Interviews. REFSQ 2017: 148-164
[c32]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/FerrariSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FerrariSG17
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Towards a Dataset for Natural Language Requirements Processing. REFSQ Workshops 2017
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/RosadiniFGFGTB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/RosadiniFGFGTB17
Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini:
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. REFSQ 2017: 344-360
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/FerrariFG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/FerrariFG17
Alessio Ferrari, Mario Fusani, Stefania Gnesi:
Are Standards an Ambiguity-Free Reference for Product Validation? RSSRail 2017: 251-264
[i2]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/MazzantiFS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/MazzantiFS17
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles. ERCIM News 2017(109) (2017)
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/MazzantiFS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/MazzantiFS17a
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
The KandISTI/UMC Online Open-Access Verification Framework. ERCIM News 2017(109) (2017)
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/re/FerrariSG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/FerrariSG16
Alessio Ferrari, Paola Spoletini, Stefania Gnesi:
Ambiguity and tacit knowledge in requirements elicitation interviews. Requir. Eng. 21(3): 333-355 (2016)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/SanneWFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/SanneWFG16
Ulf Sanne, Hans Friedrich Witschel, Alessio Ferrari, Stefania Gnesi:
Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions. KMIS 2016: 140-147
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiFG16
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi:
Formal Methods and Safety Certification: Challenges in the Railways Domain. ISoLA (2) 2016: 261-265
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/MazzantiFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MazzantiFS16
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. ISoLA (2) 2016: 297-314
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariSG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariSG16
Alessio Ferrari, Paola Spoletini, Stefania Gnesi:
Ambiguity Cues in Requirements Elicitation Interviews. RE 2016: 56-65
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/re/SpoletiniBSF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/SpoletiniBSF16
Paola Spoletini, Casey Brock, Rahat Shahwar, Alessio Ferrari:
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. RE 2016: 371-376
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AngelisFGP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AngelisFGP16
Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini:
Collaborative requirements elicitation in a european research project. SAC 2016: 1282-1289
2015
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/apres/BanoFZGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apres/BanoFZGG15
Muneera Bano, Alessio Ferrari, Didar Zowghi, Vincenzo Gervasi, Stefania Gnesi:
Automated Service Selection Using Natural Language Processing. APRES 2015: 3-17
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariSG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariSG15
Alessio Ferrari, Paola Spoletini, Stefania Gnesi:
Ambiguity as a resource to disclose tacit knowledge. RE 2015: 26-35
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FerrariSGD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FerrariSGD15
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi, Felice Dell'Orletta:
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. SPLC 2015: 402-410
2014
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FerrariSMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FerrariSMM14
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni:
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions. Int. J. Softw. Tools Technol. Transf. 16(6): 647-667 (2014)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MazzantiSLF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MazzantiSLF14
Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari:
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. FMICS 2014: 109-123
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MazzantiSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MazzantiSF14
Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari:
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. NASA Formal Methods 2014: 264-269
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariLGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariLGS14
Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo:
Pragmatic ambiguity detection in natural language requirements. AIRE 2014: 1-8
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/re/SpoletiniFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/SpoletiniFG14
Paola Spoletini, Alessio Ferrari, Stefania Gnesi:
Context transformations for goal models. MoDRE 2014: 17-26
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/FerraridSG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FerraridSG14
Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Measuring and Improving the Completeness of Natural Language Requirements. REFSQ 2014: 23-38
2013
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FerrariFMGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FerrariFMGT13
Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini:
The Metrô Rio case study. Sci. Comput. Program. 78(7): 828-842 (2013)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/software/FerrariFGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/FerrariFGM13
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani:
Model-Based Development and Formal Methods in the Railway Industry. IEEE Softw. 30(3): 28-34 (2013)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/FerrariGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FerrariGT13
Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei:
Using Clustering to Improve the Structure of Natural Language Requirements Documents. REFSQ 2013: 34-49
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FerrariSd13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FerrariSd13
Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta:
Mining commonalities and variabilities from natural language documents. SPLC 2013: 116-120
2012
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FerrariSMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FerrariSMM12
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni:
Product Line Engineering Applied to CBTC Systems Development. ISoLA (2) 2012: 216-230
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FerrariFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FerrariFG12
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi:
Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods 2012: 24-38
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariG12
Alessio Ferrari, Stefania Gnesi:
Using collective intelligence to detect pragmatic ambiguities. RE 2012: 191-200
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/BruniFST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/BruniFST12
Elia Bruni, Alessio Ferrari, Norbert Seyff, Gabriele Tolomei:
Automatic Analysis of Multimodal Requirements: A Research Preview. REFSQ 2012: 218-224
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FerrariGT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FerrariGT12
Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei:
A clustering-based approach for discovering flaws in requirements specifications. SAC 2012: 1043-1050
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/FerrariICS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/FerrariICS12
Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo:
Model-Based Evaluation of the Availability of a CBTC System. SERENE 2012: 165-179
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijertcs/FerrariMGFT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijertcs/FerrariMGFT11
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini:
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Int. J. Embed. Real Time Commun. Syst. 2(2): 42-61 (2011)
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FerrariGMFT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FerrariGMFT10
Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini:
The Metrô Rio ATP Case Study. FMICS 2010: 1-16
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/forms/FerrariMGF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/FerrariMGF10
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi:
Model Checking Interlocking Control Tables. FORMS/FORMAT 2010: 107-115
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GrassoFFBB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GrassoFFBB10
Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini:
Model Based Testing and Abstract Interpretation in the Railway Signaling Context. ICST 2010: 103-106
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/FerrariPFG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/FerrariPFG10
Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso:
An industrial application of formal model based development: the Metrô Rio ATP case. SERENE 2010: 71-76

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FerrariFBZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FerrariFBZ09
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni:
Formal Development for Railway Signaling Using Commercial Tools. FMICS 2009: 197-198
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/FerrariFBZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FerrariFBZ09
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni:
Modeling Guidelines for Code Generation in the Railway Signaling Context. NASA Formal Methods 2009: 166-170
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FantechiF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FantechiF08
Alessandro Fantechi, Alessio Ferrari:
Panel Discussion on Formal Methods in Commercial Software Development Tools. FMICS 2008: 4-6

Coauthor Index

see FAQ

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.