Table of Contents
|
Formal Techniques for Distributed Objects, Components, and Systems
Erika Ábrahám, Catuscia Palamidessi (Eds.)
|
Front Matter |
Specification Languages and Type Systems
|
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida |
1-16 |
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs
Daniela Remenska, Tim Willemse, Jeff Templon, Kees Verstoep, Henri Bal |
17-32 |
Formal Specification and Verification of CRDTs
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter |
33-48 |
Monitoring and Testing
|
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
49-65 |
Efficient and Generalized Decentralized Monitoring of Regular Languages
Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez |
66-83 |
A Model-Based Certification Framework for the EnergyBus Standard
Alexander Graf-Brill, Holger Hermanns, Hubert Garavel |
84-99 |
Effectiveness for Input Output Conformance Simulation iocos̱
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres |
100-116 |
Security Analysis
|
A Program Logic for Verifying Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Loo |
117-132 |
Verifying Security Policies Using Host Attributes
Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle |
133-148 |
Denial-of-Service Security Attack in the Continuous-Time World
Shuling Wang, Flemming Nielson, Hanne Nielson |
149-165 |
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries
Michele Boreale, Francesca Pampaloni |
166-181 |
Uniform Protection for Multi-exposed Targets
Roberto Vigo, Flemming Nielson, Hanne Nielson |
182-198 |
Metrics for Differential Privacy in Concurrent Systems
Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin |
199-215 |
Bisimulation, Abstraction and Reduction
|
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
Rocco Nicola, Giulio Iacobelli, Mirco Tribastone |
216-231 |
On the Step Branching Time Closure of Free-Choice Petri Nets
Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz |
232-248 |
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances
David Romero-Hernández, David Frutos Escrig |
249-265 |
Mechanizing the Minimization of Deterministic Generalized Büchi Automata
Souheib Baarir and Alexandre Duret-Lutz |
266-283 |
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 González Suárez |
284-299 |
