Showing results 1 to 20 of 26
next >
Issue Date | Title | Author(s) |
2015 | Admit your weakness: Verifying correctness on TSO architectures | Smith, G; Derrick, J; Dongol, B |
2016 | Contextual trace refinement for concurrent objects: Safety and progress | Dongol, B; Groves, L |
2015 | Convolution as a unifying concept: Applications in separation logic, interval calculi and concurrency | Dongol, B; Hayes, IJ; Struth, G |
2013 | Data refinement for true concurrency | Dongol, B; Derrick, J |
2016 | Decidability and complexity for quiescent consistency | Dongol, B; Hierons, R |
2017 | Decidability and Complexity for Quiescent Consistency and its Variations | Dongol, B; Hierons, RM |
2015 | Defining correctness conditions for concurrent objects in multicore architectures | Dongol, B; Derrick, J; Groves, L; Smith, G |
2014 | Deriving real-time action systems with multiple time bands using algebraic reasoning | Dongol, B; Hayes, IJ; Derrick, J |
2017 | An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction | Dongol, B |
2015 | Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems | Dongol, B; Derrick, J |
2014 | Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems | Dongol, B; Derrick, J |
2017 | Mechanized proofs of opacity: A comparison of two techniques | Derrick, J; Doherty, S; Dongol, B; Schellhorn, G; Travkin, O; Wehrheim, H |
2017 | Modularising opacity verification for hybrid transactional memory | Armstrong, A; Dongol, B |
2017 | On abstraction and compositionality for weak-memory linearisability | Dongol, B; Jagadeesan, R; Riely, J; Armstrong, A |
2015 | A program construction and verification tool for separation logic | Dongol, B; Gomes, VBF; Struth, G |
2016 | Proving opacity of a pessimistic STM | Doherty, S; Dongol, B; Derrick, J; Schellhorn, G; Wehrheim, H |
2017 | Proving opacity via linearizability: A sound and complete method | Armstrong, A; Dongol, B; Doherty, S |
2014 | Quiescent consistency: Defining and verifying relaxed linearizability | Derrick, J; Dongol, B; Schellhorn, G; Tofan, B; Travkin, O; Wehrheim, H |
2014 | Reasoning about goal-directed real-time teleo-reactive programs | Dongol, B; Hayes, IJ; Robinson, PJ |
2014 | Reasoning algebraically about refinement on TSO architectures | Dongol, B; Derrick, J; Smith, G |