STEFANIA GNESI is Director of Research and head of the
Formal Methods and Tools Laboratory at ISTI-CNR (Istituto di
Scienza e Tecnologie dell”Informazione-Consiglio Nazionale delle
Ricerche) in Pisa, Italy. She was previously a lecturer in methods
and tools for the specification and analysis of software systems at
the University of Florence.
TIZIANA MARGARIA is Full Professor in the Faculty of
Mathematics and Natural Sciences of the University of Potsdam,
where she holds the Chair of Service and Software Engineering at
the Institute of Informatics. She has held positions at
universities in Göttingen, Dortmund, and Passau, Germany, as
well as in Sweden and Italy.
9 Ebooks by Stefania Gnesi
Stefania Gnesi & Tiziana Margaria: Formal Methods for Industrial Critical Systems
Today, formal methods are widely recognized as an essential step in
the design process of industrial safety-critical systems. In its
more general definition, the term formal methods encompasses all …
PDF
English
DRM
€82.99
Stefania Gnesi & Tiziana Margaria: Formal Methods for Industrial Critical Systems
Today, formal methods are widely recognized as an essential step in
the design process of industrial safety-critical systems. In its
more general definition, the term formal methods encompasses all …
EPUB
English
DRM
€82.99
Maurice H. ter Beek & Stefania Gnesi: Critical Systems: Formal Methods and Automated Verification
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification …
PDF
English
DRM
€56.08
John Fitzgerald & Stefania Gnesi: FM 2016: Formal Methods
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers …
PDF
English
DRM
€56.14
Keijiro Araki & Stefania Gnesi: FME 2003: Formal Methods
Thisvolumecontainstheproceedingsof FM2003, the12th International Formal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) …
PDF
English
DRM
€111.59
John Derrick & Stefania Gnesi: Integrated Formal Methods
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented …
PDF
English
DRM
€56.08
John Derrick & John Fitzgerald: Abstract State Machines, Alloy, B, VDM, and Z
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented …
PDF
English
DRM
€56.18
Stefania Gnesi & Arend Rensink: Fundamental Approaches to Software Engineering
This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and …
PDF
English
DRM
€56.36
Alessio Ferrari & Stefania Gnesi: Requirements Engineering: Foundation for Software Quality
This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering – Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, Italy, …
EPUB
English
DRM
€56.36
