BibTeX records: Pavel Moravec 0002

download as .bib file

@article{DBLP:journals/iee/VarekovaZ0C08,
  author       = {Pavl{\'{\i}}na Varekov{\'{a}} and
                  Barbora Zimmerov{\'{a}} and
                  Pavel Moravec and
                  Ivana Cern{\'{a}}},
  title        = {Formal verification of systems with an unlimited number of components},
  journal      = {{IET} Softw.},
  volume       = {2},
  number       = {6},
  pages        = {532--546},
  year         = {2008},
  url          = {https://doi.org/10.1049/iet-sen:20080009},
  doi          = {10.1049/IET-SEN:20080009},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/VarekovaZ0C08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/000208,
  author       = {Pavel Moravec},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Approximations of state spaces reduced by partial order reduction},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {78--90},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 12:12:56 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/000208.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PelanekRM08,
  author       = {Radek Pel{\'{a}}nek and
                  V{\'{a}}clav Roseck{\'{y}} and
                  Pavel Moravec},
  editor       = {Ivana Cern{\'{a}} and
                  Gerald L{\"{u}}ttgen},
  title        = {Complementarity of Error Detection Techniques},
  booktitle    = {Proceedings of the 7th International Workshop on Parallel and Distributed
                  Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
                  29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {220},
  number       = {2},
  pages        = {51--65},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.11.013},
  doi          = {10.1016/J.ENTCS.2008.11.013},
  timestamp    = {Fri, 17 Feb 2023 11:16:39 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PelanekRM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VarekovaMCZ07,
  author       = {Pavl{\'{\i}}na Varekov{\'{a}} and
                  Pavel Moravec and
                  Ivana Cern{\'{a}} and
                  Barbora Zimmerov{\'{a}}},
  editor       = {Arnd Poetzsch{-}Heffter},
  title        = {Effective verification of systems with a dynamic number of components},
  booktitle    = {Proceedings of the 2007 Conference Specification and Verification
                  of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
                  3-4, 2007},
  pages        = {3--13},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292316.1292317},
  doi          = {10.1145/1292316.1292317},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/VarekovaMCZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnatBCMRS06,
  author       = {Jiri Barnat and
                  Lubos Brim and
                  Ivana Cern{\'{a}} and
                  Pavel Moravec and
                  Petr Rockai and
                  Pavel Simecek},
  editor       = {Thomas Ball and
                  Robert B. Jones},
  title        = {DiVinE - {A} Tool for Distributed Verification},
  booktitle    = {Computer Aided Verification, 18th International Conference, {CAV}
                  2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4144},
  pages        = {278--281},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11817963\_26},
  doi          = {10.1007/11817963\_26},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BarnatBCMRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BrimCMS06,
  author       = {Lubos Brim and
                  Ivana Cern{\'{a}} and
                  Pavel Moravec and
                  Jir{\'{\i}} Simsa},
  editor       = {Lubos Brim and
                  Boudewijn R. Haverkort and
                  Martin Leucker and
                  Jaco van de Pol},
  title        = {On Combining Partial Order Reduction with Fairness Assumptions},
  booktitle    = {Formal Methods: Applications and Technology, 11th International Workshop,
                  {FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
                  August 26-27, and August 31, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4346},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-70952-7\_6},
  doi          = {10.1007/978-3-540-70952-7\_6},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BrimCMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarnatM06,
  author       = {Jiri Barnat and
                  Pavel Moravec},
  editor       = {Lubos Brim and
                  Boudewijn R. Haverkort and
                  Martin Leucker and
                  Jaco van de Pol},
  title        = {Parallel Algorithms for Finding SCCs in Implicitly Given Graphs},
  booktitle    = {Formal Methods: Applications and Technology, 11th International Workshop,
                  {FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
                  August 26-27, and August 31, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4346},
  pages        = {316--330},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-70952-7\_22},
  doi          = {10.1007/978-3-540-70952-7\_22},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BarnatM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimCMS06,
  author       = {Lubos Brim and
                  Ivana Cern{\'{a}} and
                  Pavel Moravec and
                  Jir{\'{\i}} Simsa},
  editor       = {Martin Leucker and
                  Jaco van de Pol},
  title        = {How to Order Vertices for Distributed {LTL} Model-Checking Based on
                  Accepting Predecessors},
  booktitle    = {Proceedings of the 4th International Workshop on Parallel and Distributed
                  Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {2},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.015},
  doi          = {10.1016/J.ENTCS.2005.10.015},
  timestamp    = {Thu, 15 Dec 2022 14:06:53 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrimCMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BrimCMS04,
  author       = {Lubos Brim and
                  Ivana Cern{\'{a}} and
                  Pavel Moravec and
                  Jir{\'{\i}} Simsa},
  editor       = {Alan J. Hu and
                  Andrew K. Martin},
  title        = {Accepting Predecessors Are Better than Back Edges in Distributed {LTL}
                  Model-Checking},
  booktitle    = {Formal Methods in Computer-Aided Design, 5th International Conference,
                  {FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3312},
  pages        = {352--366},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30494-4\_25},
  doi          = {10.1007/978-3-540-30494-4\_25},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/BrimCMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimCMS05,
  author       = {Lubos Brim and
                  Ivana Cern{\'{a}} and
                  Pavel Moravec and
                  Jir{\'{\i}} Simsa},
  editor       = {Lubos Brim and
                  Martin Leucker},
  title        = {Distributed Partial Order Reduction of State Spaces},
  booktitle    = {Proceedings of the 3rd International Workshop on Parallel and Distributed
                  Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {3},
  pages        = {63--74},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.10.019},
  doi          = {10.1016/J.ENTCS.2004.10.019},
  timestamp    = {Mon, 12 Dec 2022 15:21:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrimCMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics