Roland Meyer

Publications

Export list as BibTeX file

  • July 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko and Roland Meyer In Computer Aided Verification (CAV) 2019., volume 11561 of LNCS, July 2019. Springer, Cham. Details DOI BIB
  • 2018 BMC with Memory Models as Modules Hernán Ponce de León , Florian Furbach , Keijo Heljanko and Roland Meyer In FMCAD, pages 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 and Roland Meyer In SAS, volume 10422 of Lecture Notes in Computer Science, pages 299–320, 2017. Springer. Details URL DOI BIB