Ing. Ondřej Lengál, Ph.D.

2019
  • 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 Machines --- FCCM'19, San Diego, USA, pages XXX--XXX, 2019. IEEE. A preliminary version is available here. [incomplete reference]
  • 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 Engineering --- ICSE'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 Systems --- TACAS'16, Eindhoven, Netherlands, volume 9636 of LNCS, pages 923--926, 2016. Springer-Verlag. A preliminary version is available here.
2015
2014
2013
2012
2011
  • L. Holik, O. Lengal, J. Simacek, and T. Vojnar. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. In Proc. of 9th International Symposium on Automated Technology for Verification and Analysis --- ATVA'11, Taipei, Taiwan, volume 6996 of LNCS, pages 243--258, 2011. Springer-Verlag. A preliminary version is available here. The slides from the presentation are available here. An extended version appeared as the technical report FIT-TR-2011-04, FIT BUT, Brno, Czech Republic, 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 Systems --- DDECS'08, Bratislava, Slovakia, pages 213--218, 2008. IEEE.

Show all publications