Abstract Interpretation for Embedded AI Code Safety (AIMBOS)

Third party funded individual grant

Acronym: AIMBOS

Start date : 01.01.2025

End date : 31.12.2027

Website: https://sys.cs.fau.de/research/aimbos

• Overview

   

• Publications

  (1)

• External partners

  (1)

Types of publications

Toggle all

Journal article

Journal article

Book chapter / Article in edited volumes

Book chapter / Article in edited volumes

Authored book

Authored book

Translation

Translation

Thesis

Thesis

Edited Volume

Edited Volume

Conference contribution

Conference contribution

Other publication type

Other publication type

Unpublished / Preprint

Unpublished / Preprint

Publication year

From

To

Abstract

Journal