Opportunistic monitoring of multithreaded programs

DOI10.1007/978-3-031-30826-0_10zbMATH Open1541.68097MaRDI QIDQ6535220

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

Publication date: 24 November 2023

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
• Petri nets, event structures and domains. I
• Rationality in algebras with a series operation
• Reasoning about layered message passing systems
• A brief account of runtime verification
• Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
• Atomizer
• Collaborative Runtime Verification with Tracematches
• abc : An Extensible AspectJ Compiler
• Time, clocks, and the ordering of events in a distributed system
• Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
• A new solution of Dijkstra's concurrent programming problem
• Causal memory: definitions, implementation, and programming
• Efficient dependency tracking for relevant events in shared-memory systems
• The Java memory model
• Parametric and Sliced Causality
• Tools and Algorithms for the Construction and Analysis of Systems

Related Items (1)

Monitoring \(k\)th order runs in binary processes

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)