Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Florian Furbach

Publications by Florian Furbach

Recent

  1. Petri Net Invariant Synthesis, with Peter Chini.

    NETYS 2021

Conference contributions

  1. Dartagnan: Bounded Model Checking for Weak Memory Models, with Hernan Ponce-de-Leon, Keijo Heljanko, and Roland Meyer.
    In Proceedings of TACAS 2020. Competition Contribution.
    PDF | Project Page | DOI | BibTeX

  2. BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings, with Natalia Gavrilenko, Hernan Ponce-de-Leon, Keijo Heljanko, and Roland Meyer.
    In Proceedings of CAV 2019. Artifact evaluated positively.
    PDF | Project Page | CAV 2019 | DOI | BibTeX

  3. BMC with Memory Models as Modules, with Hernan Ponce-de-Leon, Keijo Heljanko, and Roland Meyer.
    In Proceedings of FMCAD 2018.
    PDF | BibTeX

  4. 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

  5. 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