Ansgar Fehnker | DeepAI

DeepAI

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

Featured Co-authors

Hubert Garavel
6 publications
Tim Blok
1 publication

research

∙ 04/26/2020

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems

This volume contains the proceedings of MARS 2020, the fourth workshop o...

0 Ansgar Fehnker, et al. ∙

research

∙ 09/30/2017

Automated Program Analysis for Novice Programmers

This paper describes how to adapt a static code analyzer to help novice ...

0 Tim Blok, et al. ∙