Integrated Formal Methods (IFM)
13th IFM 2017: Torino, Italy
- Nadia Polikarpova, Steve Schneider:
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science 10510, Springer 2017, ISBN 978-3-319-66844-4 [contents] - Adrian Francalanza, Gordon J. Pace:
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents] - Lukas Bulwahn, Maryam Kamali, Sven Linker:
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017. EPTCS 257, 2017 [contents] - Danilo Pianini, Guido Salvaneschi:
Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017. EPTCS 264, 2018 [contents]
12th IFM 2016: Reykjavik, Iceland
- Erika Ábrahám, Marieke Huisman:
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science 9681, Springer 2016, ISBN 978-3-319-33692-3 [contents] - Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir:
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. EPTCS 208, 2016 [contents] - Razieh Behjati, Ahmed Elmokashfi:
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016. EPTCS 228, 2016 [contents] - Mehdi Kargahi, Ashutosh Trivedi:
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016. EPTCS 232, 2016 [contents]
11th IFM 2014: Bertinoro, Italy
- Elvira Albert, Emil Sekerinski:
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science 8739, Springer 2014, ISBN 978-3-319-10180-4 [contents]
10th IFM 2013: Turku, Finland
- Einar Broch Johnsen, Luigia Petre:
Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7940, Springer 2013, ISBN 978-3-642-38612-1 [contents] - John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents]
9th IFM 2012: Pisa, Italy
- John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne:
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7321, Springer 2012, ISBN 978-3-642-30728-7 [contents]
8th IFM 2010: Nancy, France
- Dominique Méry, Stephan Merz:
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science 6396, Springer 2010, ISBN 978-3-642-16264-0 [contents]
7th IFM 2009: Düsseldorf, Germany
- Michael Leuschel, Heike Wehrheim:
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science 5423, Springer 2009, ISBN 978-3-642-00254-0 [contents]
6th IFM 2007: Oxford, UK
- Jim Davies, Jeremy Gibbons:
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4591, Springer 2007, ISBN 978-3-540-73209-9 [contents]
5th IFM 2005: Eindhoven, The Netherlands
- Judi Romijn, Graeme Smith, Jaco van de Pol:
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Lecture Notes in Computer Science 3771, Springer 2005, ISBN 3-540-30492-4 [contents]
4th IFM 2004: Canterbury, Kent, England
- Eerke A. Boiten, John Derrick, Graeme Smith:
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999, Springer 2004, ISBN 3-540-21377-5 [contents]
3rd IFM 2002: Turku, Finland
- Michael J. Butler, Luigia Petre, Kaisa Sere:
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Lecture Notes in Computer Science 2335, Springer 2002, ISBN 3-540-43703-7 [contents]
2nd IFM 2000: Dagstuhl Castle, Germany
- Wolfgang Grieskamp, Thomas Santen, Bill Stoddart:
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Lecture Notes in Computer Science 1945, Springer 2000, ISBN 3-540-41196-8 [contents]
1st IFM 1999: York, UK
- Keijiro Araki, Andy Galloway, Kenji Taguchi:
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999. Springer 1999, ISBN 1-85233-107-0 [contents]