Skip to Main content Skip to Navigation
   


Full Text Documents

18

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