Skip to main content
SpringerLink
Log in

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

  • Conference proceedings
  • © 2013

Access provided by Autonomous University of Puebla

Download book PDF

Overview

Editors:
  1. Einar Broch Johnsen

    1. Department of Informatics, University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luigia Petre

    1. Department of Information Technologies, Åbo Akademi University, Turku, Finland

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

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

Included in the following conference series:

Conference proceedings info: IFM 2013.

Buy print copy

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

About this book

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013.
The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Similar content being viewed by others

Keywords

Table of contents (29 papers)

  1. Invited Paper 3

    1. Distributed Systems

      1. Quantified Abstractions of Distributed Systems
        • Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
        Pages 285-300
        Download chapter PDF

  2. Invited Paper 4

    1. An Algebraic Theory for Web Service Contracts

      • Cosimo Laneve, Luca Padovani
      Pages 301-315
      Download chapter PDF

    2. Semantics

      1. A Compositional Automata-Based Semantics for Property Patterns
        • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
        Pages 316-330
        Download chapter PDF
      2. A Formal Semantics for Complete UML State Machines with Communications
        • Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa et al.
        Pages 331-346
        Download chapter PDF
      3. From Small-Step Semantics to Big-Step Semantics, Automatically
        • Ştefan Ciobâcă
        Pages 347-361
        Download chapter PDF
      4. Program Equivalence by Circular Reasoning
        • Dorel Lucanu, Vlad Rusu
        Pages 362-377
        Download chapter PDF

    3. System-Level Analysis

      1. Structural Transformations for Data-Enriched Real-Time Systems
        • Ernst-Rüdiger Olderog, Mani Swaminathan
        Pages 378-393
        Download chapter PDF
      2. Deadlock Analysis of Concurrent Objects: Theory and Practice
        • Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
        Pages 394-411
        Download chapter PDF
      3. Broadcast, Denial-of-Service, and Secure Communication
        • Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
        Pages 412-427
        Download chapter PDF
      4. Characterizing Fault-Tolerant Systems by Means of Simulation Relations
        • Ramiro Demasi, Pablo F. Castro, Thomas S. E. Maibaum, Nazareno Aguirre
        Pages 428-442
        Download chapter PDF

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Integrated Formal Methods

Editors and Affiliations

  • Department of Informatics, University of Oslo, Oslo, Norway

    Einar Broch Johnsen

  • Department of Information Technologies, Åbo Akademi University, Turku, Finland

    Luigia Petre

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation