Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540712084, 9783540712091

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Counterexamples in Probabilistic Model Checking

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_8 ◽

2007 ◽

pp. 72-86 ◽

Cited By ~ 33

Author(s):

Tingting Han ◽

Joost-Pieter Katoen

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

Searching for Shapes in Cryptographic Protocols

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_41 ◽

2007 ◽

pp. 523-537 ◽

Cited By ~ 29

Author(s):

Shaddin F. Doghmi ◽

Joshua D. Guttman ◽

F. Javier Thayer

Keyword(s):

Cryptographic Protocols

Download Full-text

Generating Representation Invariants of Structurally Complex Data

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_5 ◽

2007 ◽

pp. 34-49 ◽

Cited By ~ 2

Author(s):

Muhammad Zubair Malik ◽

Aman Pervaiz ◽

Sarfraz Khurshid

Keyword(s):

Complex Data

Download Full-text

Automatic Analysis of the Security of XOR-Based Key Management Schemes

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_42 ◽

2007 ◽

pp. 538-552 ◽

Cited By ~ 18

Author(s):

Véronique Cortier ◽

Gavin Keighren ◽

Graham Steel

Keyword(s):

Key Management ◽

Automatic Analysis ◽

Management Schemes

Download Full-text

Hoare Logic for Realistically Modelled Machine Code

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_44 ◽

2007 ◽

pp. 568-582 ◽

Cited By ~ 25

Author(s):

Magnus O. Myreen ◽

Michael J. C. Gordon

Keyword(s):

Hoare Logic ◽

Machine Code

Download Full-text

Assume-Guarantee Synthesis

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_21 ◽

2007 ◽

pp. 261-275 ◽

Cited By ~ 33

Author(s):

Krishnendu Chatterjee ◽

Thomas A. Henzinger

Download Full-text

THERE AND BACK AGAIN: Lessons Learned on the Way to the Market

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_1 ◽

2007 ◽

pp. 1-1

Author(s):

Rance Cleaveland

Keyword(s):

Lessons Learned ◽

The Way

Download Full-text

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_54 ◽

2007 ◽

pp. 690-705 ◽

Cited By ~ 10

Author(s):

Ahmed Bouajjani ◽

Yan Jurski ◽

Mihaela Sighireanu

Keyword(s):

Dynamic Networks ◽

Generic Framework ◽

Infinite State

Download Full-text

Shape Analysis by Graph Decomposition

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_3 ◽

2007 ◽

pp. 3-18 ◽

Cited By ~ 5

Author(s):

R. Manevich ◽

J. Berdine ◽

B. Cook ◽

G. Ramalingam ◽

M. Sagiv

Keyword(s):

Shape Analysis ◽

Graph Decomposition

Download Full-text

Refining Interface Alphabets for Compositional Verification

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_23 ◽

2007 ◽

pp. 292-307 ◽

Cited By ~ 29

Author(s):

Mihaela Gheorghiu ◽

Dimitra Giannakopoulou ◽

Corina S. Păsăreanu

Keyword(s):

Compositional Verification

Download Full-text

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Counterexamples in Probabilistic Model Checking

Searching for Shapes in Cryptographic Protocols

Generating Representation Invariants of Structurally Complex Data

Automatic Analysis of the Security of XOR-Based Key Management Schemes

Hoare Logic for Realistically Modelled Machine Code

Assume-Guarantee Synthesis

THERE AND BACK AGAIN: Lessons Learned on the Way to the Market

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes

Shape Analysis by Graph Decomposition

Refining Interface Alphabets for Compositional Verification

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications