Image de couverture de livre

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Finkbeiner, Bernd, Fränzle, Martin, Kohn, Florian, Kröger, Paul
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Type-safe Monitoring of Parameterized Streams
par: Baumeister, Jan, et autres
Publié: (2026)

Pacing Types: Safe Monitoring of Asynchronous Streams
par: Kohn, Florian, et autres
Publié: (2025)

Pacing Types for Asynchronous Stream Equations
par: Kohn, Florian, et autres
Publié: (2026)

A Tutorial on Stream-based Monitoring
par: Baumeister, Jan, et autres
Publié: (2025)

An Intermediate Program Representation for Optimizing Stream-Based Languages
par: Baumeister, Jan, et autres
Publié: (2025)

Coinductive Proofs for Temporal Hyperliveness
par: Correnson, Arthur, et autres
Publié: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
par: Beutner, Raven, et autres
Publié: (2025)

On the Existence of Reactive Strategies Resilient to Delay
par: Fränzle, Martin, et autres
Publié: (2023)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
par: Correnson, Arthur, et autres
Publié: (2025)

Differentially Private Runtime Monitoring
par: Finkbeiner, Bernd, et autres
Publié: (2026)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
par: Sohn, Gina, et autres
Publié: (2025)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
par: Fränzle, Martin, et autres
Publié: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
par: Beutner, Raven, et autres
Publié: (2024)

Abstraction Functions as Types
par: Grodin, Harrison, et autres
Publié: (2025)

Synchron -- An API and Runtime for Embedded Systems
par: Sarkar, Abhiroop, et autres
Publié: (2022)

Accompanist: A Runtime for Resilient Choreographic Programming
par: Kløvedal, Viktor Strate, et autres
Publié: (2026)

E-Graphs as a Persistent Compiler Abstraction
par: Merckx, Jules, et autres
Publié: (2026)

Contextual MetaML: Syntax and Full Abstraction
par: Yin, Haoxuan, et autres
Publié: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
par: Won, Jaeyeon, et autres
Publié: (2024)

Modeling Layout Abstractions Using Integer Set Relations
par: Bhaskaracharya, Somashekaracharya G, et autres
Publié: (2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
par: DeLorenzo, Matthew, et autres
Publié: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
par: Hideshima, Takato, et autres
Publié: (2024)

Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
par: Takyu, Kento, et autres
Publié: (2024)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
par: Bachmann, Clemens, et autres
Publié: (2024)

An Effectively $Ω(c)$ Language and Runtime
par: Marron, Mark
Publié: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
par: Kang, Byeongjee, et autres
Publié: (2025)

Abstractions of Sequences, Functions and Operators
par: Rustenholz, Louis, et autres
Publié: (2025)

DYNARTmo: A Dynamic Articulatory Model for Visualization of Speech Movement Patterns
par: Kröger, Bernd J.
Publié: (2025)

The Dynamic Articulatory Model DYNARTmo: Dynamic Movement Generation and Speech Gestures
par: Kröger, Bernd J.
Publié: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
par: Warren, David S., et autres
Publié: (2024)

Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)

Linear-Time T-Gate Optimization via Random Abstraction
par: Albarghouthi, Aws
Publié: (2026)

Lips-Jaw and Tongue-Jaw Articulatory Tradeoff in DYNARTmo
par: Kröger, Bernd J.
Publié: (2025)

The 2D+ Dynamic Articulatory Model DYNARTmo: Tongue-Palate Contact Area Estimation
par: Kröger, Bernd J.
Publié: (2025)

Runtime Verification on Abstract Finite State Models
par: Jevitha, KP, et autres
Publié: (2024)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
par: De Angelis, Emanuele, et autres
Publié: (2024)

Functional Meaning for Parallel Streaming
par: Rioux, Nick, et autres
Publié: (2025)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
par: Bollig, Benedikt
Publié: (2026)

Synthesizing Document Database Queries using Collection Abstractions
par: Liu, Qikang, et autres
Publié: (2024)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
par: Saxena, Ishan, et autres
Publié: (2025)