Eraser

swMATH8922MaRDI QIDQ20918FDOQ20918

Author name not available (Why is that?)

Cited In (36)

• Set-based access conflict analysis of concurrent workflow definition
• Strengthening Induction-Based Race Checking with Lightweight Static Analysis
• Analysis of correct synchronization of operating system components
• Securing interaction between threads and the scheduler in the presence of synchronization
• Computer Aided Verification
• Computer Aided Verification
• Optimistic synchronization-based state-space reduction
• Dynamically checking ownership policies in concurrent c/c++ programs
• Symbolic predictive analysis for concurrent programs
• Title not available (Why is that?)
• Automatic Verification of Determinism for Structured Parallel Programs
• Static analysis for detecting high-level races in RTOS kernels
• MPI-CHECK: a tool for checking Fortran 90 MPI programs
• Experimental evaluation of verification and validation tools on Martian Rover software
• Multithreaded testing of program interfaces
• Adaptive locks: combining transactions and locks for efficient concurrency
• Title not available (Why is that?)
• Effect-polymorphic behaviour inference for deadlock checking
• Model Checking Database Applications
• Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems
• Succinct representation of concurrent trace sets
• Automatic analysis of DMA races using model checking and \(k\)-induction
• Automated Technology for Verification and Analysis
• Extensible transactional memory testbed
• Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
• First-order temporal logic monitoring with BDDs
• Framework for testing multi‐threaded Java programs
• Code aware resource management
• Title not available (Why is that?)
• Euro-Par 2004 Parallel Processing
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Dynamic race detection for C++11
• Tools and Algorithms for the Construction and Analysis of Systems
• Finding Concurrency-Related Bugs Using Random Isolation
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
• Abstraction and mining of traces to explain concurrency bugs

This page was built for software: Eraser