default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tomás Vojnar
@inproceedings{DBLP:conf/birthday/MalikSV24,
author = {Viktor Mal{\'{\i}}k and
Peter Schrammel and
Tom{\'{a}}s Vojnar},
editor = {Stefan Kiefer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Template-Based Verification of Array-Manipulating Programs},
booktitle = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
Esparza on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14660},
pages = {206--224},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56222-8\_12},
doi = {10.1007/978-3-031-56222-8\_12},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MalikSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DacikRVZ24,
author = {Tom{\'{a}}s Dac{\'{\i}}k and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Deciding Boolean Separation Logic via Small Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {188--206},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_11},
doi = {10.1007/978-3-031-57246-3\_11},
timestamp = {Sat, 08 Jun 2024 13:13:56 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DacikRVZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18491,
author = {Kamil Dudka and
Petr M{\"{u}}ller and
Petr Peringer and
Veronika Sokov{\'{a}} and
Tom{\'{a}}s Vojnar},
title = {Algorithmic Details behind the Predator Shape Analyser},
journal = {CoRR},
volume = {abs/2403.18491},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18491},
doi = {10.48550/ARXIV.2403.18491},
eprinttype = {arXiv},
eprint = {2403.18491},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18999,
author = {Tom{\'{a}}s Dac{\'{\i}}k and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
title = {Deciding Boolean Separation Logic via Small Models (Technical Report)},
journal = {CoRR},
volume = {abs/2403.18999},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18999},
doi = {10.48550/ARXIV.2403.18999},
eprinttype = {arXiv},
eprint = {2403.18999},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-09909,
author = {Ondrej Vas{\'{\i}}cek and
Joaqu{\'{\i}}n Arias and
Jan Fiedor and
Gopal Gupta and
Brendan Hall and
Bohuslav Krena and
Brian Larson and
Sarat Chandra Varanasi and
Tom{\'{a}}s Vojnar},
title = {Early Validation of High-level System Requirements with Event Calculus
and Answer Set Programming},
journal = {CoRR},
volume = {abs/2408.09909},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.09909},
doi = {10.48550/ARXIV.2408.09909},
eprinttype = {arXiv},
eprint = {2408.09909},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-09909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HolikSTV23,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Juraj S{\'{\i}}c and
Lenka Turonov{\'{a}} and
Tom{\'{a}}s Vojnar},
editor = {Orna Kupferman and
Pawel Sobocinski},
title = {Fast Matching of Regular Patterns with Synchronizing Counting},
booktitle = {Foundations of Software Science and Computation Structures - 26th
International Conference, FoSSaCS 2023, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2023,
Paris, France, April 22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13992},
pages = {392--412},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30829-1\_19},
doi = {10.1007/978-3-031-30829-1\_19},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HolikSTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/KozakJSVW23,
author = {David Kozak and
Vojin Jovanovic and
Codrut Stancu and
Tom{\'{a}}s Vojnar and
Christian Wimmer},
editor = {Rodrigo Bruno and
Eliot Moss},
title = {Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native
Image},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Managed Programming Languages and Runtimes, {MPLR} 2023, Cascais,
Portugal, 22 October 2023},
pages = {129--142},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3617651.3622980},
doi = {10.1145/3617651.3622980},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/KozakJSVW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MalikNSV23,
author = {Viktor Mal{\'{\i}}k and
Frantisek Necas and
Peter Schrammel and
Tom{\'{a}}s Vojnar},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {2LS: Arrays and Loop Unwinding - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {529--534},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_31},
doi = {10.1007/978-3-031-30820-8\_31},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MalikNSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-12851,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Juraj S{\'{\i}}c and
Lenka Turonov{\'{a}} and
Tom{\'{a}}s Vojnar},
title = {Fast Matching of Regular Patterns with Synchronizing Counting (Technical
Report)},
journal = {CoRR},
volume = {abs/2301.12851},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.12851},
doi = {10.48550/ARXIV.2301.12851},
eprinttype = {arXiv},
eprint = {2301.12851},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-12851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-02380,
author = {Daniel Kroening and
Viktor Mal{\'{\i}}k and
Peter Schrammel and
Tom{\'{a}}s Vojnar},
title = {2LS for Program Analysis},
journal = {CoRR},
volume = {abs/2302.02380},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.02380},
doi = {10.48550/ARXIV.2302.02380},
eprinttype = {arXiv},
eprint = {2302.02380},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-02380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-06346,
author = {Florian Sextl and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
title = {Sound One-Phase Shape Analysis with Biabduction},
journal = {CoRR},
volume = {abs/2307.06346},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.06346},
doi = {10.48550/ARXIV.2307.06346},
eprinttype = {arXiv},
eprint = {2307.06346},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-06346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-16566,
author = {David Kozak and
Vojin Jovanovic and
Codrut Stancu and
Tom{\'{a}}s Vojnar and
Christian Wimmer},
title = {Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native
Image},
journal = {CoRR},
volume = {abs/2308.16566},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.16566},
doi = {10.48550/ARXIV.2308.16566},
eprinttype = {arXiv},
eprint = {2308.16566},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HolikPRSVZ22,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Petr Peringer and
Adam Rogalewicz and
Veronika Sokov{\'{a}} and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
title = {Low-Level Bi-Abduction (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {11:1--11:6},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.11},
doi = {10.4230/DARTS.8.2.11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HolikPRSVZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CharvatSV22,
author = {Luk{\'{a}}s Charv{\'{a}}t and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
title = {Utilizing parametric systems for detection of pipeline hazards},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {1},
pages = {1--28},
year = {2022},
url = {https://doi.org/10.1007/s10009-020-00591-y},
doi = {10.1007/S10009-020-00591-Y},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/CharvatSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/VojnarZ22,
author = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Tools and algorithms for the construction and analysis of systems:
a special issue for {TACAS} 2019},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {1},
pages = {29--31},
year = {2022},
url = {https://doi.org/10.1007/s10009-021-00642-y},
doi = {10.1007/S10009-021-00642-Y},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/VojnarZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swevo/CeskaMMSVV22,
author = {Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Vojtech Mrazek and
Luk{\'{a}}s Sekanina and
Zdenek Vas{\'{\i}}cek and
Tom{\'{a}}s Vojnar},
title = {SagTree: Towards efficient mutation in evolutionary circuit approximation},
journal = {Swarm Evol. Comput.},
volume = {69},
pages = {100986},
year = {2022},
url = {https://doi.org/10.1016/j.swevo.2021.100986},
doi = {10.1016/J.SWEVO.2021.100986},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/swevo/CeskaMMSVV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/CeskaMMV22,
author = {Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Vojtech Mrazek and
Tom{\'{a}}s Vojnar},
title = {Designing Approximate Arithmetic Circuits with Combined Error Constraints},
booktitle = {25th Euromicro Conference on Digital System Design, {DSD} 2022, Maspalomas,
Spain, August 31 - Sept. 2, 2022},
pages = {785--792},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSD57027.2022.00110},
doi = {10.1109/DSD57027.2022.00110},
timestamp = {Mon, 09 Jan 2023 17:07:14 +0100},
biburl = {https://dblp.org/rec/conf/dsd/CeskaMMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HolikPRSVZ22,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Petr Peringer and
Adam Rogalewicz and
Veronika Sokov{\'{a}} and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
editor = {Karim Ali and
Jan Vitek},
title = {Low-Level Bi-Abduction},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {19:1--19:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.19},
doi = {10.4230/LIPICS.ECOOP.2022.19},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HolikPRSVZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/FiedorKSVV22,
author = {Jan Fiedor and
Bohuslav Krena and
Ales Smrcka and
Ondrej Vas{\'{\i}}cek and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Integrating {OSLC} Services into Eclipse},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2022 - 18th International
Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13789},
pages = {240--249},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25312-6\_28},
doi = {10.1007/978-3-031-25312-6\_28},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/FiedorKSVV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AndriushchenkoCMV22,
author = {Roman Andriushchenko and
Milan Ceska and
Vladim{\'{\i}}r Marcin and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {GPU-Accelerated Synthesis of Probabilistic Programs},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2022 - 18th International
Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13789},
pages = {258--266},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25312-6\_30},
doi = {10.1007/978-3-031-25312-6\_30},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/AndriushchenkoCMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/HarmimMSV22,
author = {Dominik Harmim and
Vladim{\'{\i}}r Marcin and
Lucie Svobodova and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Static Deadlock Detection in Low-Level {C} Code},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2022 - 18th International
Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13789},
pages = {267--276},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25312-6\_31},
doi = {10.1007/978-3-031-25312-6\_31},
timestamp = {Tue, 14 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/HarmimMSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/FiedorPRV22,
author = {Tom{\'{a}}s Fiedor and
Jir{\'{\i}} Pavela and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
title = {Perun: Performance Version System},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2022, Limassol, Cyprus, October 3-7, 2022},
pages = {499--503},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSME55016.2022.00067},
doi = {10.1109/ICSME55016.2022.00067},
timestamp = {Wed, 11 Jan 2023 16:16:16 +0100},
biburl = {https://dblp.org/rec/conf/icsm/FiedorPRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MalikSV22,
author = {Viktor Mal{\'{\i}}k and
Petr Silling and
Tom{\'{a}}s Vojnar},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Applying Custom Patterns in Semantic Equality Analysis},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {265--282},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_18},
doi = {10.1007/978-3-031-17436-0\_18},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/MalikSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VasicekFKKSV22,
author = {Ondrej Vas{\'{\i}}cek and
Jan Fiedor and
Tomas Kratochvila and
Bohuslav Krena and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {Unite: an adapter for transforming analysis tools to web services
via {OSLC}},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {1408--1418},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3558939},
doi = {10.1145/3540250.3558939},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/VasicekFKKSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/TuronovaHHLVV22,
author = {Lenka Turonov{\'{a}} and
Luk{\'{a}}s Hol{\'{\i}}k and
Ivan Homoliak and
Ondrej Leng{\'{a}}l and
Margus Veanes and
Tom{\'{a}}s Vojnar},
editor = {Kevin R. B. Butler and
Kurt Thomas},
title = {Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability
of Nonbacktracking Matchers},
booktitle = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston,
MA, USA, August 10-12, 2022},
pages = {4165--4182},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/usenixsecurity22/presentation/turonova},
timestamp = {Tue, 18 Oct 2022 17:10:36 +0200},
biburl = {https://dblp.org/rec/conf/uss/TuronovaHHLVV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-02590,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Petr Peringer and
Adam Rogalewicz and
Veronika Sokov{\'{a}} and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
title = {Low-Level Bi-Abduction},
journal = {CoRR},
volume = {abs/2205.02590},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.02590},
doi = {10.48550/ARXIV.2205.02590},
eprinttype = {arXiv},
eprint = {2205.02590},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-02590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13077,
author = {Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Vojtech Mrazek and
Tom{\'{a}}s Vojnar},
title = {Designing Approximate Arithmetic Circuits with Combined Error Constraints},
journal = {CoRR},
volume = {abs/2206.13077},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13077},
doi = {10.48550/ARXIV.2206.13077},
eprinttype = {arXiv},
eprint = {2206.13077},
timestamp = {Sat, 01 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-01948,
author = {Dominik Harmim and
Vladim{\'{\i}}r Marcin and
Lucie Svobodova and
Tom{\'{a}}s Vojnar},
title = {Static Deadlock Detection in Low-Level {C} Code},
journal = {CoRR},
volume = {abs/2207.01948},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.01948},
doi = {10.48550/ARXIV.2207.01948},
eprinttype = {arXiv},
eprint = {2207.01948},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-01948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-12900,
author = {Tom{\'{a}}s Fiedor and
Jir{\'{\i}} Pavela and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
title = {Perun: Performance Version System},
journal = {CoRR},
volume = {abs/2207.12900},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.12900},
doi = {10.48550/ARXIV.2207.12900},
eprinttype = {arXiv},
eprint = {2207.12900},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-12900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HavlenaHLV21,
author = {Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
title = {Automata Terms in a Lazy WSkS Decision Procedure},
journal = {J. Autom. Reason.},
volume = {65},
number = {7},
pages = {971--999},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09597-w},
doi = {10.1007/S10817-021-09597-W},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HavlenaHLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MalikV21,
author = {Viktor Mal{\'{\i}}k and
Tom{\'{a}}s Vojnar},
title = {Automatically Checking Semantic Equivalence between Versions of Large-Scale
{C} Projects},
booktitle = {14th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2021, Porto de Galinhas, Brazil, April 12-16, 2021},
pages = {329--339},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICST49551.2021.00045},
doi = {10.1109/ICST49551.2021.00045},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MalikV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/CeskaMMSVV20,
author = {Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Vojtech Mrazek and
Luk{\'{a}}s Sekanina and
Zdenek Vas{\'{\i}}cek and
Tom{\'{a}}s Vojnar},
title = {Adaptive verifiability-driven strategy for evolutionary approximation
of arithmetic circuits},
journal = {Appl. Soft Comput.},
volume = {95},
pages = {106466},
year = {2020},
url = {https://doi.org/10.1016/j.asoc.2020.106466},
doi = {10.1016/J.ASOC.2020.106466},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/CeskaMMSVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HolikIRV20,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Radu Iosif and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
title = {Abstraction refinement and antichains for trace inclusion of infinite
state systems},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {3},
pages = {137--170},
year = {2020},
url = {https://doi.org/10.1007/s10703-020-00345-1},
doi = {10.1007/S10703-020-00345-1},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HolikIRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/TuronovaHLSVV20,
author = {Lenka Turonov{\'{a}} and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Regex matching with counting-set automata},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {218:1--218:30},
year = {2020},
url = {https://doi.org/10.1145/3428286},
doi = {10.1145/3428286},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/TuronovaHLSVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CeskaHHLV20,
author = {Milan Ceska and
Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
title = {Approximate reduction of finite automata for high-speed network intrusion
detection},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {523--539},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00520-8},
doi = {10.1007/S10009-019-00520-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/CeskaHHLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HavlenaHLVV20,
author = {Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Ondrej Vales and
Tom{\'{a}}s Vojnar},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {Antiprenexing for WSkS: {A} Little Goes a Long Way},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {298--316},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/6bfc},
doi = {10.29007/6BFC},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HavlenaHLVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/0001MMV20,
author = {Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Vojtech Mrazek and
Tom{\'{a}}s Vojnar},
editor = {Luca Pulina and
Martina Seidl},
title = {Satisfiability Solving Meets Evolutionary Optimisation in Designing
Approximate Circuits},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
pages = {481--491},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7\_33},
doi = {10.1007/978-3-030-51825-7\_33},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/0001MMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MalikSV20,
author = {Viktor Mal{\'{\i}}k and
Peter Schrammel and
Tom{\'{a}}s Vojnar},
editor = {Armin Biere and
David Parker},
title = {2LS: Heap Analysis and Memory Safety - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {368--372},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_22},
doi = {10.1007/978-3-030-45237-7\_22},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MalikSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PeringerSV20,
author = {Petr Peringer and
Veronika Sokov{\'{a}} and
Tom{\'{a}}s Vojnar},
editor = {Armin Biere and
David Parker},
title = {PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and
Memory Reallocation (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {408--412},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_30},
doi = {10.1007/978-3-030-45237-7\_30},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PeringerSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChalupaJTHSASV20,
author = {Marek Chalupa and
Tom{\'{a}}s Jasek and
Luk{\'{a}}s Tomovic and
Martin Hruska and
Veronika Sokov{\'{a}} and
Paul{\'{\i}}na Ayaziov{\'{a}} and
Jan Strejcek and
Tom{\'{a}}s Vojnar},
editor = {Armin Biere and
David Parker},
title = {Symbiotic 7: Integration of Predator and More - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {413--417},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_31},
doi = {10.1007/978-3-030-45237-7\_31},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChalupaJTHSASV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HolikLSTVV20,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Lenka Turonov{\'{a}} and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set
Automata" (Version 1)},
publisher = {Zenodo},
year = {2020},
month = aug,
howpublished = {\url{https://doi.org/10.5281/zenodo.3970684}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3970684},
doi = {10.5281/ZENODO.3970684},
timestamp = {Thu, 19 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/HolikLSTVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HolikLSTVV20a,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Lenka Turonov{\'{a}} and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set
Automata" (Version 2)},
publisher = {Zenodo},
year = {2020},
month = aug,
howpublished = {\url{https://doi.org/10.5281/zenodo.3974360}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3974360},
doi = {10.5281/ZENODO.3974360},
timestamp = {Thu, 19 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/HolikLSTVV20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HolikLSTVV20b,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Lenka Turonov{\'{a}} and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Artifact for the OOPSLA'20 paper "Regex Matching with Counting-Set
Automata" (Version 1)},
publisher = {Zenodo},
year = {2020},
month = aug,
howpublished = {\url{https://doi.org/10.5281/zenodo.3975566}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3975566},
doi = {10.5281/ZENODO.3975566},
timestamp = {Thu, 19 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/HolikLSTVV20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/MalikSV20,
author = {Viktor Mal{\'{\i}}k and
Peter Schrammel and
Tom{\'{a}}s Vojnar},
title = {The 2LS Software Verification Framework for {SV-COMP} 2020 (Version
0.8.2)},
publisher = {Zenodo},
year = {2020},
month = feb,
howpublished = {\url{https://doi.org/10.5281/zenodo.3678347}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3678347},
doi = {10.5281/ZENODO.3678347},
timestamp = {Tue, 17 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/MalikSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/SokovaPV20,
author = {Veronika Sokov{\'{a}} and
Petr Peringer and
Tom{\'{a}}s Vojnar},
title = {PredatorHP (Version 3.141)},
publisher = {Zenodo},
year = {2020},
month = feb,
howpublished = {\url{https://doi.org/10.5281/zenodo.3678356}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3678356},
doi = {10.5281/ZENODO.3678356},
timestamp = {Tue, 17 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/SokovaPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-02491,
author = {Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Vojtech Mrazek and
Luk{\'{a}}s Sekanina and
Zdenek Vas{\'{\i}}cek and
Tom{\'{a}}s Vojnar},
title = {Adaptive Verifiability-Driven Strategy for Evolutionary Approximation
of Arithmetic Circuits},
journal = {CoRR},
volume = {abs/2003.02491},
year = {2020},
url = {https://arxiv.org/abs/2003.02491},
eprinttype = {arXiv},
eprint = {2003.02491},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-02491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-15975,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Petr Janku and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Tom{\'{a}}s Vojnar},
title = {String Constraints with Concatenation and Transducers Solved Efficiently
(Technical Report)},
journal = {CoRR},
volume = {abs/2010.15975},
year = {2020},
url = {https://arxiv.org/abs/2010.15975},
eprinttype = {arXiv},
eprint = {2010.15975},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-15975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FiedorHLV19,
author = {Tom{\'{a}}s Fiedor and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
title = {Nested antichains for {WS1S}},
journal = {Acta Informatica},
volume = {56},
number = {3},
pages = {205--228},
year = {2019},
url = {https://doi.org/10.1007/s00236-018-0331-z},
doi = {10.1007/S00236-018-0331-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FiedorHLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/PomanteMKVVMMFM19,
author = {Luigi Pomante and
Vittoriano Muttillo and
Bohuslav Krena and
Tom{\'{a}}s Vojnar and
Filip Veljkovic and
Pacome Magnin and
Martin Matschnig and
Bernhard Fischer and
Jabier Martinez and
Thomas Gruber},
title = {The {AQUAS} {ECSEL} Project Aggregated Quality Assurance for Systems:
Co-Engineering Inside and Across the Product Life Cycle},
journal = {Microprocess. Microsystems},
volume = {69},
pages = {54--67},
year = {2019},
url = {https://doi.org/10.1016/j.micpro.2019.05.013},
doi = {10.1016/J.MICPRO.2019.05.013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/PomanteMKVVMMFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChenCHKLVWW19,
author = {Yu{-}Fang Chen and
Chang{-}Yi Chiang and
Luk{\'{a}}s Hol{\'{\i}}k and
Wei{-}Tsung Kao and
Hsin{-}Hung Lin and
Tom{\'{a}}s Vojnar and
Yean{-}Fu Wen and
Wei{-}Cheng Wu},
editor = {Anthony Widjaja Lin},
title = {J-ReCoVer: Java Reducer Commutativity Verifier},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {357--366},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_18},
doi = {10.1007/978-3-030-34175-6\_18},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ChenCHKLVWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HolikLSTVV19,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Lenka Turonov{\'{a}} and
Margus Veanes and
Tom{\'{a}}s Vojnar},
editor = {Anthony Widjaja Lin},
title = {Succinct Determinisation of Counting Automata via Sphere Construction},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {468--489},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_24},
doi = {10.1007/978-3-030-34175-6\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HolikLSTVV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HavlenaHLV19,
author = {Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
editor = {Pascal Fontaine},
title = {Automata Terms in a Lazy WSkS Decision Procedure},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {300--318},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_18},
doi = {10.1007/978-3-030-29436-6\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HavlenaHLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Ceska0MPV19,
author = {Milan Ceska Jr. and
Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Adam Pankuch and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case
Relative Error},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2019 - 17th International
Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019,
Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12013},
pages = {482--490},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45093-9\_58},
doi = {10.1007/978-3-030-45093-9\_58},
timestamp = {Thu, 16 Apr 2020 14:04:03 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Ceska0MPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/0001HHKLM0SV19,
author = {Milan Ceska and
Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Jan Korenek and
Ondrej Leng{\'{a}}l and
Denis Matousek and
Jir{\'{\i}} Matousek and
Jakub Semric and
Tom{\'{a}}s Vojnar},
title = {Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata},
booktitle = {27th {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2019, San Diego, CA, USA, April 28 - May
1, 2019},
pages = {109--117},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FCCM.2019.00025},
doi = {10.1109/FCCM.2019.00025},
timestamp = {Fri, 15 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fccm/0001HHKLM0SV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SighireanuPRGIR19,
author = {Mihaela Sighireanu and
Juan Antonio Navarro P{\'{e}}rez and
Andrey Rybalchenko and
Nikos Gorogiannis and
Radu Iosif and
Andrew Reynolds and
Cristina Serban and
Jens Katelaan and
Christoph Matheja and
Thomas Noll and
Florian Zuleger and
Wei{-}Ngan Chin and
Quang Loc Le and
Quang{-}Trung Ta and
Ton{-}Chanh Le and
Thanh{-}Toan Nguyen and
Siau{-}Cheng Khoo and
Michal Cyprian and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar and
Constantin Enea and
Ondrej Leng{\'{a}}l and
Chong Gao and
Zhilin Wu},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {{SL-COMP:} Competition of Solvers for Separation Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {116--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_8},
doi = {10.1007/978-3-030-17502-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SighireanuPRGIR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2019-1,
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0},
doi = {10.1007/978-3-030-17462-0},
isbn = {978-3-030-17461-3},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/2019-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2019-2,
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1},
doi = {10.1007/978-3-030-17465-1},
isbn = {978-3-030-17464-4},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/2019-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/LengalHVRSHH19,
author = {Ondrej Leng{\'{a}}l and
Luk{\'{a}}s Hol{\'{\i}}k and
Tom{\'{a}}s Vojnar and
Adam Rogalewicz and
Jir{\'{\i}} Sim{\'{a}}cek and
Martin Hruska and
Peter Habermehl},
title = {Forester Virtual Machine (Version 1)},
publisher = {Zenodo},
year = {2019},
month = jul,
howpublished = {\url{https://doi.org/10.5281/zenodo.3339213}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3339213},
doi = {10.5281/ZENODO.3339213},
timestamp = {Fri, 06 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/LengalHVRSHH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-00712,
author = {Viktor Mal{\'{\i}}k and
Martin Hruska and
Peter Schrammel and
Tom{\'{a}}s Vojnar},
title = {2LS: Heap Analysis and Memory Safety (Competition Contribution)},
journal = {CoRR},
volume = {abs/1903.00712},
year = {2019},
url = {http://arxiv.org/abs/1903.00712},
eprinttype = {arXiv},
eprint = {1903.00712},
timestamp = {Sat, 30 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-00712.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-10786,
author = {Milan Ceska and
Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Jan Korenek and
Ondrej Leng{\'{a}}l and
Denis Matousek and
Jir{\'{\i}} Matousek and
Jakub Semric and
Tom{\'{a}}s Vojnar},
title = {Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata},
journal = {CoRR},
volume = {abs/1904.10786},
year = {2019},
url = {http://arxiv.org/abs/1904.10786},
eprinttype = {arXiv},
eprint = {1904.10786},
timestamp = {Fri, 03 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-10786.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08697,
author = {Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
title = {Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)},
journal = {CoRR},
volume = {abs/1905.08697},
year = {2019},
url = {http://arxiv.org/abs/1905.08697},
eprinttype = {arXiv},
eprint = {1905.08697},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-07152,
author = {Michal Kotoun and
Petr Peringer and
Veronika Sokov{\'{a}} and
Tom{\'{a}}s Vojnar},
title = {PredatorHP Attacks Interval-Sized Regions},
journal = {CoRR},
volume = {abs/1909.07152},
year = {2019},
url = {http://arxiv.org/abs/1909.07152},
eprinttype = {arXiv},
eprint = {1909.07152},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01996,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Lenka Turonov{\'{a}} and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Succinct Determinisation of Counting Automata via Sphere Construction
(Technical Report)},
journal = {CoRR},
volume = {abs/1910.01996},
year = {2019},
url = {http://arxiv.org/abs/1910.01996},
eprinttype = {arXiv},
eprint = {1910.01996},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-01996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HolikJLRV18,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Petr Janku and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Tom{\'{a}}s Vojnar},
title = {String constraints with concatenation and transducers solved efficiently},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {4:1--4:32},
year = {2018},
url = {https://doi.org/10.1145/3158092},
doi = {10.1145/3158092},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/HolikJLRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HolikLSVV18,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Juraj S{\'{\i}}c and
Margus Veanes and
Tom{\'{a}}s Vojnar},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Simulation Algorithms for Symbolic Automata},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {109--125},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_7},
doi = {10.1007/978-3-030-01090-4\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HolikLSVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CeskaMMSVV18,
author = {Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Vojtech Mrazek and
Luk{\'{a}}s Sekanina and
Zdenek Vas{\'{\i}}cek and
Tom{\'{a}}s Vojnar},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {{ADAC:} Automated Design of Approximate Circuits},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {612--620},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_35},
doi = {10.1007/978-3-319-96145-3\_35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CeskaMMSVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/PomanteKVVM18,
author = {Luigi Pomante and
Bohuslav Krena and
Tom{\'{a}}s Vojnar and
Filip Veljkovic and
Pacome Magnin},
editor = {Martin Novotn{\'{y}} and
Nikos Konofaos and
Amund Skavhaug},
title = {The {AQUAS} {ECSEL} Project},
booktitle = {21st Euromicro Conference on Digital System Design, {DSD} 2018, Prague,
Czech Republic, August 29-31, 2018},
pages = {592--599},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSD.2018.00104},
doi = {10.1109/DSD.2018.00104},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/PomanteKVVM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MalikHSV18,
author = {Viktor Mal{\'{\i}}k and
Martin Hruska and
Peter Schrammel and
Tom{\'{a}}s Vojnar},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Template-Based Verification of Heap-Manipulating Programs},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603009},
doi = {10.23919/FMCAD.2018.8603009},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MalikHSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FiedorMSVV18,
author = {Jan Fiedor and
Monika Muzikovsk{\'{a}} and
Ales Smrcka and
Ondrej Vas{\'{\i}}cek and
Tom{\'{a}}s Vojnar},
editor = {Frank Tip and
Eric Bodden},
title = {Advances in the ANaConDA framework for dynamic analysis and testing
of concurrent {C/C++} programs},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {356--359},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3229505},
doi = {10.1145/3213846.3229505},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FiedorMSVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CeskaHHLV18,
author = {Milan Ceska and
Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Approximate Reduction of Finite Automata for High-Speed Network Intrusion
Detection},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {155--175},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_9},
doi = {10.1007/978-3-319-89963-3\_9},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CeskaHHLV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MalikMSSVW18,
author = {Viktor Mal{\'{\i}}k and
Stefan Marticek and
Peter Schrammel and
Mandayam K. Srivas and
Tom{\'{a}}s Vojnar and
Johanan Wahlang},
editor = {Dirk Beyer and
Marieke Huisman},
title = {2LS: Memory Safety and Non-termination - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {417--421},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_24},
doi = {10.1007/978-3-319-89963-3\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MalikMSSVW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FiedorHRSVZ18,
author = {Tom{\'{a}}s Fiedor and
Luk{\'{a}}s Hol{\'{\i}}k and
Adam Rogalewicz and
Moritz Sinn and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
editor = {Isil Dillig and
Jens Palsberg},
title = {From Shapes to Amortized Complexity},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {205--225},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_10},
doi = {10.1007/978-3-319-73721-8\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FiedorHRSVZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/LourencoFKV18,
author = {Jo{\~{a}}o M. Louren{\c{c}}o and
Jan Fiedor and
Bohuslav Krena and
Tom{\'{a}}s Vojnar},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Discovering Concurrency Errors},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {34--60},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_2},
doi = {10.1007/978-3-319-75632-5\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/LourencoFKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08487,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Juraj S{\'{\i}}c and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Simulation Algorithms for Symbolic Automata (Technical Report)},
journal = {CoRR},
volume = {abs/1807.08487},
year = {2018},
url = {http://arxiv.org/abs/1807.08487},
eprinttype = {arXiv},
eprint = {1807.08487},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/AvrosDKLPUVV17,
author = {Renata Avros and
V. Dudka and
Bohuslav Krena and
Zdenek Letko and
Hana Pluh{\'{a}}ckov{\'{a}} and
Shmuel Ur and
Tom{\'{a}}s Vojnar and
Zeev Volkovich},
title = {Boosted decision trees for behaviour mining of concurrent programmes},
journal = {Concurr. Comput. Pract. Exp.},
volume = {29},
number = {21},
year = {2017},
url = {https://doi.org/10.1002/cpe.4268},
doi = {10.1002/CPE.4268},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/AvrosDKLPUVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EneaLSV17,
author = {Constantin Enea and
Ondrej Leng{\'{a}}l and
Mihaela Sighireanu and
Tom{\'{a}}s Vojnar},
title = {Compositional entailment checking for a fragment of separation logic},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {3},
pages = {575--607},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0289-4},
doi = {10.1007/S10703-017-0289-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/EneaLSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/KrenaPUV17,
author = {Bohuslav Krena and
Hana Pluh{\'{a}}ckov{\'{a}} and
Shmuel Ur and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper
Metrics},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2017 - 16th International
Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017,
Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10672},
pages = {99--108},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74727-9\_12},
doi = {10.1007/978-3-319-74727-9\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/KrenaPUV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CeskaMMSVV17,
author = {Milan Ceska and
Jir{\'{\i}} Maty{\'{a}}s and
Vojtech Mrazek and
Luk{\'{a}}s Sekanina and
Zdenek Vas{\'{\i}}cek and
Tom{\'{a}}s Vojnar},
editor = {Sri Parameswaran},
title = {Approximating complex arithmetic circuits with formal error guarantees:
32-bit multipliers accomplished},
booktitle = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
pages = {416--423},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICCAD.2017.8203807},
doi = {10.1109/ICCAD.2017.8203807},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/CeskaMMSVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DiasFFLSSV17,
author = {Ricardo J. Dias and
Carla Ferreira and
Jan Fiedor and
Jo{\~{a}}o M. Louren{\c{c}}o and
Ales Smrcka and
Diogo G. Sousa and
Tom{\'{a}}s Vojnar},
title = {Verifying Concurrent Programs Using Contracts},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {196--206},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.25},
doi = {10.1109/ICST.2017.25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DiasFFLSSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/EneaLSV17,
author = {Constantin Enea and
Ondrej Leng{\'{a}}l and
Mihaela Sighireanu and
Tom{\'{a}}s Vojnar},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {{SPEN:} {A} Solver for Separation Logic},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {302--309},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_22},
doi = {10.1007/978-3-319-57288-8\_22},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/EneaLSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HolikMVW17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Tom{\'{a}}s Vojnar and
Sebastian Wolff},
editor = {Francesco Ranzato},
title = {Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite
an Unsound Heuristic},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {169--191},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_9},
doi = {10.1007/978-3-319-66706-5\_9},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/HolikMVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HolikHLRSV17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Martin Hruska and
Ondrej Leng{\'{a}}l and
Adam Rogalewicz and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
editor = {Axel Legay and
Tiziana Margaria},
title = {Forester: From Heap Shapes to Automata Predicates - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {365--369},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_24},
doi = {10.1007/978-3-662-54580-5\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HolikHLRSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FiedorHJLV17,
author = {Tom{\'{a}}s Fiedor and
Luk{\'{a}}s Hol{\'{\i}}k and
Petr Janku and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
editor = {Axel Legay and
Tiziana Margaria},
title = {Lazy Automata Techniques for {WS1S}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {407--425},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_24},
doi = {10.1007/978-3-662-54577-5\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FiedorHJLV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HolikHLRV17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Martin Hruska and
Ondrej Leng{\'{a}}l and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Counterexample Validation and Interpolation-Based Refinement for Forest
Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {288--309},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_16},
doi = {10.1007/978-3-319-52234-0\_16},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HolikHLRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiedorHJLV17,
author = {Tom{\'{a}}s Fiedor and
Luk{\'{a}}s Hol{\'{\i}}k and
Petr Janku and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
title = {Lazy Automata Techniques for {WS1S}},
journal = {CoRR},
volume = {abs/1701.06282},
year = {2017},
url = {http://arxiv.org/abs/1701.06282},
eprinttype = {arXiv},
eprint = {1701.06282},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiedorHJLV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HolikMVW17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Tom{\'{a}}s Vojnar and
Sebastian Wolff},
title = {Effect Summaries for Thread-Modular Analysis},
journal = {CoRR},
volume = {abs/1705.03701},
year = {2017},
url = {http://arxiv.org/abs/1705.03701},
eprinttype = {arXiv},
eprint = {1705.03701},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HolikMVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08647,
author = {Milan Ceska and
Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
title = {Approximate Reduction of Finite Automata for High-Speed Network Intrusion
Detection},
journal = {CoRR},
volume = {abs/1710.08647},
year = {2017},
url = {http://arxiv.org/abs/1710.08647},
eprinttype = {arXiv},
eprint = {1710.08647},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AbdullaHJLTV16,
author = {Parosh Aziz Abdulla and
Luk{\'{a}}s Hol{\'{\i}}k and
Bengt Jonsson and
Ondrej Leng{\'{a}}l and
Cong Quy Trinh and
Tom{\'{a}}s Vojnar},
title = {Verification of heap manipulating programs with ordered data by extended
forest automata},
journal = {Acta Informatica},
volume = {53},
number = {4},
pages = {357--385},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0235-0},
doi = {10.1007/S00236-015-0235-0},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AbdullaHJLTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HolikKPSTV16,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Michal Kotoun and
Petr Peringer and
Veronika Sokov{\'{a}} and
Marek Trt{\'{\i}}k and
Tom{\'{a}}s Vojnar},
editor = {Roderick Bloem and
Eli Arbel},
title = {Predator Shape Analysis Tool Suite},
booktitle = {Hardware and Software: Verification and Testing - 12th International
Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November
14-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10028},
pages = {202--209},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49052-6\_13},
doi = {10.1007/978-3-319-49052-6\_13},
timestamp = {Mon, 03 Jan 2022 22:33:54 +0100},
biburl = {https://dblp.org/rec/conf/hvc/HolikKPSTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/IosifRV16,
author = {Radu Iosif and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Abstraction Refinement and Antichains for Trace Inclusion of Infinite
State Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {71--89},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_5},
doi = {10.1007/978-3-662-49674-9\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/IosifRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HolikHLRSV16,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Martin Hruska and
Ondrej Leng{\'{a}}l and
Adam Rogalewicz and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Run Forester, Run Backwards! - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {923--926},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_61},
doi = {10.1007/978-3-662-49674-9\_61},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HolikHLRSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KotounPSV16,
author = {Michal Kotoun and
Petr Peringer and
Veronika Sokov{\'{a}} and
Tom{\'{a}}s Vojnar},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Optimized PredatorHP and the {SV-COMP} Heap and Memory Safety Benchmark
- (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {942--945},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_66},
doi = {10.1007/978-3-662-49674-9\_66},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KotounPSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DudkaHPTV16,
author = {Kamil Dudka and
Luk{\'{a}}s Hol{\'{\i}}k and
Petr Peringer and
Marek Trt{\'{\i}}k and
Tom{\'{a}}s Vojnar},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {From Low-Level Pointers to High-Level Containers},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {431--452},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_21},
doi = {10.1007/978-3-662-49122-5\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DudkaHPTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CharvatSV16,
author = {Luk{\'{a}}s Charv{\'{a}}t and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
editor = {Jan Bouda and
Luk{\'{a}}s Hol{\'{\i}}k and
Jan Kofron and
Jan Strejcek and
Adam Rambousek},
title = {{HADES:} Microprocessor Hazard Analysis via Formal Verification of
Parameterized Systems},
booktitle = {Proceedings 11th Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science, {MEMICS} 2016, Tel{\v{c}}, Czech Republic,
21st-23rd October 2016},
series = {{EPTCS}},
volume = {233},
pages = {87--93},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.233.9},
doi = {10.4204/EPTCS.233.9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CharvatSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2015,
editor = {Jan Kofron and
Tom{\'{a}}s Vojnar},
title = {Mathematical and Engineering Methods in Computer Science - 10th International
Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
23-25, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9548},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29817-7},
doi = {10.1007/978-3-319-29817-7},
isbn = {978-3-319-29816-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FiedorHKLUV15,
author = {Jan Fiedor and
Vendula Hrub{\'{a}} and
Bohuslav Krena and
Zdenek Letko and
Shmuel Ur and
Tom{\'{a}}s Vojnar},
title = {Advances in noise-based testing of concurrent software},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {272--309},
year = {2015},
url = {https://doi.org/10.1002/stvr.1546},
doi = {10.1002/STVR.1546},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FiedorHKLUV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/FiedorLLV15,
author = {Jan Fiedor and
Zdenek Letko and
Jo{\~{a}}o Louren{\c{c}}o and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Dynamic Validation of Contracts in Concurrent Code},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2015 - 15th International
Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9520},
pages = {555--564},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27340-2\_69},
doi = {10.1007/978-3-319-27340-2\_69},
timestamp = {Wed, 07 Dec 2022 23:13:53 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/FiedorLLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CharvatSV15,
author = {Luk{\'{a}}s Charv{\'{a}}t and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Microprocessor Hazard Analysis Via Formal Verification of Parameterized
Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2015 - 15th International
Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9520},
pages = {605--614},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27340-2\_75},
doi = {10.1007/978-3-319-27340-2\_75},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/CharvatSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HolikHLRSV15,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Martin Hruska and
Ondrej Leng{\'{a}}l and
Adam Rogalewicz and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
editor = {Christel Baier and
Cesare Tinelli},
title = {Forester: Shape Analysis Using Tree Automata - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {432--435},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_37},
doi = {10.1007/978-3-662-46681-0\_37},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HolikHLRSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MullerPV15,
author = {Petr M{\"{u}}ller and
Petr Peringer and
Tom{\'{a}}s Vojnar},
editor = {Christel Baier and
Cesare Tinelli},
title = {Predator Hunting Party (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {443--446},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_40},
doi = {10.1007/978-3-662-46681-0\_40},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MullerPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FiedorHLV15,
author = {Tom{\'{a}}s Fiedor and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
editor = {Christel Baier and
Cesare Tinelli},
title = {Nested Antichains for {WS1S}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {658--674},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_59},
doi = {10.1007/978-3-662-46681-0\_59},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FiedorHLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiedorHLV15,
author = {Tom{\'{a}}s Fiedor and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
title = {Nested Antichains for {WS1S}},
journal = {CoRR},
volume = {abs/1501.03849},
year = {2015},
url = {http://arxiv.org/abs/1501.03849},
eprinttype = {arXiv},
eprint = {1501.03849},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiedorHLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DudkaHPTV15,
author = {Kamil Dudka and
Luk{\'{a}}s Hol{\'{\i}}k and
Petr Peringer and
Marek Trt{\'{\i}}k and
Tom{\'{a}}s Vojnar},
title = {From Low-Level Pointers to High-Level Containers},
journal = {CoRR},
volume = {abs/1510.07995},
year = {2015},
url = {http://arxiv.org/abs/1510.07995},
eprinttype = {arXiv},
eprint = {1510.07995},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DudkaHPTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbdullaCHV14,
author = {Parosh Aziz Abdulla and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Tom{\'{a}}s Vojnar},
title = {Mediating for reduction (on minimizing alternating B{\"{u}}chi
automata)},
journal = {Theor. Comput. Sci.},
volume = {552},
pages = {26--43},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.08.003},
doi = {10.1016/J.TCS.2014.08.003},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbdullaCHV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/EneaLSV14,
author = {Constantin Enea and
Ondrej Leng{\'{a}}l and
Mihaela Sighireanu and
Tom{\'{a}}s Vojnar},
editor = {Jacques Garrigue},
title = {Compositional Entailment Checking for a Fragment of Separation Logic},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {314--333},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_17},
doi = {10.1007/978-3-319-12736-1\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/EneaLSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/IosifRV14,
author = {Radu Iosif and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {201--218},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_15},
doi = {10.1007/978-3-319-11936-6\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/IosifRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/FiedorLLV14,
author = {Jan Fiedor and
Zdenek Letko and
Jo{\~{a}}o Louren{\c{c}}o and
Tom{\'{a}}s Vojnar},
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 = {On Monitoring {C/C++} Transactional Memory Programs},
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},
series = {Lecture Notes in Computer Science},
volume = {8934},
pages = {73--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14896-0\_7},
doi = {10.1007/978-3-319-14896-0\_7},
timestamp = {Fri, 01 Dec 2023 09:55:19 +0100},
biburl = {https://dblp.org/rec/conf/memics/FiedorLLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/CharvatSV14,
author = {Luk{\'{a}}s Charv{\'{a}}t and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
title = {Using Formal Verification of Parameterized Systems in {RAW} Hazard
Analysis in Microprocessors},
booktitle = {15th International Microprocessor Test and Verification Workshop,
{MTV} 2014, Austin, TX, USA, December 15-16, 2014},
pages = {83--89},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/MTV.2014.21},
doi = {10.1109/MTV.2014.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/CharvatSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/HrubaKLPV14,
author = {Vendula Hrub{\'{a}} and
Bohuslav Krena and
Zdenek Letko and
Hana Pluh{\'{a}}ckov{\'{a}} and
Tom{\'{a}}s Vojnar},
editor = {Claire Le Goues and
Shin Yoo},
title = {Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent
Software},
booktitle = {Search-Based Software Engineering - 6th International Symposium, {SSBSE}
2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8636},
pages = {107--122},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09940-8\_8},
doi = {10.1007/978-3-319-09940-8\_8},
timestamp = {Tue, 07 May 2024 20:13:45 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/HrubaKLPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MullerV14,
author = {Petr M{\"{u}}ller and
Tom{\'{a}}s Vojnar},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {395--397},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_28},
doi = {10.1007/978-3-642-54862-8\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MullerV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DudkaPV14,
author = {Kamil Dudka and
Petr Peringer and
Tom{\'{a}}s Vojnar},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Predator: {A} Shape Analyzer Based on Symbolic Memory Graphs - (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {412--414},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_33},
doi = {10.1007/978-3-642-54862-8\_33},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DudkaPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IosifRV14,
author = {Radu Iosif and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
journal = {CoRR},
volume = {abs/1402.2127},
year = {2014},
url = {http://arxiv.org/abs/1402.2127},
eprinttype = {arXiv},
eprint = {1402.2127},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IosifRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IosifRV14a,
author = {Radu Iosif and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
title = {Abstraction Refinement for Trace Inclusion of Data Automata},
journal = {CoRR},
volume = {abs/1410.5056},
year = {2014},
url = {http://arxiv.org/abs/1410.5056},
eprinttype = {arXiv},
eprint = {1410.5056},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IosifRV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AbdullaCV13,
author = {Parosh Aziz Abdulla and
Jonathan Cederberg and
Tom{\'{a}}s Vojnar},
title = {Monotonic Abstraction for Programs with Multiply-Linked Structures},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {2},
pages = {187--210},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400078},
doi = {10.1142/S0129054113400078},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AbdullaCV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/KrenaV13,
author = {Bohuslav Krena and
Tom{\'{a}}s Vojnar},
title = {Automated formal analysis and verification: an overview},
journal = {Int. J. Gen. Syst.},
volume = {42},
number = {4},
pages = {335--365},
year = {2013},
url = {https://doi.org/10.1080/03081079.2012.757437},
doi = {10.1080/03081079.2012.757437},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgs/KrenaV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AbdullaHJLTV13,
author = {Parosh Aziz Abdulla and
Luk{\'{a}}s Hol{\'{\i}}k and
Bengt Jonsson and
Ondrej Leng{\'{a}}l and
Cong Quy Trinh and
Tom{\'{a}}s Vojnar},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Verification of Heap Manipulating Programs with Ordered Data by Extended
Forest Automata},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {224--239},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_17},
doi = {10.1007/978-3-319-02444-8\_17},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AbdullaHJLTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HolikLRSV13,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Adam Rogalewicz and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Fully Automated Shape Analysis Based on Forest Automata},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {740--755},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_52},
doi = {10.1007/978-3-642-39799-8\_52},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/HolikLRSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CharvatSV13,
author = {Luk{\'{a}}s Charv{\'{a}}t and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {An Abstraction of Multi-port Memories with Arbitrary Addressable Units},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2013 - 14th International
Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013,
Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8111},
pages = {460--468},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-53856-8\_58},
doi = {10.1007/978-3-642-53856-8\_58},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CharvatSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DudkaPV13,
author = {Kamil Dudka and
Petr Peringer and
Tom{\'{a}}s Vojnar},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Byte-Precise Verification of Low-Level List Manipulation},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {215--237},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_13},
doi = {10.1007/978-3-642-38856-9\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DudkaPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DudkaMPV13,
author = {Kamil Dudka and
Petr M{\"{u}}ller and
Petr Peringer and
Tom{\'{a}}s Vojnar},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Predator: {A} Tool for Verification of Low-Level List Manipulation
- (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {627--629},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_49},
doi = {10.1007/978-3-642-36742-7\_49},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DudkaMPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2012,
editor = {Anton{\'{\i}}n Kucera and
Thomas A. Henzinger and
Jaroslav Nesetril and
Tom{\'{a}}s Vojnar and
David Antos},
title = {Mathematical and Engineering Methods in Computer Science, 8th International
Doctoral Workshop, {MEMICS} 2012, Znojmo, Czech Republic, October
25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7721},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36046-6},
doi = {10.1007/978-3-642-36046-6},
isbn = {978-3-642-36044-2},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5806,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Adam Rogalewicz and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
title = {Fully Automated Shape Analysis Based on Forest Automata},
journal = {CoRR},
volume = {abs/1304.5806},
year = {2013},
url = {http://arxiv.org/abs/1304.5806},
eprinttype = {arXiv},
eprint = {1304.5806},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/KotasekSVBC12,
author = {Zdenek Kot{\'{a}}sek and
Luk{\'{a}}s Sekanina and
Tom{\'{a}}s Vojnar and
Jan Bouda and
Ivana Cern{\'{a}}},
title = {pecial {CAI} Section Devoted to {MEMICS} '11: Preface},
journal = {Comput. Informatics},
volume = {31},
number = {3},
pages = {481},
year = {2012},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/1004},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/KotasekSVBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HabermehlHRSV12,
author = {Peter Habermehl and
Luk{\'{a}}s Hol{\'{\i}}k and
Adam Rogalewicz and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
title = {Forest automata for verification of heap manipulation},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {1},
pages = {83--106},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0150-8},
doi = {10.1007/S10703-012-0150-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HabermehlHRSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BouajjaniHRV12,
author = {Ahmed Bouajjani and
Peter Habermehl and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
title = {Abstract regular (tree) model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {2},
pages = {167--191},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0205-y},
doi = {10.1007/S10009-011-0205-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BouajjaniHRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FiedorV12,
author = {Jan Fiedor and
Tom{\'{a}}s Vojnar},
editor = {Jeremy S. Bradbury and
Simone do R{\'{o}}cio Senger de Souza},
title = {Noise-based testing and analysis of multi-threaded {C/C++} programs
on the binary level},
booktitle = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
USA, July 16, 2012},
pages = {36--46},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338967.2336813},
doi = {10.1145/2338967.2336813},
timestamp = {Tue, 16 Jan 2024 15:26:47 +0100},
biburl = {https://dblp.org/rec/conf/issta/FiedorV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/CharvatSV12,
author = {Luk{\'{a}}s Charv{\'{a}}t and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
title = {Automatic Formal Correspondence Checking of {ISA} and {RTL} Microprocessor
Description},
booktitle = {13th International Workshop on Microprocessor Test and Verification,
{MTV} 2012, Austin, TX, USA, December 10-13, 2012},
pages = {6--12},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/MTV.2012.19},
doi = {10.1109/MTV.2012.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/CharvatSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FiedorV12,
author = {Jan Fiedor and
Tom{\'{a}}s Vojnar},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {ANaConDA: {A} Framework for Analysing Multi-threaded {C/C++} Programs
on the Binary Level},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {35--41},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_5},
doi = {10.1007/978-3-642-35632-2\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/FiedorV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/HrubaKLUV12,
author = {Vendula Hrub{\'{a}} and
Bohuslav Krena and
Zdenek Letko and
Shmuel Ur and
Tom{\'{a}}s Vojnar},
editor = {Gordon Fraser and
Jerffeson Teixeira de Souza},
title = {Testing of Concurrent Programs Using Genetic Algorithms},
booktitle = {Search Based Software Engineering - 4th International Symposium, {SSBSE}
2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7515},
pages = {152--167},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33119-0\_12},
doi = {10.1007/978-3-642-33119-0\_12},
timestamp = {Mon, 23 Nov 2020 12:33:05 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/HrubaKLUV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LengalSV12,
author = {Ondrej Leng{\'{a}}l and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {{VATA:} {A} Library for Efficient Manipulation of Non-deterministic
Tree Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {79--94},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_7},
doi = {10.1007/978-3-642-28756-5\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LengalSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DudkaMPV12,
author = {Kamil Dudka and
Petr M{\"{u}}ller and
Petr Peringer and
Tom{\'{a}}s Vojnar},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Predator: {A} Verification Tool for Programs with Dynamic Linked Data
Structures - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {545--548},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_45},
doi = {10.1007/978-3-642-28756-5\_45},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DudkaMPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2011,
editor = {Zdenek Kot{\'{a}}sek and
Jan Bouda and
Ivana Cern{\'{a}} and
Luk{\'{a}}s Sekanina and
Tom{\'{a}}s Vojnar and
David Antos},
title = {Mathematical and Engineering Methods in Computer Science - 7th International
Doctoral Workshop, {MEMICS} 2011, Lednice, Czech Republic, October
14-16, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7119},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-25929-6},
doi = {10.1007/978-3-642-25929-6},
isbn = {978-3-642-25928-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BouajjaniBHIMV11,
author = {Ahmed Bouajjani and
Marius Bozga and
Peter Habermehl and
Radu Iosif and
Pierre Moro and
Tom{\'{a}}s Vojnar},
title = {Programs with lists are counter automata},
journal = {Formal Methods Syst. Des.},
volume = {38},
number = {2},
pages = {158--192},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0111-7},
doi = {10.1007/S10703-011-0111-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BouajjaniBHIMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HolikLSV11,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {243--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_18},
doi = {10.1007/978-3-642-24372-1\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HolikLSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DudkaPV11,
author = {Kamil Dudka and
Petr Peringer and
Tom{\'{a}}s Vojnar},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Predator: {A} Practical Tool for Checking Manipulation of Dynamic
Data Structures Using Separation Logic},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {372--378},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_29},
doi = {10.1007/978-3-642-22110-1\_29},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DudkaPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HabermehlHRSV11,
author = {Peter Habermehl and
Luk{\'{a}}s Hol{\'{\i}}k and
Adam Rogalewicz and
Jir{\'{\i}} Sim{\'{a}}cek and
Tom{\'{a}}s Vojnar},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Forest Automata for Verification of Heap Manipulation},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {424--440},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_34},
doi = {10.1007/978-3-642-22110-1\_34},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HabermehlHRSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbdullaCCHHMV11,
author = {Parosh Aziz Abdulla and
Yu{-}Fang Chen and
Lorenzo Clemente and
Luk{\'{a}}s Hol{\'{\i}}k and
Chih{-}Duo Hong and
Richard Mayr and
Tom{\'{a}}s Vojnar},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Advanced Ramsey-Based B{\"{u}}chi Automata Inclusion Testing},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {187--202},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_13},
doi = {10.1007/978-3-642-23217-6\_13},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AbdullaCCHHMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/FiedorKLV11,
author = {Jan Fiedor and
Bohuslav Krena and
Zdenek Letko and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {A Uniform Classification of Common Concurrency Errors},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6927},
pages = {519--526},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27549-4\_67},
doi = {10.1007/978-3-642-27549-4\_67},
timestamp = {Wed, 07 Dec 2022 23:13:53 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/FiedorKLV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/DudkaPV11,
author = {Kamil Dudka and
Petr Peringer and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {An Easy to Use Infrastructure for Building Static Analysis Tools},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6927},
pages = {527--534},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27549-4\_68},
doi = {10.1007/978-3-642-27549-4\_68},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/DudkaPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/KrenaLV11,
author = {Bohuslav Krena and
Zdenek Letko and
Tom{\'{a}}s Vojnar},
editor = {Zdenek Kot{\'{a}}sek and
Jan Bouda and
Ivana Cern{\'{a}} and
Luk{\'{a}}s Sekanina and
Tom{\'{a}}s Vojnar and
David Antos},
title = {Noise Injection Heuristics for Concurrency Testing},
booktitle = {Mathematical and Engineering Methods in Computer Science - 7th International
Doctoral Workshop, {MEMICS} 2011, Lednice, Czech Republic, October
14-16, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7119},
pages = {123--135},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25929-6\_12},
doi = {10.1007/978-3-642-25929-6\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/KrenaLV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AbdullaCV11,
author = {Parosh Aziz Abdulla and
Jonathan Cederberg and
Tom{\'{a}}s Vojnar},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Monotonic Abstraction for Programs with Multiply-Linked Structures},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {125--138},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_12},
doi = {10.1007/978-3-642-24288-5\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/AbdullaCV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KrenaLV11,
author = {Bohuslav Krena and
Zdenek Letko and
Tom{\'{a}}s Vojnar},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Coverage Metrics for Saturation-Based and Search-Based Testing of
Concurrent Software},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {177--192},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_14},
doi = {10.1007/978-3-642-29860-8\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KrenaLV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FiedorHKV11,
author = {Jan Fiedor and
Vendula Hrub{\'{a}} and
Bohuslav Krena and
Tom{\'{a}}s Vojnar},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {{DA-BMC:} {A} Tool Chain Combining Dynamic Analysis and Bounded Model
Checking},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {375--380},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_30},
doi = {10.1007/978-3-642-29860-8\_30},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FiedorHKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Vojnar11,
author = {Tom{\'{a}}s Vojnar},
editor = {Ivana Cern{\'{a}} and
Tibor Gyim{\'{o}}thy and
Juraj Hromkovic and
Keith G. Jeffery and
Rastislav Kr{\'{a}}lovic and
Marko Vukolic and
Stefan Wolf},
title = {Efficient Algorithms for Handling Nondeterministic Automata},
booktitle = {{SOFSEM} 2011: Theory and Practice of Computer Science - 37th Conference
on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
Smokovec, Slovakia, January 22-28, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6543},
pages = {73},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18381-2\_5},
doi = {10.1007/978-3-642-18381-2\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Vojnar11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2010,
editor = {Ludek Matyska and
Michal Kozubek and
Tom{\'{a}}s Vojnar and
Pavel Zemc{\'{\i}}k and
David Antos},
title = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2010, Selected Papers, October 22-24, 2010,
Mikulov, Czech Republic},
series = {OASIcs},
volume = {16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2011},
isbn = {978-3-939897-22-4},
timestamp = {Fri, 04 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memics/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HabermehlIV10,
author = {Peter Habermehl and
Radu Iosif and
Tom{\'{a}}s Vojnar},
title = {Automata-based verification of programs with tree updates},
journal = {Acta Informatica},
volume = {47},
number = {1},
pages = {1--31},
year = {2010},
url = {https://doi.org/10.1007/s00236-009-0108-5},
doi = {10.1007/S00236-009-0108-5},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HabermehlIV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozgaIKV10,
author = {Marius Bozga and
Radu Iosif and
Filip Konecn{\'{y}} and
Tom{\'{a}}s Vojnar},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Tool Demonstration of the {FLATA} Counter Automata Toolset},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {75},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/5qkv},
doi = {10.29007/5QKV},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/cade/BozgaIKV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaCCHHMV10,
author = {Parosh Aziz Abdulla and
Yu{-}Fang Chen and
Lorenzo Clemente and
Luk{\'{a}}s Hol{\'{\i}}k and
Chih{-}Duo Hong and
Richard Mayr and
Tom{\'{a}}s Vojnar},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Simulation Subsumption in Ramsey-Based B{\"{u}}chi Automata Universality
and Inclusion Testing},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {132--147},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_14},
doi = {10.1007/978-3-642-14295-6\_14},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbdullaCCHHMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KrenaLVU10,
author = {Bohuslav Krena and
Zdenek Letko and
Tom{\'{a}}s Vojnar and
Shmuel Ur},
editor = {Jo{\~{a}}o Louren{\c{c}}o},
title = {A platform for search-based testing of concurrent software},
booktitle = {Proceedings of the 8th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2010, Trento, Italy, July
12-16, 2010},
pages = {48--58},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866210.1866215},
doi = {10.1145/1866210.1866215},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KrenaLVU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/ProchazkaVD10,
author = {Boris Prochazka and
Tom{\'{a}}s Vojnar and
Martin Drahansk{\'{y}}},
editor = {Ludek Matyska and
Michal Kozubek and
Tom{\'{a}}s Vojnar and
Pavel Zemc{\'{\i}}k and
David Antos},
title = {Hijacking the Linux Kernel},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2010, Selected Papers, October 22-24, 2010,
Mikulov, Czech Republic},
series = {OASIcs},
volume = {16},
pages = {85--92},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2010},
url = {https://doi.org/10.4230/OASIcs.MEMICS.2010.85},
doi = {10.4230/OASICS.MEMICS.2010.85},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memics/ProchazkaVD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaCHMV10,
author = {Parosh Aziz Abdulla and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Richard Mayr and
Tom{\'{a}}s Vojnar},
editor = {Javier Esparza and
Rupak Majumdar},
title = {When Simulation Meets Antichains},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {158--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_14},
doi = {10.1007/978-3-642-12002-2\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaCHMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AbdullaBHKV09,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Lisa Kaati and
Tom{\'{a}}s Vojnar},
title = {Composed Bisimulation for Tree Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {685--700},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006814},
doi = {10.1142/S0129054109006814},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/AbdullaBHKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaHIKV09,
author = {Marius Bozga and
Peter Habermehl and
Radu Iosif and
Filip Konecn{\'{y}} and
Tom{\'{a}}s Vojnar},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Automatic Verification of Integer Array Programs},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {157--172},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_15},
doi = {10.1007/978-3-642-02658-4\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozgaHIKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/HrubaKV09,
author = {Vendula Hrub{\'{a}} and
Bohuslav Krena and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Self-healing Assurance Based on Bounded Model Checking},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2009, 12th International
Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5717},
pages = {295--303},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04772-5\_39},
doi = {10.1007/978-3-642-04772-5\_39},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/HrubaKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AbdullaCHV09,
author = {Parosh Aziz Abdulla and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Tom{\'{a}}s Vojnar},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Mediating for Reduction (on Minimizing Alternating B{\"{u}}chi
Automata)},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {1--12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2302},
doi = {10.4230/LIPICS.FSTTCS.2009.2302},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AbdullaCHV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/HlinenyMV09,
author = {Petr Hlinen{\'{y}} and
V{\'{a}}clav Maty{\'{a}}s and
Tom{\'{a}}s Vojnar},
editor = {Petr Hlinen{\'{y}} and
V{\'{a}}clav Maty{\'{a}}s and
Tom{\'{a}}s Vojnar},
title = {Preface -- Annual Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science (MEMICS'09)},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
Znojmo, Czech Republic},
series = {OASIcs},
volume = {13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2342},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/HlinenyMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KrenaLNTUV09,
author = {Bohuslav Krena and
Zdenek Letko and
Yarden Nir{-}Buchbinder and
Rachel Tzoref{-}Brill and
Shmuel Ur and
Tom{\'{a}}s Vojnar},
editor = {Saddek Bensalem and
Doron A. Peled},
title = {A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and
Runtime Healing},
booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
France, June 26-28, 2009. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5779},
pages = {101--114},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04694-0\_8},
doi = {10.1007/978-3-642-04694-0\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KrenaLNTUV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HabermehlV09,
author = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
editor = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {Preface},
booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
/ 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
8, 2007 / Toronto, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {239},
pages = {1--3},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.05.026},
doi = {10.1016/J.ENTCS.2009.05.026},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HabermehlV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infinity/2006-07-08,
editor = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
/ 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
8, 2007 / Toronto, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {239},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/239/suppl/C},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infinity/2006-07-08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2009,
editor = {Petr Hlinen{\'{y}} and
V{\'{a}}clav Maty{\'{a}}s and
Tom{\'{a}}s Vojnar},
title = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
Znojmo, Czech Republic},
series = {OASIcs},
volume = {13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09006/},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2008,
editor = {Milan Ceska and
Zdenek Kot{\'{a}}sek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Ludek Matyska and
Tom{\'{a}}s Vojnar},
title = {Proceedings of the International Doctoral Workshop on Mathematical
and Engineering Methods in Computer Science, {MEMICS} 2008, Znojmo,
Czech Republic, November 14-16, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {251},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/251/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memics/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BouajjaniHV08,
author = {Ahmed Bouajjani and
Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {Verification of parametric concurrent systems with prioritised {FIFO}
resource management},
journal = {Formal Methods Syst. Des.},
volume = {32},
number = {2},
pages = {129--172},
year = {2008},
url = {https://doi.org/10.1007/s10703-008-0048-7},
doi = {10.1007/S10703-008-0048-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BouajjaniHV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HabermehlIV08,
author = {Peter Habermehl and
Radu Iosif and
Tom{\'{a}}s Vojnar},
editor = {Roberto M. Amadio},
title = {What Else Is Decidable about Integer Arrays?},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {474--489},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_33},
doi = {10.1007/978-3-540-78499-9\_33},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HabermehlIV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LetkoVK08,
author = {Zdenek Letko and
Tom{\'{a}}s Vojnar and
Bohuslav Krena},
editor = {Shmuel Ur},
title = {AtomRace: data race and atomicity violation detector and healer},
booktitle = {Proceedings of the 6th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2008), {PADTAD} 2008, Seattle, Washington, USA, July 20-21,
2008},
pages = {7},
publisher = {{ACM}},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1390848},
timestamp = {Wed, 28 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LetkoVK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HabermehlIV08,
author = {Peter Habermehl and
Radu Iosif and
Tom{\'{a}}s Vojnar},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Logic of Singly Indexed Arrays},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {558--573},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_39},
doi = {10.1007/978-3-540-89439-1\_39},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HabermehlIV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaBHKV08,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Lisa Kaati and
Tom{\'{a}}s Vojnar},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Computing Simulations over Tree Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {93--108},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_8},
doi = {10.1007/978-3-540-78800-3\_8},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaBHKV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BouajjaniHHTV08,
author = {Ahmed Bouajjani and
Peter Habermehl and
Luk{\'{a}}s Hol{\'{\i}}k and
Tayssir Touili and
Tom{\'{a}}s Vojnar},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Antichain-Based Universality and Inclusion Testing over Nondeterministic
Finite Tree Automata},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {57--67},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_7},
doi = {10.1007/978-3-540-70844-5\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BouajjaniHHTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AbdullaBHKV08,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Lisa Kaati and
Tom{\'{a}}s Vojnar},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Composed Bisimulation for Tree Automata},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {212--222},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_22},
doi = {10.1007/978-3-540-70844-5\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AbdullaBHKV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CeskaKKMV09,
author = {Milan Ceska and
Zdenek Kot{\'{a}}sek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Ludek Matyska and
Tom{\'{a}}s Vojnar},
editor = {Milan Ceska and
Zdenek Kot{\'{a}}sek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Ludek Matyska and
Tom{\'{a}}s Vojnar},
title = {Preface},
booktitle = {Proceedings of the International Doctoral Workshop on Mathematical
and Engineering Methods in Computer Science, {MEMICS} 2008, Znojmo,
Czech Republic, November 14-16, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {251},
pages = {1--3},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.023},
doi = {10.1016/J.ENTCS.2009.08.023},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CeskaKKMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbdullaHKV09,
author = {Parosh Aziz Abdulla and
Luk{\'{a}}s Hol{\'{\i}}k and
Lisa Kaati and
Tom{\'{a}}s Vojnar},
editor = {Milan Ceska and
Zdenek Kot{\'{a}}sek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Ludek Matyska and
Tom{\'{a}}s Vojnar},
title = {A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata},
booktitle = {Proceedings of the International Doctoral Workshop on Mathematical
and Engineering Methods in Computer Science, {MEMICS} 2008, Znojmo,
Czech Republic, November 14-16, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {251},
pages = {27--48},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.026},
doi = {10.1016/J.ENTCS.2009.08.026},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbdullaHKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CeskaEV07,
author = {Milan Ceska and
Pavel Erlebach and
Tom{\'{a}}s Vojnar},
title = {Generalised multi-pattern-based verification of programs with linear
linked structures},
journal = {Formal Aspects Comput.},
volume = {19},
number = {3},
pages = {363--374},
year = {2007},
url = {https://doi.org/10.1007/s00165-007-0031-x},
doi = {10.1007/S00165-007-0031-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CeskaEV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HabermehlIRV07,
author = {Peter Habermehl and
Radu Iosif and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Proving Termination of Tree Manipulating Programs},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {145--161},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_12},
doi = {10.1007/978-3-540-75596-8\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HabermehlIRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bliss/SekaninaHVKC07,
author = {Luk{\'{a}}s Sekanina and
Tomas Hruska and
Tom{\'{a}}s Vojnar and
Dusan Kol{\'{a}}r and
Jan Cernock{\'{y}}},
editor = {Adrian Stoica and
Tughrul Arslan and
Daniel Howard and
Tai{-}Hoon Kim and
Ahmed O. El{-}Rayis},
title = {On Some Directions in Security-Oriented Research},
booktitle = {2007 {ECSIS} Symposium on Bio-inspired, Learning, and Intelligent
Systems for Security, {BLISS} 2007, Edinburgh, United Kingdom, 9-10
August 2007},
pages = {141--144},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/BLISS.2007.17},
doi = {10.1109/BLISS.2007.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bliss/SekaninaHVKC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaEV07,
author = {Milan Ceska and
Pavel Erlebach and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Pattern-Based Verification for Trees},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International
Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 12-16, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4739},
pages = {488--496},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75867-9\_62},
doi = {10.1007/978-3-540-75867-9\_62},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CeskaEV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SmrckaV07,
author = {Ales Smrcka and
Tom{\'{a}}s Vojnar},
editor = {Karen Yorav},
title = {Verifying Parametrised Hardware Designs Via Counter Automata},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {51--68},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_8},
doi = {10.1007/978-3-540-77966-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SmrckaV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KrenaLTUV07,
author = {Bohuslav Krena and
Zdenek Letko and
Rachel Tzoref and
Shmuel Ur and
Tom{\'{a}}s Vojnar},
editor = {Shmuel Ur and
Eitan Farchi},
title = {Healing data races on-the-fly},
booktitle = {Proceedings of the 5th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2007), {PADTAD} 2007, London, UK, July 9, 2007},
pages = {54--64},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273647.1273658},
doi = {10.1145/1273647.1273658},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KrenaLTUV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniBHIMV06,
author = {Ahmed Bouajjani and
Marius Bozga and
Peter Habermehl and
Radu Iosif and
Pierre Moro and
Tom{\'{a}}s Vojnar},
editor = {Thomas Ball and
Robert B. Jones},
title = {Programs with Lists Are Counter Automata},
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 = {517--531},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_47},
doi = {10.1007/11817963\_47},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniBHIMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SmrckaRVSMR06,
author = {Ales Smrcka and
Vojtech Reh{\'{a}}k and
Tom{\'{a}}s Vojnar and
David Safr{\'{a}}nek and
Petr Matousek and
Z. Reh{\'{a}}k},
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {Verifying {VHDL} Designs with Multiple Clocks in {SMV}},
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 = {148--164},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70952-7\_10},
doi = {10.1007/978-3-540-70952-7\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/SmrckaRVSMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BouajjaniHRV06,
author = {Ahmed Bouajjani and
Peter Habermehl and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
editor = {Kwangkeun Yi},
title = {Abstract Regular Tree Model Checking of Complex Dynamic Data Structures},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {52--70},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_5},
doi = {10.1007/11823230\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BouajjaniHRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HabermehlIV06,
author = {Peter Habermehl and
Radu Iosif and
Tom{\'{a}}s Vojnar},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Automata-Based Verification of Programs with Tree Updates},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {350--364},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_23},
doi = {10.1007/11691372\_23},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HabermehlIV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MatousekSV05,
author = {Petr Matousek and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware
Design},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {371--375},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_34},
doi = {10.1007/11560548\_34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/MatousekSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaKV05,
author = {Milan Ceska and
Bohuslav Krena and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Parallel State Space Generation and Exploration on Shared-Memory Architectures},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2005, 10th International
Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 7-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3643},
pages = {275--280},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11556985\_37},
doi = {10.1007/11556985\_37},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CeskaKV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BouajjaniHMV05,
author = {Ahmed Bouajjani and
Peter Habermehl and
Pierre Moro and
Tom{\'{a}}s Vojnar},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular
Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {13--29},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_2},
doi = {10.1007/978-3-540-31980-1\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BouajjaniHMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BouajjaniHRV06,
author = {Ahmed Bouajjani and
Peter Habermehl and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
editor = {Jir{\'{\i}} Srba and
Scott A. Smolka},
title = {Abstract Regular Tree Model Checking},
booktitle = {Proceedings of the 7th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {1},
pages = {37--48},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.015},
doi = {10.1016/J.ENTCS.2005.11.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BouajjaniHRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CeskaEV06,
author = {Milan Ceska and
Pavel Erlebach and
Tom{\'{a}}s Vojnar},
editor = {Ranko Lazic and
Rajagopal Nagarajan},
title = {Pattern-Based Verification of Programs with Extended Linear Linked
Data Structures},
booktitle = {Proceedings of the 5th International Workshop on Automated Verification
of Critical Systems, AVoCS 2005, University of Warwick, UK, September
12-13, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {145},
pages = {113--130},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.008},
doi = {10.1016/J.ENTCS.2005.10.008},
timestamp = {Thu, 15 Dec 2022 14:59:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CeskaEV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniHV04,
author = {Ahmed Bouajjani and
Peter Habermehl and
Tom{\'{a}}s Vojnar},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Abstract Regular Model Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {372--386},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_29},
doi = {10.1007/978-3-540-27813-9\_29},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniHV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HabermehlV05,
author = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
editor = {Julian C. Bradfield and
Faron Moller},
title = {Regular Model Checking Using Inference of Regular Languages},
booktitle = {Proceedings of the 6th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {3},
pages = {21--36},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.044},
doi = {10.1016/J.ENTCS.2005.01.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HabermehlV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniHV03,
author = {Ahmed Bouajjani and
Peter Habermehl and
Tom{\'{a}}s Vojnar},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Verification of Parametric Concurrent Systems with Prioritized {FIFO}
Resource Management},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {172--187},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_11},
doi = {10.1007/978-3-540-45187-7\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouajjaniHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaHV03,
author = {Milan Ceska and
Ludek Hasa and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler},
title = {Partial-Order Reduction in Model Checking Object-Oriented Petri Nets},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2003, 9th International
Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 24-28, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2809},
pages = {265--278},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45210-2\_25},
doi = {10.1007/978-3-540-45210-2\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CeskaHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/CeskaJV01,
author = {Milan Ceska and
Vladim{\'{\i}}r Janousek and
Tom{\'{a}}s Vojnar},
title = {Generating and using state spaces of object-oriented Petri nets},
journal = {Comput. Syst. Sci. Eng.},
volume = {16},
number = {3},
pages = {183--193},
year = {2001},
timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/CeskaJV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaJV01,
author = {Milan Ceska and
Vladim{\'{\i}}r Janousek and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Analysis and Verification Queries over Object-Oriented Petri Nets},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {369--384},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_29},
doi = {10.1007/3-540-45654-6\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CeskaJV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaJV99,
author = {Milan Ceska and
Vladim{\'{\i}}r Janousek and
Tom{\'{a}}s Vojnar},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Peter Kopacek},
title = {Towards Verifying Distributed Systems Using Object-Oriented Petri
Nets},
booktitle = {Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September
29 - October 2, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1798},
pages = {90--104},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720123\_9},
doi = {10.1007/10720123\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CeskaJV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CeskaJV98,
author = {Milan Ceska and
Vladim{\'{\i}}r Janousek and
Tom{\'{a}}s Vojnar},
title = {Object-oriented Petri nets, their simulation, and analysis},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
USA, October 11-14,1998},
pages = {262--267},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.725419},
doi = {10.1109/ICSMC.1998.725419},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/CeskaJV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaJV97,
author = {Milan Ceska and
Vladim{\'{\i}}r Janousek and
Tom{\'{a}}s Vojnar},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az},
title = {PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling},
booktitle = {Computer Aided Systems Theory - EUROCAST'97, {A} Selection of Papers
from the 6th International Workshop on Computer Aided Systems Theory,
Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1333},
pages = {591--610},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0025078},
doi = {10.1007/BFB0025078},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CeskaJV97.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.
last updated on 2024-09-25 01:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
