Eugen Zalinescu | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

David Basin
18 publications
Antonella Del Pozzo
8 publications
Martin Hofmann
5 publications
Serdar Erbatur
2 publications
Lăcrămioara Aştefanoaei
1 publication
Pierre Chambart
1 publication
Edward Tate
1 publication
Sara Tucci
1 publication
Felix Klaedtke
1 publication

research

∙ 01/31/2020

Tenderbake – Classical BFT Style Consensus for Public Blockchains

Our work has been originally motivated by Tezos, a public blockchain whi...

0 Lăcrămioara Aştefanoaei, et al. ∙

research

∙ 09/24/2019

Runtime Verification over Out-of-order Streams

We present an approach for verifying systems at runtime. Our approach ta...

0 David Basin, 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. ∙