Adam Rogalewicz
Associate professor
Department of Intelligent Systems
Central European Institute of Technology
Czech Republic
Biography
Adam Rogalewicz is currently an Associate professor in the Department of Intelligent Systems Central European Institute of Technology, Czech republic. He completed Mgr. (M.Sc.): Faculty of Informatics, Masaryk University Brno and Ph.D: Faculty of Information Technology, Brno University of Technology. Ph.D. thesis: Verification of Programs with Complex Data Structures.
Research Interest
Automated Analysis and Verification Research Group - VeriFIT.
Publications
-
HRUÅ KA Martin, HOLÃK Lukáš, LENGÃL OndÅ™ej, ROGALEWICZ Adam, Å IMÃÄŒEK Jiřà and VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 365-369. ISBN 978-3-662-54580-5.
-
HRUÅ KA Martin, HOLÃK Lukáš, LENGÃL OndÅ™ej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. Brno: Faculty of Information Technology BUT, 2017.
-
HOLÃK Lukáš, HRUÅ KA Martin, LENGÃL OndÅ™ej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Cham: Springer Verlag, 2017, pp. 288-309. ISBN 978-3-319-52234-0.
