John Derrick

According to our database, John Derrick authored at least 177 papers between 1968 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

CSP Artifact for Model Checking Buffered Durable Linearizability.

Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn

Dataset, March, 2025

CSP Artifact for Model Checking Buffered Durable Linearizability.

Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn

Dataset, February, 2025

CSP Artifact for Model Checking Buffered Durable Linearizability.

Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn

Dataset, February, 2025

2024

A Fully Verified Persistency Library.

Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022

Modularising Verification Of Durable Opacity.

Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Log. Methods Comput. Sci., 2022

2021

Verifying correctness of persistent concurrent data structures: a sound and complete method.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Formal Aspects Comput., 2021

On Strong Observational Refinement and Forward Simulation.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

CoRR, 2021

Brief Announcement: On Strong Observational Refinement and Forward Simulation.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Reverse-Engineering EFSMs with Data Dependencies.

Michael Foster, John Derrick, Neil Walkinshaw

Proceedings of the Testing Software and Systems, 2021

2020

A Formal Model of Extended Finite State Machines.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick

Arch. Formal Proofs, 2020

Inference of Extended Finite State Machines.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick

Arch. Formal Proofs, 2020

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.

Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019

Modelling concurrent objects running on the TSO and ARMv8 memory models.

Kirsten Winter, Graeme Smith, John Derrick

Sci. Comput. Program., 2019

Incorporating Data into EFSM Inference.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Verifying C11 programs operationally.

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Verifying Correctness of Persistent Concurrent Data Structures.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Mechanized proofs of opacity: a comparison of two techniques.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim

Formal Aspects Comput., 2018

Causal Linearizability: Compositionality for Partially Ordered Executions.

Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim

CoRR, 2018

Brief Announcement: Generalising Concurrent Correctness to Weak Memory.

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Observational Models for Linearizability Checking on Weak Memory Models.

Kirsten Winter, Graeme Smith, John Derrick

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Making Linearizability Compositional for Partially Ordered Executions.

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Formalising Extended Finite State Machine Transition Merging.

Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick

Proceedings of the Formal Methods and Software Engineering, 2018

2017

An Observational Approach to Defining Linearizability on Weak Memory Models.

John Derrick, Graeme Smith

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

A Proof Method for Linearizability on TSO Architectures.

John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol

Proceedings of the Provably Correct Systems, 2017

2016

Causal Linearizability.

Simon Doherty, John Derrick

CoRR, 2016

Linearizability and Causality.

Simon Doherty, John Derrick

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Invariant generation for linearizability proofs.

Graeme Smith, John Derrick

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Choreography-Based Analysis of Distributed Message Passing Programs.

Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Proving Opacity of a Pessimistic STM.

Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

Relational Concurrent Refinement - Partial and Total Frameworks.

John Derrick, Eerke A. Boiten

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems.

Brijesh Dongol, John Derrick

Sci. Comput. Program., 2015

Verifying Linearisability: A Comparative Survey.

Brijesh Dongol, John Derrick

ACM Comput. Surv., 2015

mu2: A Refactoring-Based Mutation Testing Framework for Erlang.

Ramsay Taylor, John Derrick

Proceedings of the Testing Software and Systems, 2015

A Framework for Correctness Criteria on Weak Memory Models.

John Derrick, Graeme Smith

Proceedings of the FM 2015: Formal Methods, 2015

Verifying Opacity of a Transactional Mutex Lock.

John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim

Proceedings of the FM 2015: Formal Methods, 2015

Smother: an MC/DC analysis tool for Erlang.

Ramsay Taylor, John Derrick

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

Defining Correctness Conditions for Concurrent Objects in Multicore Architectures.

Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.

Gerhard Schellhorn, John Derrick, Heike Wehrheim

ACM Trans. Comput. Log., 2014

Deriving real-time action systems with multiple time bands using algebraic reasoning.

Brijesh Dongol, Ian J. Hayes, John Derrick

Sci. Comput. Program., 2014

Relational concurrent refinement part III: traces, partial relations and automata.

John Derrick, Eerke A. Boiten

Formal Aspects Comput., 2014

Editorial.

Eerke A. Boiten, John Derrick, Steve Reeves

Formal Aspects Comput., 2014

Verifying linearizability: A comparative survey.

Brijesh Dongol, John Derrick

CoRR, 2014

Verifying Linearizability on TSO Architectures.

John Derrick, Graeme Smith, Brijesh Dongol

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Reasoning Algebraically About Refinement on TSO Architectures.

Brijesh Dongol, John Derrick, Graeme Smith

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures.

John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol

Proceedings of the Hardware and Software: Verification and Testing, 2014

Quiescent Consistency: Defining and Verifying Relaxed Linearizability.

John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim

Proceedings of the FM 2014: Formal Methods, 2014

Admit Your Weakness: Verifying Correctness on TSO Architectures.

Graeme Smith, John Derrick, Brijesh Dongol

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Synapse: automatic behaviour inference and implementation comparison for Erlang.

Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.).

John Derrick, Eerke A. Boiten

Springer, ISBN: 978-1-4471-5354-2, 2014

2013

Simplifying proofs of linearisability using layers of abstraction.

Brijesh Dongol, John Derrick

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

From ODP viewpoint consistency to Integrated Formal Methods.

Eerke A. Boiten, John Derrick

Comput. Stand. Interfaces, 2013

Data refinement for true concurrency

Brijesh Dongol, John Derrick

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

Inferring Extended Finite State Machine models from software executions.

Neil Walkinshaw, Ramsay Taylor, John Derrick

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Automatic Inference of Erlang Module Behaviour.

Ramsay Taylor, Kirill Bogdanov, John Derrick

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

A High-Level Semantics for Program Execution under Total Store Order Memory.

Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

Temporal-logic property preservation under Z refinement.

John Derrick, Graeme Smith

Formal Aspects Comput., 2012

Editorial.

Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves

Formal Aspects Comput., 2012

Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic.

Brijesh Dongol, John Derrick, Ian J. Hayes

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Proving linearisability via coarse-grained abstraction

Brijesh Dongol, John Derrick

CoRR, 2012

Using Behaviour Inference to Optimise Regression Test Sets.

Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick

Proceedings of the Testing Software and Systems, 2012

How to Prove Algorithms Linearisable.

Gerhard Schellhorn, Heike Wehrheim, John Derrick

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Mechanically verified proof obligations for linearizability.

John Derrick, Gerhard Schellhorn, Heike Wehrheim

ACM Trans. Program. Lang. Syst., 2011

Formally based tool support for model checking Erlang applications.

Qiang Guo, John Derrick

Int. J. Softw. Tools Technol. Transf., 2011

Selected papers of the Refinement Workshop Turku (2008).

Eerke A. Boiten, John Derrick, Gerhard Schellhorn

Sci. Comput. Program., 2011

Z2SAL: a translation-based model checker for Z.

John Derrick, Siobhán North, Anthony J. H. Simons

Formal Aspects Comput., 2011

Building a refinement checker for Z

John Derrick, Siobhán North, Anthony J. H. Simons

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Relational Concurrent Refinement: Timed Refinement.

John Derrick, Eerke A. Boiten

Proceedings of the Formal Techniques for Distributed Systems, 2011

Verifying Linearisability with Potential Linearisation Points.

John Derrick, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the FM 2011: Formal Methods, 2011

2010

Model transformations across views.

John Derrick, Heike Wehrheim

Sci. Comput. Program., 2010

Incompleteness of relational simulations in the blocking paradigm.

Eerke A. Boiten, John Derrick

Sci. Comput. Program., 2010

Editorial.

Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith

Formal Aspects Comput., 2010

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang.

Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Testing, 2010

Increasing Functional Coverage by Inductive Testing: A Case Study.

Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París

Proceedings of the Testing Software and Systems, 2010

2009

Relational concurrent refinement part II: Internal operations and outputs.

Eerke A. Boiten, John Derrick, Gerhard Schellhorn

Formal Aspects Comput., 2009

Relational Concurrent Refinement: Automata.

John Derrick, Eerke A. Boiten

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Preface.

Eerke A. Boiten, John Derrick, Steve Reeves

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Using formal specifications to support testing.

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

ACM Comput. Surv., 2009

Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.

Qiang Guo, John Derrick, Neil Walkinshaw

Proceedings of the Testing of Software and Communication Systems, 2009

Modelling Divergence in Relational Concurrent Refinement.

Eerke A. Boiten, John Derrick

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Incrementally Discovering Testable Specifications from Program Executions.

Neil Walkinshaw, John Derrick

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Property-Based Testing - The ProTest Project.

John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.

Neil Walkinshaw, John Derrick, Qiang Guo

Proceedings of the FM 2009: Formal Methods, 2009

2008

More Relational Concurrent Refinement: Traces and Partial Relations.

John Derrick, Eerke A. Boiten

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Preface.

Eerke A. Boiten, John Derrick, Gerhard Schellhorn

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.

Qiang Guo, John Derrick, Csaba Hoch

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.

John Derrick, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Z2SAL - Building a Model Checker for Z.

John Derrick, Siobhán North, Anthony J. H. Simons

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Using Model Checking to Automatically Find Retrieve Relations.

John Derrick, Graeme Smith

Proceedings of the BCS-FACS Refinement Workshop, 2007

Preface.

Eerke A. Boiten, John Derrick, Graeme Smith

Proceedings of the BCS-FACS Refinement Workshop, 2007

On using data abstractions for model checking refinements.

John Derrick, Heike Wehrheim

Acta Informatica, 2007

Proving Linearizability Via Non-atomic Refinement.

John Derrick, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Verification of timed Erlang/OTP components using the process algebra mucrl.

Qiang Guo, John Derrick

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

2006

Verifying data refinements using a model checker.

Graeme Smith, John Derrick

Formal Aspects Comput., 2006

Guest Editorial.

John Derrick, Mark Harman, Robert M. Hierons

Formal Aspects Comput., 2006

Relational Concurrent Refinement with Internal Operations.

John Derrick, Eerke A. Boiten

Proceedings of the 11th Refinement Workshop, 2006

Preface.

Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves

Proceedings of the 11th Refinement Workshop, 2006

Filtering Retrenchments into Refinements.

Richard Banach, John Derrick

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Issues in Implementing a Model Checker for Z.

John Derrick, Siobhán North, Tony Simons

Proceedings of the Formal Methods and Software Engineering, 2006

Model Transformations Incorporating Multiple Views.

John Derrick, Heike Wehrheim

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Introduction.

Tommaso Bolognesi, John Derrick

Softw. Syst. Model., 2005

Guest Editorial Integrated Formal Methods.

Eerke A. Boiten, John Derrick, Graeme Smith

Formal Aspects Comput., 2005

Model Checking Downward Simulations.

Graeme Smith, John Derrick

Proceedings of the REFINE 2005 Workshop, 2005

Preface.

John Derrick, Eerke A. Boiten

Proceedings of the REFINE 2005 Workshop, 2005

Non-atomic Refinement in Z and CSP.

John Derrick, Heike Wehrheim

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Formal Program Development with Approximations.

Eerke A. Boiten, John Derrick

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Verifying fault-tolerant Erlang programs.

Clara Benac Earle, Lars-Åke Fredlund, John Derrick

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

2004

Development of a verified Erlang program for resource locking.

Thomas Arts, Clara Benac Earle, John Derrick

Int. J. Softw. Tools Technol. Transf., 2004

Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002.

John Derrick

J. Funct. Program., 2004

Linear Temporal Logic and Z Refinement.

John Derrick, Graeme Smith

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Model checking stochastic automata.

Jeremy W. Bryans, Howard Bowman, John Derrick

ACM Trans. Comput. Log., 2003

A Relational Framework for the Integration of Specifications.

Eerke A. Boiten, John Derrick

Trans. SDPS, 2003

Structural Refinement of Systems Specified in Object-Z and CSP.

John Derrick, Graeme Smith

Formal Aspects Comput., 2003

Relational Concurrent Refinement.

John Derrick, Eerke A. Boiten

Formal Aspects Comput., 2003

Using Coupled Simulations in Non-atomic Refinement.

John Derrick, Heike Wehrheim

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Timed CSP and Object-Z.

John Derrick

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Design and Verification of Distributed Multi-media Systems.

David H. Akehurst, John Derrick, A. Gill Waters

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Addressing Computational Viewpoint Design.

David H. Akehurst, John Derrick, A. Gill Waters

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

Recent Advances in Refinement.

John Derrick, Eerke A. Boiten

Proceedings of the Abstract State Machines, 2003

2002

ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z.

Chris Taylor, Eerke A. Boiten, John Derrick

IEE Proc. Softw., 2002

A Formal Framework for Viewpoint Consistency.

Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick

Formal Methods Syst. Des., 2002

Combining Component Specifications in Object-Z and CSP.

John Derrick, Eerke A. Boiten

Formal Aspects Comput., 2002

Preface.

John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Unifying concurrent and relational refinement.

Eerke A. Boiten, John Derrick

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Using UML to specify QoS constraints in ODP.

Behzad Bordbar, John Derrick, A. Gill Waters

Comput. Networks, 2002

Handling Inconsistencies in Z Using Quasi-Classical Logic.

Ralph Miarka, John Derrick, Eerke A. Boiten

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Abstract Specification in Object-Z and CSP.

Graeme Smith, John Derrick

Proceedings of the Formal Methods and Software Engineering, 2002

A UML Approach to the Design of Open Distributed Systems.

Behzad Bordbar, John Derrick, A. Gill Waters

Proceedings of the Formal Methods and Software Engineering, 2002

Interpreting ODP Viewpoint Specification: Observations from a Case Study.

Chris Taylor, Eerke A. Boiten, John Derrick

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Verifying Erlang Code: A Resource Locker Case-Study.

Thomas Arts, Clara Benac Earle, John Derrick

Proceedings of the FME 2002: Formal Methods, 2002

2001

Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP.

Graeme Smith, John Derrick

Formal Methods Syst. Des., 2001

Analysis of a Multimedia Stream using Stochastic Process Algebra.

Howard Bowman, Jeremy W. Bryans, John Derrick

Comput. J., 2001

Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification.

James B. Cole, John Derrick, Zoran Milosevic, Kerry Raymond

Proceedings of the Policies for Distributed Systems and Networks, 2001

2000

Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems.

Howard Bowman, John Derrick, Ed Brinksma

IEEE Trans. Software Eng., 2000

Editorial: special issue on specification-based testing.

Robert M. Hierons, John Derrick

Softw. Test. Verification Reliab., 2000

Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review).

John Derrick

Softw. Test. Verification Reliab., 2000

A single complete refinement rule for Z.

John Derrick

J. Log. Comput., 2000

Teaching Communication Protocols.

John Derrick, Sally Fincher

Comput. Sci. Educ., 2000

Stochastic Model Checking for Multimedia

Jeremy W. Bryans, Howard Bowman, John Derrick

CoRR, 2000

Viewpoint consistency in ODP.

Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen

Comput. Networks, 2000

Guards, Preconditions, and Refinement in Z.

Ralph Miarka, Eerke A. Boiten, John Derrick

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Liberating Data Refinement.

Eerke A. Boiten, John Derrick

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Structural Refinement in Object-Z/CSP.

John Derrick, Graeme Smith

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Specification and Analysis of Automata-Based Designs.

Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

A Case Study in Partial Specification: Consistency and Refinement for Object-Z.

Chris Taylor, John Derrick, Eerke A. Boiten

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Refinement of objects and operations in Object-Z.

John Derrick, Eerke A. Boiten

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999

Testing Refinements of State-based Formal Specifications.

John Derrick, Eerke A. Boiten

Softw. Test. Verification Reliab., 1999

Strategies for Consistency Checking Based on Unification.

Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen

Sci. Comput. Program., 1999

Constructive Consistency Checking for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Sci. Comput. Program., 1999

Calculating upward and downward simulations of state-based specifications.

John Derrick, Eerke A. Boiten

Inf. Softw. Technol., 1999

Stochastic Specification and Verification.

Jeremy W. Bryans, John Derrick

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Specifying Component and Context Specification Using Promotion.

John Derrick, Eerke A. Boiten

Proceedings of the Integrated Formal Methods, 1999

A Junction between State Based and Behavioural Specification (Invited Talk).

Howard Bowman, John Derrick

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Non-atomic Refinement in Z.

John Derrick, Eerke A. Boiten

Proceedings of the FM'99 - Formal Methods, 1999

Formalising ODP enterprise policies.

Maarten W. A. Steen, John Derrick

Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

1998

Constraint-oriented style for object-oriented formal specification.

Tommaso Bolognesi, John Derrick

IEE Proc. Softw., 1998

Specifying and Refining Internal Operations in Z.

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen

Formal Aspects Comput., 1998

Testing Refinements by Refining Tests.

John Derrick, Eerke A. Boiten

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Consistency of Partial Process Specifications.

Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Weak Refinement in Z.

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Formal Specification and Testing of a Management Architecture.

G. P. A. Fernandes, John Derrick

Proceedings of the Integrated Network Management V, 1997

Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP.

Graeme Smith, John Derrick

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Disjunction of LOTOS Specifications.

Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Viewpoint Consistency in Z and LOTOS: A Case Study.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Extending LOTOS with Time: A True Concurrency Perspective.

Howard Bowman, John Derrick

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Cross-viewpoint consistency in open distributed processing.

Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen

Softw. Eng. J., 1996

Issues in multiparadigm viewpoint specification.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Comparing LOTOS and Z Refinement Relations.

John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen

Proceedings of the Formal Description Techniques IX: Theory, 1996

Consistency and Refinement for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Viewpoints and Objects.

Howard Bowman, John Derrick, Maarten Steen

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Modelling distributed systems using Z.

Howard Bowman, John Derrick

Proceedings of the 1995 ACM symposium on applied computing, 1995

Composition of LOTOS specifications.

Maarten Steen, Howard Bowman, John Derrick

Proceedings of the Protocol Specification, 1995

A True Concurrency Semantics for Quality of Service Specification and Validation.

Howard Bowman, John Derrick

Proceedings of the International Conference on Multimedia Networking, 1995

Formal description techniques for object management.

John Derrick, Peter F. Linington, Simon J. Thompson

Proceedings of the Integrated Network Management IV, 1995

1994

Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract).

Howard Bowman, John Derrick, Richard E. Jones

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Consistency and Conformance in ODP (Abstract).

Howard Bowman, John Derrick

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1974

Meeting of the Association for Symbolic Logic: Orleans, France, 1972.

J. P. Calais, John Derrick, Gabriel Sabbagh

J. Symb. Log., 1974

1968

Meeting of the Association for Symbolic Logic Leeds 1967.

M. H. Lob, F. R. Drake, John Derrick

J. Symb. Log., 1968