Ing. Jan Fiedor

2012Češka, M., Fiedor, J., Gach, M.: A Novel Approach to Modechart Verification of Real-Time systems, In: Lecture Notes in Computer Science, roč. 2012, č. 6927, DE, s. 559-567, ISSN 0302-9743
 Fiedor, J., Hrubá, V., Křena, B., Vojnar, T.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, In: Lecture Notes in Computer Science, roč. 2012, č. 7186, DE, s. 5, ISSN 0302-9743
 Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Lecture Notes in Computer Science, roč. 2012, č. 6927, DE, s. 519-526, ISSN 0302-9743
 Fiedor, J., Vojnar, T.: ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, In: Lecture Notes in Computer Science, roč. 2012, č. 7687, DE, s. 35-41, ISSN 0302-9743
 Fiedor, J., Vojnar, T.: Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level, In: PADTAD '12, New York, US, ACM, 2012, s. 36-46, ISBN 978-1-4503-1456-5
2011Češka, M., Fiedor, J., Gach, M.: A Novel Approach to Modechart Verification of Real-Time Systems, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 338-339, ISBN 978-84-693-9560-8
 Fiedor, 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, s. 9
 Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 326-327, ISBN 978-84-693-9560-8
 Fiedor, J., Mazurek, J.: The Evaluation of the Entropy of Decision Makers' Preferences in Ordinal Consensus Ranking Problem, In: Proceedings of the 29th International Conference on Mathematical Methods in Economics 2011, Praha 4, CZ, Professional Publishing, 2011, s. 157-162, ISBN 978-80-7431-059-1
2010Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, FIT-TR-2010-03, Brno, CZ, 2010, s. 24

Zobrazit všechny publikace

Vaše IPv4 adresa: 54.224.75.101
Přepnout na IPv6 spojení

DNSSEC [dnssec]