28. FORTE 2008: Tokyo, Japan

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5048 Springer 2008, ISBN 978-3-540-68854-9

Invited Talk

Ethan K. Jackson, Wolfram Schulte:
Model Generation for Horn Logic with Stratified Negation. 1-20

Abstraction

Tobe Toben:
Counterexample Guided Spotlight Abstraction Refinement. 21-36
Jonathan Bogdoll, Holger Hermanns, Lijun Zhang:
An Experimental Evaluation of Probabilistic Simulation. 37-52
Margus Veanes, Nikolaj Bjørner, Alexander Raschke:
An SMT Approach to Bounded Reachability Analysis of Model Programs. 53-68

Verification

Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine:
Parameterized Tree Systems. 69-83
Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau:
Adapting Petri Nets Reductions to Promela Specifications. 84-98
Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry:
Verification of a Hierarchical Generic Mutual Exclusion Algorithm. 99-115

Specification Framework I

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis:
Distributed Semantics and Implementation for Systems with Interaction and Priority. 116-133
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Checking Correctness of Transactional Behaviors. 134-148
Jing Li, Huibiao Zhu, Jifeng He:
Specifying and Verifying Web Transactions. 149-168

Application

Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch:
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. 169-184
Farn Wang, Chih-Hong Cheng:
Program Repair Suggestions from Graphical State-Transition Specifications. 185-200
Qiang Guo, John Derrick, Csaba Hoch:
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. 201-217

Specification Framework II

Christian Webel, Reinhard Gotzhein, Joachim Nicolay:
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. 218-233
Bogdan Aman, Gabriel Ciobanu:
Timed Mobile Ambients for Network Protocols. 234-250
Ichiro Satoh:
A Specification Framework for Earth-Friendly Logistics. 251-266

Theory

Manuel Núñez, Luis Fernando Llana Díaz:
A Hierarchy of Equivalences for Probabilistic Processes. 267-282
David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas:
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. 283-298

Reliability of Networked Systems

Guoqiang Shu, Yating Hsu, David Lee:
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. 299-304
Wei Wang, Dongyao Ji:
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. 305-323
Margus Veanes, Wolfram Schulte:
Protocol Modeling with Model Program Composition. 324-339

Last update Sat May 18 09:19:02 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page