Copertina

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Gall, Pascale Le
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Specializing anti-unification for interaction models composition via gate connections
di: Nguetoum, Joel, et al.
Pubblicazione: (2025)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
di: Fränzle, Martin, et al.
Pubblicazione: (2024)

Statistical process discovery
di: Cry, Pierre, et al.
Pubblicazione: (2025)

Privacy-Preserving Runtime Verification
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
di: Slimi, Jaouhar, et al.
Pubblicazione: (2025)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
di: Han, Xiaoguang, et al.
Pubblicazione: (2024)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
di: Akshay, S., et al.
Pubblicazione: (2025)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
di: Eichler, Paul, et al.
Pubblicazione: (2024)

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

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
di: Bollig, Benedikt
Pubblicazione: (2026)

Conservative Perception Models for Probabilistic Verification
di: Cleaveland, Matthew, et al.
Pubblicazione: (2025)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
di: Quansah, Paapa Kwesi, et al.
Pubblicazione: (2026)

Counting Abstraction for the Verification of Structured Parameterized Networks
di: Bozga, Marius, et al.
Pubblicazione: (2025)

A Note on Runtime Verification of Concurrent Systems
di: Leucker, Martin
Pubblicazione: (2025)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
di: Shoudai, Takayoshi, et al.
Pubblicazione: (2026)

Responsibility in Actor-Based Systems
di: Baier, Christel, et al.
Pubblicazione: (2024)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
di: Zhang, Shuhang, et al.
Pubblicazione: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
di: Finkel, Alain, et al.
Pubblicazione: (2025)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
di: Latif, Saba, et al.
Pubblicazione: (2025)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
di: Roop, Partha, et al.
Pubblicazione: (2026)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
di: De Rosa, Mattia, et al.
Pubblicazione: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
di: Yang, Dong, et al.
Pubblicazione: (2024)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
di: Besset, Antoine, et al.
Pubblicazione: (2025)

Two or three things I know about tree transducers
di: Nguyên, Lê Thành Dũng
Pubblicazione: (2024)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
di: Principato, Flavio T., et al.
Pubblicazione: (2025)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
di: Hausmann, Daniel, et al.
Pubblicazione: (2024)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2026)

Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)

Runtime Consultants
di: Fisman, Dana, et al.
Pubblicazione: (2025)

Efficient Learning of Weak Deterministic Büchi Automata
di: Alluwayma, Mona, et al.
Pubblicazione: (2025)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
di: Kuriyama, Takayuki
Pubblicazione: (2014)

Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs
di: Ajdarów, Michal
Pubblicazione: (2025)

Efficient Constructions of Finite-State Independent Normal Pairs
di: Pulari, Subin
Pubblicazione: (2026)

History-Constrained Systems
di: Kuijer, Louwe B., et al.
Pubblicazione: (2026)

Verification under TSO with an infinite Data Domain
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
di: Mahe, Erwan, et al.
Pubblicazione: (2024)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
di: Acharya, Rohan, et al.
Pubblicazione: (2024)

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
di: Kiefer, Stefan, et al.
Pubblicazione: (2019)

Efficient Construction of Reachability Graphs for Petri Net Product Lines
di: Gómez-Martínez, Elena, et al.
Pubblicazione: (2026)

Reachability in Trace-Pushdown Systems
di: Köcher, Chris, et al.
Pubblicazione: (2025)