Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-prosjekt-ID:
517910
Sist endret:
16. juni 2020 10:05
Historikk
Cristin-prosjekt-ID:
517910
Sist endret:
16. juni 2020 10:05
Prosjekt
COEMS - Continuous Observation of Embedded Multicore Systems
prosjektleder
prosjektleder
Martin Leucker
ved Universität zu Lübeck
prosjekteier / koordinerende forskningsansvarlig enhet
prosjekteier / koordinerende forskningsansvarlig enhet
Universität zu Lübeck
Finansiering
Finansiering
Totalbudsjett
NOK 36.802.759
EC/H2020
Prosjektkode: 732016
Klassifisering
Klassifisering
Vitenskapsdisipliner
Informasjons- og kommunikasjonsteknologi
Emneord
H2020
Kategorier
Kategorier
Prosjektkategori
Bidragsprosjekt
Kontaktinformasjon
Kontaktinformasjon
www.coems.eu
Tidsramme
Tidsramme
Avsluttet
Start:
1. november 2016
Slutt:
30. april 2020
Beskrivelse
Beskrivelse
Engelsk
Tittel
COEMS - Continuous Observation of Embedded Multicore Systems
prosjektdeltakere
prosjektdeltakere
prosjektleder
Martin Leucker
Prosjektleder
ved Universität zu Lübeck
Jose Ignacio Requeno Jarabo
Prosjektdeltaker
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Rui Wang
Prosjektdeltaker
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Faustin Ahishakiye
Prosjektdeltaker
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Svetlana Jaksic
Prosjektdeltaker
ved Høgskulen på Vestlandet
1
-
5
av
7
|
Neste
|
Siste »
Tilknyttede prosjekter
Tilknyttede prosjekter
COEMS Training Network
Volker Stolz
Høgskulen på Vestlandet
Avsluttet prosjekt
1
-
1
av
1
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, HVL
Vitenskapelig artikkel
Non-intrusive MC/DC measurement based on traces.
Ahishakiye, Faustin; Stolz, Volker; Jaksic, Svetlana; Lange, Felix Dino; Schmitz, Malte; Thoma, Daniel. 2019, HVL
Vitenskapelig antologi/Konferanseserie
COEMS.
Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker. 2018, Norsk Informatikkonferanse. HVL
Poster
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, HVL
Faglig 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. HVL
Vitenskapelig artikkel
1
-
5
av
6
|
Neste
|
Siste »