Articles with public access mandates - John DerrickLearn more
Not available anywhere: 1
Testing and Refinement
J Derrick, EA Boiten, J Derrick, EA Boiten
Refinement in Z and Object-Z: Foundations and Advanced Applications, 173-200, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Available somewhere: 18
Verifying linearisability: A comparative survey
B Dongol, J Derrick
ACM Computing Surveys (CSUR) 48 (2), 1-43, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Verifying C11 programs operationally
S Doherty, B Dongol, H Wehrheim, J Derrick
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Model transformations across views
J Derrick, H Wehrheim
Science of Computer Programming 75 (3), 192-210, 2010
Mandates: German Research Foundation
Verifying correctness of persistent concurrent data structures
J Derrick, S Doherty, B Dongol, G Schellhorn, H Wehrheim
International Symposium on Formal Methods, 179-195, 2019
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Proving opacity of a pessimistic STM
S Doherty, B Dongol, J Derrick, G Schellhorn, H Wehrheim
Leibniz International Proceedings in Informatics 70 (35), 35.1-35.17, 2017
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Defining and verifying durable opacity: Correctness for persistent software transactional memory
E Bila, S Doherty, B Dongol, J Derrick, G Schellhorn, H Wehrheim
International Conference on Formal Techniques for Distributed Objects …, 2020
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Mechanized proofs of opacity: a comparison of two techniques
J Derrick, S Doherty, B Dongol, G Schellhorn, O Travkin, H Wehrheim
Formal Aspects of Computing 30, 597-625, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Verifying correctness of persistent concurrent data structures: a sound and complete method
J Derrick, S Doherty, B Dongol, G Schellhorn, H Wehrheim
Formal Aspects of Computing 33 (4), 547-573, 2021
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Deriving real-time action systems with multiple time bands using algebraic reasoning
B Dongol, IJ Hayes, J Derrick
Science of Computer Programming 85, 137-165, 2014
Mandates: Australian Research Council, UK Engineering and Physical Sciences Research …
Modularising verification of durable opacity
E Bila, J Derrick, S Doherty, B Dongol, G Schellhorn, H Wehrheim
Logical Methods in Computer Science 18, 2022
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Observational models for linearizability checking on weak memory models
K Winter, G Smith, J Derrick
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
Mandates: Australian Research Council
A fully verified persistency library
S Bodenmüller, J Derrick, B Dongol, G Schellhorn, H Wehrheim
International Conference on Verification, Model Checking, and Abstract …, 2023
Mandates: UK Engineering and Physical Sciences Research Council
Reverse-engineering EFSMs with data dependencies
M Foster, J Derrick, N Walkinshaw
IFIP International Conference on Testing Software and Systems, 37-54, 2021
Mandates: UK Engineering and Physical Sciences Research Council
Brief announcement: On strong observational refinement and forward simulation
J Derrick, S Doherty, B Dongol, G Schellhorn, H Wehrheim
35th International Symposium on Distributed Computing (DISC 2021) 209, 55, 2021
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Modelling concurrent objects running on the TSO and ARMv8 memory models
K Winter, G Smith, J Derrick
Science of Computer Programming 184, 102308, 2019
Mandates: Australian Research Council, UK Engineering and Physical Sciences Research …
Invariant generation for linearizability proofs
G Smith, J Derrick
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1694-1699, 2016
Mandates: Australian Research Council
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems
B Dongol, J Derrick
Science of Computer Programming 111, 214-247, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Brief Announcement: Generalising Concurrent Correctness to Weak Memory
S Doherty, B Dongol, H Wehrheim, J Derrick
32nd International Symposium on Distributed Computing (DISC 2018), 2018
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program