Lukáš HolÃk
Assistant professor
Department of Intelligent Systems
Central European Institute of Technology
Czech Republic
Biography
Lukáš Holík is currently an Assistant professor in the Department of Intelligent Systems Central European Institute of Technology, Czech republic. He published more than 30 research papers.
Research Interest
Automated Analysis and Verification Research Group - VeriFIT.
Publications
-
L. HolÃk, M. HruÅ¡ka, O. Lengál, A. Rogalewicz, J. Å imáÄek and T. Vojnar. Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). In TACAS'17. LNCS, vol. 10206, Springer (2017) pp. 365-369, [DOI]
-
L. HolÃk, M. HruÅ¡ka, O. Lengál, A. Rogalewicz and T. Vojnar. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In VMCAI'16. LNCS, vol. 10145, Springer (2017) pp. 288-309, [DOI] [Preprint]
-
T. Fiedor, L. HolÃk, P. Janků, O. Lengál and T. Vojnar. Lazy Automata Techniques for WS1S. In TACAS'17. LNCS, vol. 10205, Springer (2017) pp. 407-425, [DOI] [Preprint]
