Výzkumná skupina automatizované analýzy a verifikace - VeriFIT

https://verifit.webnode.cz/

Publikace

  • 2024

    DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš a ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024.
    Detail

    HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Z3-Noodler: An Automata-based String Solver. In: Proceedings of TACAS'24. Luxembourgh: Springer Verlag, 2024, s. 24-33. ISSN 0302-9743.
    Detail

    FIEDOR Tomáš, HAVLENA Vojtěch, HOLÍK Lukáš, HRUŠKA Martin, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Mata: A Fast and Simple Finite Automata Library. In: Proceedings of TACAS'24. Luxembourgh: Springer Verlag, 2024, s. 130-151. ISSN 0302-9743.
    Detail

    HABERMEHL Peter, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš a LENGÁL Ondřej. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. In: Proceedings of CAV'24. Montreal: Springer Verlag, 2024. ISSN 0302-9743.
    Detail

  • 2023

    HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej a HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, roč. 2023, č. 14, s. 2352-2366. ISSN 1949-3053.
    Detail

    FIEDOR Jan, KŘENA Bohuslav, SMRČKA Aleš, VAŠÍČEK Ondřej a VOJNAR Tomáš. Integrating OSLC Services into Eclipse. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, roč. 13789. Las Palmas de Gran Canaria: Springer International Publishing, 2023, s. 240-249. ISBN 978-3-031-25311-9.
    Detail

    HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora a TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata. In: Proceedings of TACAS'23. Paris: Springer Verlag, 2023, s. 249-270. ISSN 0302-9743.
    Detail

    HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj a VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca, 2023.
    Detail

    HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora a TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). Ithaca: Cornell University Library, 2023.
    Detail

    BLAHOUDEK František, HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Word Equations in Synergy with Regular Constraints. In: Proceedings of FM'23. Lübeck: Springer Verlag, 2023, s. 403-423. ISSN 0302-9743.
    Detail

    HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions. Journal of Systems and Software, roč. 201, č. 201, 2023, s. 111673-111693. ISSN 0164-1212.
    Detail

    HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023.
    Detail

    ROZSÍVAL Michal a SMRČKA Aleš. NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection. In: Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Porto: Institute of Electrical and Electronics Engineers, 2023, s. 207-210. ISBN 979-8-3503-2543-0.
    Detail

    HARMIM Dominik, MARCIN Vladimír, SVOBODOVÁ Lucie a VOJNAR Tomáš. Static Deadlock Detection in Low-Level C Code. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science, roč. 13789. Cham: Springer Nature Switzerland AG, 2023, s. 267-276. ISBN 978-3-031-25311-9.
    Detail

    HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj a VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting. In: Foundations of Software Science and Computation Structures. Heidelberg: Springer Verlag, 2023, s. 392-412. ISSN 0302-9743.
    Detail

    CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao, TSAI Wei-lun a YEN Di-de. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, roč. 7, č. 6, 2023, s. 1218-1243. ISSN 2475-1421.
    Detail

    CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao a TSAI Wei-lun. AutoQ: An Automata-based Quantum Circuit Verifier. In: Proceedings of 35th International Conference on Computer Aided Verification. Cham: Springer Verlag, 2023, s. 139-153. ISSN 0302-9743.
    Detail

    FIEDOR Tomáš, HOLÍK Lukáš, HRUŠKA Martin, ROGALEWICZ Adam, SÍČ Juraj a VARGOVČÍK Pavol. Reasoning about Regular Properties: A Comparative Study. In: Automated Deduction - CADE 29. Cham: Springer Nature Switzerland AG, 2023, s. 286-306. ISSN 0302-9743.
    Detail

    ANDRIUSHCHENKO Roman, ALEXANDER Bork, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter a MACÁK Filip. Search and Explore: Symbiotic Policy Synthesis in POMDPs. In: Computer Aided Verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), roč. 13966. Cham: Springer Verlag, 2023, s. 113-135. ISBN 978-3-031-37708-2.
    Detail

    ANDRIUSHCHENKO Roman, BARTOCCI Ezio, ČEŠKA Milan, FRANCESCO Pontiggia a SARAH Sallinger. Deductive Controller Synthesis for Probabilistic Hyperproperties. In: Quantitative Evaluation of SysTems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), roč. 14287. Cham: Springer Verlag, 2023, s. 288-306. ISBN 978-3-031-43834-9.
    Detail

    CHEN Yu-Fang, CHOCHOLATÝ David, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a SÍČ Juraj. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, roč. 7, č. 10, 2023, s. 2112-2141. ISSN 2475-1421.
    Detail

    JOVANOVIC Vojin, KOZÁK David, STANCU Codrut, VOJNAR Tomáš a WIMMER Christian. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023, s. 129-142. ISBN 979-8-4007-0380-5.
    Detail

    SMRČKA Aleš, SANGCHOOLIE Behrooz, EMANUELE Mingozzi, VARA Luis De La Jose, FARRELL Marie, BARBOSA Raul, BAGLUM Cem, YAYAN Ugur, ERGUN Salih a KANAK Alper. Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems [version 1; peer review: 2 approved]. Open Research Europe, roč. 3, č. 219, 2023, s. 1-21. ISSN 2732-5121.
    Detail

    HOLÍK Lukáš a ŠEDÝ Michal. Utilization of Repeating Substructures for Efficient Representation of Automata (Technical Report). Brno, 2023.
    Detail

  • 2022

    CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Utilizing parametric systems for detection of pipeline hazards. International Journal on Software Tools for Technology Transfer, roč. 2020, č. 1, 2022, s. 1-28. ISSN 1433-2779.
    Detail

    ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. SagTree: Towards Efficient Mutation in Evolutionary Circuit Approximation. Swarm and Evolutionary Computation, roč. 69, č. 100986, 2022, s. 1-10. ISSN 2210-6502.
    Detail

    HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation. In: Proceedings of TACAS'22. Munich: Springer Verlag, 2022, s. 118-136. ISBN 978-3-030-99526-3. ISSN 0302-9743.
    Detail

    HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report). Ithaca, 2022.
    Detail

    HOLÍKOVÁ Lenka, HOLÍK Lukáš, HOMOLIAK Ivan, LENGÁL Ondřej, VEANES Margus a VOJNAR Tomáš. Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. In: Proceedings of the 31st USENIX Security Symposium. Boston, MA: USENIX, 2022, s. 4165-4182. ISBN 978-1-939133-31-1.
    Detail

    ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch a VOJNAR Tomáš. Designing Approximate Arithmetic Circuits with Combined Error Constraints. In: Proceeding of 25th Euromicro Conference on Digital System Design 2022 (DSD'22). Gran Canaria: Institute of Electrical and Electronics Engineers, 2022, s. 785-792. ISBN 978-1-6654-7404-7.
    Detail

    HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction. In: 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics, roč. 2022. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022, s. 1-30. ISBN 978-3-95977-225-9. ISSN 1868-8969.
    Detail

    HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction (Artifact). Dagstuhl, 2022.
    Detail

    HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction (technical report). Ithaca, 2022.
    Detail

    HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker. In: Proceedings of the 34th International Conference on Computer Aided Verification. Haifa: Springer Verlag, 2022, s. 188-201. ISBN 978-3-031-13187-5. ISSN 0302-9743.
    Detail

    HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker (Technical Report). Ithaca: Cornell University Library, 2022.
    Detail

    ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian a KATOEN Joost-Pieter. Inductive Synthesis of Finite-State Controllers for POMDPs. In: Conference on Uncertainty in Artificial Intelligence. Proceedings of Machine Learning Research, roč. 180. Eindhoven: Proceedings of Machine Learning Research, 2022, s. 85-95. ISSN 2640-3498.
    Detail

    HELFRICH Martin, ČEŠKA Milan, KŘETÍNSKÝ Jan a MARTIČEK Štefan. Abstraction-Based Segmental Simulation of Chemical Reaction Networks. In: International Conference on Computational Methods in Systems Biology. Lecture Notes in Bioinformatics. Bucharest: Springer Verlag, 2022, s. 41-60. ISBN 978-3-031-15033-3.
    Detail

    ANDRIUSHCHENKO Roman, ČEŠKA Milan, MARCIN Vladimír a VOJNAR Tomáš. GPU-Accelerated Synthesis of Probabilistic Programs. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham, 2022, s. 256-266. ISBN 978-3-031-25312-6.
    Detail

    GE-ERNST Aile, SCHOLL Christoph, SÍČ Juraj a WIMMER Ralf. Solving dependency quantified Boolean formulas using quantifier localization. Theoretical Computer Science, roč. 2022, č. 925, s. 1-24. ISSN 0304-3975.
    Detail

    MALÍK Viktor, ŠILLING Petr a VOJNAR Tomáš. Applying Custom Patterns in Semantic Equality Analysis. In: Networked Systems. Lecture Notes in Computer Science, roč. 13464. Cham: Springer Nature Switzerland AG, 2022, s. 265-282. ISBN 978-3-031-17436-0.
    Detail

    FIEDOR Tomáš, PAVELA Jiří, ROGALEWICZ Adam a VOJNAR Tomáš. Perun: Performance Version System. In: Proceedings of the 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022). Limassol: Institute of Electrical and Electronics Engineers, 2022, s. 499-503. ISBN 978-1-6654-7956-1.
    Detail

    VAŠÍČEK Ondřej, FIEDOR Jan, KRATOCHVÍLA Tomáš, KŘENA Bohuslav, SMRČKA Aleš a VOJNAR Tomáš. Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC. In: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Singapore: Association for Computing Machinery, 2022, s. 1408-1418. ISBN 978-1-4503-9413-0.
    Detail

    BAUER Thomas, AGIRRE Andoni Joseba, FÜRCHO David, HERZNER Wolfgang, HRUŠKA Bob, KARACA Mustafa, PEREIRA David M., PROENÇA José, SCHLICK Rupert, SICHER Robert, SMRČKA Aleš, YAYAN Ugur a SANGCHOOLIE Behrooz. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. Cham, 2022, s. 368-382.
    Detail

  • 2021

    ŠLAPAL Josef. A convenient graph connectedness for digital imagery. In: High Performance Computing in Science and Engineering 2019. Lecture Notes in Computer Science, roč. 2021. Cham: Springer International Publishing, 2021, s. 150-162. ISBN 978-3-030-67076-4. ISSN 0302-9743.
    Detail

    MATOUŠEK Petr, HAVLENA Vojtěch a HOLÍK Lukáš. Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. In: Proceedings of IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021, s. 81-89. ISBN 978-3-903176-32-4.
    Detail

    CHALUPA Marek, JAŠEK Tomáš, NOVÁK Jakub, ŘECHTÁČKOVÁ Anna, STREJČEK Jan a ŠOKOVÁ Veronika. Symbiotic 8: Beyond Symbolic Execution. In: Proceedings of TACAS 2021 (2). Lecture Notes in Computer Science, roč. 12652. Cham: Springer International Publishing, 2021, s. 453-457. ISBN 978-3-030-72012-4.
    Detail

    ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian a KATOEN Joost-Pieter. Inductive Synthesis for Probabilistic Programs Reaches New Horizons. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2021, s. 191-209. ISBN 978-3-030-72015-5.
    Detail

    ABATE Alessandro, ANDRIUSHCHENKO Roman, ČEŠKA Milan a KWIATKOWSKA Marta. Adaptive formal approximations of Markov chains. Performance Evaluation, roč. 148, č. 102207, 2021, s. 1-23. ISSN 0166-5316.
    Detail

    ČEŠKA Milan, HENSE Christian, JUNGES Sebastian a KATOEN Joost-Pieter. Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects of Computing, roč. 33, č. 4, 2021, s. 637-667. ISSN 0934-5043.
    Detail

    HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. In: Proceedings of NETYS'21. Lecture notes in Computer Science. Cham: Springer Verlag, 2021, s. 215-222. ISSN 0302-9743.
    Detail

    MALÍK Viktor a VOJNAR Tomáš. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). Porto de Galinhas: Institute of Electrical and Electronics Engineers, 2021, s. 329-339. ISBN 978-1-7281-6837-1.
    Detail

    SÍČ Juraj a STREJČEK Jan. DQBDD: An Efficient BDD-Based DQBF Solver. In: Proc. of the 24th International Conference on Theory and Applications of Satisfiability Testing. Heidelberg: Springer Verlag, 2021, s. 535-544. ISSN 0302-9743.
    Detail

    HAVLENA Vojtěch a LENGÁL Ondřej. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation. In: 32nd International Conference on Concurrency Theory (CONCUR 2021). Paris: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021, s. 1-19. ISSN 1868-8969.
    Detail

    ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter a STUPINSKÝ Šimon. PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. In: International Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, roč. 12759. Cham: Springer Verlag, 2021, s. 856-869. ISBN 978-3-030-81684-1.
    Detail

    HAVLENA Vojtěch a LENGÁL Ondřej. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report). Ithaca, 2021.
    Detail

    HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. Journal of Automated Reasoning, roč. 65, č. 7, 2021, s. 971-999. ISSN 0168-7433.
    Detail

    BARBOSA Raul, ESNAOLA Mikel L., GIANTAMIDIS Georgios, PEREIRA David M., SANGCHOOLIE Behrooz, SCHLICK Rupert, SMRČKA Aleš a YAZICI Ahmed a kol. The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocessors and Microsystems, roč. 87, č. 104349, 2021, s. 1-18. ISSN 0141-9331.
    Detail

    HOLÍK Lukáš a HRUŠKA Martin. Towards Efficient Shape Analysis with Tree Automata. In: Proceedings International Conference on Networked Systems. Lecture notes in Computer Science. Cham: Springer Verlag, 2021, s. 206-214. ISSN 0302-9743.
    Detail

    HOLÍK Lukáš a VARGOVČÍK Pavol. Simplifying Alternating Automata for Emptiness Testing. In: Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. Cham: Springer International Publishing, 2021, s. 243-264. ISBN 978-3-030-89051-3.
    Detail

    ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang a WU Zhilin. Solving Not-Substring Constraint with Flat Abstraction. In: Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. 13008. Berlín: Springer International Publishing, 2021, s. 305-320. ISBN 978-3-030-89051-3.
    Detail

  • 2020

    ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. International Journal on Software Tools for Technology Transfer, roč. 22, č. 5, 2020, s. 523-539. ISSN 1433-2779.
    Detail

    PERINGER Petr, ŠOKOVÁ Veronika a VOJNAR Tomáš. PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, roč. 12079. Cham: Springer International Publishing, 2020, s. 408-412. ISBN 978-3-030-45236-0.
    Detail

    AYAZIOVÁ Paulína, HRUŠKA Martin, CHALUPA Marek, JAŠEK Tomáš, STREJČEK Jan, ŠOKOVÁ Veronika, TOMOVIČ Lukáš a VOJNAR Tomáš. Symbiotic 7: Integration of Predator and More (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, roč. 12079. Cham: Springer International Publishing, 2020, s. 413-417. ISBN 978-3-030-45236-0.
    Detail

    HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej, VALEŠ Ondřej a VOJNAR Tomáš. Antiprenexing for WSkS: A Little Goes a Long Way. In: EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020, s. 298-316. ISSN 2398-7340.
    Detail

    MATYÁŠ Jiří, PANKUCH Adam, VOJNAR Tomáš, ČEŠKA Milan a ČEŠKA Milan. Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. In: International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science, roč. 12013. Cham: Springer Verlag, 2020, s. 482-490. ISBN 978-3-030-45092-2.
    Detail

    MATOUŠEK Petr, RYŠAVÝ Ondřej, HAVLENA Vojtěch a GRÉGR Matěj. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, roč. 2020, č. 54, s. 102535-102535. ISSN 2214-2126.
    Detail

    BARBOSA Raul, BECKER Hauke, ESNAOLA Mikel L., FERRARI Enrico, FOLKESSON Peter, GIANTAMIDIS Georgios, KANAK Alper, PEREIRA David M., POMANTE Luigi, SANGCHOOLIE Behrooz, SCHLICK Rupert, SMRČKA Aleš a YAZICI Ahmed. The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. In: 2020 23rd Euromicro Conference on Digital System Design (DSD 2020). Krajn: Institute of Electrical and Electronics Engineers, 2020, s. 352-359. ISBN 978-1-7281-9535-3.
    Detail

    ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Applied Soft Computing, roč. 95, č. 106466, 2020, s. 1-17. ISSN 1568-4946.
    Detail

    HOLÍK Lukáš, IOSIF Radu, ROGALEWICZ Adam a VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Formal Methods in System Design, roč. 55, č. 3, 2020, s. 137-170. ISSN 0925-9856.
    Detail

    ŠLAPAL Josef. A 3D digital Jordan-Brouwer separation theorem. Computational and Applied Mathematics, roč. 39, č. 11, 2020, s. 1-10. ISSN 1807-0302.
    Detail

    ŠLAPAL Josef. A closure operator for the digital plane. FILOMAT, roč. 34, č. 10, 2020, s. 3229-3237. ISSN 0354-5180.
    Detail

    HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In: Proceedings of APLAS'20. Heidelberg: Springer Verlag, 2020, s. 343-363. ISSN 0302-9743.
    Detail

    ČEŠKA Milan, CHAU Calvin a KŘETÍNSKÝ Jan. SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. In: International Conference on Computer Aided Verification. Lecture Notes in Computer Science, roč. 12224. Cham: Springer Verlag, 2020, s. 653-666. ISBN 978-3-030-53287-1.
    Detail

    ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch a VOJNAR Tomáš. Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. In: Theory and Applications of Satisfiability Testing - SAT 2020. Lecture Notes in Computer Science, roč. 12178. Alghero: Springer International Publishing, 2020, s. 481-491. ISBN 978-3-030-51824-0.
    Detail

    HAVLENA Vojtěch, HOLÍK Lukáš a MATOUŠEK Petr. Learning Probabilistic Automata in the Context of IEC 104. IT-TR-2020-01, Brno: Fakulta informačních technologií VUT v Brně, 2020.
    Detail

    HUM Qingze, TAN Wei Jin, TEY Shi Ying, LENUS Latasha, HOMOLIAK Ivan, LIN Yun a SUN Jun. CoinWatch: A Clone-Based Approach for Detecting Vulnerabilities in Cryptocurrencies. In: 3rd IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020). Rhodos: Institute of Electrical and Electronics Engineers, 2020, s. 17-25. ISBN 978-0-7381-0495-9.
    Detail

    HOLÍKOVÁ Lenka, HOLÍK Lukáš, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus a VOJNAR Tomáš. Regex Matching with Counting-Set Automata. Proceedings of the ACM on Programming Languages, roč. 4, č. 11, 2020, s. 1-30. ISSN 2475-1421.
    Detail

    ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, JANKŮ Petr, LIN Hsin-Hung a WU Wei-Cheng. Efficient handling of string-number conversion. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York: Association for Computing Machinery, 2020, s. 943-957. ISBN 978-1-4503-7613-6.
    Detail

    HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp a VOJNAR Tomáš. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020.
    Detail

  • 2019

    FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Nested Antichains for WS1S. Acta Informatica, roč. 56, č. 3, 2019, s. 205-228. ISSN 0001-5903.
    Detail

    ABDULLA Parosh A., ATIG Mohamed F., CHEN Yu-Fang, BUI Phi Diep, HOLÍK Lukáš, REZINE Ahmed a RUMMER Philipp. Trau : SMT solver for string constraints. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019, s. 165-169. ISBN 978-0-9835678-8-2.
    Detail

    ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, KOŘENEK Jan, LENGÁL Ondřej, MATOUŠEK Denis, MATOUŠEK Jiří, SEMRIČ Jakub a VOJNAR Tomáš. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. In: Proceedings - 27th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2019. San Diego, CA: Institute of Electrical and Electronics Engineers, 2019, s. 109-117. ISBN 978-1-7281-1131-5.
    Detail

    ČEŠKA Milan, JANSEN Nils, JUNGES Sebastian a KATOEN Joost-Pieter. Shepherding Hordes of Markov Chains. In: Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 11428. Praha: Springer International Publishing, 2019, s. 172-190. ISBN 978-3-030-17464-4.
    Detail

    ČEŠKA Milan a KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). Lecture Notes of Computer Science, roč. 11561. New York: Springer International Publishing, 2019, s. 475-496. ISBN 978-3-030-25540-4.
    Detail

    HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. In: Proceedings of 27th International Conference on Automated Deduction (CADE-27). Natal: Springer Verlag, 2019, s. 300-318. ISSN 0302-9743.
    Detail

    HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca, 2019.
    Detail

    ČEŠKA Milan, HENSE Christian, JUNGES Sebastian a KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods.. Lecture Notes of Computer Science. Porto: Springer International Publishing, 2019, s. 101-120. ISBN 978-3-030-30941-1.
    Detail

    CHEN Yu-Fang, HAVLENA Vojtěch a LENGÁL Ondřej. Simulations in Rank-Based Büchi Automata Complementation. In: Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Nusa Dua: Springer International Publishing, 2019, s. 447-467. ISSN 0302-9743.
    Detail

    KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika a VOJNAR Tomáš. PredatorHP Attacks Interval-Sized Regions. Ithaca, 2019.
    Detail

    HOLÍK Lukáš, HOLÍKOVÁ Lenka, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus a VOJNAR Tomáš. Succinct Determinisation of Counting Automata via Sphere Construction. In: In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19. Berlin Heidelberg: Springer Verlag, 2019, s. 468-489. ISSN 0302-9743.
    Detail

    ŠLAPAL Josef. Path-induced closure operators on graphs for defining digital Jordan surfaces. Open Mathematics, roč. 17, č. 1, 2019, s. 1374-1380. ISSN 2391-5455.
    Detail

    CHEN Yu-Fang, CHIANG Chang-Yi, HOLÍK Lukáš, KAO Wei-Tsung, LIN Hsin-Hung, VOJNAR Tomáš, WEN Yean-Fu a WU Wei-Cheng. J-ReCoVer: Java Reducer Commutativity Verifier. In: Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Lecture Notes in Computer Science, roč. 11893. Cham: Springer International Publishing, 2019, s. 357-366. ISBN 978-3-030-34174-9.
    Detail

    ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš a JANKŮ Petr. Chain-Free String Constraints. In: Proceedings of ATVA'19. Lecture Notes in Computer Science, roč. 11781. Cham: Springer International Publishing, 2019, s. 277-293. ISBN 978-3-030-31783-6.
    Detail

    HOLÍKOVÁ Lenka a JANKŮ Petr. Solving String Constraints with Approximate Parikh Image. In: Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019, s. 1-8. ISBN 978-3-030-45092-2.
    Detail

    ČEŠKA Milan, HENSE Christian, JANSEN Nils, JUNGES Sebastian a KATOEN Joost-Pieter. Model Repair Revamped - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems. Lecture Notes of Computer Science. Cham: Springer International Publishing, 2019, s. 107-125. ISBN 978-3-030-31513-9.
    Detail

    ČEŠKA Milan a KŘETÍNSKÝ Jan. Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). In: Proceedings of the 17th International Conference on Computational Methods in Systems Biology. Lecture Notes in Bioinformatics. Trieste: Springer International Publishing, 2019, s. 337-341. ISBN 978-3-030-31303-6.
    Detail

    POMANTE Luigi, MUTTILLO Vittoriano, KŘENA Bohuslav, VOJNAR Tomáš, VELJKOVIĆ Filip, MAGNIN Pacôme, MATSCHNIG Martin, FISCHER Bernhard, MARTINEZ Jabier a GRUBER Thomas. The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocessors and Microsystems, roč. 2019, č. 69, s. 54-67. ISSN 0141-9331.
    Detail

    HOLÍK Lukáš, HOLÍKOVÁ Lenka, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus a VOJNAR Tomáš. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019.
    Detail

  • 2018

    FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš a ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Lecture Notes in Computer Science, roč. 10145. Heidelberg: Springer Verlag, 2018, s. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743.
    Detail

    HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp a VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages, roč. 2, č. 2, 2018, s. 96-127. ISSN 2475-1421.
    Detail

    KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel a VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II, roč. 10672. Las Palmas: Springer International Publishing, 2018, s. 99-108. ISBN 978-3-319-74726-2.
    Detail

    ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In: Proceedings of TACAS'18. Thessaloniki: Springer Verlag, 2018, s. 155-175. ISSN 0302-9743.
    Detail

    HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea a ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, s. 135-150. ISBN 978-1-4503-5698-5.
    Detail

    CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software, roč. 2018, č. 143, s. 140-158. ISSN 0164-1212.
    Detail

    ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. ADAC: Automated Design of Approximate Circuits. In: Proceedings of 30th International Conference on Computer Aided Verification (CAV'18). Oxford, UK: Springer International Publishing, 2018, s. 612-620. ISBN 978-3-319-96145-3.
    Detail

    LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, s. 34-60. ISBN 978-3-319-75632-5.
    Detail

    ŠLAPAL Josef. Relation-induced connectedness in the digital plane. AEQUATIONESA MATHEMATICAE, roč. 2018, č. 95, s. 75-90. ISSN 0001-9054.
    Detail

    ŠLAPAL Josef. Categorical aspects of inducing closure operators on graphs by sets of walks. Journal of Computer and System Sciences, roč. 2018, č. 95, s. 143-150. ISSN 0022-0000.
    Detail

    FIEDOR Jan, MUŽIKOVSKÁ Monika, SMRČKA Aleš, VAŠÍČEK Ondřej a VOJNAR Tomáš. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In: Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018, s. 356-359. ISBN 978-1-4503-5699-2.
    Detail

    HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus a VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata. In: Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2018, s. 109-125. ISBN 978-3-030-01089-8. ISSN 0302-9743.
    Detail

    HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus a VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018.
    Detail

    HRUŠKA Martin, MALÍK Viktor, SCHRAMMEL Peter a VOJNAR Tomáš. Template-Based Verification of Heap-Manipulating Programs. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2018, s. 103-111. ISBN 978-0-9835678-8-2.
    Detail

    MALÍK Viktor, MARTIČEK Štefan, SCHRAMMEL Peter, SRIVAS Mandayam, VOJNAR Tomáš a WAHLANG Johanan. 2LS: Memory Safety and Non-termination (Competition Contribution). In: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science, roč. 10806. Thessaloniki: Springer International Publishing, 2018, s. 417-421. ISBN 978-3-319-89962-6.
    Detail

    HOLGATE David a ŠLAPAL Josef. Closure, interior and neighbourhood in a category. Hacettepe Journal of Mathematics and Statistics, roč. 47, č. 6, 2018, s. 1512-1520. ISSN 1303-5010.
    Detail

    ŠLAPAL Josef. Galois connections between sets of paths and closure operators in simple graphs. Open Mathematics, roč. 16, č. 1, 2018, s. 1573-1581. ISSN 2391-5455.
    Detail

    ŠLAPAL Josef. Closure operators on graphs for modeling connectedness in digital spaces. FILOMAT, roč. 32, č. 14, 2018, s. 5011-5021. ISSN 0354-5180.
    Detail

    VOJNAR Tomáš, POMANTE Luigi, KŘENA Bohuslav, VELJKOVIĆ Filip a MAGNIN Pacôme. The AQUAS ECSEL Project. In: Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018, s. 592-599. ISBN 978-1-5386-7376-8.
    Detail

  • 2017

    HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam a VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Lecture Notes in Computer Science, roč. 10145. Cham: Springer Verlag, 2017, s. 288-309. ISBN 978-3-319-52234-0. ISSN 0302-9743.
    Detail

    ČEŠKA Milan, ČEŠKA Milan a PAOLETTI Nicola. Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. In: Proceedings of 16th International Conference on Computer Aided Systems Theory. LNCS volume 10672. Heidelberg: Springer Verlag, 2017, s. 38-46. ISBN 978-3-319-74726-2.
    Detail

    FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej a VOJNAR Tomáš. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, roč. 10205. Heidelberg: Springer Verlag, 2017, s. 407-425. ISBN 978-3-662-54576-8. ISSN 0302-9743.
    Detail

    LENGÁL Ondřej, LIN Anthony W., MAJUMDAR Rupak a RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, roč. 10205. Heidelberg: Springer Verlag, 2017, s. 499-517. ISBN 978-3-662-46680-3. ISSN 0302-9743.
    Detail

    HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant a WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, s. 421-438. ISSN 0302-9743.
    Detail

    FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej a VOJNAR Tomáš. Lazy Automata Techniques for WS1S. arXiv:1701.06282, 2017.
    Detail

    HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant a WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. Ithaca, 2017.
    Detail

    ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Lecture Notes in Computer Science, roč. 10227. Heidelberg: Springer Verlag, 2017, s. 302-309. ISBN 978-3-319-57287-1.
    Detail

    CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: Proceedings of 14th IEEE International Conference On Software Architecture. New Jersey: IEEE Computer Society, 2017, s. 131-140. ISBN 978-1-5090-5729-0.
    Detail

    LAURENTI Luca, ABATE Alessandro, BORTOLUSSI Luca, CARDELLI Luca, ČEŠKA Milan a KWIATKOWSKA Marta. Reachability Computation for Switching Diffusions:Finite Abstractions with Certifiable and Tuneable Precision. In: Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control. ACM. New York: Association for Computing Machinery, 2017, s. 55-64. ISBN 978-1-4503-4590-3.
    Detail

    ŠLAPAL Josef. Structuring Digital Spaces by Path-Partition Induced Closure Operators on Graphs. In: Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications. Lecture Notes in Computer Science, roč. 10149. Berlin: Springer Verlag, 2017, s. 43-55. ISBN 978-3-319-54608-7. ISSN 0302-9743.
    Detail

    HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, roč. 10206. Heidelberg: Springer Verlag, 2017, s. 365-369. ISBN 978-3-662-54580-5.
    Detail

    ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In: Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA: Institute of Electrical and Electronics Engineers, 2017, s. 416-423. ISBN 978-1-5386-3093-8.
    Detail

    CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony a WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, s. 1-12. ISBN 978-1-5090-3018-7.
    Detail

    CARDELLI Luca, ČEŠKA Milan, FRANZLE Martin, KWIATKOWSKA Marta, LAURENTI Luca, PAOLETTI Nicola a WHITBY Max. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In: Proceedings of the 29th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, roč. 10427. Heidelberg: Springer Verlag, 2017, s. 375-395. ISBN 978-3-319-63390-9.
    Detail

    CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony a WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017.
    Detail

    ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. Formal Methods in System Design, roč. 2017, č. 51, s. 575-607. ISSN 0925-9856.
    Detail

    DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš, SOUSA Diogo J. a VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, s. 196-206. ISBN 978-1-5090-6032-0.
    Detail

    ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt a REZINE Ahmed. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, roč. 5, č. 19, 2017, s. 549-563. ISSN 1433-2779.
    Detail

    HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš a WOLF Sebastian. Effect Summaries for Thread-Modular Analysis Sound Analysis Despite an Unsound Heuristic. In: SAS 2017: Static Analysis. Lecture Notes in Computer Science, roč. 10422. Cham: Springer International Publishing, 2017, s. 169-191. ISBN 978-3-319-66706-5. ISSN 0302-9743.
    Detail

    AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš a VOLKOVICH Zeev. Boosted decision trees for behaviour mining of concurrent programmes. Concurrency and Computation: Practice and Experience, roč. 29, č. 21, 2017, s. 4268-4289. ISSN 1532-0634.
    Detail

    ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed a RUMMER Philipp. Flatten and conquer: a framework for efficient analysis of string constraints. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM. New York: Association for Computing Machinery, 2017, s. 602-617. ISBN 978-1-4503-4988-8.
    Detail

    ŠLAPAL Josef. Walk-set induced connectedness in digital spaces. Carpathian Journal of Mathematics, roč. 33, č. 2, 2017, s. 247-256. ISSN 1584-2851.
    Detail

    ŠLAPAL Josef. Terse walk sets in graphs and induced closure operators. Topology and Its Applications, roč. 230, č. 1, 2017, s. 258-266. ISSN 0166-8641.
    Detail

    PFALTZ John a ŠLAPAL Josef. Closure operators associated with networks. Hacettepe Journal of Mathematics and Statistics, roč. 46, č. 1, 2017, s. 91-101. ISSN 1303-5010.
    Detail

    ŠLAPAL Josef. A ternary relation for structuring the digital plane. In: AMCSE 2016. Les Ulis Cedex A: EDP Sciences, 2017, s. 1-5. ISSN 2271-2097.
    Detail

    KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017.
    Detail

  • 2016

    HOLÍK Lukáš, MEYER Roland a MUSKALLA Sebastian. Antichains for the Verification of Recursive Programs. In: Proceedings of International Conference on Networked Systems. Lecture Notes in Computer Science (LNCS). Cham: Springer International Publishing, 2016, s. 322-336. ISBN 978-3-319-26849-1.
    Detail

    HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology. In: 2nd Workshop on Approximate Computing (WAPCO 2016). Prague, 2016, s. 1-6.
    Detail

    IOSIF Radu, ROGALEWICZ Adam a VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 9636. Heidelberg: Springer Verlag, 2016, s. 71-89. ISBN 978-3-662-49673-2.
    Detail

    DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek a VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Lecture Notes in Computer Science, roč. 9583. Berlin Heidelberg: Springer Verlag, 2016, s. 431-452. ISBN 978-3-662-49121-8.
    Detail

    DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek a VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03. Brno, 2016.
    Detail

    CHEN Yu-Fang, HSIEH Chiao, LENGÁL Ondřej, LII Tsung-Ju, TSAI Ming-Hsien, WANG Bow-Yaw a WANG Farn. PAC Learning-Based Verification and Model Synthesis. In: Proceedings of the 38th International Conference on Software Engineering. Austin, TX: Association for Computing Machinery, 2016, s. 714-724. ISBN 978-1-4503-3900-1.
    Detail

    HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Run Forester, Run Backwards! (Competition Contribution). In: Proceedings of TACAS'16. Lecture Notes in Computer Science, roč. 9636. Heidelberg: Springer Verlag, 2016, s. 923-926. ISBN 978-3-662-49673-2.
    Detail

    KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika a VOJNAR Tomáš. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In: Proceedings of TACAS 2016. Lecture Notes in Computer Science, roč. 9636. Heidelberg: Springer Verlag, 2016, s. 942-945. ISBN 978-3-662-49673-2.
    Detail

    ALMEIDA Ricardo, HOLÍK Lukáš a MAYR Richard. Reduction of Nondeterministic Tree Automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Volume 9636 of the series Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2016, s. 717-735. ISBN 978-3-662-49673-2.
    Detail

    ČEŠKA Milan, PILAŘ Petr, PAOLETTI Nicola, BRIM Luboš a KWIATKOWSKA Marta. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In: Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 9636. Berlin: Springer International Publishing, 2016, s. 367-384. ISBN 978-3-662-49673-2. ISSN 0302-9743.
    Detail

    ABATE Alessandro, ČEŠKA Milan a KWIATKOWSKA Marta. Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. In: Proceedings of 14th International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, roč. 9938. Heidelberg: Springer Verlag, 2016, s. 13-31. ISBN 978-3-319-46519-7.
    Detail

    ALDEGHERI Stefano, BARNAT Jiří, BOMBIERI Nicola, BUSATO Federico a ČEŠKA Milan. Parametric Multi-Step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. In: Proceedings of 2nd Workshop on Performance Engineering for Large Scale Graph Analytics. Lecture Notes in Computer Science, roč. 10104. Cham: Springer Verlag, 2016, s. 519-531. ISBN 978-3-319-58942-8.
    Detail

    HOLÍK Lukáš, KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika, TRTÍK Marek a VOJNAR Tomáš. Predator Shape Analysis Tool Suite. In: Proceedings of HVC 2016. Lecture Notes in Computer Science, roč. 10028. Zurich: Springer International Publishing, 2016, s. 202-209. ISBN 978-3-319-49052-6.
    Detail

    CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016). Electronic Proceedings in Theoretical Computer Science, roč. 2016. Brno: Fakulta informatiky MU, 2016, s. 87-93. ISBN 978-80-210-8362-2. ISSN 2075-2180.
    Detail

    ROGALEWICZ Adam. Symbolic Representations of Dynamic Data Structures in Program Analysis. Brno, 2016.
    Detail

    HOLÍK Lukáš, MEYER Roland a MUSKALLA Sebastian. Summaries for Context-Free Games. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, s. 41-57. ISBN 978-3-95977-027-9.
    Detail

    ŠLAPAL Josef. A categorical approach to convergence: compactness. Topology and Its Applications, roč. 201, č. 1, 2016, s. 78-85. ISSN 0166-8641.
    Detail

  • 2015

    FIEDOR Jan, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. Advances in Noise-based Testing of Concurrent Programs. Software Testing, Verification and Reliability, roč. 25, č. 3, 2015, s. 272-309. ISSN 1099-1689.
    Detail

    FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Lecture Notes in Computer Science, roč. 8934. Heidelberg: Springer Verlag, 2015, s. 73-87. ISBN 978-3-319-14895-3.
    Detail

    CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory (EUROCAST 2015). Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2015, s. 193-194. ISBN 978-84-606-5438-4.
    Detail

    FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Nested Antichains for WS1S. In: Proceedings of TACAS'15. Lecture Notes in Computer Science, roč. 9035. Heidelberg: Springer Verlag, 2015, s. 658-674. ISBN 978-3-662-46680-3.
    Detail

    HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forester: Shape Analysis Using Tree Automata (Competition Contribution). In: Proceedings of TACAS'15. Lecture Notes in Computer Science, roč. 9035. Heidelberg: Springer Verlag, 2015, s. 432-435. ISBN 978-3-662-46680-3.
    Detail

    FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2015, s. 177-178. ISBN 978-84-606-5438-4.
    Detail

    ABDULLA Parosh A., ATIG Mohamed F., HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed, RUMMER Philipp a STENMAN Jari. Norn: An SMT Solver for String Constraints. In: Computer Aided Verification. Lecture Notes in Computer Science Volume 9206. Cham: Springer International Publishing, 2015, s. 462-469. ISBN 978-3-319-21689-8.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, JONSSON Bengt, LENGÁL Ondřej, TRINH Quy Cong a VOJNAR Tomáš. Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica, roč. 53, č. 4, 2015, s. 357-385. ISSN 0001-5903.
    Detail

    MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator Hunting Party (Competition Contribution). In: Proceedings of TACAS'15. Lecture Notes in Computer Science, roč. 9035. Heidelberg: Springer Verlag, 2015, s. 443-446. ISBN 978-3-662-46680-3.
    Detail

    FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Lecture Notes in Computer Science, roč. 9520. Heidelberg: Springer Verlag, 2015, s. 555-564. ISBN 978-3-319-27339-6.
    Detail

    CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. In: Computer Aided Systems Theory - EUROCAST 2015. Lecture Notes in Computer Science, roč. 9520. Zurich: Springer International Publishing, 2015, s. 605-614. ISBN 978-3-319-27340-2. ISSN 0302-9743.
    Detail

  • 2014

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 8413. Heidelberg: Springer Verlag, 2014, s. 412-414. ISBN 978-3-642-54861-1.
    Detail

    MÜLLER Petr a VOJNAR Tomáš. CPAlien: Shape Analyzer for CPAChecker (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 8413. Heidelberg: Springer Verlag, 2014, s. 395-397. ISBN 978-3-642-54861-1.
    Detail

    MARHEFKA Matúš a MÜLLER Petr. Dfuzzer: A D-Bus Service Fuzzing Tool. In: Proceedings of IEEE Seventh International Conference on Software Testing, Verification and Validation Workshopsn. Cleveland: IEEE Computer Society, 2014, s. 383-389. ISBN 978-0-7695-5194-4.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In: SSBSE'14. Lecture Notes in Computer Science, roč. 8636. Heidelberg: Springer Verlag, 2014, s. 107-122. ISBN 978-3-319-09939-2.
    Detail

    AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš a VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, s. 15-27. ISBN 978-80-214-5022-6.
    Detail

    IOSIF Radu, ROGALEWICZ Adam a VOJNAR Tomáš. Deciding Entailments in Inductive Separation Logic with Tree Automata. In: Proceedings of ATVA'14. Lecture Notes in Computer Science, roč. 8837. Heidelberg: Springer Verlag, 2014, s. 201-218. ISBN 978-3-319-11935-9.
    Detail

    ABDULLA Parosh A., HAZIZA Frédéric a HOLÍK Lukáš. Block Me If You Can! Context-Sensitive Parameterized Verification. In: 21st International Static Analysis Symposium. Lecture Notes in Computer Science, roč. 2014. Berlin: Springer Verlag, 2014, s. 1-17. ISBN 978-3-319-10935-0. ISSN 0302-9743.
    Detail

    ABDULLA Parosh A., ATIG Mohamed F., HOLÍK Lukáš, CHEN Yu-Fang, RUMMER Philipp a STENMAN Jari. String Constraints for Verification. In: 26th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, Volume 8559, roč. 8559. Berlin: Springer Verlag, 2014, s. 150-166. ISBN 978-3-319-08866-2.
    Detail

    ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. In: Proceedings of APLAS'14. Lecture Notes in Computer Science, roč. 8858. Heidelberg: Springer Verlag, 2014, s. 314-333. ISBN 978-3-319-12735-4.
    Detail

    ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Fakulta informačních technologií VUT v Brně, 2014.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Mediating for reduction (on minimizing alternating Buchi automata). Theoretical Computer Science, roč. 2014, č. 552, s. 26-43. ISSN 0304-3975.
    Detail

    CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. In: Proceedings of 15th International Workshop on Microprocessor Test and Verification (MTV 2014). Austin, TX: IEEE Computer Society, 2014, s. 83-89. ISBN 978-1-4673-6858-2.
    Detail

    CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. Brno: Fakulta informačních technologií VUT v Brně, 2014.
    Detail

    FIEDOR Tomáš. A Decision Procedure For The WSkS Logic. Saarbrücken: Lambert Academic Publishing, 2014. ISBN 978-3-659-63583-0.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno, 2014.
    Detail

  • 2013

    NOVOSAD Petr a ČEŠKA Milan. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In: Proc. of Computer Aided System Theory 2013. Universidad de Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2013, s. 244-245. ISBN 84-695-6971-6.
    Detail

    ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt a REZINE Ahmed. An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. In: 19th International Conference, TACAS 2013. Lecture Notes in Computer Science, roč. 7795. Berlin Heidelberg: Springer Verlag, 2013, s. 324-338. ISBN 978-3-642-36742-7. ISSN 0302-9743.
    Detail

    CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. An Abstraction of Multi-Port Memories with Arbitrary Addressable Units. In: Proceedings of the 14th Computer Aided Systems Theory. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2013, s. 254-255. ISBN 978-84-695-6971-9.
    Detail

    DUDKA Kamil, MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science Volume 7795, roč. 2013. Berlin: Springer Verlag, 2013, s. 627-629. ISBN 978-3-642-36742-7. ISSN 0302-9743.
    Detail

    KŘENA Bohuslav a VOJNAR Tomáš. Automated formal analysis and verification: an overview. International Journal of General Systems, roč. 2013, č. 42, s. 335-365. ISSN 0308-1079.
    Detail

    IOSIF Radu, ROGALEWICZ Adam a ŠIMÁČEK Jiří. The Tree Width of Separation Logic with Recursive Definitions. In: Automated Deduction - CADE-24. Lecture Notes in Artificial Intelligence, roč. 2013. Berlin: Springer Verlag, 2013, s. 21-38. ISBN 978-3-642-38573-5. ISSN 0302-9743.
    Detail

    IOSIF Radu, ROGALEWICZ Adam a ŠIMÁČEK Jiří. The Tree Width of Separation Logic with Recursive Definitions. arXiv:1301.5139, 2013.
    Detail

    HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Fully Automated Shape Analysis Based on Forest Automata. In: Proceedings of CAV'13. Heidelberg: Springer Verlag, 2013, s. 740-755. ISBN 978-3-642-39798-1. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Byte-Precise Verification of Low-Level List Manipulation. In: 20th Static Analysis Symposium. Lecture Notes in Computer Science Volume 7935, roč. 20. Berlin: Springer Verlag, 2013, s. 215-237. ISBN 978-3-642-38855-2. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Byte-Precise Verification of Low-Level List Manipulation. FIT-TR-2012-04, Brno: Fakulta informačních technologií VUT v Brně, 2013.
    Detail

    IOSIF Radu a ROGALEWICZ Adam. Automata-Based Termination Proofs. Computing and Informatics, roč. 2013, č. 4, s. 739-775. ISSN 1335-9150.
    Detail

    ABDULLA Parosh A., CEDERBERG Jonathan a VOJNAR Tomáš. Monotonic Abstraction for Programs with Multiply-Linked Structures. International Journal of Foundations of Computer Science, roč. 24, č. 2, 2013, s. 187-210. ISSN 0129-0541.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, JONSSON Bengt, LENGÁL Ondřej, TRINH Quy Cong a VOJNAR Tomáš. Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. In: Proceedings of ATVA'13. Heidelberg: Springer Verlag, 2013, s. 224-239. ISBN 978-3-319-02443-1.
    Detail

    HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Fully Automated Shape Analysis Based on Forest Automata. FIT-TR-2013-01, Brno: Fakulta informačních technologií VUT v Brně, 2013.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, JONSSON Bengt, LENGÁL Ondřej, TRINH Quy Cong a VOJNAR Tomáš. Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. FIT-TR-2013-02, Brno: Fakulta informačních technologií VUT v Brně, 2013.
    Detail

    LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 5, č. 3, 2013, s. 1-8. ISSN 1338-1237.
    Detail

  • 2012

    KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science, roč. 2012, č. 7186, s. 177-192. ISSN 0302-9743.
    Detail

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 519-526. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 527-534. ISSN 0302-9743.
    Detail

    ČEŠKA Milan, FIEDOR Jan a GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 559-567. ISSN 0302-9743.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, roč. 2012, č. 7119, s. 123-131. ISSN 0302-9743.
    Detail

    DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. Lecture Notes in Computer Science, roč. 2012, č. 7186, s. 5. ISSN 0302-9743.
    Detail

    ZACHARIÁŠOVÁ Marcela, LENGÁL Ondřej a KAJAN Michal. HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. Lecture Notes in Computer Science, roč. 2012, č. 7261, s. 247-253. ISSN 0302-9743.
    Detail

    LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Lecture Notes in Computer Science, roč. 2012, č. 7214, s. 79-94. ISSN 0302-9743.
    Detail

    DUDKA Kamil, MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution). Lecture Notes in Computer Science, roč. 2012, č. 7214, s. 544-547. ISSN 0302-9743.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam a VOJNAR Tomáš. Abstract Regular (Tree) Model Checking. International Journal on Software Tools for Technology Transfer, roč. 14, č. 2, 2012, s. 167-191. ISSN 1433-2779.
    Detail

    KONEČNÝ Filip, IOSIF Radu a BOZGA Marius. Deciding Conditional Termination. Lecture Notes in Computer Science, roč. 2012, č. 7214, s. 252-266. ISSN 0302-9743.
    Detail

    HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. Formal Methods in System Design, roč. 2012, č. 41, s. 83-106. ISSN 0925-9856.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. Testování vícevláknových aplikací pomocí genetických algoritmů. Lecture Notes in Computer Science, roč. 2012, č. 7515, s. 152-167. ISSN 0302-9743.
    Detail

    KONEČNÝ Filip, HOJJAT Hossein, IOSIF Radu, KUNCAK Viktor, RUMMER Philipp a GARNIER Florent. A Verification Toolkit for Numerical Transition Systems. Lecture Notes in Computer Science, roč. 2012, č. 7436, s. 247-251. ISSN 0302-9743.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno, 2012.
    Detail

    FIEDOR Jan a VOJNAR Tomáš. Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level. In: PADTAD '12. Proceedings of the 10th Workshop on Parallel and Distributed Systems. New York: Association for Computing Machinery, 2012, s. 36-46. ISBN 978-1-4503-1456-5.
    Detail

    IOSIF Radu, HOJJAT Hossein, KONEČNÝ Filip, KUNCAK Viktor a RUMMER Philipp. Accelerating Interpolants. Lecture Notes in Computer Science, roč. 2012, č. 7561, s. 187-202. ISSN 0302-9743.
    Detail

    FIEDOR Jan a VOJNAR Tomáš. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science, roč. 2012, č. 7687, s. 35-41. ISSN 0302-9743.
    Detail

    CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. In: Proceedings of the 13th International Workshop on Microprocessor Test and Verification (MTV 2012). Austin, TX: Institute of Electrical and Electronics Engineers, 2012, s. 6-12. ISBN 978-1-4673-4441-8.
    Detail

    ZACHARIÁŠOVÁ Marcela a LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. FIT-TR-2012-03, Brno: Fakulta informačních technologií VUT v Brně, 2012.
    Detail

    ZACHARIÁŠOVÁ Marcela a LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. Lecture Notes in Computer Science, roč. 2013, č. 7857, 2012, s. 266-273. ISSN 0302-9743.
    Detail

    LENGÁL Ondřej. An Efficient Finite Tree Automata Library: The Design of BDD-based Semi-symbolic Algorithms for Nondeterministic Finite Tree Automata. Saarbrücken: Lambert Academic Publishing, 2012. ISBN 978-3-659-27069-7.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. FIT Monograph. Brno: Fakulta informačních technologií VUT v Brně, 2012. ISBN 978-80-214-4464-5.
    Detail

  • 2011

    HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. Lecture Notes in Computer Science, roč. 2011, č. 6806, s. 424-440. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. Lecture Notes in Computer Science, roč. 2011, č. 6806, s. 372-378. ISSN 0302-9743.
    Detail

    BOUAJJANI Ahmed, BOZGA Marius, HABERMEHL Peter, IOSIF Radu, MORO Pierre a VOJNAR Tomáš. Programs with Lists are Counter Automata. Formal Methods in System Design, roč. 38, č. 2, 2011, s. 158-192. ISSN 0925-9856.
    Detail

    HOLÍK Lukáš, LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. Lecture Notes in Computer Science, roč. 2011, č. 6996, s. 243-258. ISSN 0302-9743.
    Detail

    ABDULLA Parosh A., CEDERBERG Jonathan a VOJNAR Tomáš. Monotonic Abstraction for Programs with Multiply-Linked Structures. Lecture Notes in Computer Science, roč. 2011, č. 6945, s. 125-138. ISSN 0302-9743.
    Detail

    HOLÍK Lukáš, LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. FIT-TR-2011-04, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

    HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. FIT-TR-2011-01, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

    ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard a VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. FIT-TR-2011-03, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

    ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard a VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. Lecture Notes in Computer Science, roč. 2011, č. 6901, s. 187-202. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. FIT-TR-2011-02, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

    ZACHARIÁŠOVÁ Marcela, LENGÁL Ondřej a KAJAN Michal. HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. FIT-TR-2011-05, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

    ČEŠKA Milan, FIEDOR Jan a GACH Marek. A Novel Approach to Modechart Verification of Real-Time Systems. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 338-339. ISBN 978-84-693-9560-8.
    Detail

    DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. FIT-TR-2011-06, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 326-327. ISBN 978-84-693-9560-8.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 328-329. ISBN 978-84-693-9560-8.
    Detail

    PROCHÁZKA Boris, VOJNAR Tomáš a DRAHANSKÝ Martin. Hijacking the Linux Kernel. In: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. OASIcs proceedengs from MEMICS'10 papers, roč. 16. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011, s. 85-92. ISBN 978-3-939897-22-4. ISSN 2190-6807.
    Detail

  • 2010

    ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata). FIT-TR-2010-01, Brno: Fakulta informačních technologií VUT v Brně, 2010.
    Detail

    HABERMEHL Peter, IOSIF Radu a VOJNAR Tomáš. Automata-based Verification of Programs with Tree Updates. Acta Informatica, roč. 47, č. 1, 2010, s. 1-31. ISSN 0001-5903.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 6015. Berlín: Springer Verlag, 2010, s. 158-174. ISBN 978-3-642-12001-5.
    Detail

    ABDULLA Parosh A., CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing. FIT-TR-2010-02, Brno: Fakulta informačních technologií VUT v Brně, 2010.
    Detail

    ABDULLA Parosh A., CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. In: Computer Aided Verification. Lecture Notes in Computer Science, roč. 6174. Berlín: Springer Verlag, 2010, s. 132-147. ISBN 978-3-642-14294-9.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. A Platform for Search-Based Testing of Concurrent Software. In: PADTAD '10. Proceedings of the 8th Workshop on Parallel and Distributed Systems. Trento: Association for Computing Machinery, 2010, s. 11. ISBN 978-1-60558-823-0.
    Detail

    BOZGA Marius, IOSIF Radu a KONEČNÝ Filip. Fast Acceleration of Ultimately Periodic Relations. In: Computer Aided Verification. Lecture Notes in Computer Science, roč. 6174. Berlin: Springer Verlag, 2010, s. 227-242. ISBN 978-3-642-14294-9.
    Detail

    BOZGA Marius, IOSIF Radu a KONEČNÝ Filip. Fast Acceleration of Ultimately Periodic Relations. TR-2010-3, Grenoble: VERIMAG, 2010.
    Detail

    LETKO Zdeněk. Sophisticated Testing of Concurrent Software. In: SSBSE '10. Proceedings of 2nd International Symposium on Search Based Software Engineering. Benevento: Institute of Electrical and Electronics Engineers, 2010, s. 36-40. ISBN 978-0-7695-4195-2.
    Detail

    PROCHÁZKA Boris. Útok na rozhraní systémových volání. In: Proceedings of the 16th Conference STUDENT EEICT 2010. Volume 3. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2010, s. 130-132. ISBN 978-80-214-4078-4.
    Detail

    PROCHÁZKA Boris, VOJNAR Tomáš a DRAHANSKÝ Martin. Hijacking the Linux Kernel. In: MEMICS 2010 - Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010, s. 143-150. ISBN 978-80-87342-10-7.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk, VOJNAR Tomáš a UR Shmuel. A Platform for Search-Based Testing of Concurrent Software. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010. ISBN 978-80-87342-10-7.
    Detail

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. FIT-TR-2010-03, Brno, 2010.
    Detail

    SMRČKA Aleš a VOJNAR Tomáš. Verification of Asynchronous and Parametrized Hardware Designs. FIT Monograph. Brno: Fakulta informačních technologií VUT v Brně, 2010. ISBN 978-80-214-4214-6.
    Detail

    HOLÍK Lukáš a VOJNAR Tomáš. Simulations and Aintichains for Efficient Handling of Tree Automata. FIT Monograph. Brno: Fakulta informačních technologií VUT v Brně, 2010. ISBN 978-80-214-4217-7.
    Detail

    SMRČKA Aleš. Verification of Asynchronous and Parametrized Hardware Designs. Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 2, 2010, s. 60-69. ISSN 1338-1237.
    Detail

    HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. Computing and Informatics, roč. 2010, č. 7, s. 1337-1348. ISSN 1335-9150.
    Detail

  • 2009

    KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel a VOJNAR Tomáš. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. FIT-TR-2009-01, Brno, 2009.
    Detail

    DUDKA Vendula, VOJNAR Tomáš a KŘENA Bohuslav. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2009, s. 99-100. ISBN 978-84-691-8502-5.
    Detail

    BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip a VOJNAR Tomáš. Automatic Verification of Integer Array Programs. In: Computer Aided Verification. Lecture Notes in Computer Science, roč. 5643. Berlin: Springer Verlag, 2009, s. 157-172. ISBN 978-3-642-02657-7.
    Detail

    BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip a VOJNAR Tomáš. Automatic Verification of Integer Array Programs. TR-2009-2, Grenoble: VERIMAG, 2009.
    Detail

    IOSIF Radu a ROGALEWICZ Adam. Automata-Based Termination Proofs. In: Implementation and Application of Automata. Lecture Notes in Computer Science, roč. 5642. Berlin: Springer Verlag, 2009, s. 165-177. ISBN 978-3-642-02978-3.
    Detail

    DUDKA Vendula, KŘENA Bohuslav a VOJNAR Tomáš. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, roč. 5717. Berlin: Springer Verlag, 2009, s. 295-303. ISBN 978-3-642-04771-8.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. Electronic Notes in Theoretical Computer Science, roč. 2009, č. 251, s. 27-48. ISSN 1571-0661.
    Detail

    ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Composed Bisimulation for Tree Automata. International Journal of Foundations of Computer Science, roč. 20, č. 4, 2009, s. 685-700. ISSN 0129-0541.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Mediating for Reduction (On Minimizing Alternating Büchi Automata). Brno: Fakulta informačních technologií VUT v Brně, 2009.
    Detail

    HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. FIT-TR-2009-03, Brno, 2009.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Mediating for Reduction (On Minimizing Alternating Büchi Automata). FIT-TR-2009-02, Brno, 2009.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel a VOJNAR Tomáš. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. In: Runtime Verification. Lecture Notes in Computer Science, Volume 5779/2009. Berlin: Springer Verlag, 2009, s. 101-114. ISBN 978-3-642-04693-3.
    Detail

    HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Fakulta informatiky MU, 2009, s. 93-101. ISBN 978-3-939897-15-6.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Zprostředkování pro redukci (Za minimalizací alternujících automatů). In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). LIPIcs, sv. 4. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, s. 1-12. ISBN 978-3-939897-13-2.
    Detail

  • 2008

    SMRČKA Aleš a VOJNAR Tomáš. Verifying Parametrised Hardware Designs Via Counter Automata. In: Hardware and Software, Verification and Testing. Lecture Notes in Computer Science, roč. 4899. Heidelberg: Springer Verlag, 2008, s. 51-68. ISSN 0302-9743.
    Detail

    HABERMEHL Peter, IOSIF Radu a VOJNAR Tomáš. What else is decidable about integer arrays?. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, roč. 4962. Berlin: Springer Verlag, 2008, s. 475-490. ISBN 978-3-540-78497-5.
    Detail

    ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 4963. Berlin: Springer Verlag, 2008, s. 93-108. ISBN 978-3-540-78799-0.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Verification of parametric concurrent systems with prioritised FIFO resource management. Formal Methods in System Design, roč. 32, č. 2, 2008, s. 129-172. ISSN 0925-9856.
    Detail

    VOJNAR Tomáš, ČEŠKA Milan, ROGALEWICZ Adam, ERLEBACH Pavel, HOLÍK Lukáš, BOUAJJANI Ahmed, HABERMEHL Peter, TOUILI Tayssir a MORO Pierre. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií, roč. 2008, č. 1, s. 21-22. ISSN 1210-4612.
    Detail

    ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Composed Bisimulation for Tree Automata. FIT-TR-2008-004, Brno, 2008.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. FIT-TR-2008-005, Brno, 2008.
    Detail

    ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata. FIT-TR-2008-001, Brno, 2008.
    Detail

    ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Composed Bisimulation for Tree Automata. In: Implementation and Application of Automata. Lecture Notes in Computer Science, roč. 5148. Berlin: Springer Verlag, 2008, s. 212-222. ISBN 978-3-540-70843-8.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter, HOLÍK Lukáš, TOUILI Tayssir a VOJNAR Tomáš. Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. In: Implementation and Application of Automata. Lecture Notes in Computer Science, roč. 5148. Berlin: Springer Verlag, 2008, s. 57-67. ISBN 978-3-540-70843-8.
    Detail

    LETKO Zdeněk, VOJNAR Tomáš a KŘENA Bohuslav. AtomRace: Data Race and Atomicity Violation Detector and Healer. In: PADTAD '08. Proceedings of the 6th workshop on Parallel and distributed systems. Seattle: Association for Computing Machinery, 2008, s. 1-10. ISBN 978-1-60558-052-4.
    Detail

    LETKO Zdeněk. An Architecture for Self-Healing of Data Races and Atomicity Violations for Java. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 2. Brno: Vysoké učení technické v Brně, 2008, s. 256-258. ISBN 978-80-214-3615-2.
    Detail

    DUDKA Vendula. Bounded Model Checking Using Java PathFinder. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 2. Brno: Vysoké učení technické v Brně, 2008, s. 247-249. ISBN 978-80-214-3615-2.
    Detail

    HABERMEHL Peter, IOSIF Radu a VOJNAR Tomáš. A Logic of Singly Indexed Arrays. In: Logic for Programming, Artificial Intelligence and Reasoning. Lecture Notes in Computer Science, roč. 5330. Berlin: Springer Verlag, 2008, s. 558-573. ISBN 978-3-540-89438-4.
    Detail

    HABERMEHL Peter, IOSIF Radu a VOJNAR Tomáš. A Logic of Singly Indexed Arrays. TR-2008-9, Grenoble: VERIMAG, 2008.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter, HOLÍK Lukáš, TOUILI Tayssir a VOJNAR Tomáš. Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. FIT-TR-2008-007, Brno: Fakulta informačních technologií VUT v Brně, 2008.
    Detail

    HABERMEHL Peter, IOSIF Radu a VOJNAR Tomáš. What else is decidable about integer arrays?. TR-2007-8, Grenoble: VERIMAG, 2008.
    Detail

    ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2008, s. 3-11. ISBN 978-80-7355-082-0.
    Detail

    ANTOŠ David, ČEŠKA Milan, KOTÁSEK Zdeněk, KŘETÍNSKÝ Mojmír, MATYSKA Luděk a VOJNAR Tomáš, ed. Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2008. ISBN 978-80-7355-082-0.
    Detail

    HABERMEHL Peter a VOJNAR Tomáš, ed. Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08. Toronto: Fakulta informačních technologií VUT v Brně, 2008. ISBN 978-80-214-3697-8.
    Detail

  • 2007

    ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures. Formal Aspects of Computing, roč. 19, č. 3, 2007, s. 363-374. ISSN 0934-5043.
    Detail

    ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Pattern-Based Verification for Trees. In: Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2007, s. 181-182. ISBN 978-3-540-75866-2.
    Detail

    VOJNAR Tomáš. Cut-offs and Automata in Formal Verification of Infinite-State Systems. FIT Monograph 1. Brno: Fakulta informačních technologií VUT v Brně, 2007. ISBN 978-80-214-3547-6.
    Detail

    SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr a ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Formal Methods: Applications and Technology. Lecture Notes in Computer Science, roč. 4346. Bonn: Springer Verlag, 2007, s. 148-164. ISSN 0302-9743.
    Detail

    VOJNAR Tomáš. Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy. Současné trendy teoretické informatiky. ITI Series 2007-347. Praha, 2007.
    Detail

    DUDKA Vendula, KŘENA Bohuslav a VOJNAR Tomáš. Using JavaPathFinder for Self-healing Assurance. In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007. Znojmo: Ing. Zdeněk Novotný, CSc., 2007, s. 67-73. ISBN 978-80-7355-077-6.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk, TZOREF-BRILL Rachel, UR Shmuel a VOJNAR Tomáš. SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing. Brno: Evropská komise EU, 2007.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: Evropská komise EU, 2007.
    Detail

    HABERMEHL Peter, IOSIF Radu, ROGALEWICZ Adam a VOJNAR Tomáš. Proving Termination of Tree Manipulating Programs. In: Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, roč. 4762. Berlin: Springer Verlag, 2007, s. 145-161. ISBN 978-3-540-75595-1.
    Detail

    ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Pattern-based Verification for Trees. In: Computer Aided Systems Theory. Lecture Notes in Computer Science, roč. 4739. Berlin: Springer Verlag, 2007, s. 488-496. ISBN 978-3-540-75866-2.
    Detail

    HOLÍK Lukáš a ROGALEWICZ Adam. Counterexample Analysis in Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, s. 59-66. ISBN 978-80-7355-077-6.
    Detail

    ROGALEWICZ Adam. Verification of Programs with Complex Data Structures. Brno, 2007. ISBN 978-80-214-3548-3.
    Detail

    LETKO Zdeněk. Dynamic Detection and Healing of Low Level Data Races. In: Proceedings of the 13th Conference STUDENT EEICT 2007. Volume 2. Brno: Vysoké učení technické v Brně, 2007, s. 257-259. ISBN 978-80-214-3408-0.
    Detail

  • 2006

    ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electronic Notes in Theoretical Computer Science, roč. 2006, č. 145, s. 113-130. ISSN 1571-0661.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam a VOJNAR Tomáš. Abstract Regular Tree Model Checking. Electronic Notes in Theoretical Computer Science, roč. 149, č. 1, 2006, s. 37-48. ISSN 1571-0661.
    Detail

    HABERMEHL Peter, IOSIF Radu a VOJNAR Tomáš. Automata-based Verification of Programs with Tree Updates. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 3920. Berlin: Springer Verlag, 2006, s. 350-364. ISBN 978-3-540-33056-1.
    Detail

    SMRČKA Aleš. High-level Modeling, Analysis and Verification of Programmable Hardware Design. Proceedings of the Junior Scientist Conference 2006. Vienna: Technische Universität Wien, 2006. ISBN 3-902463-05-8.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam a VOJNAR Tomáš. Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. In: Static Analysis. Lecture Notes in Computer Science, roč. 4134. Berlin: Springer Verlag, 2006, s. 52-70. ISBN 978-3-540-37756-6.
    Detail

    KŘENA Bohuslav. Computer Go as a Verification Case Study. In: Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems. Ostrava: MARQ, 2006, s. 95-100. ISBN 80-86840-26-3.
    Detail

    ROGALEWICZ Adam. Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details. In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informačních technologií VUT v Brně, 2006, s. 198-205. ISBN 80-214-3287-X.
    Detail

    SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr a ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Proceedings of FMICS 2006. Bonn, 2006, s. 140-155.
    Detail

    HLÁVKA Petr, ŘEHÁK Vojtěch, SMRČKA Aleš, ŠAFRÁNEK David, ŠIMEČEK Pavel a VOJNAR Tomáš. Formal Verification of the CRC Algorithm Properties. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov, 2006, s. 55-62. ISBN 80-214-3287-X.
    Detail

    BOUAJJANI Ahmed, BOZGA Marius, HABERMEHL Peter, IOSIF Radu, MORO Pierre a VOJNAR Tomáš. Programs with Lists are Counter Automata. In: Computer Aided Verification. Lecture Notes in Computer Science, roč. 4144. Berlin: Springer Verlag, 2006, s. 517-531. ISBN 978-3-540-37406-0.
    Detail

  • 2005

    ERLEBACH Pavel a VOJNAR Tomáš. Automated Formal Verification of Programs with Dynamic Data Structures Using State-of-the-Art Tools. In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling. Ostrava: MARQ, 2005, s. 219-226. ISBN 80-86840-09-3.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter, MORO Pierre a VOJNAR Tomáš. Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 3440. Berlin: Springer Verlag, 2005, s. 13-29. ISBN 978-3-540-25333-4.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam a VOJNAR Tomáš. Abstract Regular Tree Model Checking. In: Proceedings of 7th International Workshop on Verification of Infinite-State Systems -- INFINITY 2005. Aarhus: Basic Research in Computer Science, Computer Science Departments of the Aarlborg and Aarhus Universities, 2005, s. 15-24. ISSN 0909-3206.
    Detail

    MATOUŠEK Petr, SMRČKA Aleš a VOJNAR Tomáš. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. In: Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science 3725/2005, roč. 2005. Berlin: Springer Verlag, 2005, s. 371-375. ISBN 978-3-540-29105-3. ISSN 0302-9743.
    Detail

    ČEŠKA Milan, KŘENA Bohuslav a VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science, roč. 3643. Berlin: Springer Verlag, 2005, s. 275-280. ISBN 978-3-540-29002-5.
    Detail

    ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. In: Proceedings of Fifth International Workshop on Automated Verification of Critical Systems. Warwick, 2005, s. 101-117.
    Detail

    HABERMEHL Peter, IOSIF Radu a VOJNAR Tomáš. Automata-based Verification of Programs with Tree Updates. Verimag Technical Report number TR-2005-16, Grenoble: VERIMAG, 2005.
    Detail

    MATOUŠEK Petr, SMRČKA Aleš a VOJNAR Tomáš. High-level Modelling, Analysis, and Verification on FPGA-based Hardware Design. Brno: CESNET, zájmové sdružení právnických osob, 2005.
    Detail

    HLÁVKA Petr, KRATOCHVÍLA Tomáš, ŘEHÁK Vojtěch, ŠAFRÁNEK David, ŠIMEČEK Pavel a VOJNAR Tomáš. CRC64 Algorithm Analysis and Verification. Brno: CESNET, zájmové sdružení právnických osob, 2005.
    Detail

    HABERMEHL Peter a VOJNAR Tomáš. Regular Model Checking Using Inference of Regular Languages. Electronic Notes in Theoretical Computer Science, roč. 138, č. 3, 2005, s. 21-36. ISSN 1571-0661.
    Detail

  • 2004

    BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Abstract Regular Model Checking. Lecture Notes in Computer Science, roč. 2004, č. 3114, s. 372-386. ISSN 0302-9743.
    Detail

    HABERMEHL Peter a VOJNAR Tomáš. Regular Model Checking Using Inference of Regular Languages. In: Proceedings of 6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004. London, 2004, s. 61-71.
    Detail

    ROGALEWICZ Adam a VOJNAR Tomáš. Tree Automata In Modelling And Verification Of Concurrent Programs. In: Proceedings of ASIS 2004. Ostrava: MARQ, 2004, s. 197-202. ISBN 80-86840-03-4.
    Detail

    MATOUŠEK Petr. Tools for Parametric Verification. A Comparison on a Case Study. Journal of Universal Computer Science, roč. 10, č. 10, 2004, s. 1469-1495. ISSN 0948-6968.
    Detail

    MATOUŠEK Petr. A New Data Structure Based on Intervals. In: Proceedings of MOVEP'04. Bruxelles, 2004, s. 16-21.
    Detail

  • 2003

    ČEŠKA Milan, HAŠA Luděk a VOJNAR Tomáš. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In: Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science, roč. 2809. Berlin: Springer Verlag, 2003, s. 265-278. ISBN 3-540-20221-8.
    Detail

    BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. Lecture Notes in Computer Science, roč. 2003, č. 2761, s. 174-190. ISSN 0302-9743.
    Detail

  • 2001

    ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. In: Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: Universidad de Las Palmas de Gran Canaria, 2001, s. 115-118. ISBN 84-699-3971-8.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, roč. 16, č. 3, 2001, s. 183-193. ISSN 0267-6192.
    Detail

Nahoru