Tiziana Margaria
Identifiers
- Open LibraryOL3381707A
Top Subjects
- Machine learning (5)
- Robots, programming (5)
- Computer software, verification (4)
- Software engineering (2)
- Computer software, development (1)
- Computer software, quality control (1)
- Web services (1)
Books by Tiziana Margaria
Total count: 27
-
Tools and Algorithms for the Construction and Analysis of Systems7th 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 ProceedingsSpringer London, Limited2003-01-01
-
Correct Hardware Design and Verification Methods11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 ProceedingsSpringer London, Limited2003-01-01
-
Software Process Improvement14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Service-Oriented Computing - ICSOC 20086th International Conference, Sydney, Australia, December 1-5, 2008, ProceedingsSpringer London, Limited2008-01-01
-
Semantic Web Services ChallengeResults from the First YearSpringer London, Limited2008-01-01
-
Leveraging Applications of Formal Methods, Verification and ValidationThird International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, ProceedingsSpringer London, Limited2008-01-01
-
Formal Methods for Industrial Critical SystemsA Survey of ApplicationsIEEE Computer Society Press2012-01-01
-
Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected PapersSpringer2012-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part ISpringer Berlin / Heidelberg2014-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IISpringer Berlin / Heidelberg2014-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part ISpringer2016-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part IISpringer2016-01-01
SOFSEM 2017 : Theory and Practice of Computer Science43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...Springer2017-01-11-
Leveraging Applications of Formal Methods, Verification and Validation. Verification8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IISpringer International Publishing AG2018-01-01
Leveraging Applications of Formal Methods, Verification and Validation. Modeling8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... ISpringer2018-10-29
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice8th International Symposium, ISoLA 2018, Limassol, ...Springer2018-10-30
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems8th International Symposium, ISoLA 2018, Limassol, ...Springer2018-10-31
Models, Mindsets, Meta : The What, the How, and the Why Not?Essays Dedicated to Bernhard Steffen on the Occasion of His 60th BirthdaySpringer2019-06-26-
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IISpringer International Publishing AG2020-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Applications9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IIISpringer International Publishing AG2020-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part ISpringer International Publishing AG2020-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IVSpringer International Publishing AG2021-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IISpringer2022-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Practice11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IVSpringer2022-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IIISpringer2022-01-01
-
Engineering of Computer-Based Systems8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, ProceedingsSpringer2023-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part ISpringer2024-01-01