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}
}
@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}
}
@inproceedings{DBLP:conf/hase/BarnatBH14,
  author    = {Jiri Barnat and
               Petr Bauch and
               Vojtech Havel},
  title     = {Temporal Verification of Simulink Diagrams},
  booktitle = {{HASE}},
  pages     = {81--88},
  publisher = {{IEEE} Computer Society},
  year      = {2014}
}
@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 = {{ICTAC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8687},
  pages     = {43--60},
  publisher = {Springer},
  year      = {2014}
}
@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 = {{MEMICS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8934},
  pages     = {47--59},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/pdp/BarnatBH14,
  author    = {Jiri Barnat and
               Petr Bauch and
               Vojtech Havel},
  title     = {Model Checking Parallel Programs with Inputs},
  booktitle = {{PDP}},
  pages     = {756--759},
  publisher = {{IEEE} Computer Society},
  year      = {2014}
}
@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}
}
@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 = {{ACSD}},
  pages     = {51--59},
  publisher = {{IEEE} Computer Society},
  year      = {2013}
}
@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 = {{CAV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  pages     = {863--868},
  publisher = {Springer},
  year      = {2013}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics