AI Chat AI Image Generator AI Video Text to Speech

Formalization of Advanced VOs semantics and VO Refinement

05/18/2022

∙

by Sebastian Stock, et al.

∙

∙

This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.

Sebastian Stock
5 publications
Fabian Vu
2 publications
David Geleßus
2 publications
Atif Mashkoor
13 publications
Michael Leuschel
11 publications
Alexander Egyed
19 publications

page 1

page 2

page 3

page 4

research

∙ 09/29/2022

Asynchronous Correspondences Between Hybrid Trajectory Semantics

We formalize the semantics of hybrid systems as sets of hybrid trajector...

0 Patrick Cousot, et al. ∙

research

∙ 08/01/2023

Complexity evaluation of network configurations and abstractions

Computer networks have been traditionally configured by humans using com...

0 José Moreno, et al. ∙

research

∙ 08/29/2014

On computable abstractions (a conceptual introduction)

This paper introduces abstractions that are meaningful for computers and...

0 Alejandro Sánchez Guinea, et al. ∙

research

∙ 12/11/2020

The Future is Big Graphs! A Community View on Graph Processing Systems

Graphs are by nature unifying abstractions that can leverage interconnec...

0 Sherif Sakr, et al. ∙

research

∙ 12/14/2020

A learning perspective on the emergence of abstractions: the curious case of phonemes

In the present paper we use a range of modeling techniques to investigat...

0 Petar Milin, et al. ∙

research

∙ 07/20/2023

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

Abstraction is a key verification technique to improve scalability. Howe...

0 Calvin Chau, et al. ∙

research

∙ 08/08/2019

From Piz Daint to the Stars: Simulation of Stellar Mergers using High-Level Abstractions

We study the simulation of stellar mergers, which requires complex simul...

0 Gregor Daiß, et al. ∙