| 2008 |
|---|
| 89 | EE | John Derrick,
Gerhard Schellhorn,
Heike Wehrheim:
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.
FMOODS 2008: 78-95 |
| 88 | EE | Qiang Guo,
John Derrick,
Csaba Hoch:
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.
FORTE 2008: 201-217 |
| 87 | EE | Eerke A. Boiten,
John Derrick,
Graeme Smith:
Preface.
Electr. Notes Theor. Comput. Sci. 201: 1 (2008) |
| 86 | EE | John Derrick,
Graeme Smith:
Using Model Checking to Automatically Find Retrieve Relations.
Electr. Notes Theor. Comput. Sci. 201: 155-175 (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) |
