© 2011

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

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

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment