The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Derrick: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  83. Z2SAL - Building a Model Checker for Z. [Citation Graph (, )][DBLP]


  84. Verification of timed Erlang/OTP components using the process algebra mucrl. [Citation Graph (, )][DBLP]


  85. Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. [Citation Graph (, )][DBLP]


  86. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. [Citation Graph (, )][DBLP]


  87. Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. [Citation Graph (, )][DBLP]


  88. Modelling Divergence in Relational Concurrent Refinement. [Citation Graph (, )][DBLP]


  89. Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. [Citation Graph (, )][DBLP]


  90. Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. [Citation Graph (, )][DBLP]


  91. Using formal specifications to support testing. [Citation Graph (, )][DBLP]


  92. Using Model Checking to Automatically Find Retrieve Relations. [Citation Graph (, )][DBLP]


  93. Preface. [Citation Graph (, )][DBLP]


  94. Preface. [Citation Graph (, )][DBLP]


  95. More Relational Concurrent Refinement: Traces and Partial Relations. [Citation Graph (, )][DBLP]


  96. Relational Concurrent Refinement: Automata. [Citation Graph (, )][DBLP]


  97. Preface. [Citation Graph (, )][DBLP]


Search in 0.054secs, Finished in 0.059secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002