John Derrick - RankMe

196 papers A* 3A 3B 25C 21Misc 3Journal 70Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Rely-Guarantee Is Coinductive - - A Proof-Centered Investigation of Inductively Approximated Coinduction -. ESOP (1) John Derrick, Chelsea Edmonds, Andrei Popescu, Jamie Wright
2025	B	`conf`	Model Checking Buffered Durable Linearizability in CSP. iFM Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2025	J	`jnl`	Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL. J. Autom. Reason. John Derrick, Brijesh Dongol, Chelsea Edmonds, Matt Griffin, Andrei Popescu, Jamie Wright
2024	—	`conf`	A Fully Verified Persistency Library. VMCAI (2) Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2022	J	`jnl`	Modularising Verification Of Durable Opacity. Log. Methods Comput. Sci. Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2021	A	`conf`	Brief Announcement: On Strong Observational Refinement and Forward Simulation. DISC John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2021	J	`jnl`	On Strong Observational Refinement and Forward Simulation. CoRR John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2021	C	`conf`	Reverse-Engineering EFSMs with Data Dependencies. ICTSS Michael Foster, John Derrick, Neil Walkinshaw
2021	J	`jnl`	Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects Comput. John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2020	J	`jnl`	A Formal Model of Extended Finite State Machines. Arch. Formal Proofs Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
2020	C	`conf`	Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. FORTE Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
2020	J	`jnl`	Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. CoRR Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
2020	J	`jnl`	Inference of Extended Finite State Machines. Arch. Formal Proofs Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
2020	J	`jnl`	Modularising Verification Of Durable Opacity. CoRR Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2019	B	`conf`	Incorporating Data into EFSM Inference. SEFM Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
2019	J	`jnl`	Modelling concurrent objects running on the TSO and ARMv8 memory models. Sci. Comput. Program. Kirsten Winter, Graeme Smith, John Derrick
2019	B	`conf`	Verifying C11 programs operationally. PPoPP Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
2019	B	`conf`	Verifying Correctness of Persistent Concurrent Data Structures. FM John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2018	A	`conf`	Brief Announcement: Generalising Concurrent Correctness to Weak Memory. DISC Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
2018	J	`jnl`	Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim
2018	C	`conf`	Formalising Extended Finite State Machine Transition Merging. ICFEM Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick
2018	B	`conf`	Making Linearizability Compositional for Partially Ordered Executions. IFM Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
2018	J	`jnl`	Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects Comput. John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
2018	Misc	`conf`	Observational Models for Linearizability Checking on Weak Memory Models. TASE Kirsten Winter, Graeme Smith, John Derrick
2018	—	`ed.`	Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. Refine@FM John Derrick, Brijesh Dongol, Steve Reeves
2018	J	`jnl`	Verifying C11 Programs Operationally. CoRR Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
2017	—	`ch.`	A Proof Method for Linearizability on TSO Architectures. Provably Correct Systems John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol
2017	C	`conf`	An Observational Approach to Defining Linearizability on Weak Memory Models. FORTE John Derrick, Graeme Smith
2016	J	`jnl`	Causal Linearizability. CoRR Simon Doherty, John Derrick
2016	C	`conf`	Choreography-Based Analysis of Distributed Message Passing Programs. PDP Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick
2016	J	`jnl`	Inferring extended finite state machine models from software executions. Empir. Softw. Eng. Neil Walkinshaw, Ramsay Taylor, John Derrick
2016	Misc	`conf`	Invariant generation for linearizability proofs. SAC Graeme Smith, John Derrick
2016	B	`conf`	Linearizability and Causality. SEFM Simon Doherty, John Derrick
2016	—	`ed.`	Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. Refine@FM John Derrick, Eerke A. Boiten, Steve Reeves
2016	B	`conf`	Proving Opacity of a Pessimistic STM. OPODIS Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
2016	—	`ch.`	Relational Concurrent Refinement - Partial and Total Frameworks. From Action Systems to Distributed Systems John Derrick, Eerke A. Boiten
2015	B	`conf`	A Framework for Correctness Criteria on Weak Memory Models. FM John Derrick, Graeme Smith
2015	A	`conf`	Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. ECOOP Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith
2015	J	`jnl`	Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Sci. Comput. Program. Brijesh Dongol, John Derrick
2015	—	`conf`	Smother: an MC/DC analysis tool for Erlang. Erlang Workshop Ramsay Taylor, John Derrick
2015	J	`jnl`	Verifying Linearisability: A Comparative Survey. ACM Comput. Surv. Brijesh Dongol, John Derrick
2015	B	`conf`	Verifying Opacity of a Transactional Mutex Lock. FM John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
2015	C	`conf`	mu2: A Refactoring-Based Mutation Testing Framework for Erlang. ICTSS Ramsay Taylor, John Derrick
2014	J	`jnl`	A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans. Comput. Log. Gerhard Schellhorn, John Derrick, Heike Wehrheim
2014	—	`conf`	Admit Your Weakness: Verifying Correctness on TSO Architectures. FACS Graeme Smith, John Derrick, Brijesh Dongol
2014	J	`jnl`	Deriving real-time action systems with multiple time bands using algebraic reasoning. Sci. Comput. Program. Brijesh Dongol, Ian J. Hayes, John Derrick
2014	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Steve Reeves
2014	B	`conf`	Quiescent Consistency: Defining and Verifying Relaxed Linearizability. FM John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim
2014	C	`conf`	Reasoning Algebraically About Refinement on TSO Architectures. ICTAC Brijesh Dongol, John Derrick, Graeme Smith
2014	—	`book`	Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). John Derrick, Eerke A. Boiten
2014	J	`jnl`	Relational concurrent refinement part III: traces, partial relations and automata. Formal Aspects Comput. John Derrick, Eerke A. Boiten
2014	—	`conf`	Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick
2014	—	`conf`	Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. Haifa Verification Conference John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol
2014	B	`conf`	Verifying Linearizability on TSO Architectures. IFM John Derrick, Graeme Smith, Brijesh Dongol
2014	J	`jnl`	Verifying linearizability: A comparative survey. CoRR Brijesh Dongol, John Derrick
2013	C	`conf`	A High-Level Semantics for Program Execution under Total Store Order Memory. ICTAC Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim
2013	B	`conf`	Automatic Inference of Erlang Module Behaviour. IFM Ramsay Taylor, Kirill Bogdanov, John Derrick
2013	—	`conf`	Data refinement for true concurrency Refine@IFM Brijesh Dongol, John Derrick
2013	J	`jnl`	From ODP viewpoint consistency to Integrated Formal Methods. Comput. Stand. Interfaces Eerke A. Boiten, John Derrick
2013	—	`conf`	Inferring Extended Finite State Machine models from software executions. WCRE Neil Walkinshaw, Ramsay Taylor, John Derrick
2013	—	`ed.`	Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. Refine@IFM John Derrick, Eerke A. Boiten, Steve Reeves
2013	J	`jnl`	Simplifying proofs of linearisability using layers of abstraction. CoRR Brijesh Dongol, John Derrick
2013	J	`jnl`	Simplifying proofs of linearisability using layers of abstraction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Brijesh Dongol, John Derrick
2012	C	`ed.`	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ABZ John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
2012	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves
2012	J	`jnl`	Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Brijesh Dongol, John Derrick, Ian J. Hayes
2012	A*	`conf`	How to Prove Algorithms Linearisable. CAV Gerhard Schellhorn, Heike Wehrheim, John Derrick
2012	B	`ed.`	Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings IFM John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
2012	J	`jnl`	Proving linearisability via coarse-grained abstraction CoRR Brijesh Dongol, John Derrick
2012	J	`jnl`	Temporal-logic property preservation under Z refinement. Formal Aspects Comput. John Derrick, Graeme Smith
2012	C	`conf`	Using Behaviour Inference to Optimise Regression Test Sets. ICTSS Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick
2011	—	`conf`	Building a refinement checker for Z Refine@FM John Derrick, Siobhán North, Anthony J. H. Simons
2011	J	`jnl`	Formally based tool support for model checking Erlang applications. Int. J. Softw. Tools Technol. Transf. Qiang Guo, John Derrick
2011	J	`jnl`	Mechanically verified proof obligations for linearizability. ACM Trans. Program. Lang. Syst. John Derrick, Gerhard Schellhorn, Heike Wehrheim
2011	—	`ed.`	Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. Refine@FM John Derrick, Eerke A. Boiten, Steve Reeves
2011	—	`conf`	Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE John Derrick, Eerke A. Boiten
2011	J	`jnl`	Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. Eerke A. Boiten, John Derrick, Gerhard Schellhorn
2011	B	`conf`	Verifying Linearisability with Potential Linearisation Points. FM John Derrick, Gerhard Schellhorn, Heike Wehrheim
2011	J	`jnl`	Z2SAL: a translation-based model checker for Z. Formal Aspects Comput. John Derrick, Siobhán North, Anthony J. H. Simons
2010	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith
2010	J	`jnl`	Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. Eerke A. Boiten, John Derrick
2010	C	`conf`	Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París
2010	J	`jnl`	Model transformations across views. Sci. Comput. Program. John Derrick, Heike Wehrheim
2010	—	`conf`	Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
2009	—	`conf`	Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES Qiang Guo, John Derrick, Neil Walkinshaw
2009	—	`conf`	Incrementally Discovering Testable Specifications from Program Executions. FMCO Neil Walkinshaw, John Derrick
2009	B	`conf`	Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM Neil Walkinshaw, John Derrick, Qiang Guo
2009	B	`conf`	Modelling Divergence in Relational Concurrent Refinement. IFM Eerke A. Boiten, John Derrick
2009	—	`conf`	Preface. REFINE@FMWeek Eerke A. Boiten, John Derrick, Steve Reeves
2009	—	`ed.`	Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009 REFINE@FMWeek Eerke A. Boiten, John Derrick, Steve Reeves
2009	—	`conf`	Property-Based Testing - The ProTest Project. FMCO John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
2009	—	`conf`	Relational Concurrent Refinement: Automata. REFINE@FMWeek John Derrick, Eerke A. Boiten
2009	J	`jnl`	Relational concurrent refinement part II: Internal operations and outputs. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Gerhard Schellhorn
2009	J	`jnl`	Using formal specifications to support testing. ACM Comput. Surv. 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
2008	—	`conf`	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. FMOODS John Derrick, Gerhard Schellhorn, Heike Wehrheim
2008	—	`conf`	More Relational Concurrent Refinement: Traces and Partial Relations. Refine@FM John Derrick, Eerke A. Boiten
2008	—	`conf`	Preface. Refine@FM Eerke A. Boiten, John Derrick, Gerhard Schellhorn
2008	—	`ed.`	Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008 Refine@FM Eerke A. Boiten, John Derrick, Gerhard Schellhorn
2008	—	`ed.`	Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007 REFINE@IFM Eerke A. Boiten, John Derrick, Graeme Smith
2008	C	`conf`	Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. FORTE Qiang Guo, John Derrick, Csaba Hoch
2008	C	`conf`	Z2SAL - Building a Model Checker for Z. ABZ John Derrick, Siobhán North, Anthony J. H. Simons
2007	C	`ed.`	Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings FORTE John Derrick, Jüri Vain
2007	J	`jnl`	On using data abstractions for model checking refinements. Acta Informatica John Derrick, Heike Wehrheim
2007	—	`conf`	Preface. REFINE@IFM Eerke A. Boiten, John Derrick, Graeme Smith
2007	—	`ed.`	Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006 Refine@ICFEM Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
2007	B	`conf`	Proving Linearizability Via Non-atomic Refinement. IFM John Derrick, Gerhard Schellhorn, Heike Wehrheim
2007	—	`conf`	Using Model Checking to Automatically Find Retrieve Relations. REFINE@IFM John Derrick, Graeme Smith
2007	—	`conf`	Verification of timed Erlang/OTP components using the process algebra mucrl. Erlang Workshop Qiang Guo, John Derrick
2006	B	`conf`	Filtering Retrenchments into Refinements. SEFM Richard Banach, John Derrick
2006	J	`jnl`	Guest Editorial. Formal Aspects Comput. John Derrick, Mark Harman, Robert M. Hierons
2006	C	`conf`	Issues in Implementing a Model Checker for Z. ICFEM John Derrick, Siobhán North, Tony Simons
2006	—	`conf`	Model Transformations Incorporating Multiple Views. AMAST John Derrick, Heike Wehrheim
2006	—	`conf`	Preface. Refine@ICFEM Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
2006	—	`conf`	Relational Concurrent Refinement with Internal Operations. Refine@ICFEM John Derrick, Eerke A. Boiten
2006	J	`jnl`	Verifying data refinements using a model checker. Formal Aspects Comput. Graeme Smith, John Derrick
2005	—	`conf`	Formal Program Development with Approximations. ZB Eerke A. Boiten, John Derrick
2005	J	`jnl`	Guest Editorial Integrated Formal Methods. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Graeme Smith
2005	J	`jnl`	Introduction. Softw. Syst. Model. Tommaso Bolognesi, John Derrick
2005	—	`conf`	Model Checking Downward Simulations. REFINE Graeme Smith, John Derrick
2005	—	`conf`	Non-atomic Refinement in Z and CSP. ZB John Derrick, Heike Wehrheim
2005	—	`conf`	Preface. REFINE John Derrick, Eerke A. Boiten
2005	—	`ed.`	Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005 REFINE John Derrick, Eerke A. Boiten
2005	—	`conf`	Verifying fault-tolerant Erlang programs. Erlang Workshop Clara Benac Earle, Lars-Åke Fredlund, John Derrick
2004	J	`jnl`	Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. Thomas Arts, Clara Benac Earle, John Derrick
2004	B	`ed.`	Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings IFM Eerke A. Boiten, John Derrick, Graeme Smith
2004	—	`conf`	Linear Temporal Logic and Z Refinement. AMAST John Derrick, Graeme Smith
2004	J	`jnl`	Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002. J. Funct. Program. John Derrick
2003	J	`jnl`	A Relational Framework for the Integration of Specifications. Trans. SDPS Eerke A. Boiten, John Derrick
2003	B	`conf`	Addressing Computational Viewpoint Design. EDOC David H. Akehurst, John Derrick, A. Gill Waters
2003	—	`conf`	Design and Verification of Distributed Multi-media Systems. FMOODS David H. Akehurst, John Derrick, A. Gill Waters
2003	J	`jnl`	Model checking stochastic automata. ACM Trans. Comput. Log. Jeremy W. Bryans, Howard Bowman, John Derrick
2003	—	`conf`	Recent Advances in Refinement. Abstract State Machines John Derrick, Eerke A. Boiten
2003	J	`jnl`	Relational Concurrent Refinement. Formal Aspects Comput. John Derrick, Eerke A. Boiten
2003	J	`jnl`	Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects Comput. John Derrick, Graeme Smith
2003	—	`conf`	Timed CSP and Object-Z. ZB John Derrick
2003	—	`conf`	Using Coupled Simulations in Non-atomic Refinement. ZB John Derrick, Heike Wehrheim
2002	J	`jnl`	A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
2002	C	`conf`	A UML Approach to the Design of Open Distributed Systems. ICFEM Behzad Bordbar, John Derrick, A. Gill Waters
2002	C	`conf`	Abstract Specification in Object-Z and CSP. ICFEM Graeme Smith, John Derrick
2002	—	`ed.`	BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002 Refine John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
2002	J	`jnl`	Combining Component Specifications in Object-Z and CSP. Formal Aspects Comput. John Derrick, Eerke A. Boiten
2002	—	`conf`	Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB Ralph Miarka, John Derrick, Eerke A. Boiten
2002	—	`conf`	Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS Chris Taylor, Eerke A. Boiten, John Derrick
2002	J	`jnl`	ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proc. Softw. Chris Taylor, Eerke A. Boiten, John Derrick
2002	—	`conf`	Preface. Refine John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
2002	—	`conf`	Unifying concurrent and relational refinement. Refine Eerke A. Boiten, John Derrick
2002	J	`jnl`	Using UML to specify QoS constraints in ODP. Comput. Networks Behzad Bordbar, John Derrick, A. Gill Waters
2002	—	`conf`	Verifying Erlang Code: A Resource Locker Case-Study. FME Thomas Arts, Clara Benac Earle, John Derrick
2001	J	`jnl`	Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. Howard Bowman, Jeremy W. Bryans, John Derrick
2001	—	`conf`	Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. POLICY James B. Cole, John Derrick, Zoran Milosevic, Kerry Raymond
2001	J	`jnl`	Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. Formal Methods Syst. Des. Graeme Smith, John Derrick
2000	C	`conf`	A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM Chris Taylor, John Derrick, Eerke A. Boiten
2000	J	`jnl`	A single complete refinement rule for Z. J. Log. Comput. John Derrick
2000	J	`jnl`	Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review). Softw. Test. Verification Reliab. John Derrick
2000	J	`jnl`	Editorial: special issue on specification-based testing. Softw. Test. Verification Reliab. Robert M. Hierons, John Derrick
2000	—	`conf`	Guards, Preconditions, and Refinement in Z. ZB Ralph Miarka, Eerke A. Boiten, John Derrick
2000	J	`jnl`	Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. Howard Bowman, John Derrick, Ed Brinksma
2000	B	`conf`	Liberating Data Refinement. MPC Eerke A. Boiten, John Derrick
2000	—	`conf`	Refinement of objects and operations in Object-Z. FMOODS John Derrick, Eerke A. Boiten
2000	B	`conf`	Specification and Analysis of Automata-Based Designs. IFM Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick
2000	J	`jnl`	Stochastic Model Checking for Multimedia CoRR Jeremy W. Bryans, Howard Bowman, John Derrick
2000	B	`conf`	Structural Refinement in Object-Z/CSP. IFM John Derrick, Graeme Smith
2000	J	`jnl`	Teaching Communication Protocols. Comput. Sci. Educ. John Derrick, Sally Fincher
2000	J	`jnl`	Viewpoint consistency in ODP. Comput. Networks Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
1999	—	`conf`	A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS Howard Bowman, John Derrick
1999	J	`jnl`	Calculating upward and downward simulations of state-based specifications. Inf. Softw. Technol. John Derrick, Eerke A. Boiten
1999	J	`jnl`	Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
1999	B	`conf`	Formalising ODP enterprise policies. EDOC Maarten W. A. Steen, John Derrick
1999	—	`conf`	Non-atomic Refinement in Z. World Congress on Formal Methods John Derrick, Eerke A. Boiten
1999	B	`conf`	Specifying Component and Context Specification Using Promotion. IFM John Derrick, Eerke A. Boiten
1999	—	`conf`	Stochastic Specification and Verification. IWFM Jeremy W. Bryans, John Derrick
1999	J	`jnl`	Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
1999	J	`jnl`	Testing Refinements of State-based Formal Specifications. Softw. Test. Verification Reliab. John Derrick, Eerke A. Boiten
1998	—	`conf`	Consistency of Partial Process Specifications. AMAST Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
1998	J	`jnl`	Constraint-oriented style for object-oriented formal specification. IEE Proc. Softw. Tommaso Bolognesi, John Derrick
1998	J	`jnl`	Specifying and Refining Internal Operations in Z. Formal Aspects Comput. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
1998	—	`conf`	Testing Refinements by Refining Tests. ZUM John Derrick, Eerke A. Boiten
1997	C	`conf`	Disjunction of LOTOS Specifications. FORTE Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
1997	—	`conf`	Extending LOTOS with Time: A True Concurrency Perspective. ARTS Howard Bowman, John Derrick
1997	—	`conf`	Formal Specification and Testing of a Management Architecture. Integrated Network Management G. P. A. Fernandes, John Derrick
1997	C	`conf`	Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. ICFEM Graeme Smith, John Derrick
1997	—	`conf`	Viewpoint Consistency in Z and LOTOS: A Case Study. FME Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
1997	—	`conf`	Weak Refinement in Z. ZUM John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
1996	C	`conf`	Comparing LOTOS and Z Refinement Relations. FORTE John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
1996	—	`conf`	Consistency and Refinement for Partial Specification in Z. FME Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
1996	J	`jnl`	Cross-viewpoint consistency in open distributed processing. Softw. Eng. J. Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen
1996	—	`conf`	Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
1995	—	`conf`	A True Concurrency Semantics for Quality of Service Specification and Validation. MMNET Howard Bowman, John Derrick
1995	—	`conf`	Composition of LOTOS specifications. PSTV Maarten Steen, Howard Bowman, John Derrick
1995	—	`conf`	Formal description techniques for object management. Integrated Network Management John Derrick, Peter F. Linington, Simon J. Thompson
1995	Misc	`conf`	Modelling distributed systems using Z. SAC Howard Bowman, John Derrick
1995	—	`conf`	Viewpoints and Objects. ZUM Howard Bowman, John Derrick, Maarten Steen
1994	A*	`conf`	Consistency and Conformance in ODP (Abstract). PODC Howard Bowman, John Derrick
1994	A*	`conf`	Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). PODC Howard Bowman, John Derrick, Richard E. Jones
1974	J	`jnl`	Meeting of the Association for Symbolic Logic: Orleans, France, 1972. J. Symb. Log. J. P. Calais, John Derrick, Gabriel Sabbagh
1968	J	`jnl`	Meeting of the Association for Symbolic Logic Leeds 1967. J. Symb. Log. M. H. Lob, F. R. Drake, John Derrick