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

9783642007675, 9783642007682

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hierarchical Set Decision Diagrams and Regular Models

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

10.1007/978-3-642-00768-2_1 ◽

2009 ◽

pp. 1-15 ◽

Cited By ~ 15

Author(s):

Yann Thierry-Mieg ◽

Denis Poitrenaud ◽

Alexandre Hamez ◽

Fabrice Kordon

Keyword(s):

Decision Diagrams

Download Full-text

RBAC-PAT: A Policy Analysis Tool for Role Based Access Control

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

10.1007/978-3-642-00768-2_4 ◽

2009 ◽

pp. 46-49 ◽

Cited By ~ 20

Author(s):

Mikhail I. Gofman ◽

Ruiqi Luo ◽

Ayla C. Solomon ◽

Yingbin Zhang ◽

Ping Yang ◽

...

Keyword(s):

Access Control ◽

Policy Analysis ◽

Analysis Tool ◽

Role Based Access Control ◽

Role Based

Download Full-text

Verifying Reference Counting Implementations

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

10.1007/978-3-642-00768-2_30 ◽

2009 ◽

pp. 352-367 ◽

Cited By ~ 12

Author(s):

Michael Emmi ◽

Ranjit Jhala ◽

Eddie Kohler ◽

Rupak Majumdar

Keyword(s):

Reference Counting

Download Full-text

Ground Interpolation for the Theory of Equality

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

10.1007/978-3-642-00768-2_34 ◽

2009 ◽

pp. 413-427 ◽

Cited By ~ 18

Author(s):

Alexander Fuchs ◽

Amit Goel ◽

Jim Grundy ◽

Sava Krstić ◽

Cesare Tinelli

Download Full-text

From Tests to Proofs

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

10.1007/978-3-642-00768-2_24 ◽

2009 ◽

pp. 262-276 ◽

Cited By ~ 31

Author(s):

Ashutosh Gupta ◽

Rupak Majumdar ◽

Andrey Rybalchenko

Download Full-text

Transition-Based Directed Model Checking

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

10.1007/978-3-642-00768-2_19 ◽

2009 ◽

pp. 186-200 ◽

Cited By ~ 9

Author(s):

Martin Wehrle ◽

Sebastian Kupferschmid ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

TaPAS: The Talence Presburger Arithmetic Suite

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

10.1007/978-3-642-00768-2_18 ◽

2009 ◽

pp. 182-185 ◽

Cited By ~ 9

Author(s):

Jérôme Leroux ◽

Gérald Point

Keyword(s):

Presburger Arithmetic

Download Full-text

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

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

10.1007/978-3-642-00768-2_6 ◽

2009 ◽

pp. 54-57 ◽

Cited By ~ 42

Author(s):

Didier Lime ◽

Olivier H. Roux ◽

Charlotte Seidner ◽

Louis-Marie Traonouez

Keyword(s):

Petri Nets ◽

Parametric Model ◽

Model Checker

Download Full-text

Semantic Reduction of Thread Interleavings in Concurrent Programs

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

10.1007/978-3-642-00768-2_12 ◽

2009 ◽

pp. 124-138 ◽

Cited By ~ 14

Author(s):

Vineet Kahlon ◽

Sriram Sankaranarayanan ◽

Aarti Gupta

Keyword(s):

Concurrent Programs

Download Full-text

All-Termination(T)

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

10.1007/978-3-642-00768-2_33 ◽

2009 ◽

pp. 398-412 ◽

Cited By ~ 5

Author(s):

Panagiotis Manolios ◽

Aaron Turon

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

Hierarchical Set Decision Diagrams and Regular Models

RBAC-PAT: A Policy Analysis Tool for Role Based Access Control

Verifying Reference Counting Implementations

Ground Interpolation for the Theory of Equality

From Tests to Proofs

Transition-Based Directed Model Checking

TaPAS: The Talence Presburger Arithmetic Suite

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

Semantic Reduction of Thread Interleavings in Concurrent Programs

All-Termination(T)

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