Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques for Distributed Objects, Components, and Systems

39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Jorge A. Pérez

    1. University of Groningen, Groningen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nobuko Yoshida

    1. Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FORTE 2019.

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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 (18 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Full Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Psi-Calculi Revisited: Connectivity and Compositionality

      • Johannes Åman Pohjola
      Pages 3-20

    3. Squeezing Streams and Composition of Self-stabilizing Algorithms

      • Karine Altisen, Pierre Corbineau, Stéphane Devismes
      Pages 21-38

    4. Parametric Updates in Parametric Timed Automata

      • Étienne André, Didier Lime, Mathias Ramparison
      Pages 39-56

    5. Parametric Statistical Model Checking of UAV Flight Plan

      • Ran Bao, Christian Attiogbe, Benoît Delahaye, Paulin Fournier, Didier Lime
      Pages 57-74

    6. Only Connect, Securely

      • Chandrika Bhardwaj, Sanjiva Prasad
      Pages 75-92

    7. Output-Sensitive Information Flow Analysis

      • Cristian Ene, Laurent Mounier, Marie-Laure Potet
      Pages 93-110

    8. Component-aware Input-Output Conformance

      • Alexander Graf-Brill, Holger Hermanns
      Pages 111-128

    9. Declarative Choreographies and Liveness

      • Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
      Pages 129-147

    10. Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes

      • Jannik Hüls, Anne Remke
      Pages 148-166

    11. Causal-Consistent Replay Debugging for Message Passing Programs

      • Ivan Lanese, Adrián Palacios, Germán Vidal
      Pages 167-184

    12. Correct and Efficient Antichain Algorithms for Refinement Checking

      • Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
      Pages 185-203

    13. Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification

      • Diego Marmsoler
      Pages 204-223

    14. Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

      • The Anh Pham, Thierry Jéron, Martin Quinson
      Pages 224-241

    15. Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

      • Jean-Bernard Stefani, Martin Vassor
      Pages 242-260

    16. Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

      • Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
      Pages 261-277

  3. Short and “Journal First” Papers

    1. Front Matter

      Pages 279-279
      Download chapter PDF

    2. On Certifying Distributed Algorithms: Problem of Local Correctness

      • Kim Völlinger
      Pages 281-288

    3. On a Higher-Order Calculus of Computational Fields

      • Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
      Pages 289-292
Back to top

Other volumes

  1. Formal Techniques for Distributed Objects, Components, and Systems

Keywords

About this book

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.

The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Editors and Affiliations

  • University of Groningen, Groningen, The Netherlands

    Jorge A. Pérez

  • Imperial College London, London, UK

    Nobuko Yoshida

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation