Philipp Berger | DeepAI

DeepAI

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

Featured Co-authors

Joost-Pieter Katoen
67 publications
Christoph Meinel
37 publications
Erika Ábrahám
15 publications
Lukas Westhofen
8 publications
Md Tawhid Bin Waez
3 publications
Raad Bin Tareaf
1 publication
Patrick Hennig
1 publication
Johanna Nellen
1 publication
Thomas Rambow
1 publication

research

∙ 03/26/2020

Benchmarking Software Model Checkers on Automotive Code

This paper reports on our experiences with verifying automotive C code b...

0 Lukas Westhofen, et al. ∙

research

∙ 06/17/2019

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development

In industrial model-based development (MBD) frameworks, requirements are...

0 Philipp Berger, et al. ∙

research

∙ 12/11/2018

Towards Automatic Personality Prediction Using Facebook Like Categories

We demonstrate that effortlessly accessible digital records of behavior ...

0 Raad Bin Tareaf, et al. ∙