Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
John Derrick
2010 – today
- 2013
[j54]Eerke A. Boiten, John Derrick: From ODP viewpoint consistency to Integrated Formal Methods. Computer Standards & Interfaces 35(3): 269-276 (2013)- [c65]Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim: A High-Level Semantics for Program Execution under Total Store Order Memory. ICTAC 2013: 177-194
- [c64]Ramsay Taylor, Kirill Bogdanov, John Derrick: Automatic Inference of Erlang Module Behaviour. IFM 2013: 253-267
- [c63]
- [e6]John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 16th International Refinement Workshop. EPTCS 115, 2013
- [i3]Brijesh Dongol, John Derrick: Simplifying proofs of linearisability using layers of abstraction. CoRR abs/1307.6958 (2013)
- 2012
- [j53]Brijesh Dongol, John Derrick, Ian J. Hayes: Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. ECEASST 53 (2012)
- [j52]Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves: Editorial. Formal Asp. Comput. 24(1): 1 (2012)
- [j51]John Derrick, Graeme Smith: Temporal-logic property preservation under Z refinement. Formal Asp. Comput. 24(3): 393-416 (2012)
- [c62]Gerhard Schellhorn, Heike Wehrheim, John Derrick: How to Prove Algorithms Linearisable. CAV 2012: 243-259
- [c61]Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick: Using Behaviour Inference to Optimise Regression Test Sets. ICTSS 2012: 184-199
- [e5]John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (Eds.): Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0
- [e4]John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (Eds.): Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7321, Springer 2012, ISBN 978-3-642-30728-7
- [i2]Brijesh Dongol, John Derrick: Proving linearisability via coarse-grained abstraction. CoRR abs/1212.5116 (2012)
- 2011
- [j50]John Derrick, Siobhán North, Anthony J. H. Simons: Z2SAL: a translation-based model checker for Z. Formal Asp. Comput. 23(1): 43-71 (2011)
- [j49]Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76(9): 737-738 (2011)
- [j48]
- [j47]John Derrick, Gerhard Schellhorn, Heike Wehrheim: Mechanically verified proof obligations for linearizability. ACM Trans. Program. Lang. Syst. 33(1): 4 (2011)
- [c60]John Derrick, Gerhard Schellhorn, Heike Wehrheim: Verifying Linearisability with Potential Linearisation Points. FM 2011: 323-337
- [c59]John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE 2011: 121-137
- [c58]John Derrick, Siobhán North, Anthony J. H. Simons: Building a refinement checker for Z. Refine 2011: 37-52
- [e3]John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 15th International Refinement Workshop. EPTCS 55, 2011
- 2010
- [j46]Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith: Editorial. Formal Asp. Comput. 22(1): 1 (2010)
- [j45]John Derrick, Heike Wehrheim: Model transformations across views. Sci. Comput. Program. 75(3): 192-210 (2010)
- [j44]Eerke A. Boiten, John Derrick: Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75(12): 1262-1269 (2010)
- [c57]Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris: Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS 2010: 126-141
- [c56]Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund: Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART 2010: 23-38
2000 – 2009
- 2009
- [j43]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)
- [j42]Eerke A. Boiten, John Derrick, Steve Reeves: Preface. Electr. Notes Theor. Comput. Sci. 259: 1 (2009)
- [j41]John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Automata. Electr. Notes Theor. Comput. Sci. 259: 21-34 (2009)
- [j40]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)
- [c55]Neil Walkinshaw, John Derrick, Qiang Guo: Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM 2009: 305-320
- [c54]John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson: Property-Based Testing - The ProTest Project. FMCO 2009: 250-271
- [c53]Neil Walkinshaw, John Derrick: Incrementally Discovering Testable Specifications from Program Executions. FMCO 2009: 272-289
- [c52]Eerke A. Boiten, John Derrick: Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199
- [c51]Qiang Guo, John Derrick, Neil Walkinshaw: Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES 2009: 81-96
- 2008
- [j39]Eerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)
- [j38]John Derrick, Graeme Smith: Using Model Checking to Automatically Find Retrieve Relations. Electr. Notes Theor. Comput. Sci. 201: 155-175 (2008)
- [j37]Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Preface. Electr. Notes Theor. Comput. Sci. 214: 1 (2008)
- [j36]John Derrick, Eerke A. Boiten: More Relational Concurrent Refinement: Traces and Partial Relations. Electr. Notes Theor. Comput. Sci. 214: 255-276 (2008)
- [c50]John Derrick, Siobhán North, Anthony J. H. Simons: Z2SAL - Building a Model Checker for Z. ABZ 2008: 280-293
- [c49]John Derrick, Gerhard Schellhorn, Heike Wehrheim: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. FMOODS 2008: 78-95
- [c48]Qiang Guo, John Derrick, Csaba Hoch: Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. FORTE 2008: 201-217
- 2007
- [j35]John Derrick, Heike Wehrheim: On using data abstractions for model checking refinements. Acta Inf. 44(1): 41-71 (2007)
- [j34]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
- [j33]John Derrick, Eerke A. Boiten: Relational Concurrent Refinement with Internal Operations. Electr. Notes Theor. Comput. Sci. 187: 35-53 (2007)
- [c47]Qiang Guo, John Derrick: Verification of timed Erlang/OTP components using the process algebra mucrl. Erlang Workshop 2007: 55-64
- [c46]John Derrick, Gerhard Schellhorn, Heike Wehrheim: Proving Linearizability Via Non-atomic Refinement. IFM 2007: 195-214
- [e2]John Derrick, Jüri Vain (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4574, Springer 2007, ISBN 978-3-540-73195-5
- 2006
- [j32]John Derrick, Mark Harman, Robert M. Hierons: Guest Editorial. Formal Asp. Comput. 18(1): 1-2 (2006)
- [j31]Graeme Smith, John Derrick: Verifying data refinements using a model checker. Formal Asp. Comput. 18(3): 264-287 (2006)
- [c45]John Derrick, Heike Wehrheim: Model Transformations Incorporating Multiple Views. AMAST 2006: 111-126
- [c44]John Derrick, Siobhán North, Tony Simons: Issues in Implementing a Model Checker for Z. ICFEM 2006: 678-696
- [c43]
- 2005
- [j30]
- [j29]Graeme Smith, John Derrick: Model Checking Downward Simulations. Electr. Notes Theor. Comput. Sci. 137(2): 205-224 (2005)
- [j28]Eerke A. Boiten, John Derrick, Graeme Smith: Guest Editorial Integrated Formal Methods. Formal Asp. Comput. 17(4): 389-389 (2005)
- [j27]
- [c42]Clara Benac Earle, Lars-Åke Fredlund, John Derrick: Verifying fault-tolerant Erlang programs. Erlang Workshop 2005: 26-34
- [c41]
- [c40]
- 2004
- [j26]John Derrick: Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002. J. Funct. Program. 14(5): 597-598 (2004)
- [j25]Thomas Arts, Clara Benac Earle, John Derrick: Development of a verified Erlang program for resource locking. STTT 5(2-3): 205-220 (2004)
- [c39]
- [e1]Eerke A. Boiten, John Derrick, Graeme Smith (Eds.): Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999, Springer 2004, ISBN 3-540-21377-5
- 2003
- [j24]John Derrick, Graeme Smith: Structural Refinement of Systems Specified in Object-Z and CSP. Formal Asp. Comput. 15(1): 1-27 (2003)
- [j23]John Derrick, Eerke A. Boiten: Relational Concurrent Refinement. Formal Asp. Comput. 15(2-3): 182-214 (2003)
- [j22]Jeremy Bryans, Howard Bowman, John Derrick: Model checking stochastic automata. ACM Trans. Comput. Log. 4(4): 452-492 (2003)
- [c38]
- [c37]David H. Akehurst, John Derrick, A. Gill Waters: Addressing Computational Viewpoint Design. EDOC 2003: 147-158
- [c36]David H. Akehurst, John Derrick, A. Gill Waters: Design and Verification of Distributed Multi-media Systems. FMOODS 2003: 176-292
- [c35]
- [c34]
- 2002
- [j21]Behzad Bordbar, John Derrick, A. Gill Waters: Using UML to specify QoS constraints in ODP. Computer Networks 40(2): 279-304 (2002)
- [j20]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): 1-2 (2002)
- [j19]Eerke A. Boiten, John Derrick: Unifying concurrent and relational refinement. Electr. Notes Theor. Comput. Sci. 70(3): 94-131 (2002)
- [j18]John Derrick, Eerke A. Boiten: Combining Component Specifications in Object-Z and CSP. Formal Asp. Comput. 13(2): 111-127 (2002)
- [j17]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)
- [j16]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)
- [c33]Thomas Arts, Clara Benac Earle, John Derrick: Verifying Erlang Code: A Resource Locker Case-Study. FME 2002: 184-203
- [c32]Chris J. Taylor, Eerke A. Boiten, John Derrick: Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76
- [c31]
- [c30]Behzad Bordbar, John Derrick, A. Gill Waters: A UML Approach to the Design of Open Distributed Systems. ICFEM 2002: 561-572
- [c29]Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225
- 2001
- [j15]Howard Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)
- [j14]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)
- [c28]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
- 2000
- [j13]Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
- [j12]
- [j11]John Derrick: Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review). Softw. Test., Verif. Reliab. 10(3): 195 (2000)
- [j10]Robert M. Hierons, John Derrick: Editorial: special issue on specification-based testing. Softw. Test., Verif. Reliab. 10(4): 201-202 (2000)
- [j9]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)
- [c27]
- [c26]Chris J. Taylor, John Derrick, Eerke A. Boiten: A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-
- [c25]Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193
- [c24]
- [c23]
- [c22]Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303
- [i1]Jeremy Bryans, Howard Bowman, John Derrick: Stochastic Model Checking for Multimedia. CoRR cs.MM/0002004 (2000)
1990 – 1999
- 1999
- [j8]John Derrick, Eerke A. Boiten: Calculating upward and downward simulations of state-based specifications. Information & Software Technology 41(13): 917-923 (1999)
- [j7]Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
- [j6]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)
- [j5]John Derrick, Eerke A. Boiten: Testing Refinements of State-based Formal Specifications. Softw. Test., Verif. Reliab. 9(1): 27-50 (1999)
- [c21]John Derrick, Eerke A. Boiten: Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496
- [c20]Howard Bowman, John Derrick: A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS 1999: 213-239
- [c19]John Derrick, Eerke A. Boiten: Specifying Component and Context Specification Using Promotion. IFM 1999: 293-312
- [c18]
- 1998
- [j4]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)
- [j3]Tommaso Bolognesi, John Derrick: Constraint-oriented style for object-oriented formal specification. IEE Proceedings - Software 145(2-3): 61-70 (1998)
- [c17]Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
- [c16]
- 1997
- [c15]Howard Bowman, John Derrick: Extending LOTOS with Time: A True Concurrency Perspective. ARTS 1997: 383-399
- [c14]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
- [c13]Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
- [c12]Graeme Smith, John Derrick: Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. ICFEM 1997: 293-
- [c11]G. P. A. Fernandes, John Derrick: Formal Specification and Testing of a Management Architecture. Integrated Network Management 1997: 473-484
- [c10]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
- 1996
- [c9]Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
- [c8]John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
- 1995
- [c7]John Derrick, Peter F. Linington, Simon J. Thompson: Formal description techniques for object management. Integrated Network Management 1995: 641-653
- [c6]Howard Bowman, John Derrick: A True Concurrency Semantics for Quality of Service Specification and Validation. MMNET 1995: 173-182
- [c5]
- [c4]
- [c3]
- 1994
- [c2]
- [c1]Howard Bowman, John Derrick, Richard E. Jones: Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). PODC 1994: 394
1970 – 1979
- 1974
- [j2]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)
1960 – 1969
- 1968
- [j1]M. H. Lob, F. R. Drake, John Derrick: Meeting of the Association for Symbolic Logic Leeds 1967. J. Symb. Log. 33(3): 490 (1968)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team