Professor

Volker Stolz

Department of Computer science, Electrical engineering and Mathematical sciences
Volker Stolz
Tel: +47 55 58 75 86
Email: Send email
Bergen
KRONSTAD, F503
Download contact card
See profile in CRIStin

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

Publications

  • Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2020)
    Springer. Isbn: 978-3-030-65954-7. s. 68-83

  • Formal Methods: Foundations and Applications

    Carvalho, Gustavo, Stolz, Volker (2020)
    Springer. Isbn: 978-3-030-63882-5

  • Theoretical Aspects of Computing – ICTAC 2020

    Pun, Ka I, Stolz, Volker, Simao, Adenilso (2020)
    Springer. Isbn: 978-3-030-64275-4

  • Refactoring and Active Object Languages

    Stolz, Volker, Pun, Ka I, Gheyi, Rohit (2020)
    Lecture Notes in Computer Science (LNCS) 2020

  • Multi-objective Search for Model-based Testing

    Wang, Rui, Artho, Cyrille, Kristensen, Lars Michael, Stolz, Volker (2020)
    IEEE conference proceedings. Isbn: 978-1-7281-8913-0. s. 130-141
    • Show all