Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

  • Karin Breitman
  • Ana Cavalcanti
Conference proceedings ICFEM 2009

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Testing I

    1. Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
      Pages 49-68
    2. Svetoslav Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry
      Pages 69-87
    3. Junaid Haroon Siddiqui, Sarfraz Khurshid
      Pages 88-106
  4. Protocols

    1. Xihui Chen, Ton van Deursen, Jun Pang
      Pages 107-126
    2. Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo
      Pages 127-146
    3. Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
      Pages 147-166
  5. Testing II

    1. Maximiliano Cristiá, Pablo Rodríguez Monetti
      Pages 167-185
    2. Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana Cavalli
      Pages 186-205
    3. Bernhard K. Aichernig, Harald Brandl, Willibald Krenn
      Pages 206-225
  6. Verification

    1. Paul Taverne, C. (Kees) Pronk
      Pages 226-245
    2. André Platzer, Jan-David Quesel
      Pages 246-265
    3. David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael Whalen
      Pages 266-285
  7. Model Checking I

    1. Alessandro Ferrante, Margherita Napoli, Mimmo Parente
      Pages 306-325
    2. Samik Basu, Arka P. Ghosh, Ru He
      Pages 326-346
  8. Object-Orientation

    1. Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
      Pages 347-366
    2. Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi
      Pages 367-386
  9. Model checking II

  10. Event-B

    1. Paulo J. Matos, Bernd Fischer, João Marques-Silva
      Pages 485-503
    2. Jens Bendisposto, Michael Leuschel
      Pages 504-520
  11. Compilation

    1. Nassima Izerrouken, Marc Pantel, Xavier Thirioux
      Pages 521-540
    2. Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet
      Pages 541-560
  12. Process Algebra

    1. Antti Siirtola, Juha Kortelainen
      Pages 561-580
    2. Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang
      Pages 581-600
  13. Refinement

    1. Fernando L. Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky
      Pages 601-619
    2. Thomas Ruhroth, Heike Wehrheim
      Pages 620-638
  14. Algebraic Specifications

    1. Dorel Lucanu, Grigore Roşu
      Pages 639-659
    2. Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
      Pages 660-678
  15. Real-Time Systems

    1. Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
      Pages 679-697
    2. Joakim Byg, Kenneth Yrke Jørgensen, Jiří Srba
      Pages 698-716
    3. Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis
      Pages 717-736
    4. Germán Regis, Nazareno Aguirre, Tom Maibaum
      Pages 737-756
  16. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.

The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.


B-Method CSP Coq certification dependable systems design patterns event-B fault tolerance formal methods formal software development formal specification formal verification hybrid systems software engineering verification

Editors and affiliations

  • Karin Breitman
    • 1
  • Ana Cavalcanti
    • 2
  1. 1.Coordenadora da Engenharia de Computação, Diretora de Publicações da SBC, Depto. Informáticaontifícia Universidade Católica do Rio de Janeiro, ,Rio de Jan 
  2. 2.Department of Computer ScienceUniversity of York, ,YorkUK,

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-10372-8
  • Online ISBN 978-3-642-10373-5
  • 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