Cristin-person-ID: 1721
Person

Aktiv cristin-person Volker Stolz

  • Stilling:
    Professor
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
  • Stilling:
    Førsteamanuensis
    ved Institutt for informatikk ved Universitetet i Oslo

Klassifisering

Vitenskapsdisipliner

Informasjons- og kommunikasjonsvitenskap

Land

  • Tyskland
  • Macao

Resultater Resultater

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. UdSdT, ITALIA, HVLVitenskapelig artikkel

Operational semantics of a weak memory model with channel synchronization.

Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. 2019, Journal of Logical and Algebraic Methods in Programming. UIO, HVLVitenskapelig artikkel

MC/DC Test Cases Generation Based on BDDs.

Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker. 2021, UCdM, HVLVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Hardware-Assisted Online Data Race Detection.

Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I; Stolz, Volker. 2021, Lecture Notes in Computer Science (LNCS). UCdM, HVLVitenskapelig artikkel

Adaptive distributed monitors of spatial properties for cyber–physical systems.

Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko. 2021, Journal of Systems and Software. UdSdT, UNIBO, HVLVitenskapelig artikkel
1 - 5 av 88 | Neste | Siste »