The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back

Stefania Gnesi was born in Livorno in 1954. She studied Computer Science at the University of Pisa, where she graduated summa cum laude in 1978.

[1]  Ina Schieferdecker,et al.  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 , 2003, Sci. Comput. Program..

[2]  Davide Bacciu,et al.  An experience in using machine learning for short-term predictions in smart transportation systems , 2017, J. Log. Algebraic Methods Program..

[3]  Rocco De Nicola,et al.  An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1991, CAV.

[4]  Stefania Gnesi,et al.  Formal Modeling for Product Families Engineering , 2008, 2008 12th International Software Product Line Conference.

[5]  Maurice H. ter Beek,et al.  Survey on Formal Methods and Tools in Railways: The ASTRail Approach , 2019, RSSRail.

[6]  Cosimo Laneve,et al.  An Expressive Temporal Logic for Basic LOTOS , 1989, FORTE.

[7]  Maurice H. ter Beek,et al.  Formal Description of Variability in Product Families , 2011, 2011 15th International Software Product Line Conference.

[8]  Stefania Gnesi,et al.  Ambiguity as a resource to disclose tacit knowledge , 2015, 2015 IEEE 23rd International Requirements Engineering Conference (RE).

[9]  Maurice H. ter Beek,et al.  A Logical Framework to Deal with Variability , 2010, IFM.

[10]  Stefania Gnesi,et al.  Applying the QuARS Tool to Detect Variability , 2019, SPLC.

[11]  Stefania Gnesi,et al.  Model-Based Development and Formal Methods in the Railway Industry , 2013, IEEE Software.

[12]  Maurice H. ter Beek,et al.  Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints , 2016, J. Log. Algebraic Methods Program..

[13]  Paola Inverardi,et al.  Model Checking of Non-Finite State Processes by Finite Approximations , 1995, TACAS.

[14]  Enrico Tronci,et al.  A Symbolic Model Checker for ACTL , 1998, FM-Trends.

[15]  Stefania Gnesi,et al.  An automatic tool for the analysis of natural language requirements , 2005, Comput. Syst. Sci. Eng..

[16]  Diego Latella,et al.  Assisting the design of a groupware system , 2009, J. Log. Algebraic Methods Program..

[17]  Andrea Polini,et al.  A Guidelines framework for understandable BPMN models , 2017, Data Knowl. Eng..

[18]  Maurice H. ter Beek,et al.  On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders , 2018, IFM.

[19]  Diego Latella,et al.  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 , 2001, Formal Methods Syst. Des..

[20]  Maurice H. ter Beek,et al.  A state/event-based model-checking approach for the analysis of abstract system properties , 2011, Sci. Comput. Program..

[21]  Paola Inverardi,et al.  An Executon Environment for the Formal Definiton of Ada , 1987, ESEC.

[22]  Corrado Moiso,et al.  Formal Modelling and Verification of an Asynchronous Extension of SOAP , 2006, 2006 European Conference on Web Services (ECOWS'06).

[23]  Diego Latella,et al.  An automatic SPIN validation of a safety critical railway control system , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[24]  Diego Latella,et al.  A stochastic extension of a behavioural subset of UML statechart diagrams , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).

[25]  Stefania Gnesi,et al.  Detecting requirements defects with NLP patterns: an industrial experience in the railway domain , 2018, Empirical Software Engineering.

[26]  Stefania Gnesi,et al.  Applications of linguistic techniques for use case analysis , 2003, Requirements Engineering.

[27]  Maurice H. ter Beek,et al.  A Model-Checking Tool for Families of Services , 2011, FMOODS/FORTE.

[28]  Andrea Polini,et al.  Checking Business Process Modeling Guidelines in Apromore , 2017, BPM.

[29]  Andrea Esuli,et al.  Natural Language Requirements Processing: A 4D Vision , 2017, IEEE Software.

[30]  Antonia Bertolino,et al.  PLUTO: A Test Methodology for Product Families , 2003, PFE.

[31]  Diego Latella,et al.  Towards Automatic Decision Support for Bike-Sharing System Design , 2015, SEFM Workshops.

[32]  Silvano Chiaradonna,et al.  A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems , 2016, J. Rail Transp. Plan. Manag..

[33]  Antonio Bucchiarone,et al.  QuARS Express - A Tool Demonstration , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[34]  Alberto Martelli,et al.  Dynamic Programming as Graph Searching: An Algebraic Approach , 1981, JACM.

[35]  Gabriele Lenzini,et al.  Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability , 2004, MEFISTO.

[36]  Antonio Bucchiarone,et al.  Evaluation of Natural Language Requirements in the MODCONTROL Project , 2008, ERCIM News.

[37]  Vincenzo Ciancia,et al.  A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities , 2014, ERCIM News.

[38]  Corrado Moiso,et al.  A Formal Security Analysis of an OSA/Parlay Authentication Interface , 2005, FMOODS.

[39]  Stefania Gnesi,et al.  On the Adoption of Model Checking in Safety-Related Software Industry , 2011, SAFECOMP.

[40]  Stefania Gnesi,et al.  QuARS: A NLP Tool for Requirements Analysis , 2019, REFSQ Workshops.

[41]  Maurice H. ter Beek,et al.  Formal methods for transport systems , 2018, International Journal on Software Tools for Technology Transfer.

[42]  Diego Latella,et al.  AGILE: Software Architecture for Mobility , 2002, WADT.

[43]  Stefania Gnesi,et al.  Formal validation of fault-tolerance mechanisms inside GUARDS , 2001, Reliab. Eng. Syst. Saf..

[44]  Marco Pistore,et al.  A model-checking verification environment for mobile processes , 2003, TSEM.

[45]  Vincenzo Gervasi,et al.  On Linguistic Quality of Natural Language Requirements , 1998, REFSQ.

[46]  M. Massink,et al.  A case study on the automated verification of groupware protocols , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[47]  Nora Koch,et al.  Formal verification of an automotive scenario in service-oriented computing , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[48]  Maurice H. ter Beek,et al.  On the expressiveness of modal transition systems with variability constraints , 2019, Sci. Comput. Program..

[49]  Stefania Gnesi,et al.  A logical verification methodology for service-oriented computing , 2012, TSEM.

[50]  Stefania Gnesi,et al.  Formal Methods and Safety Certification: Challenges in the Railways Domain , 2016, ISoLA.

[51]  John S. Fitzgerald,et al.  The industrialization of formal methods , 2005, International Journal on Software Tools for Technology Transfer.

[52]  Maurice H. ter Beek,et al.  Formal methods and automated verification of critical systems , 2018, International Journal on Software Tools for Technology Transfer.

[53]  Stan Jarzabek,et al.  Special section on the 17th International Software Product Line Conference , 2015, International Journal on Software Tools for Technology Transfer.

[54]  Diego Latella,et al.  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 , 1998, Formal Methods Syst. Des..

[55]  Stefania Gnesi,et al.  Model checking for action-based logics , 1994, Formal Methods Syst. Des..

[56]  Tiziana Margaria,et al.  Formal Methods for Industrial Critical Systems: A Survey of Applications , 2012 .

[57]  Francesco Flammini,et al.  Formal methods for railway control systems , 2014, International Journal on Software Tools for Technology Transfer.

[58]  Marco Pistore,et al.  Verifying Mobile Processes in the HAL Environment , 1998, CAV.

[59]  Stefania Gnesi,et al.  Ambiguity and tacit knowledge in requirements elicitation interviews , 2016, Requirements Engineering.

[60]  Maurice H. ter Beek,et al.  Detecting policy conflicts by model checking UML state machines , 2009, ICFI.

[61]  Stefania Gnesi,et al.  Formal Specification and Verification of Complex Systems , 2003, FMICS.