Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Florian Furbach

Publications by Florian Furbach

Recent

  1. BMC with Memory Models as Modules, with Hernan Ponce-de-Leon, Keijo Heljanko, and Roland Meyer.
    Accepted for FMCAD 2018.

Conference contributions

  1. Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models, with Roland Meyer, Hernan Ponce-de-Leon, and Keijo Heljanko.
    In Proceedings of SAS 2017.
    DOI | arXiv

  2. Memory-Model-Aware Testing - a Unified Complexity Analysis, with Roland Meyer, Klaus Schneider, and Maximilian Senftleben.
    In Proceedings of ACSD 2014.

    ACSD 2014 best paper award.
    DOI | PDF

Journal articles

  1. Memory-Model-Aware Testing - a Unified Complexity Analysis, with Roland Meyer, Klaus Schneider, and Maximilian Senftleben.
    ACM Transactions on Embedded Computing Systems (TECS), 2015.
    PDF | BibTeX

Theses

  1. Automata-Theoretic Control for Total Store Ordering Architectures. Master Thesis.
    Technische Universität Kaiserslautern, 2012.
    PDF