default search action

combined dblp search
author search
venue search
publication search

ask others

Stefania Gnesi

> Home > Persons

Person information

affiliation: National Research Council, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Service temporarily not available.

Please try again later.

2020 – today

see FAQ

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

2025
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BeekFG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BeekFG25
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications. The Combined Power of Research, Education, and Dissemination 2025: 327-344
2024
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BasileBFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BasileBFG24
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. 138: 100954 (2024)
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGH24
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (5) 2024: 109-111
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekFGLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekFGLP24
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi:
Can AI Help with the Formalization of Railway Cybersecurity Requirements? ISoLA (1) 2024: 186-203
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/FantechiGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FantechiGS24
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Exploring LLMs' Ability to Detect Variability in Requirements. REFSQ 2024: 178-188
[e24]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/2024
Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes:
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. ACM 2024 [contents]
2023
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/FantechiGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/FantechiGS23
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. 195: 111540 (2023)
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BelliFGMMQTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BelliFGMMQTV23
Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi:
The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS 2023: 22-39
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FantechiGPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FantechiGPS23
Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini:
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. RE 2023: 335-340
[c164]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/FantechiGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FantechiGS23
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops 2023
[e23]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2023a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2023a
Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents]
2022
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGH22
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) 2022: 243-245
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGG22
Alessandro Fantechi, Stefania Gnesi, Gloria Gori:
Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) 2022: 269-285
[e22]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/2022
Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat:
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022. ACM 2022, ISBN 978-1-4503-9287-7 [contents]
2021
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FantechiGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FantechiGS21
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods 2021: 121-134
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BasileBDLFGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BasileBDLFGG21
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FantechiGLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FantechiGLS21
Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini:
A spaCy-based tool for extracting variability from NL requirements. SPLC (B) 2021: 32-35
[e21]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/2021formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2021formalise
Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini:
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. IEEE 2021, ISBN 978-1-6654-3913-8 [contents]
2020
[j46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BasileBDLFGG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BasileBDLFGG20
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187: 102344 (2020)
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BasileBGFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BasileBGFGS20
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo:
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) 2020: 368-384
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGH20
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) 2020: 389-392
[c156]
- 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
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/ArrabitoFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/ArrabitoFGS20
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. QUATIC 2020: 488-498
[c154]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/ArrabitoFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/ArrabitoFGS20
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops 2020
[p8]
- view
  authority control:
- export record
  dblp key:
  - series/sci/ArganeseFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/ArganeseFGS20
Eleonora Arganese, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. Integrating Research and Practice in Software Engineering 2020: 125-143
[e20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/2020formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2020formalise
Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat:
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. ACM 2020, ISBN 978-1-4503-7071-4 [contents]
[e19]
- 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]

2010 – 2019

see FAQ

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

2019
[j45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/GnesiCFH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/GnesiCFH19
Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer:
Editorial. Formal Aspects Comput. 31(2): 131-132 (2019)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BeekDGMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeekDGMP19
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini:
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169: 1-17 (2019)
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GnesiB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GnesiB19
Stefania Gnesi, Maurice H. ter Beek:
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 219-235
[c152]
- 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
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeekDGMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeekDGMP19
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini:
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM 2019: 542-546
[c150]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/FantechiGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FantechiGS19
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
From Generic Requirements to Variability. REFSQ Workshops 2019
[c149]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/GnesiT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GnesiT19
Stefania Gnesi, Gianluca Trentanni:
QuARS: A NLP Tool for Requirements Analysis. REFSQ Workshops 2019
[c148]
- 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
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FantechiGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FantechiGS19
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Applying the QuARS tool to detect variability. SPLC (B) 2019: 62:1-62:4
[e18]
- view
- export record
  dblp key:
  - conf/icse/2019formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2019formalise
Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi:
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM 2019, ISBN 978-1-7281-3373-7 [contents]
[i11]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/GiandomenicoGSF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/GiandomenicoGSF19
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi:
Smart Services for Railways. ERCIM News 2019(117) (2019)
2018
[j43]
- 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)
[j42]
- 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)
[j41]
- 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)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/CogniniCGPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/CogniniCGPR18
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re:
Business process flexibility - a systematic literature review with a software systems perspective. Inf. Syst. Frontiers 20(2): 343-371 (2018)
[j39]
- 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)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BeekGK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BeekGK18
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 237-241 (2018)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BeekGK18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BeekGK18a
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. 20(4): 355-358 (2018)
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BeekFGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BeekFGM18
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta 2018: 110-128
[c145]
- 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
[c144]
- 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
[c143]
- 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
[c142]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- 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
[c141]
- 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
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BasileBG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BasileBG18
Davide Basile, Maurice H. ter Beek, Stefania Gnesi:
Modelling and analysis with featured modal contract automata. SPLC (2) 2018: 11-16
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekFG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekFG18
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC 2018: 208-214
[c138]
- 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
[e17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/2018formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2018formalise
Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione:
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM 2018 [contents]
[i10]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- 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
[j36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BacciuCGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BacciuCGS17
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini:
An experience in using machine learning for short-term predictions in smart transportation systems. J. Log. Algebraic Methods Program. 87: 52-66 (2017)
[j35]
- 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)
[c137]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/FornariGRPRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/FornariGRPRS17
Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo:
Checking Business Process Modeling Guidelines in Apromore. BPM (Demos) 2017
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FantechiGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FantechiGS17
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Optimizing Feature Interaction Detection. FMICS-AVoCS 2017: 201-216
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GnesiPM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GnesiPM17
Stefania Gnesi, Nico Plat, Hernán C. Melgratti:
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). FormaliSE@ICSE 2017: 1
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/BasileGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/BasileGG17
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. MODELSWARD 2017: 679-686
[c133]
- 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
[c132]
- 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
[c131]
- 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
[c130]
- 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
[c129]
- 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
[c128]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- 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
[c127]
- 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
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/BasileGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/BasileGG17
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail 2017: 221-237
[c125]
- 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
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BasileGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BasileGG17
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Statistical model checking of an energy-saving cyber-physical system in the railway domain. SAC 2017: 1356-1363
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BasileGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BasileGG17
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops 2017: 267-283
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BasileGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BasileGG17
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
FMCAT: Supporting Dynamic Service-based Product Lines. SPLC (B) 2017: 3-8
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BasileBGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BasileBGG17
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi:
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) 2017: 117-122
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/FantechiGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/FantechiGS17
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Ambiguity defects as variation points in requirements. VaMoS 2017: 13-19
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/BasileGGDF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BasileGGDF17
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari:
Specifying variability in service contracts. VaMoS 2017: 20-27
2016
[j34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BeekFGM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BeekFGM16
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. 85(2): 287-315 (2016)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/jrtpm/BasileCGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jrtpm/BasileCGG16
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi:
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. 6(2): 163-181 (2016)
[j32]
- 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)
[c118]
- 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
[c117]
- 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
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BasileGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BasileGG16
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. ISoLA (2) 2016: 315-330
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekFGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekFGS16
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) 2016: 465-481
[c114]
- 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
[c113]
- 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
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/swqd/SpagnoloMCSQFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swqd/SpagnoloMCSQFG16
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Paolo Scarpellini, Antonella Querci, Fabrizio Fabbrini, Stefania Gnesi:
An Experience on Applying Process Mining Techniques to the Tuscan Port Community System. SWQD 2016: 49-60
[p7]
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/FantechiG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/FantechiG16
Alessandro Fantechi, Stefania Gnesi:
Refinement of Behavioural Models for Variability Description. From Action Systems to Distributed Systems 2016: 155-169
[e16]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2016
John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou:
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9995, 2016, ISBN 978-3-319-48988-9 [contents]
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2016
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
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. Lecture Notes in Computer Science 9933, Springer 2016, ISBN 978-3-319-45942-4 [contents]
[i9]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/BacciuCGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BacciuCGS16
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini:
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems. ERCIM News 2016(105) (2016)
[i8]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/SpagnoloMCG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/SpagnoloMCG16
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi:
Modelling and Validating an Import/Export Shipping Process. ERCIM News 2016(105) (2016)
2015
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GnesiJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GnesiJ15
Stefania Gnesi, Stan Jarzabek:
Special section on the 17th International Software Product Line Conference. Int. J. Softw. Tools Technol. Transf. 17(5): 555-557 (2015)
[c111]
- 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
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BeekGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BeekGM15
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems 2015: 312-328
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GnesiP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GnesiP15
Stefania Gnesi, Nico Plat:
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). ICSE (2) 2015: 977-978
[c108]
- 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
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeekGLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeekGLM15
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink:
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeekDGMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeekDGMP15
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini:
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/BasileCGGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/BasileCGGM15
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti:
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. SERENE 2015: 82-98
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekFG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekFG15
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC 2015: 321-326
[c103]
- 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
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekFGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekFGM15
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Using FMC for family-based analysis of software product lines. SPLC 2015: 432-439
[c101]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BacciuGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BacciuGS15
Davide Bacciu, Stefania Gnesi, Laura Semini:
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. WWV 2015: 75-83
[e14]
- view
- export record
  dblp key:
  - conf/icse/2015formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2015formalise
Stefania Gnesi, Nico Plat:
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7043-1 [contents]
[e13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AtleeG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AtleeG15
Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 [contents]
2014
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FantechiFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FantechiFG14
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 643-646 (2014)
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/apf/GnesiMMMPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apf/GnesiMMMPV14
Stefania Gnesi, Ilaria Matteucci, Corrado Moiso, Paolo Mori, Marinella Petrocchi, Michele Vescovi:
My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. APF 2014: 154-171
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/BeekGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/BeekGM14
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference 2014: 304-319
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekFG14
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367
[c97]
- 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
[c96]
- 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
[c95]
- 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
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CogniniCGPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CogniniCGPR14
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re:
Research challenges in business process adaptability. SAC 2014: 1049-1054
[e12]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2014
Stefania Gnesi, Arend Rensink:
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8411, Springer 2014, ISBN 978-3-642-54803-1 [contents]
[e11]
- view
- export record
  dblp key:
  - conf/icse/2014formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2014formalise
Stefania Gnesi, Nico Plat:
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. ACM 2014, ISBN 978-1-4503-2853-1 [contents]
[e10]
- view
- export record
  dblp key:
  - conf/splc/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2014
Stefania Gnesi, Alessandro Fantechi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana:
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2740-4 [contents]
[e9]
- view
- export record
  dblp key:
  - conf/splc/2014w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2014w
Stefania Gnesi, Alessandro Fantechi, Maurice H. ter Beek, Goetz Botterweck, Martin Becker:
18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2739-8 [contents]
[i7]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/BeekBCGHLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BeekBCGHLM14
Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink:
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014(98) (2014)
[i6]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/BeekGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BeekGM14
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
KandISTI: A Family of Model Checkers for the Analysis of Software Designs. ERCIM News 2014(99) (2014)
2013
[j29]
- 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)
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GnesiP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GnesiP04
Stefania Gnesi, Nico Plat:
1st FME workshop on formal methods in software engineering (FormaliSE 2013). ICSE 2013: 1519-1520
[c92]
- 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
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/GiandomenicoFGI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/GiandomenicoFGI13
Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria:
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. SERENE 2013: 184-198
[p6]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Gnesi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Gnesi13
Stefania Gnesi:
Families of software systems: a model checking approach. Engineering Dependable Software Systems 2013: 115-140
[e8]
- view
- export record
  dblp key:
  - conf/splc/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2013
Tomoji Kishi, Stan Jarzabek, Stefania Gnesi:
17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013. ACM 2013, ISBN 978-1-4503-1968-3 [contents]
[e7]
- view
- export record
  dblp key:
  - conf/vamos/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/2013
Stefania Gnesi, Philippe Collet, Klaus Schmid:
The Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013. ACM 2013, ISBN 978-1-4503-1541-8 [contents]
[i5]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/BeekGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BeekGM13
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
VMC: A Tool for the Analysis of Variability in Software Product Lines. ERCIM News 2013(93) (2013)
2012
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FantechiGLMPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FantechiGLMPT12
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16:1-16:46 (2012)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AsirelliBFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AsirelliBFG12
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) 2012: 146-161
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiFG12
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal Methods for Intelligent Transportation Systems. ISoLA (2) 2012: 187-189
[c88]
- 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
[c87]
- 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
[c86]
- 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
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/GnesiP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/GnesiP12
Stefania Gnesi, Marinella Petrocchi:
Towards an executable algebra for product lines. SPLC (2) 2012: 66-73
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekGM12
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
Demonstration of a model checker for the analysis of product variability. SPLC (2) 2012: 242-245
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/2012
John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene:
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0 [contents]
[e5]
- view
- export record
  dblp key:
  - conf/icse/2012formsera
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2012formsera
Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe:
Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. IEEE 2012, ISBN 978-1-4673-1906-5 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2012
John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne:
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7321, Springer 2012, ISBN 978-3-642-30728-7 [contents]
[e3]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/vamos/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/2012
Ulrich W. Eisenecker, Sven Apel, Stefania Gnesi:
Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings. ACM 2012, ISBN 978-1-4503-1058-1 [contents]
2011
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BeekFGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeekFGM11
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2): 119-135 (2011)
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AsirelliBFG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AsirelliBFG11
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AsirelliBFGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AsirelliBFGM11
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Design and validation of variability in product lines. PLEASE@ICSE 2011: 25-30
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/FantechiG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/FantechiG11
Alessandro Fantechi, Stefania Gnesi:
On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP 2011: 383-396
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/BeekGFF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/BeekGFF11
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro:
Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/AsirelliBGF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/AsirelliBGF11
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Formal Description of Variability in Product Families. SPLC 2011: 130-139
[c78]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-2350
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2350
Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima:
Product Lines for Service Oriented Applications - PL for SOA. WWV 2011: 34-48
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/ElgnerGKM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/ElgnerGKM11
Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer:
Introduction to the Sensoria Case Studies. Results of the SENSORIA Project 2011: 26-34
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/GnesiM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/GnesiM11
Stefania Gnesi, Franco Mazzanti:
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. Results of the SENSORIA Project 2011: 390-407
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/ElgnerGKM11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/ElgnerGKM11a
Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer:
Specification and Implementation of Demonstrators for the Case Studies. Results of the SENSORIA Project 2011: 640-654
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/GnesiPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/GnesiPT11
Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi:
The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718
2010
[c77]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/acota/BeekGFZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acota/BeekGFZ10
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro:
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA 2010: 14-19
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/AsirelliBFG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/AsirelliBFG10
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Logical Framework to Deal with Variability. IFM 2010: 43-58
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/BiscoglioCFGT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/BiscoglioCFGT10
Isabella Biscoglio, Alessandro Coco, Mario Fusani, Stefania Gnesi, Gianluca Trentanni:
An Approach to Ambiguity Analysis in Safety-Related Standards. QUATIC 2010: 461-466
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BucchiaroneGFT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BucchiaroneGFT10
Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni:
An experience in using a tool for evaluating a large set of natural language requirements. SAC 2010: 281-286
[c73]
- view
  - electronic edition @ vamos-workshop.net
  - details & citations
- export record
  dblp key:
  - conf/vamos/AsirelliBGF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/AsirelliBGF10
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44
[e2]
- view
- export record
  dblp key:
  - conf/sefm/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2010
José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini:
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4153-2 [contents]

2000 – 2009

see FAQ

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

2009
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BeekGLMST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BeekGLMST09
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni:
Assisting the design of a groupware system. J. Log. Algebraic Methods Program. 78(4): 191-232 (2009)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/BeekBG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/BeekBG09
Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi:
Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/fiw/BeekGMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fiw/BeekGMS09
Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini:
Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74
[c70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/AbreuMFG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AbreuMFG09
João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi:
A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BeekMG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BeekMG09
Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi:
CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117
[c68]
- view
  - electronic edition @ vamos-workshop.net
  - details & citations
- export record
  dblp key:
  - conf/vamos/AsirelliBGF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/AsirelliBGF09
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
2008
[j25]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/csse/BanciGFL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/BanciGFL08
Michele Banci, Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi:
Model driven development of railway systems using diversity. Comput. Syst. Sci. Eng. 23(5) (2008)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BruniBGHL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BruniBGHL08
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente:
Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models 2008: 37-56
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Gnesi08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Gnesi08
Stefania Gnesi:
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. Concurrency, Graphs and Models 2008: 258-260
[c65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/FantechiGLMPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FantechiGLMPT08
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LenziniMMG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LenziniMMG08
Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi:
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BeekGKM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BeekGKM08
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti:
Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WirsingHABCFGGGKLMMPSTTV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BucchiaroneGLTF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BucchiaroneGLTF08
Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi:
QuARS Express - A Tool Demonstration. ASE 2008: 473-474
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FantechiG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FantechiG08
Alessandro Fantechi, Stefania Gnesi:
Formal Modeling for Product Families Engineering. SPLC 2008: 193-202
[c59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BucchiaroneDG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BucchiaroneDG09
Antonio Bucchiarone, Greg Dennis, Stefania Gnesi:
A Graph-based Design Framework for Global Computing Systems. VODCA@FOSAD 2008: 117-130
[i4]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/BeekGLMST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BeekGLMST08
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni:
Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News 2008(73) (2008)
[i3]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/BucchiaroneGTF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BucchiaroneGTF08
Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi:
Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News 2008(75) (2008)
[i2]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/FantechiGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/FantechiGL08
Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Experimenting with Diversity in the Formal Development of Railway Signalling Systems. ERCIM News 2008(75) (2008)
2007
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BeekFGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BeekFGM07
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS 2007: 133-148
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/iciw/BeekBG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciw/BeekBG07
Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi:
Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/FabbriniFGL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/FabbriniFGL07
Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami:
Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach. ICSEA 2007: 68
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/BanciFGL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/BanciFGL07
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BanciFGL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BanciFGL07
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Experimenting with diversity in the model driven development of a railway signaling system. EFTS 2007: 5
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FantechiG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FantechiG07
Alessandro Fantechi, Stefania Gnesi:
A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BruniBGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BruniBGM08
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti:
Modelling Dynamic Software Architectures using Typed Graph Grammars. GT-VC@CONCUR 2007: 39-53
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/BeekGMMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BeekGMMP07
Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi:
Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70) (2007)
2006
[j24]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/jid/BanciFG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jid/BanciFG06
Michele Banci, Alessandro Fantechi, Stefania Gnesi:
Statecharts Composition to Model Topologically Distributed Applications. Trans. SDPS 10(1): 1-15 (2006)
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MassinkLG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MassinkLG06
Mieke Massink, Diego Latella, Stefania Gnesi:
On testing UML statecharts. J. Log. Algebraic Methods Program. 69(1-2): 1-74 (2006)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FitzgeraldGM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FitzgeraldGM06
John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli:
The industrialization of formal methods. Int. J. Softw. Tools Technol. Transf. 8(4-5): 301-302 (2006)
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ecows/BeekGMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecows/BeekGMM06
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso:
Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/rodin/FantechiGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rodin/FantechiGS06
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BertolinoFGL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BertolinoFGL06
Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami:
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445
2005
[j21]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/csse/GnesiLT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/GnesiLT05
Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni:
An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. 20(1) (2005)
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/CorinCEGLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/CorinCEGLM05
Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso:
A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS 2005: 131-146
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BeekMLGFS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BeekMLGFS05
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
A case study on the automated verification of groupware protocols. ICSE 2005: 596-603
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BucchiaroneGP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BucchiaroneGP05
Antonio Bucchiarone, Stefania Gnesi, Pierluigi Pierini:
Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/soqua/BertolinoBGM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqua/BertolinoBGM05
Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini:
An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
[c45]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wwv/AmatoCGSS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wwv/AmatoCGSS05
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV 2005: 161-175
[c44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AmatoCGSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AmatoCGSS06
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV 2005: 167-185
2004
[c43]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - conf/coop/BeekMLG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coop/BeekMLG04
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi:
Model Checking Groupware Protocols. COOP 2004: 179-194
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/MeolicFG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MeolicFG04
Robert Meolic, Alessandro Fantechi, Stefania Gnesi:
Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275
[c41]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iastedSEA/FabbriniFGL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iastedSEA/FabbriniFGL04
Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami:
Automatic clustering of non-functional requirements. IASTED Conf. on Software Engineering and Applications 2004: 672-677
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/GnesiLM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/GnesiLM04
Stefania Gnesi, Diego Latella, Mieke Massink:
Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FantechiGLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FantechiGLN04
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti:
A Methodology for the Derivation and Verification of Use Cases for Product Lines. SPLC 2004: 255-265
[c38]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/FerrariGMRTT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/FerrariGMRTT04
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto:
Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FantechiGM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FantechiGM05
Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore:
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. TACoS 2004: 199-211
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BeekMLGFS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BeekMLGFS05
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam^®. FMICS 2004: 275-294
2003
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/re/FantechiGLM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/FantechiGLM03
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari:
Applications of linguistic techniques for use case analysis. Requir. Eng. 8(3): 161-170 (2003)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GaravelGS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GaravelGS03
Hubert Garavel, Stefania Gnesi, Ina Schieferdecker:
Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers. Sci. Comput. Program. 46(3): 195-196 (2003)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FerrariGMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FerrariGMP03
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore:
A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/pfe/FantechiGJLD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pfe/FantechiGJLD03
Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr:
Elicitation of Use Cases for Product Lines. PFE 2003: 152-167
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/pfe/BertolinoG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pfe/BertolinoG03
Antonia Bertolino, Stefania Gnesi:
PLUTO: A Test Methodology for Product Families. PFE 2003: 181-197
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BertolinoG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BertolinoG03
Antonia Bertolino, Stefania Gnesi:
Use case-based testing of product lines. ESEC / SIGSOFT FSE 2003: 355-358
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GnesiLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GnesiLM05
Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli:
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. SVV@ICLP 2003: 57-70
[c31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GnesiLM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GnesiLM04
Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli:
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. MEFISTO 2003: 111-126
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Gnesi03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Gnesi03
Stefania Gnesi:
Formal Specification and Verification of Complex Systems. FMICS 2003: 294-298
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2003
Keijiro Araki, Stefania Gnesi, Dino Mandrioli:
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Lecture Notes in Computer Science 2805, Springer 2003, ISBN 3-540-40828-2 [contents]
2002
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GnesiLM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GnesiLM02
Stefania Gnesi, Diego Latella, Mieke Massink:
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. J. Log. Algebraic Methods Program. 51(1): 43-75 (2002)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/BernardeschiFG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/BernardeschiFG02
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Model checking fault tolerant systems. Softw. Test. Verification Reliab. 12(4): 251-275 (2002)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FantechiGLM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FantechiGLM02
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari:
Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02
Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33
2001
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/FrancescoFGI01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/FrancescoFGI01
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GnesiL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GnesiL01
Stefania Gnesi, Diego Latella:
Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers. Formal Methods Syst. Des. 19(2): 119-120 (2001)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/BernardeschiFG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/BernardeschiFG01
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal validation of fault-tolerance mechanisms inside GUARDS. Reliab. Eng. Syst. Saf. 71(3): 261-270 (2001)
2000
[j12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CuellarGL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CuellarGL00
Jorge Cuéllar, Stefania Gnesi, Diego Latella:
Foreword. Sci. Comput. Program. 36(1): 1-3 (2000)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/GnesiLLAAM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/GnesiLLAAM00
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo:
An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN 2000: 119-124
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/GnesiLM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/GnesiLM00
Stefania Gnesi, Diego Latella, Mieke Massink:
A stochastic extension of a behavioural subset of UML statechart diagrams. HASE 2000: 55-64
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GnesiLLAAM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GnesiLLAAM00
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo:
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. TACAS 2000: 535-549

1990 – 1999

see FAQ

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

1999
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/GnesiLM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/GnesiLM99
Stefania Gnesi, Diego Latella, Mieke Massink:
Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55
[c23]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpta/GnesiS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/GnesiS99
Stefania Gnesi, Laura Semini:
Implementation of Coordination Primitives in a Mobile Architecture. PDPTA 1999: 1012-1018
[c22]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpta/GnesiM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/GnesiM99
Stefania Gnesi, Franco Mazzanti:
On the Fly Verification of Network of Automata. PDPTA 1999: 1040-1046
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BernardeschiFG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BernardeschiFG99
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430
1998
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/GnesiL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/GnesiL98
Stefania Gnesi, Diego Latella:
Editorial. Formal Aspects Comput. 10(4): 311-312 (1998)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GnesiL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GnesiL98
Stefania Gnesi, Diego Latella:
Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected Papers. Formal Methods Syst. Des. 12(2): 123-124 (1998)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BernardeschiFGLMR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BernardeschiFGLMR98
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano:
A Formal Verification Environment for Railway Signaling System Design. Formal Methods Syst. Des. 12(2): 139-161 (1998)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FerrariGMPR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FerrariGMPR98
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FantechiGMPT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FantechiGMPT98
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci:
A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
[c18]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/refsq/FabbriniFGGR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FabbriniFGGR98
Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri:
On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62
1997
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BernardeschiFG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BernardeschiFG97
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
An industrial application for the JACK environment. J. Syst. Softw. 39(3): 249-264 (1997)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FerrariFGMPR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FerrariFGMPR97
Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
1996
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FantechiGL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FantechiGL96
Alessandro Fantechi, Stefania Gnesi, Diego Latella:
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/BernardeschiFGM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/BernardeschiFGM96
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi:
Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BernardeschiFG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BernardeschiFG96
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Verification of Safety Requirements on Complex Systems. SAFECOMP 1996: 21-30
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/AsirelliGR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/AsirelliGR96
Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi:
A Deductive Database Support to the Specification of Concurrent Systems. SOFSEM 1996: 309-316
1995
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/NicolaFGLR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/NicolaFGLR95
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori:
Verifying hardware components within JACK. CHARME 1995: 246-260
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/AnselmiBFGLMT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95
A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli:
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. SAFECOMP 1995: 474-488
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FrancescoFGI95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FrancescoFGI95
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
1994
[j7]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/BoualiGL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/BoualiGL94
Amar Bouali, Stefania Gnesi, Salvatore Larosa:
JACK: Just Another Concurrency Kit. The intergration Projekt. Bull. EATCS 54: 207-223 (1994)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FantechiGR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FantechiGR94
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
Model Checking for Action-Based Logics. Formal Methods Syst. Des. 4(2): 187-203 (1994)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FantechiGRCVM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FantechiGRCVM94
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini:
Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods Syst. Des. 4(3): 243-263 (1994)
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/FantechiGS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FantechiGS94
Alessandro Fantechi, Stefania Gnesi, R. Sacchelli:
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. FORTE 1994: 218-220
1993
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/NicolaFGR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/NicolaFGR93
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Comput. Networks ISDN Syst. 25(7): 761-778 (1993)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/FantechiGP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/FantechiGP93
Alessandro Fantechi, Stefania Gnesi, V. Perticaroli:
An Expressive Logic for Basic Process Algebra. MFCS 1993: 453-462
1991
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/FantechiG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/FantechiG91
Alessandro Fantechi, Stefania Gnesi:
Compositionality and Bisimulation: A Negative Result. Inf. Process. Lett. 39(2): 109-114 (1991)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/FantechiGLT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/FantechiGLT91
Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini:
Executing the formal definition of Ada. ACM SIGPLAN Notices 26(3): 25-34 (1991)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/NicolaFGR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NicolaFGR91
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV 1991: 37-47
1990
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/FantechiGM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FantechiGM90
Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini:
How Expressive Are LOTOS Behaviour Expressions? FORTE 1990: 17-32
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/FantechiGR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/FantechiGR90
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
Compositional logic semantics and LOTOS. PSTV 1990: 365-378

1980 – 1989

see FAQ

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

1989
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/FantechiGL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FantechiGL89
Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve:
An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276
1988
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GnesiIN88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GnesiIN88
Stefania Gnesi, Paola Inverardi, Monica Nesi:
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency 1988: 181-196
1987
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/FantechiGIM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/FantechiGIM87
Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335
1981
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/GnesiMM81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/GnesiMM81
Stefania Gnesi, Ugo Montanari, Alberto Martelli:
Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28(4): 737-751 (1981)

1970 – 1979

see FAQ

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

1978
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/CatalanoGM78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/CatalanoGM78
Alfonso Catalano, Stefania Gnesi, Ugo Montanari:
Shortest Path Problems and Tree Grammars: An Algebraic Framework. Graph-Grammars and Their Application to Computer Science and Biology 1978: 167-179

[+]

Coauthor network

[+]

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.