Projekt je zaměřen na rozvoj technik automatizované verifikace a optimalizace počítačových systémů, včetně kombinací technik používaných v těchto oblastech. Projekt integruje výzkumné skupiny ze dvou ústavů FIT VUT v Brně. Do projektu jsou významným způsobem zapojeni vybraní doktorandi působící v oblasti verifikace i optimalizace. Významným aspektem projektu je akcentace mezinárodní spolupráce se špičkovými zahraničními pracovišti, vedoucí na společné publikace, projekty a vedení doktorandů.

FIT-S-12-1

čeština

Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel
Češka Milan, prof. RNDr., CSc. - spoluřešitel
Dudka Kamil, Ing. - spoluřešitel
Fiedor Jan, Ing., Ph.D. - spoluřešitel
Fučík Otto, doc. Dr. Ing. - spoluřešitel
Korček Pavol, Ing., Ph.D. - spoluřešitel
Křena Bohuslav, Ing., Ph.D. - spoluřešitel
Lengál Ondřej, Ing., Ph.D. - spoluřešitel
Letko Zdeněk, Ing., Ph.D. - spoluřešitel
Minařík Miloš, Ing., Ph.D. - spoluřešitel
Peringer Petr, Dr. Ing. - spoluřešitel
Petrlík Jiří, Ing., Ph.D. - spoluřešitel
Rogalewicz Adam, doc. Mgr., Ph.D. - spoluřešitel
Sekanina Lukáš, prof. Ing., Ph.D. - spoluřešitel
Šimáček Jiří, Ing., Ph.D. - spoluřešitel
Vašíček Zdeněk, doc. Ing., Ph.D. - spoluřešitel

Ústav počítačových systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Ústav inteligentních systémů
- interní (1.1.2012 - 31.12.2014)
Ústav počítačových systémů
- interní (1.1.2012 - 31.12.2014)
Fakulta informačních technologií
- příjemce (1.1.2012 - 31.12.2014)

DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno: 2014. p. 133-133.
Detail

ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Faculty of Information Technology BUT, 2014. p. 1-19.
Detail

HOLÍK, L.; JONSSON, B.; LENGÁL, O.; VOJNAR, T.; TRINH, Q.; ABDULLA, P. Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. FIT-TR-2013-02, Brno: Faculty of Information Technology BUT, 2013. p. 1-35.
Detail

HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Fully Automated Shape Analysis Based on Forest Automata. FIT-TR-2013-01, Brno: Faculty of Information Technology BUT, 2013. p. 1-25.
Detail

DUDKA, K.; PERINGER, P.; VOJNAR, T. Byte-Precise Verification of Low-Level List Manipulation. FIT-TR-2012-04, Brno: Faculty of Information Technology BUT, 2013. p. 0-0.
Detail

ZACHARIÁŠOVÁ, M.; LENGÁL, O. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. Lecture Notes in Computer Science, 2012, vol. 2013, no. 7857, p. 266-273. ISSN: 0302-9743.
Detail

ZACHARIÁŠOVÁ, M.; LENGÁL, O. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. FIT-TR-2012-03, Brno: Faculty of Information Technology BUT, 2012. p. 0-0.
Detail

DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno: 2012. p. 0-0.
Detail

VEIGEND, P.; KUNOVSKÝ, J.; KOCINA, F.; NEČASOVÁ, G.; ŠÁTEK, V.; VALENTA, V. Electronic Representation of Wave Equation. In 13rd International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2015. p. 1-4. ISBN: 978-0-7354-1392-4. ISSN: 0094-243X.
Detail

KOCINA, F.; ŠÁTEK, V.; VEIGEND, P.; NEČASOVÁ, G.; VALENTA, V.; KUNOVSKÝ, J. New Trends in Taylor Series Based Applications. In 13rd International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2015. p. 1-4. ISBN: 978-0-7354-1287-3. ISSN: 0094-243X.
Detail

CHALOUPKA, J.; KUNOVSKÝ, J.; ŠÁTEK, V.; VEIGEND, P.; MARTINKOVIČOVÁ, A. Numerical Integration of Multiple Integrals Using Taylor's Polynomial. In Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Colmar: SciTePress - Science and Technology Publications, 2015. p. 163-171. ISBN: 978-989-758-120-5.
Detail

VALENTA, V.; NEČASOVÁ, G.; KUNOVSKÝ, J.; ŠÁTEK, V.; KOCINA, F. Adaptive Solution of the Wave Equation. In Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Colmar: SciTePress - Science and Technology Publications, 2015. p. 154-162. ISBN: 978-989-758-120-5.
Detail

ŠÁTEK, V.; KOCINA, F.; KUNOVSKÝ, J.; SCHIRRER, A. Taylor Series Based Solution of Linear ODE Systems and MATLAB Solvers Comparison. In MATHMOD VIENNA 2015 - 8th Vienna Conference on Mathematical Modelling. ARGESIM REPORT No. 44. Vienna: ARGE Simulation News, 2015. p. 693-694. ISBN: 978-3-901608-46-9.
Detail

NEČASOVÁ, G.; KUNOVSKÝ, J.; ŠÁTEK, V.; CHALOUPKA, J.; VEIGEND, P. Taylor Series Based Differential Formulas. In MATHMOD VIENNA 2015 - 8th Vienna Conference on Mathematical Modelling. ARGESIM REPORT No. 44. Vienna: ARGE Simulation News, 2015. p. 705-706. ISBN: 978-3-901608-46-9.
Detail

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. In Proceedings of 15th International Workshop on Microprocessor Test and Verification (MTV 2014). Austin, TX: IEEE Computer Society, 2014. p. 83-89. ISBN: 978-1-4673-6858-2.
Detail

FIEDOR, T. A Decision Procedure For The WSkS Logic. Saarbrücken: Lambert Academic Publishing, 2014. 60 p. ISBN: 978-3-659-63583-0.
Detail

LUŽA, R.; ROZMAN, J.; ZBOŘIL, F. ROS-based Remote Controlled Robotic Arm Workcell. In International Conference on Intelligent Systems Design and Applications, ISDA. Okinawa: Institute of Electrical and Electronics Engineers, 2015. p. 101-106. ISBN: 978-1-4799-7938-7.
Detail

HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; RUMMER, P.; STENMAN, J. String Constraints for Verification. In 26th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, Volume 8559. Berlin: Springer Verlag, 2014. p. 150-166. ISBN: 978-3-319-08866-2.
Detail

ABDULLA, P.; HAZIZA, F.; HOLÍK, L. Block Me If You Can! Context-Sensitive Parameterized Verification. In 21st International Static Analysis Symposium. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2014. p. 1-17. ISBN: 978-3-319-10935-0. ISSN: 0302-9743.
Detail

ŠIMKOVÁ, H.; LETKO, Z.; KŘENA, B.; VOJNAR, T.; DUDKA, V.; AVROS, R.; UR, S.; VOLKOVICH, Z. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014. p. 15-27. ISBN: 978-80-214-5022-6.
Detail

Odpovědnost: Vojnar Tomáš, prof. Ing., Ph.D.