Software Engineering and Formal Methods

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

  • Gilles Barthe
  • Alberto Pardo
  • Gerardo Schneider
Conference proceedings SEFM 2011

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

Table of contents

  1. Front Matter
  2. Keynote Talks

  3. Regular Papers

    1. Imene Ben-Hafaiedh, Susanne Graf, Nejla Mazouz
      Pages 38-57
    2. Jan Olaf Blech, Sidi Ould Biha
      Pages 58-73
    3. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola et al.
      Pages 74-89
    4. Richard Bubel, Reiner Hähnle, Ulrich Geilmann
      Pages 90-105
    5. Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre
      Pages 106-121
    6. Juan Manuel Crespo, César Kunz
      Pages 122-137
    7. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias
      Pages 138-154
    8. Edsko de Vries, Vasileios Koutavas
      Pages 155-171
    9. Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle
      Pages 172-187
    10. Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
      Pages 204-220
    11. Ana Garis, Alcino Cunha, Daniel Riesco
      Pages 221-236
    12. Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
      Pages 237-252
    13. Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
      Pages 253-268
    14. Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís S. Barbosa
      Pages 269-285
    15. Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar
      Pages 286-301
    16. Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer
      Pages 302-317
    17. Radu Muschevici, José Proença, Dave Clarke
      Pages 318-333
    18. Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
      Pages 334-349
    19. Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
      Pages 350-365
    20. Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
      Pages 366-381
    21. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
      Pages 382-398
  4. Short Papers

  5. Tool Papers

    1. Claire Le Goues, K. Rustan M. Leino, Michał Moskal
      Pages 407-414
    2. Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
      Pages 415-430
  6. Special Track: “Modelling for Sustainable Development”

  7. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011.
The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.


agent-based modeling distributed systems model checking software product lines unified modeling language

Editors and affiliations

  • Gilles Barthe
    • 1
  • Alberto Pardo
    • 2
  • Gerardo Schneider
    • 3
  1. 1.Fundación IMDEA SoftwareFacultad de Informatica (UPM)Boadilla del MonteSpain
  2. 2.Instituto de ComputaciónUniversidad de la República, Facultad de IngenieríaMontevideoUruguay
  3. 3.Department of Computer Science and EngineeringChalmers | University of GothenburgGothenburgSweden

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-24689-0
  • Online ISBN 978-3-642-24690-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site