Florian Furbach

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