Field of work

EU H2020 project "COEMS - Continuous Observation of Embedded Multicore Systems"

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

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

Research areas

  • Software Engineering
  • Mobil Application Development
  • Runtime Verification

Research groups


  • Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2020)
  • 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)
  • Multi-objective Search for Model-based Testing

    Wang, Rui, Artho, Cyrille, Kristensen, Lars Michael, Stolz, Volker (2020)
  • Show all