Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

  • Einar Broch Johnsen
  • Luigia Petre
Conference proceedings IFM 2013

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

Table of contents

  1. Front Matter
  2. Invited Paper 1

    1. Refinement, Integration, Translation

      1. Simon Hudon, Thai Son Hoang
        Pages 16-30
      2. Kenneth Lausdahl
        Pages 46-60
      3. Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
        Pages 61-76
  3. Invited Paper 2

    1. Verification

      1. Murat Moran, James Heather, Steve Schneider
        Pages 94-108
      2. Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
        Pages 109-123
      3. Frédéric Gava, Jean Fortin, Michael Guedj
        Pages 124-138
      4. Daisuke Ishii, Guillaume Melquiond, Shin Nakajima
        Pages 139-153
  4. Invited Paper 3

    1. Kim Guldstrand Larsen
      Pages 154-161
    2. Reachability and Model Checking

      1. Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
        Pages 162-176
      2. Andreas Morgenstern, Manuel Gesell, Klaus Schneider
        Pages 177-191
      3. Fu Song, Tayssir Touili
        Pages 192-207
      4. Dominique Méry, Michael Poppleton
        Pages 208-222
    3. Usability and Testing

      1. Aymerick Savary, Marc Frappier, Jean-Louis Lanet
        Pages 223-237
      2. Rimvydas Rukšėnas, Paul Curzon, Michael D. Harrison
        Pages 238-252
      3. Ramsay Taylor, Kirill Bogdanov, John Derrick
        Pages 253-267
    4. Distributed Systems

      1. Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
        Pages 268-284
      2. Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
        Pages 285-300
  5. Invited Paper 4

    1. Cosimo Laneve, Luca Padovani
      Pages 301-315
    2. Semantics

      1. Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
        Pages 316-330
      2. Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa et al.
        Pages 331-346
      3. Dorel Lucanu, Vlad Rusu
        Pages 362-377
    3. System-Level Analysis

      1. Ernst-Rüdiger Olderog, Mani Swaminathan
        Pages 378-393
      2. Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
        Pages 394-411
      3. Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
        Pages 412-427
      4. Ramiro Demasi, Pablo F. Castro, Thomas S. E. Maibaum, Nazareno Aguirre
        Pages 428-442
  6. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013.
The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.


complex systems distributed algorithms hybrid automata model-based testing state machines

Editors and affiliations

  • Einar Broch Johnsen
    • 1
  • Luigia Petre
    • 2
  1. 1.Department of InformaticsUniversity of OsloOsloNorway
  2. 2.Department of Information TechnologiesÅbo Akademi UniversityTurkuFinland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38612-1
  • Online ISBN 978-3-642-38613-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment