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

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

17
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642007675, 9783642007682
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Verifying Reference Counting Implementations

2009 ◽  
pp. 352-367 ◽  
Author(s):  
Michael Emmi ◽  
Ranjit Jhala ◽  
Eddie Kohler ◽  
Rupak Majumdar
Keyword(s):  
Reference Counting

scholarly journals Ground Interpolation for the Theory of Equality

2009 ◽  
pp. 413-427 ◽  
Author(s):  
Alexander Fuchs ◽  
Amit Goel ◽  
Jim Grundy ◽  
Sava Krstić ◽  
Cesare Tinelli

scholarly journals From Tests to Proofs

2009 ◽  
pp. 262-276 ◽  
Author(s):  
Ashutosh Gupta ◽  
Rupak Majumdar ◽  
Andrey Rybalchenko

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

2009 ◽  
pp. 54-57 ◽  
Author(s):  
Didier Lime ◽  
Olivier H. Roux ◽  
Charlotte Seidner ◽  
Louis-Marie Traonouez
Keyword(s):  
Petri Nets ◽  
Parametric Model ◽  
Model Checker

scholarly journals Hierarchical Set Decision Diagrams and Regular Models

2009 ◽  
pp. 1-15 ◽  
Author(s):  
Yann Thierry-Mieg ◽  
Denis Poitrenaud ◽  
Alexandre Hamez ◽  
Fabrice Kordon
Keyword(s):  
Decision Diagrams

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

2009 ◽  
pp. 46-49 ◽  
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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document