Professor

Volker Stolz

Arbeids- og kompetanseområde

AURORA bilateral project "SecuTrace" NO/FR (2020-2021)

DIKU/CAPES bilateral project "Modern Refactoring" NO/BR (2017-2021)

DAT159 "Refactoring", MAT101, DAT153 "Mobile Application Development", PCS954 "Model Checking and Software Verification"

Distributed runtime verification by past-CTL and the field calculus

Audrito, Giorgio, Damiani, Ferruccio, Stolz, Volker, Torta, Gianluca, Viroli, Mirko (2022)

Journal of Systems and Software 2022 Volum 187 ;
Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 2020

Carvalho, Gustavo, Stolz, Volker (2022)

Science of Computer Programming 2022 Volum 220 ;
Runtime Verification

Dang, Thao, Stolz, Volker (2022)

Springer Nature. Isbn: 9783031171963
MC/DC Test Cases Generation Based on BDDs

Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2021)
Hardware-Assisted Online Data Race Detection

Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Pun, Ka I, Stolz, Volker (2021)

Lecture Notes in Computer Science (LNCS) 2021 Volum 13065 ;