Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540688549, 9783540688556

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An SMT Approach to Bounded Reachability Analysis of Model Programs

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_4 ◽

2008 ◽

pp. 53-68 ◽

Cited By ~ 13

Author(s):

Margus Veanes ◽

Nikolaj Bjørner ◽

Alexander Raschke

Keyword(s):

Reachability Analysis ◽

Model Programs

Download Full-text

An Experimental Evaluation of Probabilistic Simulation

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_3 ◽

2008 ◽

pp. 37-52 ◽

Cited By ~ 2

Author(s):

Jonathan Bogdoll ◽

Holger Hermanns ◽

Lijun Zhang

Keyword(s):

Experimental Evaluation ◽

Probabilistic Simulation

Download Full-text

Timed Mobile Ambients for Network Protocols

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_15 ◽

2008 ◽

pp. 234-250 ◽

Cited By ~ 5

Author(s):

Bogdan Aman ◽

Gabriel Ciobanu

Keyword(s):

Network Protocols ◽

Mobile Ambients

Download Full-text

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

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_20 ◽

2008 ◽

pp. 305-323

Author(s):

Wei Wang ◽

Dongyao Ji

Keyword(s):

Authentication Protocol

Download Full-text

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_18 ◽

2008 ◽

pp. 283-298

Author(s):

David de Frutos Escrig ◽

Miguel Palomino ◽

Ignacio Fábregas

Keyword(s):

Common Framework

Download Full-text

Specifying and Verifying Web Transactions

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_10 ◽

2008 ◽

pp. 149-168 ◽

Cited By ~ 13

Author(s):

Jing Li ◽

Huibiao Zhu ◽

Jifeng He

Keyword(s):

Web Transactions

Download Full-text

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

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_19 ◽

2008 ◽

pp. 299-304 ◽

Cited By ~ 12

Author(s):

Guoqiang Shu ◽

Yating Hsu ◽

David Lee

Keyword(s):

Machine Learning ◽

Communication Protocol ◽

Protocol Security ◽

Fuzz Testing

Download Full-text

Verifying Erlang Telecommunication Systems with the Process Algebra μCRL

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_13 ◽

2008 ◽

pp. 201-217 ◽

Cited By ~ 4

Author(s):

Qiang Guo ◽

John Derrick ◽

Csaba Hoch

Keyword(s):

Process Algebra ◽

Telecommunication Systems

Download Full-text

Protocol Modeling with Model Program Composition

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_21 ◽

2008 ◽

pp. 324-339 ◽

Cited By ~ 3

Author(s):

Margus Veanes ◽

Wolfram Schulte

Keyword(s):

Model Program ◽

Program Composition

Download Full-text

Parameterized Tree Systems

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68855-6_5 ◽

2008 ◽

pp. 69-83 ◽

Cited By ~ 5

Author(s):

Parosh Aziz Abdulla ◽

Noomene Ben Henda ◽

Giorgio Delzanno ◽

Frédéric Haziza ◽

Ahmed Rezine

Download Full-text

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An SMT Approach to Bounded Reachability Analysis of Model Programs

An Experimental Evaluation of Probabilistic Simulation

Timed Mobile Ambients for Network Protocols

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

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations

Specifying and Verifying Web Transactions

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

Verifying Erlang Telecommunication Systems with the Process Algebra μCRL

Protocol Modeling with Model Program Composition

Parameterized Tree Systems

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Lecture Notes in Computer Science
Latest Publications