Dr. Ing.
Petr Peringer
FIT, UITS – odborný asistent
+420 54114 1201
peringer@fit.vutbr.cz
Publikace
2020
ŠOKOVÁ, V.; PERINGER, P.; VOJNAR, T. 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. Cham: Springer International Publishing, 2020.
s. 408-412. ISBN: 978-3-030-45236-0.
Detail | WWW | Plný text v Digitální knihovně2019
KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. PredatorHP Attacks Interval-Sized Regions. Ithaca: 2019.
s. 1-4.
Detail | WWW2016
DUDKA, K.; HOLÍK, L.; PERINGER, P.; TRTÍK, M.; VOJNAR, T. From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03. Brno: 2016.
s. 1-28.
Detail | WWWPERINGER, P.; ŠOKOVÁ, V.; TRTÍK, M.; VOJNAR, T.; HOLÍK, L.; KOTOUN, M. Predator Shape Analysis Tool Suite. In Proceedings of HVC 2016. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2016.
s. 202-209. ISBN: 978-3-319-49052-6.
Detail | WWWKOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In Proceedings of TACAS 2016. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2016.
s. 942-945. ISBN: 978-3-662-49673-2.
Detail | WWWDUDKA, K.; HOLÍK, L.; PERINGER, P.; TRTÍK, M.; VOJNAR, T. From Low-Level Pointers to High-Level Containers. In Verification, Model Checking, and Abstract Interpretation (VMCAI). Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2016.
s. 431-452. ISBN: 978-3-662-49121-8.
Detail | WWW2015
PERINGER, P.; MÜLLER, P.; VOJNAR, T. Predator Hunting Party (Competition Contribution). In Proceedings of TACAS'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015.
s. 443-446. ISBN: 978-3-662-46680-3.
Detail | WWW2014
DUDKA, K.; PERINGER, P.; VOJNAR, T. 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. Heidelberg: Springer Verlag, 2014.
s. 412-414. ISBN: 978-3-642-54861-1.
Detail | WWW2013
DUDKA, K.; PERINGER, P.; VOJNAR, T. Byte-Precise Verification of Low-Level List Manipulation. In 20th Static Analysis Symposium. Lecture Notes in Computer Science. Lecture Notes in Computer Science Volume 7935. Berlin: Springer Verlag, 2013.
s. 215-237. ISBN: 978-3-642-38855-2. ISSN: 0302-9743.
DetailDUDKA, K.; MÜLLER, P.; PERINGER, P.; VOJNAR, T. 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. Lecture Notes in Computer Science Volume 7795. Berlin: Springer Verlag, 2013.
s. 627-629. ISBN: 978-3-642-36742-7. ISSN: 0302-9743.
Detail | WWW2012
DUDKA, K.; MÜLLER, P.; PERINGER, P.; VOJNAR, T. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures. Lecture Notes in Computer Science, 2012, roč. 2012, č. 7214,
s. 544-547. ISSN: 0302-9743.
Detail | WWWDUDKA, K.; PERINGER, P.; VOJNAR, T. An Easy to Use Infrastructure for Building Static Analysis Tools. Lecture Notes in Computer Science, 2012, roč. 2012, č. 6927,
s. 527-534. ISSN: 0302-9743.
Detail | WWW2011
DUDKA, K.; PERINGER, P.; VOJNAR, T. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. Lecture Notes in Computer Science, 2011, roč. 2011, č. 6806,
s. 372-378. ISSN: 0302-9743.
Detail | WWWDUDKA, K.; PERINGER, P.; VOJNAR, T. 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.
s. 328-329. ISBN: 978-84-693-9560-8.
Detail2008
PERINGER, P. New Calendar Implementation for SIMLIB/C++. In Proceedings of ASIS 2008. Ostrava: MARQ, 2008.
s. 166-169. ISBN: 978-80-86840-42-0.
Detail2007
PERINGER, P. Porting SIMLIB/C++ to 64- bit Platform. In Proceedings of XXIXth International Autumn Colloquium ASIS 2007. Ostrava: 2007.
s. 155-160. ISBN: 978-80-86840-34- 5.
Detail2006
PERINGER, P. Open Source Simulation and Data Analysis Tools. In Proceedings of ASIS 2006. Ostrava: 2006.
s. 109-112. ISBN: 80-86840-26- 3.
Detail2005
HANÁČEK, P., PERINGER, P., RÁBOVÁ, Z. Získávání vstupních dat pro modely bezpečnosti. In Proceedings of ASIS 2005. Ostrava: MARQ, 2005.
s. 68-73. ISBN: 80-86840-16- 6.
Detail2004
PERINGER, P., HANÁČEK, P., RÁBOVÁ, Z. Analýza simulačních dat získaných z kryptografického modulu. In Proceedings of ASIS 2004. Ostrava: MARQ, 2004.
s. 66 ( s.) ISBN: 80-86840- 03.
DetailHRUBÝ, M., PERINGER, P., RÁBOVÁ, Z. Modelling of Tamper- Proof Devices. In Proceedings of 38th International Conference MOSIS' 04. Ostrava: 2004.
s. 255 ( s.) ISBN: 80-85988-98- 4.
Detail | WWWRÁBOVÁ, Z., HANÁČEK, P., PERINGER, P. Využití modelů při analýze bezpečnosti kryptografických modulů. In NETSS2004. Ostrava: MARQ, 2004.
s. 115-120. ISBN: 80-85988-92- 5.
Detail2003
PERINGER, P., MARTINEK, D. Parallel modelling in FuzzySIMLIB/C++. In Proceedings of 37th International Conference MOSIS´ 03 Modelling and Simulation of Systems. Ostrava: 2003.
s. 157-164. ISBN: 80-85988-86- 0.
DetailPERINGER, P., FLORIÁN, V. Systém pro 3D vizualizaci výsledků simulace. In Proceedings of XXV- th International Autumn Colloquium ASIS 2003. Ostrava: MARQ, 2003.
s. 999 ( s.) ISBN: 80-85988-88- 7.
Detail2002
PERINGER, P. New design and implementation concepts for SIMLIB/C++. In Proceedings of XXIVth International Autumn Colloquium ASIS 2002. Ostrava: 2002.
s. 201-204. ISBN: 80-85988-77- 1.
DetailHRUBÝ, M., KOČÍ, R., PERINGER, P., RÁBOVÁ, Z. Tools for Creating of Multimodels. Kybernetes: The International Journal of Systems Cybernetics, 2002, roč. 2002, č. 9,
s. 1391-1400. ISSN: 0368- 492X.
Detail2001
MARTINEK, D., PERINGER, P. Graphical Fuzzy Sets Editor. In Proceedings of 23rd International Autumn Colloquium ASIS 2001. Ostrava: 2001.
s. 143-146. ISBN: 80-85988-61- 5.
DetailHRUBÝ, M., PERINGER, P., RÁBOVÁ, Z. Knowledge-Based Simulator in Object- Oriented Environment. In Proceedings of the 35th Spring International Conference MOSIS 2001. Hradec nad Moravicí: 2001.
s. 75-80. ISBN: 80-214-1860- 5.
Detail
*) Citace publikací se generují jednou za 24 hodin.