Skip to main content
SpringerLink
Log in
Book cover

Software Engineering and Formal Methods

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Gilles Barthe

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alberto Pardo

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gerardo Schneider

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: SEFM 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Talks

    1. Formal Methods in Energy Informatics

      • Holger Hermanns
      Pages 1-2

    2. Formal Methods as a Link between Software Code and Legal Rules

      • Daniel Le Métayer
      Pages 3-18

    3. Developing Model-Checking Mechanisms for ASSL: An Experience Report

      • Emil Vassev, Mike Hinchey
      Pages 19-34

    4. 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. Verification of B +  Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving

      • Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif
      Pages 188-203

    11. Runtime Verification of Component-Based Systems

      • Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
      Pages 204-220

    12. Translating Alloy Specifications to UML Class Diagrams Annotated with OCL

      • Ana Garis, Alcino Cunha, Daniel Riesco
      Pages 221-236

    13. Safe Distribution of Declarative Processes

      • Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
      Pages 237-252

    14. Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving

      • Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
      Pages 253-268

    15. Hybrid Specification of Reactive Systems: An Institutional Approach

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

Other volumes

  1. Software Engineering and Formal Methods

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation