John Derrick - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

2009

PrefaceEerke Boiten, John Derrick, Steve Reeves. ENTCS, 259:1, 2009. [doi]

Relational concurrent refinement part II: Internal operations and outputsEerke Boiten, John Derrick, Gerhard Schellhorn. fac, 21(1-2):65-102, 2009. [doi]

Modelling Divergence in Relational Concurrent RefinementEerke Boiten, John Derrick. IFM 2009: 183-199 [doi]

Relational Concurrent Refinement: AutomataJohn Derrick, Eerke Boiten. ENTCS, 259:21-34, 2009. [doi]

Property-Based Testing - The ProTest ProjectJohn Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Victor Gulias, John Hughes, Simon J. Thompson. FMCO 2010: 250-271 [doi]

Applying Testability Transformations to Achieve Structural Coverage of Erlang ProgramsQiang Guo, John Derrick, Neil Walkinshaw. pts 2009: 81-96 [doi]

Using formal specifications to support testingRobert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan. ACM Comput. Surv., 41(2), 2009. [doi]

Incrementally Discovering Testable Specifications from Program ExecutionsNeil Walkinshaw, John Derrick. FMCO 2010: 272-289 [doi]

Iterative Refinement of Reverse-Engineered Models by Model-Based TestingNeil Walkinshaw, John Derrick, Qiang Guo. fm 2009: 305-320 [doi]

2008

2007

PrefaceBernhard K. Aichernig, Eerke Boiten, John Derrick, Lindsay Groves. ENTCS, 187:1, 2007. [doi]

Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ProceedingsJohn Derrick, Jüri Vain, editors, Volume 4574 of Lecture Notes in Computer Science, Springer, 2007.

Relational Concurrent Refinement with Internal OperationsJohn Derrick, Eerke Boiten. ENTCS, 187:35-53, 2007. [doi]

Proving Linearizability Via Non-atomic RefinementJohn Derrick, Gerhard Schellhorn, Heike Wehrheim. IFM 2007: 195-214 [doi]

On using data abstractions for model checking refinementsJohn Derrick, Heike Wehrheim. ACTA, 44(1):41-71, 2007. [doi]

Verification of timed Erlang/OTP components using the process algebra mucrlQiang Guo, John Derrick. erlang 2007: 55-64 [doi]

2006

2005

Guest Editorial Integrated Formal MethodsEerke Boiten, John Derrick, Graeme Smith. fac, 17(4):389-389, 2005. [doi]

Formal Program Development with ApproximationsEerke Boiten, John Derrick. zum 2005: 374-392 [doi]

IntroductionTommaso Bolognesi, John Derrick. SoSyM, 4(3):234-235, 2005. [doi]

PrefaceJohn Derrick, Eerke Boiten. ENTCS, 137(2):1-3, 2005. [doi]

Non-atomic Refinement in Z and CSPJohn Derrick, Heike Wehrheim. zum 2005: 24-44 [doi]

Verifying fault-tolerant Erlang programsClara Benac Earle, Lars-Åke Fredlund, John Derrick. erlang 2005: 26-34 [doi]

Model Checking Downward SimulationsGraeme Smith, John Derrick. ENTCS, 137(2):205-224, 2005. [doi]

2004

Development of a verified Erlang program for resource lockingThomas Arts, Clara Benac Earle, John Derrick. STTT, 5(2-3):205-220, 2004. [doi]

Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, ProceedingsEerke Boiten, John Derrick, Graeme Smith, editors, Volume 2999 of Lecture Notes in Computer Science, Springer, 2004.

Linear Temporal Logic and Z RefinementJohn Derrick, Graeme Smith. amast 2004: 117-131 [doi]

Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002John Derrick. JFP, 14(5):597-598, 2004. [doi]

2003

2002

Verifying Erlang Code: A Resource Locker Case-StudyThomas Arts, Clara Benac Earle, John Derrick. fm 2002: 184-203 [doi]

Unifying concurrent and relational refinementEerke Boiten, John Derrick. ENTCS, 70(3), 2002. [doi]

Using UML to specify QoS constraints in ODPBehzad Bordbar, John Derrick, A. Gill Waters. cn, 40(2):279-304, 2002. [doi]

A UML Approach to the Design of Open Distributed SystemsBehzad Bordbar, John Derrick, A. Gill Waters. icfem 2002: 561-572 [doi]

A Formal Framework for Viewpoint ConsistencyHoward Bowman, Maarten Steen, Eerke Boiten, John Derrick. fmsd, 21(2):111-166, 2002.

PrefaceJohn Derrick, Eerke Boiten, Jim Woodcock, Joakim von Wright. ENTCS, 70(3), 2002. [doi]

Combining Component Specifications in Object-Z and CSPJohn Derrick, Eerke Boiten. fac, 13(2):111-127, 2002. [doi]

Handling Inconsistencies in Z Using Quasi-Classical LogicRalph Miarka, John Derrick, Eerke Boiten. zum 2002: 204-225 [doi]

Abstract Specification in Object-Z and CSPGraeme Smith, John Derrick. icfem 2002: 108-119 [doi]

ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to ZChris J. Taylor, Eerke Boiten, John Derrick. iee, 149(2):57-63, 2002.

Interpreting ODP Viewpoint Specification: Observations from a Case StudyChris J. Taylor, Eerke Boiten, John Derrick. fmoods 2002: 61-76

2001

Analysis of a Multimedia Stream using Stochastic Process AlgebraHoward Bowman, Jeremy Bryans, John Derrick. cj, 44(4):230-245, 2001. [doi]

Author Obliged to Submit Paper before 4 July: Policies in an Enterprise SpecificationJames B. Cole, John Derrick, Zoran Milosevic, Kerry Raymond. policy 2001: 1-17 [doi]

Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSPGraeme Smith, John Derrick. fmsd, 18(3):249-284, 2001.

2000

Viewpoint consistency in ODPEerke Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen. cn, 34(3):503-537, 2000. [doi]

Liberating Data RefinementEerke Boiten, John Derrick. mpc 2000: 144-166

Guest Editors Introduction: Formal Methods for Object Oriented Distributed SystemsHoward Bowman, John Derrick, Ed Brinksma. TSE, 26(7):577-578, 2000. [doi]

Specification and Analysis of Automata-Based DesignsJeremy Bryans, Lynne Blair, Howard Bowman, John Derrick. IFM 2000: 176-193 [doi]

Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review)John Derrick. stvr, 10(3):195, 2000.

A single complete refinement rule for ZJohn Derrick. logcom, 10(5):663-675, 2000.

Structural Refinement in Object-Z/CSPJohn Derrick, Graeme Smith. IFM 2000: 194-213 [doi]

Refinement of objects and operations in Object-ZJohn Derrick, Eerke Boiten. fmoods 2000: 257

Editorial: special issue on specification-based testingRobert M. Hierons, John Derrick. stvr, 10(4):201-202, 2000.

Guards, Preconditions, and Refinement in ZRalph Miarka, Eerke Boiten, John Derrick. zum 2000: 286-303 [doi]

A Case Study in Partial Specification: Consistency and Refinement for Object-ZChris J. Taylor, John Derrick, Eerke Boiten. icfem 2000: 177 [doi]

1999

Constructive Consistency Checking for Partial Specification in ZEerke Boiten, John Derrick, Howard Bowman, Maarten Steen. SCP, 35(1):29-75, 1999.

Strategies for Consistency Checking Based on UnificationHoward Bowman, Eerke Boiten, John Derrick, Maarten Steen. SCP, 33(3):261-298, 1999.

A Junction between State Based and Behavioural Specification (Invited Talk)Howard Bowman, John Derrick. fmoods 1999: 213-239

Stochastic Specification and VerificationJeremy Bryans, John Derrick. iwfm 1999:

Specifying Component and Context Specification Using PromotionJohn Derrick, Eerke Boiten. IFM 1999: 293-312

Non-atomic Refinement in ZJohn Derrick, Eerke Boiten. fm 1999: 1477-1496 [doi]

Calculating upward and downward simulations of state-based specificationsJohn Derrick, Eerke Boiten. INFSOF, 41(13):917-923, 1999. [doi]

Testing Refinements of State-based Formal SpecificationsJohn Derrick, Eerke Boiten. stvr, 9(1):27-50, 1999.

1998

1997

1996

Comparing LOTOS and Z Refinement RelationsJohn Derrick, Howard Bowman, Eerke Boiten, Maarten Steen. forte 1996: 501-516

PreviousNext