Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "VISSAS"( http://dblp.L3S.de/Venues/VISSAS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/vissas

Publication years (Num. hits)
2005 (14) 2006 (1)
Publication types (Num. hits)
inproceedings(14) proceedings(1)
Venues (Conferences, Journals, ...)
VISSAS(15)
Authors
Edmund M. Clarke(2) Ferucio Laurentiu Tiplea(2) Ahmed Bouajjani(1) Alexei Lisitsa 0001(1) Anatol Slissenko(1) Bernard Boigelot(1) Boris Konev(1) Catalin Dima(1) Catalin V. Bîrjoveanu(1) Constantin Enea(1) Cristian Ene(1) Dan C. Marinescu(1) Doron A. Peled(1) Gabriela M. Marinescu(1) Helmut Veith(1) Himanshu Jain(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Edmund 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 VISSAS The full citation details ... 2006 DBLP  BibTeX  RDF
1Anatol Slissenko Probability and Time in Measuring Security. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Jeannette M. Wing Scenario Graphs Applied to Security (Extended Abstract). Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001 Practical Infinite-State Verification with Temporal Reasoning. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Bernard Boigelot Number-Set Representations for Infinite-State Verification. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Marko Samer, Helmut Veith From Temporal Logic Queries to Vacuity Detection. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Ahmed Bouajjani Regular Model Checking for Programs with Dynamic Memory. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Doron A. Peled Automatic Test Generation and Monitoring of Infinite States Systems. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Dan C. Marinescu, Gabriela M. Marinescu Quantum States and Quantum Measurements. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Tayssir Touili Dealing with Communication for Dynamic Multithreaded Recursive Programs. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Catalin Dima A Class of Automata for Computing Reachability Relations in Timed Systems. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Edmund M. Clarke, Himanshu Jain, Nishant Sinha 0001 Grand Challenge: Model Check Software. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu Decidability and Complexity Results for Security Protocols. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1René Peralta 0001 Cryptographic Primitives Can Be Fragile. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn Automatic Verification of Security Properties Based on Abstractions. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license