default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVISSAS 2005: Timisoara, Romania
- Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea:
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. NATO Security through Science Series D: Information and Communication Security 1, IOS Press 2006, ISBN 1-58603-570-3 - Bernard Boigelot:
Number-Set Representations for Infinite-State Verification. VISSAS 2005: 1-16 - Ahmed Bouajjani:
Regular Model Checking for Programs with Dynamic Memory. VISSAS 2005: 17-22 - Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn:
Automatic Verification of Security Properties Based on Abstractions. VISSAS 2005: 23-53 - Edmund M. Clarke, Himanshu Jain, Nishant Sinha:
Grand Challenge: Model Check Software. VISSAS 2005: 55-68 - Catalin Dima:
A Class of Automata for Computing Reachability Relations in Timed Systems. VISSAS 2005: 69-89 - Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical Infinite-State Verification with Temporal Reasoning. VISSAS 2005: 91-100 - Dan C. Marinescu, Gabriela M. Marinescu:
Quantum States and Quantum Measurements. VISSAS 2005: 101-126 - Doron A. Peled:
Automatic Test Generation and Monitoring of Infinite States Systems. VISSAS 2005: 127-142 - René Peralta:
Cryptographic Primitives Can Be Fragile. VISSAS 2005: 143-148 - Marko Samer, Helmut Veith:
From Temporal Logic Queries to Vacuity Detection. VISSAS 2005: 149-167 - Anatol Slissenko:
Probability and Time in Measuring Security. VISSAS 2005: 169-183 - Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu:
Decidability and Complexity Results for Security Protocols. VISSAS 2005: 185-211 - Tayssir Touili:
Dealing with Communication for Dynamic Multithreaded Recursive Programs. VISSAS 2005: 213-227 - Jeannette M. Wing:
Scenario Graphs Applied to Security (Extended Abstract). VISSAS 2005: 229-234
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-07 01:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
