Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
John Hatcliff, Elena Zucca
Springer, Lecture Notes in Computer Science 6117, ISBN: 978-3-642-13463-0
Contents
Invited Talk
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
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
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.
Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
78-86
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
Theory and Implementation of a Real-Time Extension to the pi-Calculus.
Ernesto Posse, Jürgen Dingel
125-139
Timed and Hybrid Automata
Model Checking of Hybrid Systems Using Shallow Synchronization.
Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
155-169
Program Logics and Analysis
Reasoning about Distributed Systems
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 de Frutos-Escrig, Miguel Palomino
224-231