The following pages link to Brijesh Dongol (Q736792):
Displaying 29 items.
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Verifying correctness of persistent concurrent data structures: a sound and complete method (Q1982636) (← links)
- Cylindric Kleene lattices for program construction (Q2176678) (← links)
- Streamlining progress-based derivations of concurrent programs (Q2481207) (← links)
- A High-Level Semantics for Program Execution under Total Store Order Memory (Q2851906) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Reasoning Algebraically About Refinement on TSO Architectures (Q2938158) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Proving Opacity of a Pessimistic {STM} (Q3174968) (← links)
- On abstraction and compositionality for weak-memory linearisability (Q3296328) (← links)
- Verifying Lock-Freedom Using Well-Founded Orders (Q3525079) (← links)
- Compositional Action System Derivation Using Enforced Properties (Q3575269) (← links)
- Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards (Q3618819) (← links)
- Decidability and Complexity for Quiescent Consistency (Q4635867) (← links)
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Modularising Opacity Verification for Hybrid Transactional Memory (Q5082189) (← links)
- Proving Opacity via Linearizability: A Sound and Complete Method (Q5082190) (← links)
- (Q5101340) (← links)
- Verifying Opacity of a Transactional Mutex Lock (Q5206950) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- Extending the theory of Owicki and Gries with a logic of progress (Q5310653) (← links)
- (Q5856417) (← links)
- (Q6083440) (← links)
