Skip to main content
  • Conference proceedings
  • © 2011

Software Engineering and Formal Methods

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

  • Fast track conference proceedings

  • Unique visibility

  • State of the art research

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): SEFM: International Conference on Software Engineering and Formal Methods

Conference proceedings info: SEFM 2011.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (34 papers)

  1. Front Matter

  2. Keynote Talks

    1. Formal Methods in Energy Informatics

      • Holger Hermanns
      Pages 1-2
    2. Models and Communication in the Policy Process

      • Matteo Pedercini
      Pages 35-37
  3. Regular Papers

    1. Distributed Implementation of Systems with Multiparty Interactions and Priorities

      • Imene Ben-Hafaiedh, Susanne Graf, Nejla Mazouz
      Pages 38-57
    2. Verification of PLC Properties Based on Formal Semantics in Coq

      • Jan Olaf Blech, Sidi Ould Biha
      Pages 58-73
    3. Broadcast Psi-calculi with an Application to Wireless Protocols

      • Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola et al.
      Pages 74-89
    4. A Formalisation of Java Strings for Program Specification and Verification

      • Richard Bubel, Reiner Hähnle, Ulrich Geilmann
      Pages 90-105
    5. dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification

      • Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre
      Pages 106-121
    6. A Machine-Checked Framework for Relational Separation Logic

      • Juan Manuel Crespo, César Kunz
      Pages 122-137
    7. A Dataflow Analysis to Improve SAT-Based Bounded Program Verification

      • Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias
      Pages 138-154
    8. Reverse Hoare Logic

      • Edsko de Vries, Vasileios Koutavas
      Pages 155-171
    9. Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

      • Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle
      Pages 172-187
    10. Runtime Verification of Component-Based Systems

      • Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
      Pages 204-220
    11. Translating Alloy Specifications to UML Class Diagrams Annotated with OCL

      • Ana Garis, Alcino Cunha, Daniel Riesco
      Pages 221-236
    12. Safe Distribution of Declarative Processes

      • Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
      Pages 237-252
    13. Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving

      • Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
      Pages 253-268
    14. Hybrid Specification of Reactive Systems: An Institutional Approach

      • Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís S. Barbosa
      Pages 269-285

Other Volumes

  1. Software Engineering and Formal Methods

About this book

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.

Keywords

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

Editors and Affiliations

  • Fundación IMDEA Software, Facultad de Informatica (UPM), Boadilla del Monte, Spain

    Gilles Barthe

  • Instituto de Computación, Universidad de la República, Facultad de Ingeniería, Montevideo, Uruguay

    Alberto Pardo

  • Department of Computer Science and Engineering, Chalmers | University of Gothenburg, Gothenburg, Sweden

    Gerardo Schneider

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions