default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefania Gnesi
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
2020 – today
- 2025
[j49]Laura Carnevali
, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori:
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review. IEEE Trans. Intell. Transp. Syst. 26(4): 4298-4314 (2025)- [c171]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 - [c170]Xavier Franch, Stefania Gnesi, Federico Paccosi, Carme Quer, Laura Semini:
Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs. REFSQ 2025: 261-276 - 2024
- [j48]Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. 138: 100954 (2024) - [c169]Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (5) 2024: 109-111 - [c168]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]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Exploring LLMs' Ability to Detect Variability in Requirements. REFSQ 2024: 178-188 - [e24]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]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. 195: 111540 (2023) - [c166]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]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]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops 2023 - [e23]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]Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) 2022: 243-245 - [c162]Alessandro Fantechi, Stefania Gnesi, Gloria Gori:
Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) 2022: 269-285 - [e22]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]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]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]Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini:
A spaCy-based tool for extracting variability from NL requirements. SPLC (B) 2021: 32-35 - [e21]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]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]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]Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) 2020: 389-392 - [c156]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]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]Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops 2020 - [p8]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]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]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
- 2019
- [j45]Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer:
Editorial. Formal Aspects Comput. 31(2): 131-132 (2019) - [j44]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]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]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]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]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
From Generic Requirements to Variability. REFSQ Workshops 2019 - [c149]Stefania Gnesi, Gianluca Trentanni:
QuARS: A NLP Tool for Requirements Analysis. REFSQ Workshops 2019 - [c148]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]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Applying the QuARS tool to detect variability. SPLC (B) 2019: 62:1-62:4 - [e18]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]Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi:
Smart Services for Railways. ERCIM News 2019(117) (2019) - 2018
- [j43]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]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]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]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]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]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]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]Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta 2018: 110-128 - [c145]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]Alessio Ferrari, Andrea Esuli, Stefania Gnesi:
Identification of Cross-Domain Ambiguity with Language Models. AIRE@RE 2018: 31-38 - [c143]Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini:
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE 2018: 418-423 - [c142]Stefania Gnesi, Alessio Ferrari:
Research on NLP for RE at CNR-ISTI: a Report. REFSQ Workshops 2018 - [c141]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]Davide Basile, Maurice H. ter Beek, Stefania Gnesi:
Modelling and analysis with featured modal contract automata. SPLC (2) 2018: 11-16 - [c139]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]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]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]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]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]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]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]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Optimizing Feature Interaction Detection. FMICS-AVoCS 2017: 201-216 - [c135]Stefania Gnesi, Nico Plat, Hernán C. Melgratti:
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). FormaliSE@ICSE 2017: 1 - [c134]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]Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh:
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE 2017: 51-60 - [c132]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]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]Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
PURE: A Dataset of Public Requirements Documents. RE 2017: 502-505 - [c129]Beatrice Donati, Alessio Ferrari, Paola Spoletini, Stefania Gnesi:
Common Mistakes of Student Analysts in Requirements Elicitation Interviews. REFSQ 2017: 148-164 - [c128]Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Towards a Dataset for Natural Language Requirements Processing. REFSQ Workshops 2017 - [c127]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]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail 2017: 221-237 - [c125]Alessio Ferrari, Mario Fusani, Stefania Gnesi:
Are Standards an Ambiguity-Free Reference for Product Validation? RSSRail 2017: 251-264 - [c124]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]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops 2017: 267-283 - [c122]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
FMCAT: Supporting Dynamic Service-based Product Lines. SPLC (B) 2017: 3-8 - [c121]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]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Ambiguity defects as variation points in requirements. VaMoS 2017: 13-19 - [c119]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari:
Specifying variability in service contracts. VaMoS 2017: 20-27 - 2016
- [j34]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]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]Alessio Ferrari, Paola Spoletini, Stefania Gnesi:
Ambiguity and tacit knowledge in requirements elicitation interviews. Requir. Eng. 21(3): 333-355 (2016) - [c118]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]Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi:
Formal Methods and Safety Certification: Challenges in the Railways Domain. ISoLA (2) 2016: 261-265 - [c116]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]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]Alessio Ferrari, Paola Spoletini, Stefania Gnesi:
Ambiguity Cues in Requirements Elicitation Interviews. RE 2016: 56-65 - [c113]Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini:
Collaborative requirements elicitation in a european research project. SAC 2016: 1282-1289 - [c112]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]Alessandro Fantechi, Stefania Gnesi:
Refinement of Behavioural Models for Variability Description. From Action Systems to Distributed Systems 2016: 155-169 - [e16]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]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]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]Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi:
Modelling and Validating an Import/Export Shipping Process. ERCIM News 2016(105) (2016) - 2015
- [j31]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]Muneera Bano, Alessio Ferrari, Didar Zowghi, Vincenzo Gervasi, Stefania Gnesi:
Automated Service Selection Using Natural Language Processing. APRES 2015: 3-17 - [c110]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]Stefania Gnesi, Nico Plat:
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). ICSE (2) 2015: 977-978 - [c108]Alessio Ferrari, Paola Spoletini, Stefania Gnesi:
Ambiguity as a resource to disclose tacit knowledge. RE 2015: 26-35 - [c107]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]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]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]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]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]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]Davide Bacciu, Stefania Gnesi, Laura Semini:
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. WWV 2015: 75-83 - [e14]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]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]Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 643-646 (2014) - [c100]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]Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference 2014: 304-319 - [c98]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]Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo:
Pragmatic ambiguity detection in natural language requirements. AIRE 2014: 1-8 - [c96]Paola Spoletini, Alessio Ferrari, Stefania Gnesi:
Context transformations for goal models. MoDRE 2014: 17-26 - [c95]Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Measuring and Improving the Completeness of Natural Language Requirements. REFSQ 2014: 23-38 - [c94]Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re:
Research challenges in business process adaptability. SAC 2014: 1049-1054 - [e12]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]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]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]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]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]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]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]Stefania Gnesi, Nico Plat:
1st FME workshop on formal methods in software engineering (FormaliSE 2013). ICSE 2013: 1519-1520 - [c92]Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei:
Using Clustering to Improve the Structure of Natural Language Requirements Documents. REFSQ 2013: 34-49 - [c91]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]Stefania Gnesi:
Families of software systems: a model checking approach. Engineering Dependable Software Systems 2013: 115-140 - [e8]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]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]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]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]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]Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal Methods for Intelligent Transportation Systems. ISoLA (2) 2012: 187-189 - [c88]Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi:
Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods 2012: 24-38 - [c87]Alessio Ferrari, Stefania Gnesi:
Using collective intelligence to detect pragmatic ambiguities. RE 2012: 191-200 - [c86]Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei:
A clustering-based approach for discovering flaws in requirements specifications. SAC 2012: 1043-1050 - [c85]Stefania Gnesi, Marinella Petrocchi:
Towards an executable algebra for product lines. SPLC (2) 2012: 66-73 - [c84]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]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]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]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]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]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]Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58 - [c82]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]Alessandro Fantechi, Stefania Gnesi:
On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP 2011: 383-396 - [c80]Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro:
Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127 - [c79]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Formal Description of Variability in Product Families. SPLC 2011: 130-139 - [c78]Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima:
Product Lines for Service Oriented Applications - PL for SOA. WWV 2011: 34-48 - [p5]Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer:
Introduction to the Sensoria Case Studies. Results of the SENSORIA Project 2011: 26-34 - [p4]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]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]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]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]Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Logical Framework to Deal with Variability. IFM 2010: 43-58 - [c75]Isabella Biscoglio, Alessandro Coco, Mario Fusani, Stefania Gnesi, Gianluca Trentanni:
An Approach to Ambiguity Analysis in Safety-Related Standards. QUATIC 2010: 461-466 - [c74]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]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44 - [e2]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
- 2009
- [j26]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]Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi:
Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108 - [c71]Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini:
Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74 - [c70]João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi:
A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224 - [c69]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]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76 - 2008
- [j25]Michele Banci, Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi:
Model driven development of railway systems using diversity. Comput. Syst. Sci. Eng. 23(5) (2008) - [c67]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]Stefania Gnesi:
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. Concurrency, Graphs and Models 2008: 258-260 - [c65]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]Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi:
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201 - [c63]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]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]Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi:
QuARS Express - A Tool Demonstration. ASE 2008: 473-474 - [c60]Alessandro Fantechi, Stefania Gnesi:
Formal Modeling for Product Families Engineering. SPLC 2008: 193-202 - [c59]Antonio Bucchiarone, Greg Dennis, Stefania Gnesi:
A Graph-based Design Framework for Global Computing Systems. VODCA@FOSAD 2008: 117-130 - [i4]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]Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi:
Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News 2008(75) (2008) - [i2]Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Experimenting with Diversity in the Formal Development of Railway Signalling Systems. ERCIM News 2008(75) (2008) - 2007
- [c58]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]Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi:
Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15 - [c56]Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami:
Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach. ICSEA 2007: 68 - [c55]Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34 - [c54]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]Alessandro Fantechi, Stefania Gnesi:
A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524 - [c52]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]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]Michele Banci, Alessandro Fantechi, Stefania Gnesi:
Statecharts Composition to Model Topologically Distributed Applications. Trans. SDPS 10(1): 1-15 (2006) - [j23]Mieke Massink, Diego Latella, Stefania Gnesi:
On testing UML statecharts. J. Log. Algebraic Methods Program. 69(1-2): 1-74 (2006) - [j22]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]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]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152 - [p1]Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami:
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445 - 2005
- [j21]Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni:
An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. 20(1) (2005) - [c49]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]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]Antonio Bucchiarone, Stefania Gnesi, Pierluigi Pierini:
Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394 - [c46]Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini:
An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37 - [c45]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]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]Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi:
Model Checking Groupware Protocols. COOP 2004: 179-194 - [c42]Robert Meolic, Alessandro Fantechi, Stefania Gnesi:
Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275 - [c41]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]Stefania Gnesi, Diego Latella, Mieke Massink:
Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84 - [c39]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]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]Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore:
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. TACoS 2004: 199-211 - [c36]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]Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari:
Applications of linguistic techniques for use case analysis. Requir. Eng. 8(3): 161-170 (2003) - [j19]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]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]Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr:
Elicitation of Use Cases for Product Lines. PFE 2003: 152-167 - [c34]Antonia Bertolino, Stefania Gnesi:
PLUTO: A Test Methodology for Product Families. PFE 2003: 181-197 - [c33]Antonia Bertolino, Stefania Gnesi:
Use case-based testing of product lines. ESEC / SIGSOFT FSE 2003: 355-358 - [c32]Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli:
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. SVV@ICLP 2003: 57-70 - [c31]Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli:
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. MEFISTO 2003: 111-126 - [c30]Stefania Gnesi:
Formal Specification and Verification of Complex Systems. FMICS 2003: 294-298 - [e1]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]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]Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Model checking fault tolerant systems. Softw. Test. Verification Reliab. 12(4): 251-275 (2002) - [c29]Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari:
Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164 - [c28]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]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]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]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]Jorge Cuéllar, Stefania Gnesi, Diego Latella:
Foreword. Sci. Comput. Program. 36(1): 1-3 (2000) - [c27]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]Stefania Gnesi, Diego Latella, Mieke Massink:
A stochastic extension of a behavioural subset of UML statechart diagrams. HASE 2000: 55-64 - [c25]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
- 1999
- [c24]Stefania Gnesi, Diego Latella, Mieke Massink:
Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55 - [c23]Stefania Gnesi, Laura Semini:
Implementation of Coordination Primitives in a Mobile Architecture. PDPTA 1999: 1012-1018 - [c22]Stefania Gnesi, Franco Mazzanti:
On the Fly Verification of Network of Automata. PDPTA 1999: 1040-1046 - [c21]Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430 - 1998
- [j11]Stefania Gnesi, Diego Latella:
Editorial. Formal Aspects Comput. 10(4): 311-312 (1998) - [j10]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]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]Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515 - [c19]Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci:
A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242 - [c18]Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri:
On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62 - 1997
- [j8]Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
An industrial application for the JACK environment. J. Syst. Softw. 39(3): 249-264 (1997) - [c17]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]Alessandro Fantechi, Stefania Gnesi, Diego Latella:
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578 - [c15]Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi:
Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332 - [c14]Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Verification of Safety Requirements on Complex Systems. SAFECOMP 1996: 21-30 - [c13]Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi:
A Deductive Database Support to the Specification of Concurrent Systems. SOFSEM 1996: 309-316 - 1995
- [c12]Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori:
Verifying hardware components within JACK. CHARME 1995: 246-260 - [c11]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]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]Amar Bouali, Stefania Gnesi, Salvatore Larosa:
JACK: Just Another Concurrency Kit. The intergration Projekt. Bull. EATCS 54: 207-223 (1994) - [j6]Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
Model Checking for Action-Based Logics. Formal Methods Syst. Des. 4(2): 187-203 (1994) - [j5]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]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]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]Alessandro Fantechi, Stefania Gnesi, V. Perticaroli:
An Expressive Logic for Basic Process Algebra. MFCS 1993: 453-462 - 1991
- [j3]Alessandro Fantechi, Stefania Gnesi:
Compositionality and Bisimulation: A Negative Result. Inf. Process. Lett. 39(2): 109-114 (1991) - [j2]Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini:
Executing the formal definition of Ada. ACM SIGPLAN Notices 26(3): 25-34 (1991) - [c7]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]Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini:
How Expressive Are LOTOS Behaviour Expressions? FORTE 1990: 17-32 - [c5]Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
Compositional logic semantics and LOTOS. PSTV 1990: 365-378
1980 – 1989
- 1989
- [c4]Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve:
An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276 - 1988
- [c3]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]Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335 - 1981
- [j1]Stefania Gnesi, Ugo Montanari, Alberto Martelli:
Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28(4): 737-751 (1981)
1970 – 1979
- 1978
- [c1]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 Index
[c171] [j48] [c168] [e23] [c160] [j46] [c158] [c156] [j44] [c153] [c152] [c151] [c148] [j38] [j37] [c146] [c145] [c140] [c139] [i10] [c121] [j34] [c115] [e15] [c110] [c107] [c106] [c104] [c102] [c99] [c98] [e9] [i7] [i6] [i5] [c90] [c84] [j27] [c83] [c82] [c80] [c79] [c78] [c77] [c76] [c73] [j26] [c72] [c71] [c69] [c68] [c63] [i4] [c58] [c57] [i1] [c51] [c48] [c43] [c36]
[j49] [c171] [j48] [c169] [c168] [c167] [j47] [c166] [c165] [c164] [c163] [c162] [c161] [c159] [c158] [c157] [c156] [c155] [c154] [p8] [c152] [c150] [c148] [c147] [i11] [j41] [c146] [c145] [c143] [c139] [c138] [i10] [c136] [c127] [c120] [j34] [c117] [c115] [p7] [c104] [c102] [j30] [c98] [e10] [e9] [j29] [c91] [j28] [c90] [c89] [c88] [j27] [c83] [c82] [c81] [c80] [c79] [c77] [c76] [c74] [c73] [c68] [j25] [c65] [c62] [c61] [c60] [i3] [i2] [c58] [c55] [c54] [c53] [j24] [c50] [p1] [c42] [c39] [c37] [j20] [c35] [j16] [c29] [j15] [j13] [c21] [j9] [c19] [j8] [c16] [c15] [c14] [c12] [c11] [c10] [j6] [j5] [c9] [j4] [c8] [j3] [j2] [c7] [c6] [c5] [c4] [c2]
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-12 22:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
