Top

Published in:

2019 | OriginalPaper | Chapter

The Legacy of Stefania Gnesi

From Software Engineering to Formal Methods and Tools, and Back

Authors : Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

Published in: From Software Engineering to Formal Methods and Tools, and Back

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

next chapter From Dynamic Programming to Programming Science

Andrade, L., et al.: AGILE: software architecture for mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 1–33. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-40020-2_1CrossRef

Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A logical framework to deal with variability. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 43–58. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16265-7_5CrossRef

Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A model-checking tool for families of services. In: Bruni, R., Dingel, J. (eds.) FMOODS/FORTE -2011. LNCS, vol. 6722, pp. 44–58. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21461-5_3CrossRef

Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal description of variability in product families. In: Proceedings of the 15th International Software Product Line Conference (SPLC 2011), pp. 130–139. IEEE (2011). https://doi.org/10.1109/SPLC.2011.34

Bacciu, D., Carta, A., Gnesi, S., Semini, L.: An experience in using machine learning for short-term predictions in smart transportation systems. J. Logical Algebraic Methods Program. 87, 52–66 (2017). https://doi.org/10.1016/j.jlamp.2016.11.002MathSciNetCrossRefMATH

Basile, D., et al.: On the industrial uptake of formal methods in the railway domain. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 20–29. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98938-9_2CrossRef

Basile, D., Chiaradonna, S., Di Giandomenico, F., Gnesi, S.: A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plann. Manag. 6(2), 163–181 (2016). https://doi.org/10.1016/j.jrtpm.2016.03.003CrossRef

ter Beek, M.H., et al.: A quantitative approach to the design and analysis of collective adaptive systems for smart cities. ERCIM News 98, 32 (2014). http://ercim-news.ercim.eu/en98/special/a-quantitative-approach-to-the-design-and-analysis-of-collective-adaptive-systems-for-smart-cities

ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119–135 (2011). https://doi.org/10.1016/j.scico.2010.07.002CrossRefMATH

10.

ter Beek, M.H., Gnesi, S., Koch, N., Mazzanti, F.: Formal verification of an automotive scenario in service-oriented computing. In: Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), pp. 613–622. ACM (2008). https://doi.org/10.1145/1368088.1368173

11.

ter Beek, M.H., Gnesi, S., Latella, D., Massink, M., Sebastianis, M., Trentanni, G.: Assisting the design of a groupware system. J. Logic Algebraic Program. 78(4), 191–232 (2009). https://doi.org/10.1016/j.jlap.2008.11.004CrossRefMATH

12.

ter Beek, M.H., Damiani, F., Gnesi, S., Mazzanti, F., Paolini, L.: On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169, 1–17 (2019). https://doi.org/10.1016/j.scico.2018.09.006CrossRef

13.

ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. J. Logical Algebraic Methods Program. 85(2), 287–315 (2016). https://doi.org/10.1016/j.jlamp.2015.11.006MathSciNetCrossRefMATH

14.

ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods and automated verification. Int. J. Softw. Tools Technol. Transfer 20(4), 355–358 (2018). https://doi.org/10.1007/s10009-018-0494-5CrossRef

15.

ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods for transport systems. Int. J. Softw. Tools Technol. Transfer 20(2), 237–241 (2018). https://doi.org/10.1007/s10009-018-0487-4CrossRef

16.

ter Beek, M.H., Gnesi, S., Latella, D., Massink, M.: Towards automatic decision support for bike-sharing system design. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 266–280. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-49224-6_22CrossRef

17.

ter Beek, M.H., Gnesi, S., Mazzanti, F., Moiso, C.: Formal modelling and verification of an asynchronous extension of SOAP. In: Proceedings of the 4th IEEE European Conference on Web Services (ECOWS 2006), pp. 287–296. IEEE (2006). https://doi.org/10.1109/ECOWS.2006.22

18.

ter Beek, M.H., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking UML state machines. In: Nakamura, M., Reiff-Marganiec, S. (eds.) Proceedings of Feature Interactions in Software and Communication Systems X (ICFI 2009), pp. 59–74. IOS Press (2009). https://doi.org/10.3233/978-1-60750-014-8-59

19.

ter Beek, M.H., Massink, M., Latella, D., Gnesi, S., Forghieri, A., Sebastianis, M.: A case study on the automated verification of groupware protocols. In: Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pp. 596–603. ACM (2005). https://doi.org/10.1145/1062455.1062560

20.

Bernardeschi, C., Fantechi, A., Gnesi, S.: Formal validation of fault-tolerance mechanisms inside GUARDS. Reliab. Eng. Sys. Saf. 71(3), 261–270 (2001). https://doi.org/10.1016/S0951-8320(00)00078-8CrossRef

21.

Bertolino, A., Gnesi, S.: PLUTO: a test methodology for product families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 181–197. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24667-1_14CrossRef

22.

Bouali, A., Gnesi, S., Larosa, S.: JACK: just another concurrency kit - the integration project. Bull. EATCS 54, 207–223 (1994)MATH

23.

Bucchiarone, A., Gnesi, S., Lami, G., Trentanni, G., Fantechi, A.: QuARS express - a tool demonstration. In: Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pp. 473–474. IEEE (2008). https://doi.org/10.1109/ASE.2008.77

24.

Bucchiarone, A., Gnesi, S., Trentanni, G., Fantechi, A.: Evaluation of natural language requirements in the MODCONTROL project. ERCIM News 75, 52–53 (2008). http://ercim-news.ercim.eu/evaluation-of-natural-language-requirements-in-the-modcontrol-project

25.

Corin, R., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G., Moiso, C.: A formal security analysis of an OSA/Parlay authentication interface. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 131–146. Springer, Heidelberg (2005). https://doi.org/10.1007/11494881_9CrossRef

26.

Corradini, F., et al.: A guidelines framework for understandable BPMN models. Data Knowl. Eng. 113, 129–154 (2018). https://doi.org/10.1016/j.datak.2017.11.003CrossRef

27.

Cuéllar, J., Gnesi, S., Latella, D.: Foreword. Sci. Comput. Program. 36(1), 1–3 (2000). https://doi.org/10.1016/S0167-6423(99)00014-3MathSciNetCrossRef

28.

De Francesco, N., Fantechi, A., Gnesi, S., Inverardi, P.: Model checking of non-finite state processes by finite approximations. In: Brinksma, E., Cleaveland, W.R., Larsen, K.G., Margaria, T., Steffen, B. (eds.) TACAS 1995. LNCS, vol. 1019, pp. 195–215. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60630-0_10CrossRef

29.

De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action based framework for verifying logical and behavioural properties of concurrent systems. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 37–47. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55179-4_5CrossRef

30.

Fabbrini, F., Fusani, M., Gervasi, V., Gnesi, S., Ruggieri, S.: On linguistic quality of natural language requirements. In: Dubois, E., Opdahl, A.L., Pohl, K. (eds.) Proceedings of the 4th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ 1998), pp. 57–62. Presses Universitaires de Namur (1998)

31.

Fantechi, A., Ferrari, A., Gnesi, S.: Formal methods and safety certification: challenges in the railways domain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 261–265. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_18CrossRef

32.

Fantechi, A., Flammini, F., Gnesi, S.: Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transfer 16(6), 643–646 (2014). https://doi.org/10.1007/s10009-014-0342-1CrossRef

33.

Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: Proceedings of the 12th International Software Product Line Conference (SPLC 2008), pp. 193–202. IEEE (2008). https://doi.org/10.1109/SPLC.2008.45

34.

Fantechi, A., Gnesi, S.: On the adoption of model checking in safety-related software industry. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 383–396. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24270-0_28CrossRef

35.

Fantechi, A., Gnesi, S., Inverardi, P., Montanari, U.: An execution environment for the formal definition of Ada. In: Nichols, H., Simpson, D. (eds.) ESEC 1987. LNCS, vol. 289, pp. 327–335. Springer, Heidelberg (1987). https://doi.org/10.1007/BFb0022125CrossRef

36.

Fantechi, A., Gnesi, S., Lami, G., Maccari, A.: Application of linguistic techniques for use case analysis. In: Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), pp. 157–164. IEEE (2002). https://doi.org/10.1109/ICRE.2002.1048518

37.

Fantechi, A., Gnesi, S., Laneve, C.: An expressive temporal logic for basic LOTOS. In: Vuong, S.T. (ed.) Proceedings of the IFIP TC/WG6.1 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE 1989), pp. 261–276. North-Holland (1989)

38.

Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3), 16:1–16:46 (2012). https://doi.org/10.1145/2211616.2211619CrossRef

39.

Fantechi, A., Gnesi, S., Mazzanti, F., Pugliese, R., Tronci, E.: A symbolic model checker for ACTL. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol. 1641, pp. 228–242. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48257-1_14CrossRef

40.

Fantechi, A., Gnesi, S., Ristori, G.: Model checking for action-based logics. Formal Methods Sys. Des. 4(2), 187–203 (1994). https://doi.org/10.1007/BF01384084CrossRefMATH

41.

Fantechi, A., Gnesi, S., Semini, L.: Applying the QuARS tool to detect variability. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC 2019), pp. 29–32. ACM (2019). https://doi.org/10.1145/3307630.3342388

42.

Ferrari, A., et al.: Survey on formal methods and tools in railways: the ASTRail approach. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 226–241. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-18744-6_15CrossRef

43.

Ferrari, A., Dell’Orletta, F., Esuli, A., Gervasi, V., Gnesi, S.: Natural language requirements processing: a 4D vision. IEEE Softw. 34(6), 28–35 (2017). https://doi.org/10.1109/MS.2017.4121207CrossRef

44.

Ferrari, A., Fantechi, A., Gnesi, S., Magnani, G.: Model-based development and formal methods in the railway industry. IEEE Softw. 30(3), 28–34 (2013). https://doi.org/10.1109/MS.2013.44CrossRef

45.

Ferrari, A., et al.: Detecting requirements defects with NLP patterns: an industrial experience. Empirical Softw. Eng. 23(6), 3684–3733 (2018). https://doi.org/10.1007/s10664-018-9596-7CrossRef

46.

Ferrari, A., Spoletini, P., Gnesi, S.: Ambiguity as a resource to disclose tacit knowledge. In: Proceedings of the 23rd IEEE International Requirements Engineering Conference (RE 2015), pp. 26–35. IEEE (2015). https://doi.org/10.1109/RE.2015.7320405

47.

Ferrari, A., Spoletini, P., Gnesi, S.: Ambiguity and tacit knowledge in requirements. Requirements Eng. 21(3), 333–355 (2016). https://doi.org/10.1007/s00766-016-0249-3CrossRef

48.

Ferrari, G.L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4), 440–473 (2003). https://doi.org/10.1145/990010.990013CrossRef

49.

Ferrari, G., Gnesi, S., Montanari, U., Pistore, M., Ristori, G.: Verifying mobile processes in the HAL environment. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 511–515. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0028772CrossRef

50.

Fitzgerald, J.S., Gnesi, S., Mandrioli, D.: The industrialization of formal methods. Int. J. Softw. Tools Technol. Transfer 8(4–5), 301–302 (2006). https://doi.org/10.1007/s10009-005-0208-7CrossRef

51.

Fornari, F., Gnesi, S., La Rosa, M., Polini, A., Re, B., Spagnolo, G.O.: Checking business process modeling guidelines in apromore. In: Clarisó, R., et al. (eds.) Proceedings of the 15th International Conference on Business Process Modeling (BPM 2017) Demo Track. CEUR Workshop Proceedings, vol. 1920. CEUR-WS.org (2017). http://ceur-ws.org/Vol-1920/BPM_2017_paper_204.pdf

52.

Garavel, H., Gnesi, S., Schieferdecker, I.: Special issue on the fifth international workshop of the ERCIM working group on formal methods for industrial critical systems. Sci. Comput. Program. 46(3), 195–196 (2003). https://doi.org/10.1016/S0167-6423(02)00091-6CrossRef

53.

Gnesi, S.: Formal specification and verification of complex systems. Electron. Notes Theoret. Comput. Sci. 80, 294–298 (2003). https://doi.org/10.1016/S1571-0661(04)80829-6CrossRef

54.

Gnesi, S., Cavalcanti, A., Fitzgerald, J., Heitmeyer, C.: Editorial. Formal Aspects Comput. 31(2), 131–132 (2019). https://doi.org/10.1007/s00165-019-00481-4MathSciNetCrossRefMATH

55.

Gnesi, S., Jarzabek, S.: Special section on the 17th international software product. Int. J. Softw. Tools Technol. Transfer 17(5), 555–557 (2015). https://doi.org/10.1007/s10009-015-0386-xCrossRef

56.

Gnesi, S., Latella, D.: Editorial. Formal Aspects Comput. 10(4), 311–312 (1998). https://doi.org/10.1007/s001650050019CrossRef

57.

Gnesi, S., Latella, D.: Special issue on the first international workshop of the ERCIM working group on formal methods for industrial critical systems. Formal Methods Sys. Des. 12(2), 123–124 (1998). https://doi.org/10.1023/A:1008669025349CrossRef

58.

Gnesi, S., Latella, D.: Introduction: special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems. Formal Methods Syst. Des. 19(2), 119–120 (2001). https://doi.org/10.1023/A:1011279615774CrossRefMATH

59.

Gnesi, S., Latella, D., Lenzini, G., Abbaneo, C., Amendola, A.M., Marmo, P.: An automatic SPIN validation of a safety critical railway control system. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2000), pp. 119–124. IEEE (2000). https://doi.org/10.1109/ICDSN.2000.857524

60.

Gnesi, S., Latella, D., Massink, M.: A stochastic extension of a behavioural subset of UML statechart diagrams. In: Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), pp. 55–64. IEEE (2000). https://doi.org/10.1109/HASE.2000.895442

61.

Gnesi, S., Lenzini, G., Martinelli, F.: Applying generalized non deducibility on compositions (GNDC) approach in dependability. Electron. Notes Theoret. Comput. Sci. 99, 111–126 (2004). https://doi.org/10.1016/j.entcs.2004.02.005CrossRef

62.

Gnesi, S., Margaria, T. (eds.): Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley, Hoboken (2013)

63.

Gnesi, S., Montanari, U., Martelli, A.: Dynamic programming as graph searching: an algebraic approach. J. ACM 28(4), 737–751 (1981). https://doi.org/10.1145/322276.322285MathSciNetCrossRefMATH

64.

Gnesi, S., Trentanni, G.: QuARS: a NLP tool for requirements analysis. In: Spoletini, P., et al. (eds.) Proceedings of REFSQ-2019 2nd Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2019). CEUR Workshop Proceedings, vol. 2376. CEUR-WS.org (2019). http://ceur-ws.org/Vol-2376/NLP4RE19_paper07.pdf

65.

Lami, G., Gnesi, S., Trentanni, G., Fabbrini, F., Fusani, M.: An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. 20(1), 53–62 (2005)

Title: The Legacy of Stefania Gnesi
Authors: Maurice H. ter Beek
Alessandro Fantechi
Laura Semini
Publisher: Springer International Publishing
Book: From Software Engineering to Formal Methods and Tools, and Back
Print ISBN: 978-3-030-30984-8

Electronic ISBN: 978-3-030-30985-5

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-30985-5_1

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner