Serdar Erbatur | DeepAI

DeepAI

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

Featured Co-authors

Chuangjie Xu
8 publications
Martin Hofmann
5 publications
Ulrich Schöpp
5 publications
Eugen Zalinescu
3 publications

research

∙ 07/23/2021

Type-based Enforcement of Infinitary Trace Properties for Java

A common approach to improve software quality is to use programming guid...

0 Serdar Erbatur, et al. ∙

research

∙ 01/23/2018

Enforcing Programming Guidelines with Region Types and Effects

We present in this paper a new type and effect system for Java which can...

0 Serdar Erbatur, et al. ∙