nfr-logonfr-logo
PROJECT BANK
Bytt til Norsk språk
Statistics
Projects

0 projects

Date from new to old

IKTPLUSS-IKT og digital innovasjon

ICTAC 2020 Conference Support

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. ICTAC also aims to promote research cooperation b...

Awarded: NOK 37,208

Project Period: 2020-2020

Location: Vestland

FORSTERK-Forsterkningsmidler

COEMS Training Network

I COEMS prosjektet har deltakere fra industri og forskning videreutviklet teknologier til debugging av fler-kjerne systemer. Vi har utviklet en maskinvare-basert løsning for å behandle strømmer av henvendelser fra systemet. Vi har også designet et uttrykkskraftig spesifikasjonsspråk samt kompilat...

Awarded: NOK 0.52 mill.

Project Period: 2020-2022

Location: Vestland

IS-AUR-Samarb.progr. Norge Frankrike

Security-relevant analysis of execution traces

In this project, we will jointly investigate how to harness novel, but now consumer-grade features of modern microprocessors for important problems in safety-critical systems and cybersecurity. Research results contribute to decreasing the defect rate in software, mitigate the effect of programmi...

Awarded: NOK 77,000

Project Period: 2020-2023

Location: Vestland

IS-DAAD-Forskerutveksl. Norge-Tyskland

Runtime Verification for ABS Product Lines

The proposed project will focus on a particular programming language for Software Product Lines, called ABS, which has been developed in large parts at the University of Oslo by the Norwegian partner. The project will further focus on one particular kind of testing strategy, namely testing throu...

Awarded: NOK 30,000

Project Period: 2012-2013

Location: Oslo

1