Tiziana Margaria | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Tiziana Margaria | lit.salon

Tiziana Margaria

No bio available. Add one in Open Library.

Books by Tiziana Margaria (50 max)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

2008

Tiziana Margaria, Bernhard Steffen

Formal Methods for Industrial Critical Systems A Survey of Applications

2012

Stefania Gnesi, Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

2003

Axel Legay, Tiziana Margaria

Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)

2008

Charles Petrie, Holger Lausen, Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2014

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2014

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2016

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2016

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

2020

Tiziana Margaria, Bernhard Steffen

Correct Hardware Design and Verification Methods 11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

2003

Tiziana Margaria, Tom Melham

Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

2008

Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria

Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings

2008

Tiziana Margaria

SOFSEM 2017 : Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...

2017

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I

2018

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2018

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, ...

2018

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, ...

2018

Tiziana Margaria, Bernhard Steffen

Models, Mindsets, Meta : The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2019

Tiziana Margaria, Susanne Graf, Kim G. Larsen

Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

2020

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

2020

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

2021

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Practice 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IV

2022

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part III

2022

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part II

2022

Tiziana Margaria, Bernhard Steffen

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

2023

Jan Kofroň, Tiziana Margaria, Cristina Seceleanu

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

2024

Tiziana Margaria, Bernhard Steffen