Concurrency bugs in open source software: a case study (Apr 2017) Sara Abbaspour, Daniel Sundmark, Sigrid Eldh, Hans Hansson Journal of Internet Services and Applications (JISA)
A Runtime Verification based Concurrency Bug Detector for FreeRTOS Embedded Software Sara Abbaspour, Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Hans Hansson Journal of IEEE Access (IEEE-Access)
Intermittently Failing Tests in the Embedded Systems Domain (Jul 2020) Per Erik Strandberg, Thomas Ostrand, Elaine Weyuker, Wasif Afzal, Daniel Sundmark International Symposium on Software Testing and Analysis (ISSTA'20)
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software (Aug 2018) Sara Abbaspour, Daniel Sundmark, Sigrid Eldh, Hans Hansson 17th IEEE International Symposium on Parallel and Distributed Computing ( ISPDC-2018)
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software (Mar 2017) Sara Abbaspour, Daniel Sundmark, Hans Hansson ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)
Transitioning Fault Predition Models to a New Environment (Sep 2016) Jesper Derehag , Elaine Weyuker, Thomas Ostrand, Daniel Sundmark European Dependable Computing Conference (EDCC'16)