Professor

Volker Stolz

Institutt for datateknologi, elektroteknologi og realfag
Volker Stolz
Tel: +47 55 58 75 86
Epost: Send epost
Bergen
KRONSTAD, F503
Last ned kontaktkort
Sjå forskarprofil i CRIStin

Arbeids- og kompetanseområde

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)

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

Forskar på
  • Software Engineering
  • Testing & Monitoring
  • Runtime Verification
  • Formal Methods

Forskargrupper

Publikasjonar

  • 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
    • Vis alle