Petr Peringer
Assistant professor
Department of Intelligent Systems
Central European Institute of Technology
India
Biography
Petr Peringer is currently an Assistant professor in the Department of Intelligent Systems Central European Institute of Technology, Czech republic. He completed computer engineering, Faculty of Electrical Engineering, Technical University of Brno and PhD.), Faculty of Electrical Engineering and Computer Science, Technical University of Brno.
Research Interest
Modelling and Simulation, Program Verification symbolic execution, Object-oriented programming, Design patterns and C and C++ programming languages.
Publications
-
HOLÃK Lukáš, KOTOUN Michal, PERINGER Petr, Å OKOVà Veronika, TRTÃK Marek and VOJNAR Tomáš. Predator Shape Analysis Tool Suite. In: Proceedings of HVC 2016. Zurich: Springer Verlag, 2016, pp. 202-209. ISBN 978-3-319-49052-6.
-
DUDKA Kamil, HOLÃK Lukáš, PERINGER Petr, TRTÃK Marek and VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Berlin Heidelberg: Springer Verlag, 2016, pp. 431-452. ISBN 978-3-662-49121-8.
-
DUDKA Kamil, HOLÃK Lukáš, PERINGER Petr, TRTÃK Marek and VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03. Brno, 2016.
