Josefine Graebener | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Sanjit A. Seshia
65 publications
Alberto Sangiovanni-Vincentelli
34 publications
Richard M. Murray
22 publications
Albert Benveniste
8 publications
Apurva Badithela
6 publications
Inigo Incer
6 publications
Piergiuseppe Mallozzi
5 publications
Benoît Caillaud
3 publications
Ayush Pandey
3 publications
Sheng-Jung Yu
1 publication

research

∙ 03/31/2023

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design

Contract-based design is a method to facilitate modular system design. W...

0 Inigo Incer, et al. ∙

research

∙ 04/06/2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems

We present a framework for merging unit tests for autonomous systems. Ty...

0 Josefine Graebener, et al. ∙

Success!

An error occurred