Search dblp for Publications

export results for "stream:streams/conf/vissas:"

 download as .bib file

@proceedings{DBLP:conf/vissas/2005,
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  publisher = {{IOS} Press},
  year      = {2006},
  isbn      = {1-58603-570-3},
  timestamp = {Thu, 07 Sep 2006 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/2005.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Boigelot05,
  author    = {Bernard Boigelot},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Number-Set Representations for Infinite-State Verification},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {1--16},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/Boigelot05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Bouajjani05,
  author    = {Ahmed Bouajjani},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Regular Model Checking for Programs with Dynamic Memory},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {17--22},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/Bouajjani05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/BozgaEJLMP05,
  author    = {Liana Bozga and
               Cristian Ene and
               Romain Janvier and
               Yassine Lakhnech and
               Laurent Mazar{\'{e}} and
               Micha{\"{e}}l P{\'{e}}rin},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Automatic Verification of Security Properties Based on Abstractions},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {23--53},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/BozgaEJLMP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/ClarkeJS05,
  author    = {Edmund M. Clarke and
               Himanshu Jain and
               Nishant Sinha},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Grand Challenge: Model Check Software},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {55--68},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Wed, 29 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/vissas/ClarkeJS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Dima05,
  author    = {Catalin Dima},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {A Class of Automata for Computing Reachability Relations in Timed
               Systems},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {69--89},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/Dima05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/FisherKL05,
  author    = {Michael Fisher and
               Boris Konev and
               Alexei Lisitsa},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Practical Infinite-State Verification with Temporal Reasoning},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {91--100},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/vissas/FisherKL05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/MarinescuM05,
  author    = {Dan C. Marinescu and
               Gabriela M. Marinescu},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Quantum States and Quantum Measurements},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {101--126},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/MarinescuM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Peled05,
  author    = {Doron A. Peled},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Automatic Test Generation and Monitoring of Infinite States Systems},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {127--142},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Fri, 12 Feb 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/vissas/Peled05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Peralta05,
  author    = {Ren{\'{e}} Peralta},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Cryptographic Primitives Can Be Fragile},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {143--148},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/Peralta05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/SamerV05,
  author    = {Marko Samer and
               Helmut Veith},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {From Temporal Logic Queries to Vacuity Detection},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {149--167},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/SamerV05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Slissenko05,
  author    = {Anatol Slissenko},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Probability and Time in Measuring Security},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {169--183},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/Slissenko05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/TipleaEB05,
  author    = {Ferucio Laurentiu Tiplea and
               Constantin Enea and
               Catalin V. B{\^{\i}}rjoveanu},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Decidability and Complexity Results for Security Protocols},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {185--211},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Wed, 29 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/TipleaEB05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Touili05,
  author    = {Tayssir Touili},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Dealing with Communication for Dynamic Multithreaded Recursive Programs},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {213--227},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/Touili05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Wing05,
  author    = {Jeannette M. Wing},
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Scenario Graphs Applied to Security (Extended Abstract)},
  booktitle = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  pages     = {229--234},
  publisher = {{IOS} Press},
  year      = {2005},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/Wing05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics