Skip to main content
SpringerLink
Log in

Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Erika Ábrahám

    1. Informatik 2, RWTH Aachen University, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Catuscia Palamidessi

    1. Inria, Bâtiment Alan Turing, Campus de l’École Polytechnique, Palaiseau, France

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

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

Included in the following conference series:

Conference proceedings info: FORTE 2014.

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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Specification Languages and Type Systems

    1. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

      • Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida
      Pages 1-16

    2. Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs

      • Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri Bal
      Pages 17-32

    3. Formal Specification and Verification of CRDTs

      • Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
      Pages 33-48

  3. Monitoring and Testing

    1. Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing

      • Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
      Pages 49-65

    2. Efficient and Generalized Decentralized Monitoring of Regular Languages

      • Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez
      Pages 66-83

    3. A Model-Based Certification Framework for the EnergyBus Standard

      • Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
      Pages 84-99

    4. Effectiveness for Input Output Conformance Simulation iocos̱

      • Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
      Pages 100-116

  4. Security Analysis

    1. A Program Logic for Verifying Secure Routing Protocols

      • Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
      Pages 117-132

    2. Verifying Security Policies Using Host Attributes

      • Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle
      Pages 133-148

    3. Denial-of-Service Security Attack in the Continuous-Time World

      • Shuling Wang, Flemming Nielson, Hanne Riis Nielson
      Pages 149-165

    4. Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries

      • Michele Boreale, Francesca Pampaloni
      Pages 166-181

    5. Uniform Protection for Multi-exposed Targets

      • Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
      Pages 182-198

    6. Metrics for Differential Privacy in Concurrent Systems

      • Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin
      Pages 199-215

  5. Bisimulation, Abstraction and Reduction

    1. Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction

      • Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone
      Pages 216-231

    2. On the Step Branching Time Closure of Free-Choice Petri Nets

      • Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz
      Pages 232-248

    3. Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

      • David Romero-Hernández, David de Frutos Escrig
      Pages 249-265

    4. Mechanizing the Minimization of Deterministic Generalized Büchi Automata

      • Souheib Baarir, Alexandre Duret-Lutz
      Pages 266-283

    5. Formal Verification of Complex Properties on PLC Programs

      • Dániel Darvas, Borja Fernández Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez
      Pages 284-299

  6. Back Matter

    Download chapter PDF
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 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.

Editors and Affiliations

  • Informatik 2, RWTH Aachen University, Aachen, Germany

    Erika Ábrahám

  • Inria, Bâtiment Alan Turing, Campus de l’École Polytechnique, Palaiseau, France

    Catuscia Palamidessi

Bibliographic Information

  • Book Title: Formal Techniques for Distributed Objects, Components, and Systems

  • Book Subtitle: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

  • Editors: Erika Ábrahám, Catuscia Palamidessi

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-662-43613-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2014

  • Softcover ISBN: 978-3-662-43612-7Published: 21 May 2014

  • eBook ISBN: 978-3-662-43613-4Published: 20 May 2014

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 301

  • Number of Illustrations: 75 b/w illustrations

  • Topics: Logics and Meanings of Programs, Software Engineering, Computation by Abstract Devices, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation