Browsing by Author Derrick, J
Showing results 5 to 17 of 17
< previous
Issue Date | Title | Author(s) |
---|---|---|
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 |
2016 | Proving opacity of a pessimistic STM | Doherty, S; Dongol, B; Derrick, J; Schellhorn, G; Wehrheim, H |
2014 | Quiescent consistency: Defining and verifying relaxed linearizability | Derrick, J; Dongol, B; Schellhorn, G; Tofan, B; Travkin, O; Wehrheim, H |
2014 | Reasoning algebraically about refinement on TSO architectures | Dongol, B; Derrick, J; Smith, G |
2016 | Towards linking correctness conditions for concurrent objects and contextual trace refinement | Dongol, B; Groves, L |
2014 | Using coarse-grained abstractions to verify linearizability on TSO architectures | Derrick, J; Smith, G; Groves, L; Dongol, B |
2008 | Using formal methods to support testing | Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M |
2009 | Using formal specifications to support testing | Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, J; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, MR; Zedan, H |
2015 | Verifying linearisability: A comparative survey | Dongol, B; Derrick, J |
2014 | Verifying linearizability on TSO architectures | Derrick, J; Smith, G; Dongol, B |
2015 | Verifying opacity of a transactional Mutex lock | Derrick, J; Dongol, B; Schellhorn, G; Travkin, O; Wehrheim, H |