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.
41 Ebooks de Tiziana Margaria
Charles J. Petrie & Tiziana Margaria: Semantic Web Services Challenge
Service-Oriented Computing is one of the most promising software engineering trends for future distributed systems. Currently there are many different approaches to semantic web service descriptions …
PDF
Inglés
€149.79
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 n …
PDF
Inglés
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 n …
EPUB
Inglés
DRM
€82.99
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validati …
EPUB
Inglés
DRM
€57.90
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Verification
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validati …
EPUB
Inglés
DRM
€57.76
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validati …
EPUB
Inglés
DRM
€57.90
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validati …
EPUB
Inglés
DRM
€58.12
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISo LA 20 …
PDF
Inglés
DRM
€115.20
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISo LA 20 …
PDF
Inglés
DRM
€57.90
Christel Baier & Mark van den Brand: SOFSEM 2017: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 20 …
EPUB
Inglés
DRM
€57.19
Tiziana Margaria & Tom Melham: Correct Hardware Design and Verification Methods
This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of worki …
PDF
Inglés
DRM
€57.99
Tiziana Margaria & Wang Yi: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presente …
PDF
Inglés
DRM
€113.72
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation
This volume contains the conference proceedings of ISo LA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sa …
PDF
Inglés
DRM
€166.29
Athman Bouguettaya & Ingolf Kruger: Service-Oriented Computing – ICSOC 2008
This book constitutes the refereed proceedings of the 6th International Conference on Service-Oriented Computing, ICSOC 2008, held in Sydney, Australia, in December 2008. The 32 revised full papers a …
PDF
Inglés
DRM
€115.17
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, hel …
PDF
Inglés
DRM
€57.76
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, hel …
PDF
Inglés
DRM
€57.85
Reiner Hahnle & Jens Knoop: Leveraging Applications of Formal Methods, Verification, and Validation
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Works …
PDF
Inglés
DRM
€57.89
Anna-Lena Lamprecht & Tiziana Margaria: Process Design for Natural Scientists
This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating t …
PDF
Inglés
DRM
€57.19
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISo LA 20 …
PDF
Inglés
DRM
€57.60
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISo LA 20 …
PDF
Inglés
DRM
€57.60
Axel Legay & Tiziana Margaria: Tools and Algorithms for the Construction and Analysis of Systems
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place …
EPUB
Inglés
DRM
€57.88
Axel Legay & Tiziana Margaria: Tools and Algorithms for the Construction and Analysis of Systems
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place …
EPUB
Inglés
DRM
€57.76
Susanne Graf & Kim G. Larsen: Models, Mindsets, Meta: The What, the How, and the Why Not?
This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and p …
EPUB
Inglés
DRM
€57.99
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
The four-volume set LNCS 12476 – 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2020, which was planned to take pla …
EPUB
Inglés
DRM
€57.36
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Applications
The three-volume set LNCS 12476 – 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2020, which was planned to take pl …
EPUB
Inglés
DRM
€57.99
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
The three-volume set LNCS 12476 – 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2020, which was planned to take pl …
EPUB
Inglés
DRM
€57.85
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
The three-volume set LNCS 12476 – 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2020, which was planned to take pl …
EPUB
Inglés
DRM
€95.94
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation
This book constitutes contributions of the ISo LA 2021 associated events. Altogether, ISo LA 2021 comprises contributions from the proceedings originally foreseen for ISo LA 2020 collected in 4 volum …
EPUB
Inglés
DRM
€77.50
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2022, which took …
EPUB
Inglés
DRM
€94.48
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2022, which took …
EPUB
Inglés
DRM
€77.33
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2022, which took …
EPUB
Inglés
DRM
€76.55
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Practice
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2022, which took …
EPUB
Inglés
DRM
€70.74
Jan Kofron & Tiziana Margaria: Engineering of Computer-Based Systems
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Vasteras, Sweden, in October 2023. The 11 ful …
EPUB
Inglés
DRM
€64.05
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
The ISo LA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2024, which took place in …
EPUB
Inglés
DRM
€83.28
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
The ISo LA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2024, which took place in …
EPUB
Inglés
DRM
€76.87
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
The ISo LA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2024, which took place in …
EPUB
Inglés
DRM
€83.53
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
The ISo LA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2024, which took place in …
EPUB
Inglés
DRM
€77.10
Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
The ISo LA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2024, which took place in …
EPUB
Inglés
DRM
€57.64
