Fakulta informačních technologií VUT v Brně

Ing.

Fiedor Jan

Ph.D.


ifiedor@fit.vut.cz

Publikace

  • 2018

    FIEDOR Jan, MUŽIKOVSKÁ Monika, SMRČKA Aleš, VAŠÍČEK Ondřej a VOJNAR Tomáš. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In: Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018, s. 356-359. ISBN 978-1-4503-5699-2.
    Detail

    LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, s. 34-60. ISBN 978-3-319-75632-5.
    Detail

  • 2017

    DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš, SOUSA Diogo J. a VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, s. 196-206. ISBN 978-1-5090-6032-0.
    Detail

  • 2015

    FIEDOR Jan, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. Advances in Noise-based Testing of Concurrent Programs. Software Testing, Verification and Reliability, roč. 25, č. 3, s. 272-309. ISSN 1099-1689.
    Detail

    FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2015, s. 177-178. ISBN 978-84-606-5438-4.
    Detail

    FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Lecture Notes in Computer Science, roč. 9520. Heidelberg: Springer Verlag, 2015, s. 555-564. ISBN 978-3-319-27339-6.
    Detail

    FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Lecture Notes in Computer Science, roč. 8934. Heidelberg: Springer Verlag, 2015, s. 73-87. ISBN 978-3-319-14895-3.
    Detail

  • 2012

    ČEŠKA Milan, FIEDOR Jan a GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 559-567. ISSN 0302-9743.
    Detail

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 519-526. ISSN 0302-9743.
    Detail

    FIEDOR Jan a VOJNAR Tomáš. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science, roč. 2012, č. 7687, s. 35-41. ISSN 0302-9743.
    Detail

    DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. Lecture Notes in Computer Science, roč. 2012, č. 7186, s. 5. ISSN 0302-9743.
    Detail

    FIEDOR Jan a VOJNAR Tomáš. Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level. In: PADTAD '12. Proceedings of the 10th Workshop on Parallel and Distributed Systems. New York: Association for Computing Machinery, 2012, s. 36-46. ISBN 978-1-4503-1456-5.
    Detail

  • 2011

    ČEŠKA Milan, FIEDOR Jan a GACH Marek. 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: Universidad de Las Palmas de Gran Canaria, 2011, s. 338-339. ISBN 978-84-693-9560-8.
    Detail

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. 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: Universidad de Las Palmas de Gran Canaria, 2011, s. 326-327. ISBN 978-84-693-9560-8.
    Detail

    DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. FIT-TR-2011-06, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

    FIEDOR Jan a MAZUREK Jiří. 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: Professional Publishing, 2011, s. 157-162. ISBN 978-80-7431-059-1.
    Detail

  • 2010

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. FIT-TR-2010-03, Brno, 2010.
    Detail

Nahoru