IFIP TC6 Open Digital Library

30. FORTE / 12. FMOODS 2010: Amsterdam, The Netherlands

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


Invited Talk

Formal Software Verification: How Close Are We?

Gerard J. Holzmann


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


Reactive Semantics for Distributed UML Activities.

Frank Alexander Kraemer, Peter Herrmann


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


Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.

Peter Csaba Ölveczky, Artur Boronat, José Meseguer


Testing Probabilistic Distributed Systems.

Robert M. Hierons, Manuel Núñez


Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.

Juan José Pardo, Manuel Núñez, M. Carmen Ruiz


Testing Attribute-Based Transactions in SOC.

Laura Bocchi, Emilio Tuosto


Joint DisCoTec Session

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham


Timed Process Algebra

Forgetting the Time in Timed Process Algebra.

Anton Wijs


Theory and Implementation of a Real-Time Extension to the pi-Calculus.

Ernesto Posse, Jürgen Dingel


Timed and Hybrid Automata

Fuzzy-Timed Automata.

F. Javier Crespo, Alberto de la Encina, Luis Llana


Model Checking of Hybrid Systems Using Shallow Synchronization.

Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta


Program Logics and Analysis

Heap-Dependent Expressions in Separation Logic.

Jan Smans, Bart Jacobs 0002, Frank Piessens


Static Type Analysis of Pattern Matching by Abstract Interpretation.

Pietro Ferrara


Reasoning about Distributed Systems

On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols.

Yongyuth Permpoontanalarp


On Efficient Models for Model Checking Message-Passing Distributed Protocols.

Péter Bokor, Marco Serafini, Neeraj Suri


Logics for Contravariant Simulations.

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino