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 BibTeX

Invited Talk

Ethan K. Jackson, Wolfram Schulte:
Model Generation for Horn Logic with Stratified Negation. 1-20
Electronic Edition (link) BibTeX

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

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

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

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

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

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