Limit search to available items
Book Cover
E-book
Author International Conference on Formal Methods for Open Object-Based Distributed Systems (15th : 2013 : Florence, Italy)

Title Formal techniques for distributed systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings / Dirk Beyer, Michele Boreale (eds.)
Published Heidelberg ; New York : Springer, [2013]
©2013
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xiii, 320 pages) : illustrations (black and white)
Series Lecture notes in computer science ; 7892
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7892
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Invited Talk. Analyzing Interactions of Asynchronously Communicating Software Components / Tevfik Bultan -- Session 1: Verification. Formal Analysis of a Distributed Algorithm for Tracking Progress / Martín Abadi [and others] -- A Case Study in Formal Verification Using Multiple Explicit Heaps / Wojciech Mostowski -- Parameterized Verification of Track Topology Aggregation Protocols / Sergio Feo-Arenis, Bernd Westphal -- Session 2: Types. Monitoring Networks through Multiparty Session Types / Laura Bocchi [and others] -- Semantic Subtyping for Objects and Classes / Ornela Dardha, Daniele Gorla, Daniele Varacca -- Polymorphic Types for Leak Detection in a Session-Oriented Functional Language / Viviana Bono, Luca Padovani, Andrea Tosatto -- Session 3: Testing. Passive Testing with Asynchronous Communications / Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez -- Input-Output Conformance Simulation (iocos) for Model Based Testing / Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres -- Session 4: DisCoTec Joint Session. Model Checking Distributed Systems against Temporal-Epistemic Specifications / Andreas Griesmayer, Alessio Lomuscio -- Session 5: Model Checking. Formal Verification of Distributed Branching Multiway Synchronization Protocols / Hugues Evrard, Frédéric Lang -- An Abstract Framework for Deadlock Prevention in BIP / Paul C. Attie [and others] -- Bounded Model Checking of Graph Transformation Systems via SMT Solving / Tobias Isenberg, Dominik Steenken, Heike Wehrheim -- Session 6: Automata. Verification of Directed Acyclic Ad Hoc Networks / Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine -- Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels / Jay Thakkar, Aditya Kanade, Rajeev Alur -- Asynchronously Communicating Visibly Pushdown Systems / Domagoj Babić, Zvonimir Rakamarić -- Session 7: Distribution and Concurrency. A Timed Component Algebra for Services / Benoît Delahaye [and others] -- Probabilistic Analysis of the Quality Calculus / Hanne Riis Nielson, Flemming Nielson -- May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects / Antonio E. Flores-Montoya, Elvira Albert, Samir Genaim -- Session 8: Security. Lintent: Towards Security Type-Checking of Android Applications / Michele Bugliesi, Stefano Calzavara, Alvise Spanò -- Honesty by Typing / Massimo Bartoletti [and others]
Summary This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability
Notes International conference proceedings
Print version record
Subject Electronic data processing -- Distributed processing -- Congresses.
Formal methods (Computer science) -- Congresses.
Electronic Data Processing.
Computing Methodologies.
Genre/Form Congress.
Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Beyer, Dirk, 1972- editor
Boreale, Michele, editor
FORTE (Conference) (33rd : 2013 : Florence, Italy)
International Federated Conferences on Distributed Computing Techniques (8th : 2013 : Florence, Italy)
ISBN 9783642385926 (electronic bk.)
3642385923 (electronic bk.)
Other Titles FMOODS/FORTE 2013
DisCoTec 2013