BibTeX records: Vojtech Havel

download as .bib file

@article{DBLP:journals/sqj/BauchHB16,
  author    = {Petr Bauch and
               Vojtech Havel and
               Jiri Barnat},
  title     = {Accelerating temporal verification of Simulink diagrams using satisfiability
               modulo theories},
  journal   = {Softw. Qual. J.},
  volume    = {24},
  number    = {1},
  pages     = {37--63},
  year      = {2016},
  url       = {https://doi.org/10.1007/s11219-014-9259-x},
  doi       = {10.1007/s11219-014-9259-x},
  timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sqj/BauchHB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BauchHB16,
  author    = {Petr Bauch and
               Vojtech Havel and
               Jiri Barnat},
  title     = {Control Explicit-Data Symbolic Model Checking},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {25},
  number    = {2},
  pages     = {15:1--15:48},
  year      = {2016},
  url       = {https://doi.org/10.1145/2888393},
  doi       = {10.1145/2888393},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tosem/BauchHB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BarnatBH14,
  author    = {Jiri Barnat and
               Petr Bauch and
               Vojtech Havel},
  title     = {Temporal Verification of Simulink Diagrams},
  booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering,
               {HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014},
  pages     = {81--88},
  year      = {2014},
  crossref  = {DBLP:conf/hase/2014},
  url       = {https://doi.org/10.1109/HASE.2014.20},
  doi       = {10.1109/HASE.2014.20},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/hase/BarnatBH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BezdekBHBC14,
  author    = {Peter Bezdek and
               Nikola Benes and
               Vojtech Havel and
               Jiri Barnat and
               Ivana Cern{\'{a}}},
  title     = {On Clock-Aware {LTL} Properties of Timed Automata},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
               Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
  pages     = {43--60},
  year      = {2014},
  crossref  = {DBLP:conf/ictac/2014},
  url       = {https://doi.org/10.1007/978-3-319-10882-7\_4},
  doi       = {10.1007/978-3-319-10882-7\_4},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/ictac/BezdekBHBC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/BauchHB14,
  author    = {Petr Bauch and
               Vojtech Havel and
               Jiri Barnat},
  title     = {{LTL} Model Checking of {LLVM} Bitcode with Symbolic Data},
  booktitle = {Mathematical and Engineering Methods in Computer Science - 9th International
               Doctoral Workshop, {MEMICS} 2014, Tel{\v{c}}, Czech Republic, October
               17-19, 2014, Revised Selected Papers},
  pages     = {47--59},
  year      = {2014},
  crossref  = {DBLP:conf/memics/2014},
  url       = {https://doi.org/10.1007/978-3-319-14896-0\_5},
  doi       = {10.1007/978-3-319-14896-0\_5},
  timestamp = {Thu, 12 Sep 2019 08:30:28 +0200},
  biburl    = {https://dblp.org/rec/conf/memics/BauchHB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BarnatBH14,
  author    = {Jiri Barnat and
               Petr Bauch and
               Vojtech Havel},
  title     = {Model Checking Parallel Programs with Inputs},
  booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2014, Torino, Italy, February
               12-14, 2014},
  pages     = {756--759},
  year      = {2014},
  crossref  = {DBLP:conf/pdp/2014},
  url       = {https://doi.org/10.1109/PDP.2014.44},
  doi       = {10.1109/PDP.2014.44},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/pdp/BarnatBH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BezdekBHBC14,
  author    = {Peter Bezdek and
               Nikola Benes and
               Vojtech Havel and
               Jiri Barnat and
               Ivana Cern{\'{a}}},
  title     = {{LTL} Model Checking of Parametric Timed Automata},
  journal   = {CoRR},
  volume    = {abs/1409.3696},
  year      = {2014},
  url       = {http://arxiv.org/abs/1409.3696},
  eprinttype = {arXiv},
  eprint    = {1409.3696},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BezdekBHBC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BarnatBH13,
  author    = {Jiri Barnat and
               Lubos Brim and
               Vojtech Havel},
  title     = {{LTL} Model Checking of Parallel Programs with Under-Approximated
               {TSO} Memory Model},
  booktitle = {13th International Conference on Application of Concurrency to System
               Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  pages     = {51--59},
  year      = {2013},
  crossref  = {DBLP:conf/acsd/2013},
  url       = {https://doi.org/10.1109/ACSD.2013.8},
  doi       = {10.1109/ACSD.2013.8},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/BarnatBH13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnatBHHKLRSW13,
  author    = {Jiri Barnat and
               Lubos Brim and
               Vojtech Havel and
               Jan Havl{\'{\i}}cek and
               Jan Kriho and
               Milan Lenco and
               Petr Rockai and
               Vladim{\'{\i}}r Still and
               Jir{\'{\i}} Weiser},
  title     = {DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded {C}
               {\&} {C++} Programs},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {863--868},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8\_60},
  doi       = {10.1007/978-3-642-39799-8\_60},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/BarnatBHHKLRSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hase/2014,
  title     = {15th International {IEEE} Symposium on High-Assurance Systems Engineering,
               {HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6754245/proceeding},
  isbn      = {978-1-4799-3465-2},
  timestamp = {Mon, 27 Sep 2021 10:07:25 +0200},
  biburl    = {https://dblp.org/rec/conf/hase/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2014,
  editor    = {Gabriel Ciobanu and
               Dominique M{\'{e}}ry},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
               Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8687},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10882-7},
  doi       = {10.1007/978-3-319-10882-7},
  isbn      = {978-3-319-10881-0},
  timestamp = {Mon, 27 Sep 2021 10:07:25 +0200},
  biburl    = {https://dblp.org/rec/conf/ictac/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2014,
  editor    = {Petr Hlinen{\'{y}} and
               Zdenek Dvor{\'{a}}k and
               Jir{\'{\i}} Jaros and
               Jan Kofron and
               Jan Korenek and
               Petr Matula and
               Karel Pala},
  title     = {Mathematical and Engineering Methods in Computer Science - 9th International
               Doctoral Workshop, {MEMICS} 2014, Tel{\v{c}}, Czech Republic, October
               17-19, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8934},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-14896-0},
  doi       = {10.1007/978-3-319-14896-0},
  isbn      = {978-3-319-14895-3},
  timestamp = {Mon, 27 Sep 2021 10:07:25 +0200},
  biburl    = {https://dblp.org/rec/conf/memics/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdp/2014,
  title     = {22nd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2014, Torino, Italy, February
               12-14, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6786619/proceeding},
  isbn      = {978-1-4799-2729-6},
  timestamp = {Mon, 27 Sep 2021 10:07:25 +0200},
  biburl    = {https://dblp.org/rec/conf/pdp/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2013,
  editor    = {Josep Carmona and
               Mihai T. Lazarescu and
               Marta Pietkiewicz{-}Koutny},
  title     = {13th International Conference on Application of Concurrency to System
               Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6597648/proceeding},
  isbn      = {978-0-7695-5035-0},
  timestamp = {Mon, 27 Sep 2021 10:07:25 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2013,
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8},
  doi       = {10.1007/978-3-642-39799-8},
  isbn      = {978-3-642-39798-1},
  timestamp = {Mon, 27 Sep 2021 10:07:25 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics