Volker Stolz

Publications

• A Notion of Equivalence for Refactorings with Abstract Execution

  Abusdal, Ole Jørgen, Kamburjan, Eduard, Pun, Ka I, Stolz, Volker (2022)
  Lecture Notes in Computer Science (LNCS) 2022 Volum 13702 ;s. 259-280

• 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)
Show all