Search dblp for Publications

export results for "stream: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 01:00:00 +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 01:00:00 +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 01:00:00 +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    = {Fri, 03 Jun 2022 01:00:00 +0200},
  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 01:00:00 +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    = {Fri, 03 Feb 2023 00:00:00 +0100},
  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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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

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.