Memory-Model-Aware Testing: A Unified Complexity Analysis. - Florian Furbach; Roland Meyer 001; Klaus Schneider 001; Maximilian Senftleben (ACM Trans. Embed. Comput. Syst., 2015)

Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. - Ulrich Furbach; Florian Furbach; Christian Freksa (Bridging@IJCAI, 2016)

Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. - Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (SAS, 2017)

Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. - Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (CoRR, 2017)

BMC with Memory Models as Modules. - Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (FMCAD, 2018)

BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. - Natalia Gavrilenko; Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (CAV (1), 2019)

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). - Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (TACAS (2), 2020)

Petri Net Invariant Synthesis. - Peter Chini; Florian Furbach (NETYS, 2021)

Verification with Memory Models as Input. - Florian Furbach (2021)

Parameterized Verification under TSO with Data Types. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Florian Furbach; Adwait Amit Godbole; Yacoub G. Hendi; Shankara Narayanan Krishna; Stephan Spengler (TACAS (1), 2023)

Verification under TSO with an infinite Data Domain. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Florian Furbach; Shashwat Garg (TACAS (3), 2024)