Imagen de Portada

A Note on Runtime Verification of Concurrent Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Leucker, Martin
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Formal Languages and Automata Theory Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Runtime Verification via Rational Monitor with Imperfect Information
por: Ferrando, Angelo, et al.
Publicado: (2024)

A SCADE Model Verification Method Based on B-Model Transformation
por: Hou, Xili, et al.
Publicado: (2025)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
por: Bollig, Benedikt
Publicado: (2026)

Towards A Catalogue of Requirement Patterns for Space Robotic Missions
por: Etumi, Mahdi, et al.
Publicado: (2025)

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

Formal Evidence Generation for Assurance Cases for Robotic Software Models
por: Yan, Fang, et al.
Publicado: (2026)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
por: Endrullis, Jörg, et al.
Publicado: (2025)

Enhanced Data Race Prediction Through Modular Reasoning
por: Ang, Zhendong, et al.
Publicado: (2025)

Proceedings 16th International Workshop on Graph Computation Models
por: Lambers, Leen, et al.
Publicado: (2026)

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

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise
por: Ye, Lina, et al.
Publicado: (2023)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
por: Chu, Simon, et al.
Publicado: (2024)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
por: Li, Shuo, et al.
Publicado: (2023)

Higher-Dimensional Timed Automata for Real-Time Concurrency
por: Amrane, Amazigh, et al.
Publicado: (2024)

Recomposition: A New Technique for Efficient Compositional Verification
por: Dardik, Ian, et al.
Publicado: (2024)

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

Verification of Neural Networks (Lecture Notes)
por: Bollig, Benedikt
Publicado: (2026)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
por: Chen, Yu-Fang, et al.
Publicado: (2024)

Parameterized Verification of Quantum Circuits (Technical Report)
por: Abdulla, Parosh Aziz, et al.
Publicado: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
por: Hong, Chih-Duo, et al.
Publicado: (2025)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
por: Di Giusto, Cinzia, et al.
Publicado: (2025)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
por: Caltais, Georgiana, et al.
Publicado: (2024)

MightyPPL: Verification of MITL with Past and Pnueli Modalities
por: Ho, Hsi-Ming, et al.
Publicado: (2025)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
por: Tsai, Wei-Lun, et al.
Publicado: (2026)

Can ChatGPT support software verification?
por: Janßen, Christian, et al.
Publicado: (2023)

A Session Type System for Asynchronous Unreliable Broadcast Communication
por: Kouzapas, Dimitrios, et al.
Publicado: (2019)

Robust Probabilistic Temporal Logics
por: Zimmermann, Martin
Publicado: (2023)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
por: Zhang, Kaiwen, et al.
Publicado: (2022)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
por: Guha, Shibashis, et al.
Publicado: (2021)

Unreliability in Practical Subclasses of Communicating Systems
por: Suresh, Amrita, et al.
Publicado: (2025)

General Decidability Results for Systems with Continuous Counters
por: Balasubramanian, A. R., et al.
Publicado: (2025)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
por: Winter, Sarah, et al.
Publicado: (2025)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
por: Regaud, Gaëtan, et al.
Publicado: (2025)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
por: Winter, Sarah, et al.
Publicado: (2024)

Logics for Context-free Hyperproperties
por: Winter, Sarah, et al.
Publicado: (2026)

Improving Reachability in Vector Addition Systems through Pumpability
por: Chen, Weijun, et al.
Publicado: (2026)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
por: Chistikov, Dmitry, et al.
Publicado: (2024)

Reachability in Vector Addition System with States Parameterized by Geometric Dimension
por: Zheng, Yangluo
Publicado: (2024)

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
por: Czerwiński, Wojciech, et al.
Publicado: (2022)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
por: Zameni, Tannaz, et al.
Publicado: (2026)