Robert Koenighofer | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Roderick Bloem
27 publications
Heinz Riener
7 publications
Ayrat Khalimov
7 publications
Goerschwin Fey
4 publications
Ingo Pill
3 publications
Franz Roeck
2 publications
Patrick Klampfl
1 publication
Aiman Abu-Yonis
1 publication
Shiri Moran
1 publication
Fabian Greif
1 publication

research

∙ 09/05/2018

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Constructing good test cases is difficult and time-consuming, especially...

0 Roderick Bloem, et al. ∙

research

∙ 12/12/2017

OpenSEA: Semi-Formal Methods for Soft Error Analysis

Alpha-particles and cosmic rays cause bit flips in chips. Protection cir...

0 Patrick Klampfl, et al. ∙