Stefania Gnesi

Stefania Gnesi (born 1954) is an Italian software engineer whose work focuses on formal methods, and the use of natural language and natural language processing in requirements analysis. She is a director of research at the Istituto di Scienza e Tecnologie dell'Informazione of the Italian National Research Council (CNR), where she heads the Formal Methods and Tools group. Provided by Wikipedia
Showing 1 - 12 results of 12 for search 'Gnesi, Stefania', query time: 0.03s Refine Results
  1. 1
    Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
    Published 2013
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
    Published 2014
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the 6th Conference on Formal Methods in Software Engineering
    Published 2018
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    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 /
    Published 2014
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Published 2003
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Formal methods for industrial critical systems : a survey of applications /
    Published 2013
    Other Authors: “…Gnesi, Stefania, 1954-…”
    Full Text via HEAL-Link
    eBook
  7. 7
    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 /
    Published 2016
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
    Published 2016
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2
    Published 2014
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 11
    Proceedings of the 18th International Software Product Line Conference - Volume 1
    Published 2014
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 12
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search