fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Concurrency

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, Springer, Cham. Details DOI BIB


  • June 2014 Cloudburst - Simulating Workload for IaaS Clouds Johannes Kroß and Andreas Wolke In Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, pages 841–848, IEEE. Details URL DOI BIB