| 2009 |
|---|
| 95 | EE | Eerke A. Boiten,
John Derrick:
Modelling Divergence in Relational Concurrent Refinement.
IFM 2009: 183-199 |
| 94 | EE | Robert 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:
Using formal specifications to support testing.
ACM Comput. Surv. 41(2): (2009) |
| 93 | EE | Eerke A. Boiten,
John Derrick,
Gerhard Schellhorn:
Relational concurrent refinement part II: Internal operations and outputs.
Formal Asp. Comput. 21(1-2): 65-102 (2009) |
| 2008 |
|---|
| 92 | EE | John Derrick,
Siobhán North,
Anthony J. H. Simons:
Z2SAL - Building a Model Checker for Z.
ABZ 2008: 280-293 |
| 91 | EE | John Derrick,
Gerhard Schellhorn,
Heike Wehrheim:
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.
FMOODS 2008: 78-95 |
| 90 | EE | Qiang Guo,
John Derrick,
Csaba Hoch:
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.
FORTE 2008: 201-217 |
| 89 | EE | Eerke A. Boiten,
John Derrick,
Graeme Smith:
Preface.
Electr. Notes Theor. Comput. Sci. 201: 1 (2008) |
| 88 | EE | John Derrick,
Graeme Smith:
Using Model Checking to Automatically Find Retrieve Relations.
Electr. Notes Theor. Comput. Sci. 201: 155-175 (2008) |
| 87 | EE | Eerke A. Boiten,
John Derrick,
Gerhard Schellhorn:
Preface.
Electr. Notes Theor. Comput. Sci. 214: 1 (2008) |
| 86 | EE | John Derrick,
Eerke A. Boiten:
More Relational Concurrent Refinement: Traces and Partial Relations.
Electr. Notes Theor. Comput. Sci. 214: 255-276 (2008) |
| 2007 |
|---|
| 85 | | John Derrick,
Jüri Vain:
Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Springer 2007 |
| 84 | EE | Qiang Guo,
John Derrick:
Verification of timed Erlang/OTP components using the process algebra mucrl.
Erlang Workshop 2007: 55-64 |
| 83 | EE | John Derrick,
Gerhard Schellhorn,
Heike Wehrheim:
Proving Linearizability Via Non-atomic Refinement.
IFM 2007: 195-214 |
| 82 | EE | John Derrick,
Heike Wehrheim:
On using data abstractions for model checking refinements.
Acta Inf. 44(1): 41-71 (2007) |
| 81 | EE | Bernhard K. Aichernig,
Eerke A. Boiten,
John Derrick,
Lindsay Groves:
Preface.
Electr. Notes Theor. Comput. Sci. 187: 1 (2007) |
| 80 | EE | John Derrick,
Eerke A. Boiten:
Relational Concurrent Refinement with Internal Operations.
Electr. Notes Theor. Comput. Sci. 187: 35-53 (2007) |
| 2006 |
|---|
| 79 | EE | John Derrick,
Heike Wehrheim:
Model Transformations Incorporating Multiple Views.
AMAST 2006: 111-126 |
| 78 | EE | John Derrick,
Siobhán North,
Tony Simons:
Issues in Implementing a Model Checker for Z.
ICFEM 2006: 678-696 |
| 77 | EE | Richard Banach,
John Derrick:
Filtering Retrenchments into Refinements.
SEFM 2006: 60-69 |
| 76 | EE | John Derrick,
Mark Harman,
Robert M. Hierons:
Guest Editorial.
Formal Asp. Comput. 18(1): 1-2 (2006) |
| 75 | EE | Graeme Smith,
John Derrick:
Verifying data refinements using a model checker.
Formal Asp. Comput. 18(3): 264-287 (2006) |
| 2005 |
|---|
| 74 | EE | Clara Benac Earle,
Lars-Åke Fredlund,
John Derrick:
Verifying fault-tolerant Erlang programs.
Erlang Workshop 2005: 26-34 |
| 73 | EE | John Derrick,
Heike Wehrheim:
Non-atomic Refinement in Z and CSP.
ZB 2005: 24-44 |
| 72 | EE | Eerke A. Boiten,
John Derrick:
Formal Program Development with Approximations.
ZB 2005: 374-392 |
| 71 | EE | John Derrick,
Eerke A. Boiten:
Preface.
Electr. Notes Theor. Comput. Sci. 137(2): 1-3 (2005) |
| 70 | EE | Graeme Smith,
John Derrick:
Model Checking Downward Simulations.
Electr. Notes Theor. Comput. Sci. 137(2): 205-224 (2005) |
| 69 | EE | Eerke A. Boiten,
John Derrick,
Graeme Smith:
Guest Editorial Integrated Formal Methods.
Formal Asp. Comput. 17(4): 389-389 (2005) |
| 68 | EE | Tommaso Bolognesi,
John Derrick:
Introduction.
Software and System Modeling 4(3): 234-235 (2005) |
| 2004 |
|---|
| 67 | | Eerke A. Boiten,
John Derrick,
Graeme Smith:
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Springer 2004 |
| 66 | EE | John Derrick,
Graeme Smith:
Linear Temporal Logic and Z Refinement.
AMAST 2004: 117-131 |
| 65 | EE | John Derrick:
Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002.
J. Funct. Program. 14(5): 597-598 (2004) |
| 64 | EE | Thomas Arts,
Clara Benac Earle,
John Derrick:
Development of a verified Erlang program for resource locking.
STTT 5(2-3): 205-220 (2004) |
| 2003 |
|---|
| 63 | EE | John Derrick,
Eerke A. Boiten:
Recent Advances in Refinement.
Abstract State Machines 2003: 33-56 |
| 62 | EE | David H. Akehurst,
John Derrick,
A. Gill Waters:
Addressing Computational Viewpoint Design.
EDOC 2003: 147-158 |
| 61 | EE | David H. Akehurst,
John Derrick,
A. Gill Waters:
Design and Verification of Distributed Multi-media Systems.
FMOODS 2003: 176-292 |
| 60 | EE | John Derrick,
Heike Wehrheim:
Using Coupled Simulations in Non-atomic Refinement.
ZB 2003: 127-147 |
| 59 | EE | John Derrick:
Timed CSP and Object-Z.
ZB 2003: 300-318 |
| 58 | EE | Jeremy Bryans,
Howard Bowman,
John Derrick:
Model checking stochastic automata.
ACM Trans. Comput. Log. 4(4): 452-492 (2003) |
| 57 | EE | John Derrick,
Graeme Smith:
Structural Refinement of Systems Specified in Object-Z and CSP.
Formal Asp. Comput. 15(1): 1-27 (2003) |
| 56 | EE | John Derrick,
Eerke A. Boiten:
Relational Concurrent Refinement.
Formal Asp. Comput. 15(2-3): 182-214 (2003) |
| 2002 |
|---|
| 55 | EE | Thomas Arts,
Clara Benac Earle,
John Derrick:
Verifying Erlang Code: A Resource Locker Case-Study.
FME 2002: 184-203 |
| 54 | | Chris J. Taylor,
Eerke A. Boiten,
John Derrick:
Interpreting ODP Viewpoint Specification: Observations from a Case Study.
FMOODS 2002: 61-76 |
| 53 | EE | Graeme Smith,
John Derrick:
Abstract Specification in Object-Z and CSP.
ICFEM 2002: 108-119 |
| 52 | EE | Behzad Bordbar,
John Derrick,
A. Gill Waters:
A UML Approach to the Design of Open Distributed Systems.
ICFEM 2002: 561-572 |
| 51 | EE | Ralph Miarka,
John Derrick,
Eerke A. Boiten:
Handling Inconsistencies in Z Using Quasi-Classical Logic.
ZB 2002: 204-225 |
| 50 | EE | Behzad Bordbar,
John Derrick,
A. Gill Waters:
Using UML to specify QoS constraints in ODP.
Computer Networks 40(2): 279-304 (2002) |
| 49 | EE | John Derrick,
Eerke A. Boiten,
Jim Woodcock,
Joakim von Wright:
Preface.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 48 | EE | Eerke A. Boiten,
John Derrick:
Unifying concurrent and relational refinement.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 47 | EE | John Derrick,
Eerke A. Boiten:
Combining Component Specifications in Object-Z and CSP.
Formal Asp. Comput. 13(2): 111-127 (2002) |
| 46 | | Howard Bowman,
Maarten Steen,
Eerke A. Boiten,
John Derrick:
A Formal Framework for Viewpoint Consistency.
Formal Methods in System Design 21(2): 111-166 (2002) |
| 45 | | Chris J. Taylor,
Eerke A. Boiten,
John Derrick:
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z.
IEE Proceedings - Software 149(2): 57-63 (2002) |
| 2001 |
|---|
| 44 | EE | James B. Cole,
John Derrick,
Zoran Milosevic,
Kerry Raymond:
Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification.
POLICY 2001: 1-17 |
| 43 | EE | Howard Bowman,
Jeremy Bryans,
John Derrick:
Analysis of a Multimedia Stream using Stochastic Process Algebra.
Comput. J. 44(4): 230-245 (2001) |
| 42 | | Graeme Smith,
John Derrick:
Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP.
Formal Methods in System Design 18(3): 249-284 (2001) |
| 2000 |
|---|
| 41 | | John Derrick,
Eerke A. Boiten:
Refinement of objects and operations in Object-Z.
FMOODS 2000: 257- |
| 40 | EE | Chris J. Taylor,
John Derrick,
Eerke A. Boiten:
A Case Study in Partial Specification: Consistency and Refinement for Object-Z.
ICFEM 2000: 177- |
| 39 | EE | Jeremy Bryans,
Lynne Blair,
Howard Bowman,
John Derrick:
Specification and Analysis of Automata-Based Designs.
IFM 2000: 176-193 |
| 38 | EE | John Derrick,
Graeme Smith:
Structural Refinement in Object-Z/CSP.
IFM 2000: 194-213 |
| 37 | | Eerke A. Boiten,
John Derrick:
Liberating Data Refinement.
MPC 2000: 144-166 |
| 36 | EE | Ralph Miarka,
Eerke A. Boiten,
John Derrick:
Guards, Preconditions, and Refinement in Z.
ZB 2000: 286-303 |
| 35 | EE | Jeremy Bryans,
Howard Bowman,
John Derrick:
Stochastic Model Checking for Multimedia
CoRR cs.MM/0002004: (2000) |
| 34 | EE | Eerke A. Boiten,
Howard Bowman,
John Derrick,
Peter F. Linington,
Maarten Steen:
Viewpoint consistency in ODP.
Computer Networks 34(3): 503-537 (2000) |
| 33 | EE | Howard Bowman,
John Derrick,
Ed Brinksma:
Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems.
IEEE Trans. Software Eng. 26(7): 577-578 (2000) |
| 32 | | John Derrick:
A single complete refinement rule for Z.
J. Log. Comput. 10(5): 663-675 (2000) |
| 31 | | John Derrick:
Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review).
Softw. Test., Verif. Reliab. 10(3): 195 (2000) |
| 30 | | Robert M. Hierons,
John Derrick:
Editorial: special issue on specification-based testing.
Softw. Test., Verif. Reliab. 10(4): 201-202 (2000) |
| 1999 |
|---|
| 29 | | Howard Bowman,
John Derrick:
A Junction between State Based and Behavioural Specification (Invited Talk).
FMOODS 1999: 213-239 |
| 28 | | John Derrick,
Eerke A. Boiten:
Specifying Component and Context Specification Using Promotion.
IFM 1999: 293-312 |
| 27 | | Jeremy Bryans,
John Derrick:
Stochastic Specification and Verification.
IWFM 1999 |
| 26 | EE | John Derrick,
Eerke A. Boiten:
Non-atomic Refinement in Z.
World Congress on Formal Methods 1999: 1477-1496 |
| 25 | EE | John Derrick,
Eerke A. Boiten:
Calculating upward and downward simulations of state-based specifications.
Information & Software Technology 41(13): 917-923 (1999) |
| 24 | | Howard Bowman,
Eerke A. Boiten,
John Derrick,
Maarten Steen:
Strategies for Consistency Checking Based on Unification.
Sci. Comput. Program. 33(3): 261-298 (1999) |
| 23 | | Eerke A. Boiten,
John Derrick,
Howard Bowman,
Maarten Steen:
Constructive Consistency Checking for Partial Specification in Z.
Sci. Comput. Program. 35(1): 29-75 (1999) |
| 22 | | John Derrick,
Eerke A. Boiten:
Testing Refinements of State-based Formal Specifications.
Softw. Test., Verif. Reliab. 9(1): 27-50 (1999) |
| 1998 |
|---|
| 21 | EE | Maarten Steen,
John Derrick,
Eerke A. Boiten,
Howard Bowman:
Consistency of Partial Process Specifications.
AMAST 1998: 248-262 |
| 20 | | John Derrick,
Eerke A. Boiten:
Testing Refinements by Refining Tests.
ZUM 1998: 265-283 |
| 19 | | John Derrick,
Eerke A. Boiten,
Howard Bowman,
Maarten Steen:
Specifying and Refining Internal Operations in Z.
Formal Asp. Comput. 10(2): 125-159 (1998) |
| 18 | | Tommaso Bolognesi,
John Derrick:
Constraint-oriented style for object-oriented formal specification.
IEE Proceedings - Software 145(2-3): 61-70 (1998) |
| 1997 |
|---|
| 17 | | Howard Bowman,
John Derrick:
Extending LOTOS with Time: A True Concurrency Perspective.
ARTS 1997: 383-399 |
| 16 | | Eerke A. Boiten,
Howard Bowman,
John Derrick,
Maarten Steen:
Viewpoint Consistency in Z and LOTOS: A Case Study.
FME 1997: 644-664 |
| 15 | | Maarten Steen,
Howard Bowman,
John Derrick,
Eerke A. Boiten:
Disjunction of LOTOS Specifications.
FORTE 1997: 177-192 |
| 14 | | Graeme Smith,
John Derrick:
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP.
ICFEM 1997: 293- |
| 13 | | G. P. A. Fernandes,
John Derrick:
Formal Specification and Testing of a Management Architecture.
Integrated Network Management 1997: 473-484 |
| 12 | | John Derrick,
Eerke A. Boiten,
Howard Bowman,
Maarten Steen:
Weak Refinement in Z.
ZUM 1997: 369-388 |
| 1996 |
|---|
| 11 | | Eerke A. Boiten,
John Derrick,
Howard Bowman,
Maarten Steen:
Consistency and Refinement for Partial Specification in Z.
FME 1996: 287-306 |
| 10 | | John Derrick,
Howard Bowman,
Eerke A. Boiten,
Maarten Steen:
Comparing LOTOS and Z Refinement Relations.
FORTE 1996: 501-516 |
| 1995 |
|---|
| 9 | | John Derrick,
Peter F. Linington,
S. J. Thompson:
Formal description techniques for object management.
Integrated Network Management 1995: 641-653 |
| 8 | | Howard Bowman,
John Derrick:
A True Concurrency Semantics for Quality of Service Specification and Validation.
MMNET 1995: 173-182 |
| 7 | | Maarten Steen,
Howard Bowman,
John Derrick:
Composition of LOTOS specifications.
PSTV 1995: 87-102 |
| 6 | EE | Howard Bowman,
John Derrick:
Modelling distributed systems using Z.
SAC 1995: 147-151 |
| 5 | | Howard Bowman,
John Derrick,
Maarten Steen:
Viewpoints and Objects.
ZUM 1995: 449-468 |
| 1994 |
|---|
| 4 | | Howard Bowman,
John Derrick:
Consistency and Conformance in ODP (Abstract).
PODC 1994: 388 |
| 3 | | Howard Bowman,
John Derrick,
Richard E. Jones:
Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract).
PODC 1994: 394 |
| 1974 |
|---|
| 2 | | J. P. Calais,
John Derrick,
Gabriel Sabbagh:
Meeting of the Association for Symbolic Logic: Orleans, France, 1972.
J. Symb. Log. 39(2): 371-389 (1974) |
| 1968 |
|---|
| 1 | | M. H. Lob,
F. R. Drake,
John Derrick:
Meeting of the Association for Symbolic Logic Leeds 1967.
J. Symb. Log. 33(3): 490 (1968) |
