Ing. Vendula Hrubá

2011Fiedor, J., Hrubá, V., Křena, B., Vojnar, T.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, FIT-TR-2011-06, Brno, CZ, FIT VUT, 2011, p. 9
2009Hrubá, V., Křena, B., Vojnar, T.: Self-healing Assurance using Bounded Model Checking, In: Computer Aided Systems Theory - EUROCAST 2009, Berlin, DE, Springer, 2009, p. 295-303, ISBN 978-3-642-04771-8
 Hrubá, V., Vojnar, T., Křena, B.: Self-healing Assurance using Bounded Model Checking, In: Computer Aided Systems Theory, Las Palmas de Grand Canaria, ES, IUCTC, 2009, p. 99-100, ISBN 978-84-691-8502-5
2008Hrubá, V.: Bounded Model Checking Using Java PathFinder, In: Proceedings of the 14th Conference STUDENT EEICT 2008, Brno, CZ, VUT v Brně, 2008, p. 247-249, ISBN 978-80-214-3615-2
2007Hrubá, V., Křena, B., Letko, Z., Vojnar, T.: SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, Brno, CZ, EC EU, 2007, p. 21
 Hrubá, V., Křena, B., Vojnar, T.: Using JavaPathFinder for Self-healing Assurance, In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007, Znojmo, CZ, Novotny, 2007, p. 67-73, ISBN 978-80-7355-077-6

Show all publications

Your IPv4 address: 38.107.179.216
Switch to IPv6 connection

DNSSEC [dnssec]