Mgr. Adam Rogalewicz, Ph.D.

2012Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular (Tree) Model Checking, In: International Journal on Software Tools for Technology Transfer, Vol. 14, No. 2, 2012, DE, p. 167-191, ISSN 1433-2779
2011Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, In: Lecture Notes in Computer Science, Vol. 2011, No. 6806, DE, p. 424-440, ISSN 0302-9743
 Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, FIT-TR-2011-01, Brno, CZ, FIT VUT, 2011, p. 30
2009Iosif, R., Rogalewicz, A.: Automata-Based Termination Proofs, In: Implementation and Application of Automata, Berlin, DE, Springer, 2009, p. 165-177, ISBN 978-3-642-02978-3
2008Vojnar, T., Češka, M., Rogalewicz, A., Erlebach, P., Holík, L., Bouajjani, A., Habermehl, P., Touili, T., Moro, P.: Automatická verifikace programů s dynamickými datovými strukturami, In: Inovační podnikání & transfer technologií, Vol. 2008, No. 1, CZ, p. 21-22, ISSN 1210-4612
2007Habermehl, P., Iosif, R., Rogalewicz, A., Vojnar, T.: Proving Termination of Tree Manipulating Programs, In: Automated Technology for Verification and Analysis, Berlin, DE, Springer, 2007, p. 145-161, ISBN 978-3-540-75595-1
 Holík, L., Rogalewicz, A.: Counterexample Analysis in Abstract Regular Tree Model Checking of Complex Dynamic Data Structures, In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), Znojmo, CZ, Novotny, 2007, p. 59-66, ISBN 978-80-7355-077-6
 Rogalewicz, A.: Verification of Programs with Complex Data Structures, Brno, CZ, 2007, p. 122, ISBN 978-80-214-3548-3
2006Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures, In: Static Analysis, Berlin, DE, Springer, 2006, p. 52-70, ISBN 978-3-540-37756-6
 Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular Tree Model Checking, In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Vol. 149, No. 1, 2006, US, p. 37-48, ISSN 1571-0661
 Rogalewicz, A.: Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details, In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FIT VUT, 2006, p. 198-205, ISBN 80-214-3287-X
2005Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular Tree Model Checking, In: Proceedings of 7th International Workshop on Verification of Infinite-State Systems -- INFINITY 2005, Aarhus, DK, BRICS, 2005, p. 15-24, ISSN 0909-3206
 Rogalewicz, A.: Towards Applying Mona in Abstract Regular Tree Model Checking, In: Proceedings of the 11th Conference Student EEICT 2005, Brno, CZ, FIT VUT, 2005, p. 663-667, ISBN 80-214-2890-2
2004Rogalewicz, A., Vojnar, T.: Tree Automata In Modelling And Verification Of Concurrent Programs, In: Proceedings of ASIS 2004, Ostrava, CZ, MARQ, 2004, p. 197-202, ISBN 80-86840-03-4

Show all publications

Your IPv4 address: 38.107.179.218
Switch to IPv6 connection

DNSSEC [dnssec]