Wytse Oortwijn | DeepAI

DeepAI

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

Featured Co-authors

Peter Müller
27 publications
Ludovic Henrio
10 publications
Wolfgang Ahrendt
7 publications
Felix A. Wolf
4 publications
Linard Arquint
3 publications
Martin Clochard
2 publications
João C. Pereira
1 publication
Arjan van der Meer
1 publication
Dennis Hendriks
1 publication

research

∙ 05/17/2022

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems

Software-intensive systems constantly evolve. To prevent software change...

0 Dennis Hendriks, et al. ∙

research

∙ 05/28/2021

Gobra: Modular Specification and Verification of Go Programs (extended version)

Go is an increasingly-popular systems programming language targeting, es...

0 Felix A. Wolf, et al. ∙

research

∙ 08/27/2019

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors

Since distributed software systems are ubiquitous, their correct functio...

0 Wolfgang Ahrendt, et al. ∙