Florian Furbach

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 14

Top Topics

Complexity Analysis

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg
Verification under TSO with an infinite Data Domain. CoRR (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg
Verification under TSO with an infinite Data Domain. TACAS (3) (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
Parameterized Verification under TSO with Data Types. TACAS (1) (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
Parameterized Verification under TSO with Data Types. CoRR (2023)
Peter Chini, Florian Furbach
Petri Net Invariant Synthesis. NETYS (2021)
Peter Chini, Florian Furbach
Petri Net Invariant Synthesis. CoRR (2021)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). TACAS (2) (2020)
Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. CAV (1) (2019)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
BMC with Memory Models as Modules. FMCAD (2018)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. SAS (2017)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. CoRR (2017)
Ulrich Furbach, Florian Furbach, Christian Freksa
Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. CoRR (2016)
Ulrich Furbach, Florian Furbach, Christian Freksa
Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. Bridging@IJCAI (2016)
Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
Memory-Model-Aware Testing: A Unified Complexity Analysis. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
Memory Model-Aware Testing - A Unified Complexity Analysis. ACSD (2014)