© 2012

Integrated Formal Methods

9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

  • John Derrick
  • Stefania Gnesi
  • Diego Latella
  • Helen Treharne
Conference proceedings IFM 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)

Table of contents

  1. Front Matter
  2. Egon Börger, Antonio Cisternino, Vincenzo Gervasi
    Pages 1-20
  3. Dominik Hansen, Michael Leuschel
    Pages 24-38
  4. Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach
    Pages 54-68
  5. Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
    Pages 69-83
  6. Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram
    Pages 84-98
  7. Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson
    Pages 99-112
  8. Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
    Pages 113-127
  9. Herbert Rocha, Raimundo Barreto, Lucas Cordeiro, Arilo Dias Neto
    Pages 128-142
  10. Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
    Pages 143-157
  11. Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi
    Pages 158-173
  12. Leonard Lensink, Sjaak Smetsers, Marko van Eekelen
    Pages 174-190
  13. Riccardo Bresciani, Andrew Butterfield
    Pages 191-205
  14. HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser
    Pages 206-220
  15. Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
    Pages 221-236
  16. Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
    Pages 237-252
  17. Jasen Markovski, Dirk A. van Beek, Jos Baeten
    Pages 253-267
  18. Jozef Hooman, Arjan J. Mooij, Hans van Wezep
    Pages 268-282

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.


B-method compliance checking hybrid methods model checking runtime model generation

Editors and affiliations

  • John Derrick
    • 1
  • Stefania Gnesi
    • 2
  • Diego Latella
    • 2
  • Helen Treharne
    • 3
  1. 1.Department of Computer ScienceUniversity of SheffieldSheffieldUK
  2. 2.Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”PisaItaly
  3. 3.Department of ComputingUniversity of SurreySurreyUK

Bibliographic information