Florian Furbach

According to our database, Florian Furbach authored at least 11 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification under TSO with an infinite Data Domain.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021

Verification with Memory Models as Input.

Florian Furbach

PhD thesis, 2021

Petri Net Invariant Synthesis.

Peter Chini, Florian Furbach

Proceedings of the Networked Systems - 9th International Conference, 2021

2020

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution).

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

BMC with Memory Models as Modules.

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

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

CoRR, 2017

Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models.

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example.

Ulrich Furbach, Florian Furbach, Christian Freksa

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

2015

Memory-Model-Aware Testing: A Unified Complexity Analysis.

Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben

ACM Trans. Embed. Comput. Syst., 2015