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 |
