Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Pavel Moravec 0002
@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} }
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.