Cristin-prosjekt-ID: 517910
Sist endret: 16. juni 2020 10:05

Cristin-prosjekt-ID: 517910
Sist endret: 16. juni 2020 10:05
Prosjekt

COEMS - Continuous Observation of Embedded Multicore Systems

prosjektleder

Martin Leucker
ved Universität zu Lübeck

prosjekteier / koordinerende forskningsansvarlig enhet

  • Universität zu Lübeck

Finansiering

  • TotalbudsjettNOK 36.802.759
  • EC/H2020
    Prosjektkode: 732016

Klassifisering

Vitenskapsdisipliner

Informasjons- og kommunikasjonsteknologi

Emneord

H2020

Kategorier

Prosjektkategori

  • Bidragsprosjekt

Kontaktinformasjon

Tidsramme

Avsluttet
Start: 1. november 2016 Slutt: 30. april 2020

Beskrivelse Beskrivelse

Tittel

COEMS - Continuous Observation of Embedded Multicore Systems

prosjektdeltakere

prosjektleder

Martin Leucker

  • Tilknyttet:
    Prosjektleder
    ved Universität zu Lübeck

Jose Ignacio Requeno Jarabo

  • Tilknyttet:
    Prosjektdeltaker
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Inaktiv cristin-person

Rui Wang

  • Tilknyttet:
    Prosjektdeltaker
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Faustin Ahishakiye

  • Tilknyttet:
    Prosjektdeltaker
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Svetlana Jaksic

  • Tilknyttet:
    Prosjektdeltaker
    ved Høgskulen på Vestlandet
1 - 5 av 7 | Neste | Siste »

Resultater Resultater

On Distributed Runtime Verification by Aggregate Computing.

Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko. 2019, Electronic Proceedings in Theoretical Computer Science. UdSdT, UdSdB, HVLVitenskapelig artikkel

Non-intrusive MC/DC measurement based on traces.

Ahishakiye, Faustin; Stolz, Volker; Jaksic, Svetlana; Lange, Felix Dino; Schmitz, Malte; Thoma, Daniel. 2019, IEEE conference proceedings. HVLVitenskapelig antologi/Konferanseserie

COEMS.

Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker. 2018, Norsk Informatikkonferanse. HVLPoster

Static analysis for dynamic data race detection with TeSSLa.

Jaksic, Svetlana; Schmitz, Malte; Stolz, Volker; Thoma, Daniel. 2018, Nordic Workshop on Programming Theory. UNILUEBECK, UIO, HVLFaglig foredrag

Stream-based dynamic data race detection.

Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet; Stolz, Volker. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. HVLVitenskapelig artikkel
1 - 5 av 6 | Neste | Siste »