IFIP TC6 Open Digital Library

28. FORTE 2008: Tokyo, Japan

Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

Springer, Lecture Notes in Computer Science 5048, ISBN: 978-3-540-68854-9


Invited Talk

Model Generation for Horn Logic with Stratified Negation.

Ethan K. Jackson, Wolfram Schulte



Counterexample Guided Spotlight Abstraction Refinement.

Tobe Toben


An Experimental Evaluation of Probabilistic Simulation.

Jonathan Bogdoll, Holger Hermanns, Lijun Zhang 0001


An SMT Approach to Bounded Reachability Analysis of Model Programs.

Margus Veanes, Nikolaj Bjørner, Alexander Raschke



Parameterized Tree Systems.

Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine


Adapting Petri Nets Reductions to Promela Specifications.

Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau


Verification of a Hierarchical Generic Mutual Exclusion Algorithm.

Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry


Specification Framework I

Distributed Semantics and Implementation for Systems with Interaction and Priority.

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis


Checking Correctness of Transactional Behaviors.

Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo


Specifying and Verifying Web Transactions.

Jing Li, Huibiao Zhu, Jifeng He



Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.

Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch


Program Repair Suggestions from Graphical State-Transition Specifications.

Farn Wang, Chih-Hong Cheng


Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.

Qiang Guo, John Derrick, Csaba Hoch


Specification Framework II

NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.

Christian Webel, Reinhard Gotzhein, Joachim Nicolay


Timed Mobile Ambients for Network Protocols.

Bogdan Aman, Gabriel Ciobanu


A Specification Framework for Earth-Friendly Logistics.

Ichiro Satoh



A Hierarchy of Equivalences for Probabilistic Processes.

Manuel Núñez, Luis Fernando Llana Díaz


Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.

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


Reliability of Networked Systems

Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.

Guoqiang Shu, Yating Hsu, David Lee


Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.

Wei Wang, Dongyao Ji


Protocol Modeling with Model Program Composition.

Margus Veanes, Wolfram Schulte