Tiziana Margaria

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 Proceedings

  Springer 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 Proceedings

  Springer London, Limited2003-01-01
• Software Process Improvement14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings

  Springer London, Limited2007-01-01
• Service-Oriented Computing - ICSOC 20086th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

  Springer London, Limited2008-01-01
• Semantic Web Services ChallengeResults from the First Year

  Springer London, Limited2008-01-01
• Leveraging Applications of Formal Methods, Verification and ValidationThird International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

  Springer London, Limited2008-01-01
• Formal Methods for Industrial Critical SystemsA Survey of Applications

  IEEE 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 Papers

  Springer2012-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 I

  Springer 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 II

  Springer 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 I

  Springer2016-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 II

  Springer2016-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 II

  Springer International Publishing AG2018-01-01
• 
  Leveraging Applications of Formal Methods, Verification and Validation. Modeling8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I

  Springer2018-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 Birthday

  Springer2019-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 II

  Springer 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 III

  Springer International Publishing AG2020-01-01
and 7 more