Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/