Publications

  • Formal Methods: Foundations and Applications

    Carvalho, Gustavo, Stolz, Volker (2020)
  • Theoretical Aspects of Computing – ICTAC 2020

    Pun, Ka I, Stolz, Volker, Simao, Adenilso (2020)
  • Refactoring and Active Object Languages

    Stolz, Volker, Pun, Ka I, Gheyi, Rohit (2020)
  • Non-intrusive MC/DC measurement based on traces

    Ahishakiye, Faustin, Stolz, Volker, Jaksic, Svetlana, Lange, Felix Dino, Schmitz, Malte, Thoma, Daniel (2019)
  • On Distributed Runtime Verification by Aggregate Computing

    Audrito, Giorgio, Damiani, Ferruccio, Stolz, Volker, Viroli, Mirko (2019)
  • Show all