Dr. Ing.

Petr Peringer

Assistant professor

+420 54114 1201
peringer@fit.vut.cz
A303 Office
2126/BUT personal ID

Publications

  • 2022

    HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš and ZULEGER Florian. Low-Level Bi-Abduction. In: 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics, vol. 2022. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022, pp. 1-30. ISBN 978-3-95977-225-9. ISSN 1868-8969.
    Detail

    HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš and ZULEGER Florian. Low-Level Bi-Abduction (Artifact). Dagstuhl, 2022.
    Detail

    HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš and ZULEGER Florian. Low-Level Bi-Abduction (technical report). Ithaca, 2022.
    Detail

  • 2020

    PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, vol. 12079. Cham: Springer International Publishing, 2020, pp. 408-412. ISBN 978-3-030-45236-0.
    Detail

  • 2019

    KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. PredatorHP Attacks Interval-Sized Regions. Ithaca, 2019.
    Detail

  • 2016

    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). Lecture Notes in Computer Science, vol. 9583. Berlin Heidelberg: Springer Verlag, 2016, pp. 431-452. ISBN 978-3-662-49121-8.
    Detail

    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.
    Detail

    KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In: Proceedings of TACAS 2016. Lecture Notes in Computer Science, vol. 9636. Heidelberg: Springer Verlag, 2016, pp. 942-945. ISBN 978-3-662-49673-2.
    Detail

    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. Lecture Notes in Computer Science, vol. 10028. Zurich: Springer International Publishing, 2016, pp. 202-209. ISBN 978-3-319-49052-6.
    Detail

  • 2015

    MÜLLER Petr, PERINGER Petr and VOJNAR Tomáš. Predator Hunting Party (Competition Contribution). In: Proceedings of TACAS'15. Lecture Notes in Computer Science, vol. 9035. Heidelberg: Springer Verlag, 2015, pp. 443-446. ISBN 978-3-662-46680-3.
    Detail

  • 2014

    DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 8413. Heidelberg: Springer Verlag, 2014, pp. 412-414. ISBN 978-3-642-54861-1.
    Detail

  • 2013

    DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. Byte-Precise Verification of Low-Level List Manipulation. In: 20th Static Analysis Symposium. Lecture Notes in Computer Science Volume 7935, vol. 20. Berlin: Springer Verlag, 2013, pp. 215-237. ISBN 978-3-642-38855-2. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. Byte-Precise Verification of Low-Level List Manipulation. FIT-TR-2012-04, Brno: Faculty of Information Technology BUT, 2013.
    Detail

    DUDKA Kamil, MÜLLER Petr, PERINGER Petr and VOJNAR Tomáš. Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science Volume 7795, vol. 2013. Berlin: Springer Verlag, 2013, pp. 627-629. ISBN 978-3-642-36742-7. ISSN 0302-9743.
    Detail

  • 2012

    DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. Lecture Notes in Computer Science, vol. 2012, no. 6927, pp. 527-534. ISSN 0302-9743.
    Detail

    DUDKA Kamil, MÜLLER Petr, PERINGER Petr and VOJNAR Tomáš. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures. Lecture Notes in Computer Science, vol. 2012, no. 7214, pp. 544-547. ISSN 0302-9743.
    Detail

  • 2011

    DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 328-329. ISBN 978-84-693-9560-8.
    Detail

    DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. Lecture Notes in Computer Science, vol. 2011, no. 6806, pp. 372-378. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. FIT-TR-2011-02, Brno: Faculty of Information Technology BUT, 2011.
    Detail

  • 2008

    PERINGER Petr. New Calendar Implementation for SIMLIB/C++. In: Proceedings of ASIS 2008. Ostrava, 2008, pp. 166-169. ISBN 978-80-86840-42-0.
    Detail

  • 2007

    PERINGER Petr. Porting SIMLIB/C++ to 64-bit Platform. In: Proceedings of XXIXth International Autumn Colloquium ASIS 2007. Ostrava, 2007, pp. 155-160. ISBN 978-80-86840-34-5.
    Detail

  • 2006

    HANÁČEK Petr, HRUBÝ Martin, PERINGER Petr and RÁBOVÁ Zdeňka. Bakalářský studijní program na VUT FIT. In: Sborník konference Informatika 2006. Brno, 2006, pp. 1-4.
    Detail

    PERINGER Petr. Open Source Simulation and Data Analysis Tools. In: Proceedings of ASIS 2006. Ostrava, 2006, pp. 109-112. ISBN 80-86840-26-3.
    Detail

  • 2005

    HANÁČEK Petr, PERINGER Petr and RÁBOVÁ Zdeňka. Získávání vstupních dat pro modely bezpečnosti. In: Proceedings of ASIS 2005. Ostrava, 2005, pp. 68-73. ISBN 80-86840-16-6.
    Detail

  • 2004

    HANÁČEK Petr, PERINGER Petr and RÁBOVÁ Zdeňka. Analýza simulačních dat získaných z kryptografického modulu. In: Proceedings of ASIS 2004. Ostrava, 2004, p. 6. ISBN 80-86840-03.
    Detail

    HRUBÝ Martin, PERINGER Petr and RÁBOVÁ Zdeňka. Modelling of Tamper-Proof Devices. In: Proceedings of 38th International Conference MOSIS'04. Ostrava, 2004, p. 6. ISBN 80-85988-98-4.
    Detail

    HANÁČEK Petr, PERINGER Petr and RÁBOVÁ Zdeňka. Využití modelů při analýze bezpečnosti kryptografických modulů. In: NETSS2004. Ostrava, 2004, pp. 115-120. ISBN 80-85988-92-5.
    Detail

  • 2003

    MARTINEK David and PERINGER Petr. Parallel modelling in FuzzySIMLIB/C++. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 157-164. ISBN 80-85988-86-0.
    Detail

    FLORIÁN Vladimír and PERINGER Petr. Systém pro 3D vizualizaci výsledků simulace. In: Proceedings of XXV-th International Autumn Colloquium ASIS 2003. Ostrava, 2003, p. 4. ISBN 80-85988-88-7.
    Detail

  • 2002

    PERINGER Petr. New design and implementation concepts for SIMLIB/C++. In: Proceedings of XXIVth International Autumn Colloquium ASIS 2002. Ostrava, 2002, pp. 201-204. ISBN 80-85988-77-1.
    Detail

    HRUBÝ Martin, KOČÍ Radek, PERINGER Petr and RÁBOVÁ Zdeňka. Tools for Creating of Multimodels. Kybernetes: The International Journal of Systems & Cybernetics, vol. 2002, no. 9, pp. 1391-1400. ISSN 0368-492X.
    Detail

  • 2001

    MARTINEK David and PERINGER Petr. Graphical Fuzzy Sets Editor. In: Proceedings of 23rd International Autumn Colloquium ASIS 2001. Ostrava, 2001, pp. 143-146. ISBN 80-85988-61-5.
    Detail

    HRUBÝ Martin, PERINGER Petr and RÁBOVÁ Zdeňka. Knowledge-Based Simulator in Object-Oriented Environment. In: Proceedings of the 35th Spring International Conference MOSIS 2001. Hradec nad Moravicí, 2001, pp. 75-80. ISBN 80-214-1860-5.
    Detail

  • 2000

    RÁBOVÁ Zdeňka, JANOUŠEK Vladimír, PERINGER Petr and VOJNAR Tomáš. An Environment for Building Heterogeneous Models. In: Proceedings of MOSIS 2000. Rožnov, 2000, pp. 89-94. ISBN 80-85988-44-5.
    Detail

    HANÁČEK Petr, PERINGER Petr and RÁBOVÁ Zdeňka. Knowledge-Based Approach to Risk Analysis Modelling. In: Proceedings of JCKBSE 2000. Brno: unknown, 2000, pp. 25-30. ISBN 1-58603-060-4.
    Detail

    PERINGER Petr. Tools for Simulation Model Optimization. In: Proceedings of 22nd International Autumn Workshop ASIS 2000. Sv. Hostýn, 2000, pp. 195-198. ISBN 80-85988-51-8.
    Detail

  • 1999

    PERINGER Petr. Design and Implementation of Fuzzy Extension to SIMLIB/C++. In: Proceedings of ASIS'99. Krnov, 1999, pp. 209-212. ISBN 80-85988-41-0.
    Detail

    SCHWARZ Josef and PERINGER Petr. Simulation Model of the Traffic Light Crossing with Fuzzy Control. In: Proceedings of MOSIS'99. Rožnov, 1999, pp. 99-106. ISBN 80-85988-33-X.
    Detail

  • 1998

    PERINGER Petr and RÁBOVÁ Zdeňka. Heterogeneous Models. In: Proceedings of ECI'98. Herlany: Slovak Academy of Science, 1998, pp. 187-190. ISBN 80-88786-94-0.
    Detail

    PERINGER Petr. Models of Delay in SIMLIB/C++. In: Proceedings of ASIS'98. Krnov, Czech Republic, 1998, pp. 51-54. ISBN 80-85988-27-5.
    Detail

  • 1997

    PERINGER Petr. Hierarchical Modelling Based on Communicating Objects. In: Proceedings of Conference MOSIS'97. Hradec nad Moravicí, 1997, pp. 122-127. ISBN 80-85988-16-X.
    Detail

    JANOŠ Jaroslav, PERINGER Petr and RÁBOVÁ Zdeňka. Simulační podpora návrhu informačních systémů. 1997.
    Detail

    PERINGER Petr. Tools for continuous Simulation in 3D space. In: Proceedings of ASIS'97. Krnov, Czech Republic, 1997, pp. 327-330. ISBN 80-85988-17-8.
    Detail

  • 1996

    PERINGER Petr. Methods of Simulation Systems Testing. In: Proceedings of MOSIS'96. Krnov, 1996, pp. 175-180. ISBN 80-85988-02-X.
    Detail

    PERINGER Petr and RÁBOVÁ Zdeňka. Prostředí pro modelování informačních systémů. In: Proceedings of Conference ASIS'96. Zábřeh na Moravě, 1996, pp. 241-246. ISBN 80-85988-10-0.
    Detail

    JANOŠ Jaroslav, PERINGER Petr and RÁBOVÁ Zdeňka. Simulation Techniques in Information System Design. In: Proceedings of Workshop'96. 1996, pp. 203-204.
    Detail

  • 1995

    PERINGER Petr. Implementace simulačních abstrakcí. In: Sborník konference Computer Science. Ostrava, 1995, pp. 126-133. ISBN 80-901751-7-1.
    Detail

    PERINGER Petr and RÁBOVÁ Zdeňka. Integrace simulačního modelu do informačního systému. In: Sborník konference Advanced Simulation of Systems. Zábřeh na Moravě, 1995, pp. 103-106. ISBN 80-901751-1-2.
    Detail

  • 1994

    PERINGER Petr. Basic Abstractions for Object-Oriented Model Description. In: Proceedings of MOSIS'94. Zábřeh na Moravě, 1994, pp. 274-277. ISBN 80-901229-8-1.
    Detail

    JANOŠ Jaroslav, PERINGER Petr and RÁBOVÁ Zdeňka. Simulation Techniques and Tools for Stochastic Discrete Systems. In: Proceedings of 8th International Conference SAER'94. Varna (Bulgaria): unknown, 1994, pp. 239-243. ISBN 954-8329-06-9.
    Detail

  • 1993

    PERINGER Petr and RÁBOVÁ Zdeňka. An Environment for Effective Implementation of Simulation Models. In: Proceedings of CATE'93. Brno, 1993, pp. 461-464.
    Detail

    PERINGER Petr. Object-Oriented Description of Continuous Systems. In: Proceedings of 5th International Symposium MOSIS'93. Olomouc, 1993, pp. 83-87.
    Detail

  • 1992

    RÁBOVÁ Zdeňka, ZENDULKA Jaroslav, ČEŠKA Milan, PERINGER Petr and JANOUŠEK Vladimír. Modelování a simulace. Brno: Brno University of Technology, 1992. ISBN 80-214-0480-9.
    Detail

    PERINGER Petr. Object-Oriented Simulation Library in C++. In: Proceedings of System Science XI. Wroclaw (Poland): unknown, 1992, pp. 121-121. ISBN 83-7085-023-5.
    Detail

Back to top