John Derrick

ORCID

Publication Activity (10 Years)

Years Active: 1968-2024
Publications (10 Years): 29

Top Venues

CoRR

Formal Aspects Comput.

Sci. Comput. Program.

Publications

Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
A Fully Verified Persistency Library. VMCAI (2) (2024)
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Modularising Verification Of Durable Opacity. Log. Methods Comput. Sci. 18 (3) (2022)
Michael Foster, John Derrick, Neil Walkinshaw
Reverse-Engineering EFSMs with Data Dependencies. ICTSS (2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects Comput. 33 (4-5) (2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Brief Announcement: On Strong Observational Refinement and Forward Simulation. DISC (2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
On Strong Observational Refinement and Forward Simulation. CoRR (2021)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
A Formal Model of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
Inference of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. CoRR (2020)
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. FORTE (2020)
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Modularising Verification Of Durable Opacity. CoRR (2020)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Verifying C11 programs operationally. PPoPP (2019)
Kirsten Winter, Graeme Smith, John Derrick
Modelling concurrent objects running on the TSO and ARMv8 memory models. Sci. Comput. Program. 184 (2019)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
Incorporating Data into EFSM Inference. SEFM (2019)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Verifying Correctness of Persistent Concurrent Data Structures. FM (2019)
Kirsten Winter, Graeme Smith, John Derrick
Observational Models for Linearizability Checking on Weak Memory Models. TASE (2018)
Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick
Formalising Extended Finite State Machine Transition Merging. ICFEM (2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Verifying C11 Programs Operationally. CoRR (2018)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects Comput. 30 (5) (2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Brief Announcement: Generalising Concurrent Correctness to Weak Memory. DISC (2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Making Linearizability Compositional for Partially Ordered Executions. IFM (2018)
Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim
Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR (2018)
John Derrick, Graeme Smith
An Observational Approach to Defining Linearizability on Weak Memory Models. FORTE (2017)
Simon Doherty, John Derrick
Causal Linearizability. CoRR (2016)
Graeme Smith, John Derrick
Invariant generation for linearizability proofs. SAC (2016)
Neil Walkinshaw, Ramsay Taylor, John Derrick
Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21 (3) (2016)
Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
Proving Opacity of a Pessimistic STM. OPODIS (2016)
Simon Doherty, John Derrick
Linearizability and Causality. SEFM (2016)
Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick
Choreography-Based Analysis of Distributed Message Passing Programs. PDP (2016)
Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. ECOOP (2015)
Brijesh Dongol, John Derrick
Verifying Linearisability: A Comparative Survey. ACM Comput. Surv. 48 (2) (2015)
Brijesh Dongol, John Derrick
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Sci. Comput. Program. 111 (2015)
Ramsay Taylor, John Derrick
Smother: an MC/DC analysis tool for Erlang. Erlang Workshop (2015)
John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
Verifying Opacity of a Transactional Mutex Lock. FM (2015)
John Derrick, Graeme Smith
A Framework for Correctness Criteria on Weak Memory Models. FM (2015)
Ramsay Taylor, John Derrick
mu2: A Refactoring-Based Mutation Testing Framework for Erlang. ICTSS (2015)
John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. Haifa Verification Conference (2014)
Brijesh Dongol, John Derrick, Graeme Smith
Reasoning Algebraically About Refinement on TSO Architectures. ICTAC (2014)
John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim
Quiescent Consistency: Defining and Verifying Relaxed Linearizability. FM (2014)
John Derrick, Eerke A. Boiten
Relational concurrent refinement part III: traces, partial relations and automata. Formal Aspects Comput. 26 (2) (2014)
Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick
Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop (2014)
Gerhard Schellhorn, John Derrick, Heike Wehrheim
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans. Comput. Log. 15 (4) (2014)
Eerke A. Boiten, John Derrick, Steve Reeves
Editorial. Formal Aspects Comput. 26 (2) (2014)
Brijesh Dongol, Ian J. Hayes, John Derrick
Deriving real-time action systems with multiple time bands using algebraic reasoning. Sci. Comput. Program. 85 (2014)
Brijesh Dongol, John Derrick
Verifying linearizability: A comparative survey. CoRR (2014)
Graeme Smith, John Derrick, Brijesh Dongol
Admit Your Weakness: Verifying Correctness on TSO Architectures. FACS (2014)
John Derrick, Graeme Smith, Brijesh Dongol
Verifying Linearizability on TSO Architectures. IFM (2014)
Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim
A High-Level Semantics for Program Execution under Total Store Order Memory. ICTAC (2013)
Brijesh Dongol, John Derrick
Data refinement for true concurrency Refine@IFM (2013)
Neil Walkinshaw, Ramsay Taylor, John Derrick
Inferring Extended Finite State Machine models from software executions. WCRE (2013)
Eerke A. Boiten, John Derrick
From ODP viewpoint consistency to Integrated Formal Methods. Comput. Stand. Interfaces 35 (3) (2013)
Brijesh Dongol, John Derrick
Simplifying proofs of linearisability using layers of abstraction. CoRR (2013)
Brijesh Dongol, John Derrick
Simplifying proofs of linearisability using layers of abstraction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Ramsay Taylor, Kirill Bogdanov, John Derrick
Automatic Inference of Erlang Module Behaviour. IFM (2013)
John Derrick, Graeme Smith
Temporal-logic property preservation under Z refinement. Formal Aspects Comput. 24 (3) (2012)
Brijesh Dongol, John Derrick, Ian J. Hayes
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick
Using Behaviour Inference to Optimise Regression Test Sets. ICTSS (2012)
Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves
Editorial. Formal Aspects Comput. 24 (1) (2012)
Gerhard Schellhorn, Heike Wehrheim, John Derrick
How to Prove Algorithms Linearisable. CAV (2012)
Brijesh Dongol, John Derrick
Proving linearisability via coarse-grained abstraction CoRR (2012)
Qiang Guo, John Derrick
Formally based tool support for model checking Erlang applications. Int. J. Softw. Tools Technol. Transf. 13 (4) (2011)
John Derrick, Siobhán North, Anthony J. H. Simons
Building a refinement checker for Z Refine@FM (2011)
John Derrick, Eerke A. Boiten
Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE (2011)
John Derrick, Gerhard Schellhorn, Heike Wehrheim
Verifying Linearisability with Potential Linearisation Points. FM (2011)
John Derrick, Gerhard Schellhorn, Heike Wehrheim
Mechanically verified proof obligations for linearizability. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
John Derrick, Siobhán North, Anthony J. H. Simons
Z2SAL: a translation-based model checker for Z. Formal Aspects Comput. 23 (1) (2011)
Eerke A. Boiten, John Derrick, Gerhard Schellhorn
Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76 (9) (2011)
John Derrick, Heike Wehrheim
Model transformations across views. Sci. Comput. Program. 75 (3) (2010)
Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART (2010)
Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith
Editorial. Formal Aspects Comput. 22 (1) (2010)
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París
Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS (2010)
Eerke A. Boiten, John Derrick
Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75 (12) (2010)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Qiang Guo, John Derrick, Neil Walkinshaw
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES (2009)
Eerke A. Boiten, John Derrick, Steve Reeves
Preface. Electron. Notes Theor. Comput. Sci. 259 (2009)
Eerke A. Boiten, John Derrick, Gerhard Schellhorn
Relational concurrent refinement part II: Internal operations and outputs. Formal Aspects Comput. 21 (1-2) (2009)
John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
Property-Based Testing - The ProTest Project. FMCO (2009)
Neil Walkinshaw, John Derrick, Qiang Guo
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM (2009)
Eerke A. Boiten, John Derrick
Modelling Divergence in Relational Concurrent Refinement. IFM (2009)
John Derrick, Eerke A. Boiten
Relational Concurrent Refinement: Automata. Electron. Notes Theor. Comput. Sci. 259 (2009)
Neil Walkinshaw, John Derrick
Incrementally Discovering Testable Specifications from Program Executions. FMCO (2009)
John Derrick, Gerhard Schellhorn, Heike Wehrheim
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. FMOODS (2008)
Qiang Guo, John Derrick, Csaba Hoch
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. FORTE (2008)
Eerke A. Boiten, John Derrick, Gerhard Schellhorn
Preface. Electron. Notes Theor. Comput. Sci. 214 (2008)
John Derrick, Eerke A. Boiten
More Relational Concurrent Refinement: Traces and Partial Relations. Electron. Notes Theor. Comput. Sci. 214 (2008)
John Derrick, Siobhán North, Anthony J. H. Simons
Z2SAL - Building a Model Checker for Z. ABZ (2008)
John Derrick, Graeme Smith
Using Model Checking to Automatically Find Retrieve Relations. Electron. Notes Theor. Comput. Sci. 201 (2008)
Eerke A. Boiten, John Derrick, Graeme Smith
Preface. Electron. Notes Theor. Comput. Sci. 201 (2008)
John Derrick, Heike Wehrheim
On using data abstractions for model checking refinements. Acta Informatica 44 (1) (2007)
Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
Preface. Electron. Notes Theor. Comput. Sci. 187 (2007)
John Derrick, Gerhard Schellhorn, Heike Wehrheim
Proving Linearizability Via Non-atomic Refinement. IFM (2007)
Qiang Guo, John Derrick
Verification of timed Erlang/OTP components using the process algebra mucrl. Erlang Workshop (2007)
John Derrick, Eerke A. Boiten
Relational Concurrent Refinement with Internal Operations. Electron. Notes Theor. Comput. Sci. 187 (2007)
Richard Banach, John Derrick
Filtering Retrenchments into Refinements. SEFM (2006)
John Derrick, Heike Wehrheim
Model Transformations Incorporating Multiple Views. AMAST (2006)
Graeme Smith, John Derrick
Verifying data refinements using a model checker. Formal Aspects Comput. 18 (3) (2006)
John Derrick, Mark Harman, Robert M. Hierons
Guest Editorial. Formal Aspects Comput. 18 (1) (2006)
John Derrick, Siobhán North, Tony Simons
Issues in Implementing a Model Checker for Z. ICFEM (2006)
Eerke A. Boiten, John Derrick
Formal Program Development with Approximations. ZB (2005)
John Derrick, Eerke A. Boiten
Preface. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)

John Derrick.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John Derrick