:: Library Catalog

Image de couverture de livre

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:	https://arxiv.org/abs/2601.11358
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)

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

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

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

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

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

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

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

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)

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)

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

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)

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

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

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

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)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
par: Baumeister, Jan, et autres
Publié: (2024)

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

Abstractions of Sequences, Functions and Operators
par: Rustenholz, Louis, 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)

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

Model Learning for Adjusting the Level of Automation in HCPS
par: Hajnorouzi, Mehrnoush, et autres
Publié: (2025)

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

Non-Deterministic Planning for Hyperproperty Verification
par: Beutner, Raven, et autres
Publié: (2024)

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

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

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

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