Verification Methodology for Fully Autonomous Heavy Vehicles. - Joakim Gustavsson (ICST, 2016)

Formal architecture modeling of sequential non-recursive C programs. - Jonas Westman; Mattias Nyberg; Joakim Gustavsson; Dilian Gurov (Sci. Comput. Program., 2017)

Improving Image Classification Robustness Using Predictive Data Augmentation. - Subramani Palanisamy Harisubramanyabalaji; Shafiq ur Réhman 002; Mattias Nyberg; Joakim Gustavsson (SAFECOMP Workshops, 2018)

Challenges in Architecting Fully Automated Driving; with an Emphasis on Heavy Commercial Vehicles. - Naveen Mohan; Martin Törngren; Viacheslav Izosimov; Viktor Kaznov; Per Roos; Johan Svahn; Joakim Gustavsson; Damir Nesic (CoRR, 2019)