Cristin-prosjekt-ID: 377978
Sist endret: 20. juli 2020 18:40

Cristin-prosjekt-ID: 377978
Sist endret: 20. juli 2020 18:40
Prosjekt

Runtime Verification for ABS Product Lines

prosjektleder

Volker Stolz
ved Pålitelige systemer ved Universitetet i Oslo

prosjekteier / koordinerende forskningsansvarlig enhet

  • Pålitelige systemer ved Universitetet i Oslo

Finansiering

  • TotalbudsjettNOK 30.000
  • Norges forskningsråd
    Prosjektkode: 216841

Tidsramme

Avsluttet
Start: 1. januar 2012 Slutt: 31. desember 2012

Beskrivelse Beskrivelse

Tittel

Runtime Verification for ABS Product Lines

prosjektdeltakere

prosjektleder
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Prosjektleder
    ved Pålitelige systemer ved Universitetet i Oslo

Eric Bodden

  • Tilknyttet:
    Prosjektdeltaker
    ved Technische Universität Darmstadt

Ka I Pun

  • Tilknyttet:
    Prosjektdeltaker
    ved Pålitelige systemer ved Universitetet i Oslo

Kevin Falzon

  • Tilknyttet:
    Prosjektdeltaker
    ved Technische Universität Darmstadt
Aktiv cristin-person

Martin Steffen

  • Tilknyttet:
    Prosjektdeltaker
    ved Pålitelige systemer ved Universitetet i Oslo
1 - 5 av 5

Resultater Resultater

How useful are existing monitoring languages for securing Android apps?

Steven, Arzt; Falzon, Kevin; Follner, Andreas; Rasthofer, Siegfried; Bodden, Eric; Stolz, Volker. 2013, Lecture Notes in Informatics. TUD, UIOVitenskapelig artikkel

Delta-oriented Monitor Specification.

Bodden, Eric; Falzon, Kevin; Pun, Ka I; Stolz, Volker. 2012, Lecture Notes in Computer Science (LNCS). TUD, UdNUidSeT, UIOVitenskapelig artikkel
1 - 2 av 2