Leveraging Applications of Formal Methods

isola-conference.org

ISoLA 2018: Limassol, Cyprus

• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Lecture Notes in Computer Science 11244, Springer 2018, ISBN 978-3-030-03417-7 [contents]
• 
  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. Lecture Notes in Computer Science 11245, Springer 2018, ISBN 978-3-030-03420-7 [contents]
• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Lecture Notes in Computer Science 11246, Springer 2018, ISBN 978-3-030-03423-8 [contents]
• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Lecture Notes in Computer Science 11247, Springer 2018, ISBN 978-3-030-03426-9 [contents]

ISoLA 2016: Corfu, Greece

• 
  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. Lecture Notes in Computer Science 9952, 2016, ISBN 978-3-319-47165-5 [contents]
• 
  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. Lecture Notes in Computer Science 9953, 2016, ISBN 978-3-319-47168-6 [contents]

ISoLA 2014: Corfu, Greece

• 
  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. Lecture Notes in Computer Science 8802, Springer 2014, ISBN 978-3-662-45233-2 [contents]
• 
  Tiziana Margaria, Bernhard Steffen:
  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. Lecture Notes in Computer Science 8803, Springer 2014, ISBN 978-3-662-45230-1 [contents]
• 
  Anna-Lena Lamprecht:
  Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers. Communications in Computer and Information Science 683, Springer 2016, ISBN 978-3-319-51640-0 [contents]

ISoLA 2012: Heraklion, Crete, Greece

• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Lecture Notes in Computer Science 7609, Springer 2012, ISBN 978-3-642-34025-3 [contents]
• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Lecture Notes in Computer Science 7610, Springer 2012, ISBN 978-3-642-34031-4 [contents]

ISoLA Workshops 2011: Vienna, Austria

• 
  Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers. Communications in Computer and Information Science 336, Springer 2012, ISBN 978-3-642-34780-1 [contents]

ISoLA 2010: Heraklion, Crete, Greece

• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6415, Springer 2010, ISBN 978-3-642-16557-3 [contents]
• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6416, Springer 2010, ISBN 978-3-642-16560-3 [contents]

ISoLA 2008: Porto Sani, Greece

• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Communications in Computer and Information Science 17, Springer 2008, ISBN 978-3-540-88478-1 [contents]

ISoLA 2008 Home Page

ISoLA 2007: Poitiers-Futuroscope, France

• 
  Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels:
  ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Revue des Nouvelles Technologies de l'Information RNTI-SM-1, Cépaduès-Éditions 2007, ISBN 978-2-85428-814-8 [contents]

ISoLA 2007 Home Page

ISoLA 2006: Paphos, Cyprus

• 
  Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. IEEE Computer Society 2006, ISBN 978-0-7695-3071-0 [contents]

ISoLA 2005: Columbia, MD, USA

Proceedings: STTT 11(3)

ISoLA 2004: Paphos, Cyprus

• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4313, Springer 2006, ISBN 3-540-48928-2 [contents]
• 
  Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß:
  International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Technical Report TR-2004-6, Department of Computer Science, University of Cyprus 2004 [contents]