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
|
|
Electronic data processing -- Distributed processing
|
|
Formal methods (Computer science)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
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 |
|
3642385923 |
|