Image de couverture de livre

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fränzle, Martin, Grosen, Thomas M., Larsen, Kim G., Zimmermann, Martin
Format:	Preprint
Publié:	2024
Sujets:	Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
par: Cimatti, Alessandro, et autres
Publié: (2024)

Time for Timed Monitorability
par: Grosen, Thomas M., et autres
Publié: (2025)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
par: Larsen, Kim G., et autres
Publié: (2025)

Monitoring Timed Properties (Revisited)
par: Grosen, Thomas Møller, et autres
Publié: (2022)

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
par: Mahe, Erwan, et autres
Publié: (2024)

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

Privacy-Preserving Runtime Verification
par: Henzinger, Thomas A., et autres
Publié: (2025)

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

A Note on Runtime Verification of Concurrent Systems
par: Leucker, Martin
Publié: (2025)

Parametric Timed Pattern Matching
par: Waga, Masaki, et autres
Publié: (2019)

On Decidability Timed Automata with 2 Parametric Clocks
par: Bersani, Marcello M., et autres
Publié: (2025)

Controller Synthesis for Parametric Timed Games
par: Dahlsen-Jensen, Mikael Bisgaard, et autres
Publié: (2025)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
par: Dahlsen-Jensen, Mikael Bisgaard, et autres
Publié: (2024)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
par: Akshay, S, et autres
Publié: (2023)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
par: Akshay, S., et autres
Publié: (2025)

History-deterministic Parikh Automata
par: Erlich, Enzo, et autres
Publié: (2022)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
par: Eichler, Paul, et autres
Publié: (2024)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
par: Han, Xiaoguang, et autres
Publié: (2024)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
par: Basile, Davide
Publié: (2025)

Robust Probabilistic Temporal Logics
par: Zimmermann, Martin
Publié: (2023)

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

Conservative Perception Models for Probabilistic Verification
par: Cleaveland, Matthew, et autres
Publié: (2025)

Verification under TSO with an infinite Data Domain
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

Counting Abstraction for the Verification of Structured Parameterized Networks
par: Bozga, Marius, et autres
Publié: (2025)

A Regular and Complete Notion of Delay for Streaming String Transducers
par: Filiot, Emmanuel, et autres
Publié: (2022)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
par: Chen, Hanyue, et autres
Publié: (2025)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
par: Zhang, Shuhang, et autres
Publié: (2025)

Attributed Tree Transducers for Partial Functions
par: Maneth, Sebastian, et autres
Publié: (2024)

Closure Properties of General Grammars -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2023)

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
par: Maneth, Sebastian, et autres
Publié: (2023)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
par: Latif, Saba, et autres
Publié: (2025)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
par: Winter, Sarah, et autres
Publié: (2024)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
par: Winter, Sarah, et autres
Publié: (2025)

Logics for Context-free Hyperproperties
par: Winter, Sarah, et autres
Publié: (2026)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
par: Regaud, Gaëtan, et autres
Publié: (2025)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
par: Roop, Partha, et autres
Publié: (2026)

Input-Driven Pushdown Automata with Translucent Input Letters
par: Kutrib, Martin, et autres
Publié: (2025)

Binary codes that do not preserve primitivity
par: Holub, Štěpán, et autres
Publié: (2022)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
par: Christ, Derek, et autres
Publié: (2026)