Marc Carwehl | DeepAI

DeepAI

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

Featured Co-authors

Thomas Vogel
33 publications
Lars Grunske
17 publications
Genaína Nunes Rodrigues
6 publications

research

∙ 03/29/2023

Runtime Verification of Self-Adaptive Systems with Changing Requirements

To accurately make adaptation decisions, a self-adaptive system needs pr...

0 Marc Carwehl, et al. ∙

research

∙ 11/07/2022

A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL

Context: The goal of specification pattern catalogs for real-time requir...

0 Thomas Vogel, et al. ∙