Florian Furbach

Publikationen

Liste als BibTeX-Datei exportieren

  • Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Juli 2019. Springer, Cham. Details DOI BIB
  • 2018 BMC with Memory Models as Modules Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In FMCAD, Seiten 1–9, 2018. IEEE. Details DOI BIB
  • 2017 Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In SAS, Band 10422 von Lecture Notes in Computer Science, Seiten 299–320, 2017. Springer. Details URL DOI BIB