Opportunistic monitoring of multithreaded programs

DOI10.1007/978-3-031-30826-0_10MaRDI QIDQ6535220zbMATH OpenFDO

Authors Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-30826-0_10

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
• Runtime verification with minimal intrusion through parallelism
• Tools and Algorithms for the Construction and Analysis of Systems
• Sound concurrent traces for online monitoring
• Safety assurance via on-line monitoring

Cites work

• A brief account of runtime verification
• A new solution of Dijkstra's concurrent programming problem
• abc : An Extensible AspectJ Compiler
• Atomizer: a dynamic atomicity checker for multithreaded programs
• Causal memory: definitions, implementation, and programming
• Collaborative runtime verification with tracematches
• Efficient dependency tracking for relevant events in shared-memory systems
• scientific article; zbMATH DE number 482761 (Why is no real title available?)
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• Parametric and Sliced Causality
• Petri nets, event structures and domains. I
• Quantified event automata: towards expressive and efficient runtime monitors
• Rationality in algebras with a series operation
• Reasoning about layered message passing systems
• Rewriting-based runtime verification for alternation-free HyperLTL
• The Java memory model
• Time, clocks, and the ordering of events in a distributed system
• Tools and Algorithms for the Construction and Analysis of Systems
• Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces

Cited in

(2)

• Monitoring kth order runs in binary processes
• Asynchronous wait-free runtime verification and enforcement of linearizability

This page was built for publication: Opportunistic monitoring of multithreaded programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535220)