Publications

2022

2021

2020

2019

  • L. Holik, O. Lengal, O. Saarikivi, L. Turonova, M. Veanes, and T. Vojnar. Succinct Determinisation of Counting Automata via Sphere Construction. In Proc. of the 17th Asian Symposium on Programming Languages and SystemsAPLAS’19, Nusa Dua, Bali, Indonesia, volume 11893 of LNCS, pages 468–489, 2019. Springer-Verlag. A preliminary version is available here. The slides from the presentation are available here. An extended version appeared as the technical report CoRR abs/1910.01996, 2019.

  • Y. Chen, V. Havlena, and O. Lengal. Simulations in Rank-Based Büchi Automata Complementation. In Proc. of the 17th Asian Symposium on Programming Languages and SystemsAPLAS’19, Nusa Dua, Bali, Indonesia, volume 11893 of LNCS, pages 447–467, 2019. Springer-Verlag. A preliminary version is available here. An extended version appeared as the technical report CoRR abs/1905.07139, 2019. The slides from the presentation are available here.

  • V. Havlena, L. Holik, O. Lengal, and T. Vojnar. Automata Terms in a Lazy WSkS Decision Procedure. In Proc. of the 27th International Conference on Automated DeductionCADE-27, Natal, Brazil, volume 11716 of LNAI, pages 300–318, 2019. Springer-Verlag. A preliminary version is available here. Best Paper of CADE-27. An extended version appeared as the technical report CoRR abs/1905.08697, 2019. The slides from the presentation are available here.

  • M. Ceska, V. Havlena, L. Holik, J. Korenek O. Lengal, D. Matousek, J. Matousek, J. Semric, and T. Vojnar. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. In Proc. of 27th IEEE International Symposium On Field-Programmable Custom Computing MachinesFCCM’19, San Diego, USA, pages 109–117, 2019. IEEE. A preliminary version is available here. The slides from the presentation are available here. An extended version appeared as the technical report CoRR abs/1904.10786.

  • T. Fiedor, L. Holik, O. Lengal, and T. Vojnar. Nested Antichains for WS1S. Acta Informatica 56(3), pages 205–228, 2019. Springer-Verlag. A preliminary version is available here. The associated tool dWiNA is available here.

2018

2017

2016

  • Y. Chen, C. Hsieh, O. Lengal, T. Lii, M. Tsai, B. Wang, and F. Wang. PAC Learning-Based Verification and Model Synthesis. In Proc. of 38th International Conference on Software EngineeringICSE’16, Austin, Texas, pages 714–724, 2016. ACM. A preliminary version is available here.

  • L. Holik, M. Hruska, O. Lengal, A. Rogalewicz, J. Simacek, and T. Vojnar. Run Forester! Run Backwads! (Competition Contribution). In Proc. of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of SystemsTACAS’16, Eindhoven, Netherlands, volume 9636 of LNCS, pages 923–926, 2016. Springer-Verlag. A preliminary version is available here.

2015

2014

2013

2012

2011

2010

2009

2008

  • M. Zadnik, J. Korenek, P. Kobiersky, and O. Lengal. Network Probe for Flexible Flow Monitoring. In Proc. of 2008 IEEE Workshop on Design and Diagnostics of Electronic Circuits and SystemsDDECS’08, Bratislava, Slovakia, pages 213–218, 2008. IEEE. A preliminary version is available here.