Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![IOS Press, 1-58603-570-3 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Anatol Slissenko |
Probability and Time in Measuring Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 169-183, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Jeannette M. Wing |
Scenario Graphs Applied to Security (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 229-234, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001 |
Practical Infinite-State Verification with Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 91-100, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Bernard Boigelot |
Number-Set Representations for Infinite-State Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 1-16, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Marko Samer, Helmut Veith |
From Temporal Logic Queries to Vacuity Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 149-167, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ahmed Bouajjani |
Regular Model Checking for Programs with Dynamic Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 17-22, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Doron A. Peled |
Automatic Test Generation and Monitoring of Infinite States Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 127-142, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Dan C. Marinescu, Gabriela M. Marinescu |
Quantum States and Quantum Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 101-126, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Tayssir Touili |
Dealing with Communication for Dynamic Multithreaded Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 213-227, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Catalin Dima |
A Class of Automata for Computing Reachability Relations in Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 69-89, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Edmund M. Clarke, Himanshu Jain, Nishant Sinha 0001 |
Grand Challenge: Model Check Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 55-68, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu |
Decidability and Complexity Results for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 185-211, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | René Peralta 0001 |
Cryptographic Primitives Can Be Fragile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 143-148, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn |
Automatic Verification of Security Properties Based on Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: 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, pp. 23-53, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|