Full Text Documents

Search


Table of Contents
Formal Techniques for Distributed Systems
John Hatcliff, Elena Zucca
Front Matter

Invited Talk


Formal Software Verification: How Close Are We?
Gerard Holzmann
1

Formal UML Modeling


Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
Artur Boronat, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Generoso Paolillo
2-16
Reactive Semantics for Distributed UML Activities
Frank Alexander Kraemer, Peter Herrmann
17-31

Components and Architecture


Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
32-46
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
Peter Csaba Ölveczky, Artur Boronat, José Meseguer
47-62
Testing Probabilistic Distributed Systems
Robert M. Hierons, Manuel Núñez
63-77
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs
Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
78-86
Testing Attribute-Based Transactions in SOC
Laura Bocchi, Emilio Tuosto
87-94

Joint DisCoTec Session


Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
95-109

Timed Process Algebra


Forgetting the Time in Timed Process Algebra
Anton Wijs
110-124
Theory and Implementation of a Real-Time Extension to the π-Calculus
Ernesto Posse, Juergen Dingel
125-139

Timed and Hybrid Automata


Fuzzy-Timed Automata
F. Javier Crespo, Alberto Encina, Luis Llana
140-154
Model Checking of Hybrid Systems Using Shallow Synchronization
Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
155-169

Program Logics and Analysis


Heap-Dependent Expressions in Separation Logic
Jan Smans, Bart Jacobs, Frank Piessens
170-185
Static Type Analysis of Pattern Matching by Abstract Interpretation
Pietro Ferrara
186-200

Reasoning about Distributed Systems


On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols
Yongyuth Permpoontanalarp
201-215
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Péter Bokor, Marco Serafini, Neeraj Suri
216-223
Logics for Contravariant Simulations
Ignacio Fábregas, David Frutos Escrig, Miguel Palomino
224-231