search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

VISSAS

Keyphrases

Publications

volume 1, 2006

Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005 VISSAS 1 (2006)

2005

Anatol Slissenko
Probability and Time in Measuring Security. VISSAS (2005)
Jeannette M. Wing
Scenario Graphs Applied to Security (Extended Abstract). VISSAS (2005)
Michael Fisher, Boris Konev, Alexei Lisitsa
Practical Infinite-State Verification with Temporal Reasoning. VISSAS (2005)
Bernard Boigelot
Number-Set Representations for Infinite-State Verification. VISSAS (2005)
Marko Samer, Helmut Veith
From Temporal Logic Queries to Vacuity Detection. VISSAS (2005)
Ahmed Bouajjani
Regular Model Checking for Programs with Dynamic Memory. VISSAS (2005)
Doron A. Peled
Automatic Test Generation and Monitoring of Infinite States Systems. VISSAS (2005)
Dan C. Marinescu, Gabriela M. Marinescu
Quantum States and Quantum Measurements. VISSAS (2005)
Tayssir Touili
Dealing with Communication for Dynamic Multithreaded Recursive Programs. VISSAS (2005)
Catalin Dima
A Class of Automata for Computing Reachability Relations in Timed Systems. VISSAS (2005)
Edmund M. Clarke, Himanshu Jain, Nishant Sinha
Grand Challenge: Model Check Software. VISSAS (2005)
Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu
Decidability and Complexity Results for Security Protocols. VISSAS (2005)
René Peralta
Cryptographic Primitives Can Be Fragile. VISSAS (2005)
Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn
Automatic Verification of Security Properties Based on Abstractions. VISSAS (2005)