default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn Derrick
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c107]Stefan Bodenmüller
, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
A Fully Verified Persistency Library. VMCAI (2) 2024: 26-47- 2022
- [j59]Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Modularising Verification Of Durable Opacity. Log. Methods Comput. Sci. 18(3) (2022) - 2021
- [j58]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects Comput. 33(4-5): 547-573 (2021) - [c106]Michael Foster, John Derrick, Neil Walkinshaw:
Reverse-Engineering EFSMs with Data Dependencies. ICTSS 2021: 37-54 - [c105]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Brief Announcement: On Strong Observational Refinement and Forward Simulation. DISC 2021: 55:1-55:4 - [i10]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
On Strong Observational Refinement and Forward Simulation. CoRR abs/2107.14509 (2021) - 2020
- [j57]Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick:
Inference of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020) - [j56]Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick:
A Formal Model of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020) - [c104]Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. FORTE 2020: 39-58 - [i9]Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. CoRR abs/2004.08200 (2020) - [i8]Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Modularising Verification Of Durable Opacity. CoRR abs/2011.15013 (2020)
2010 – 2019
- 2019
- [j55]Kirsten Winter, Graeme Smith, John Derrick:
Modelling concurrent objects running on the TSO and ARMv8 memory models. Sci. Comput. Program. 184 (2019) - [c103]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Verifying Correctness of Persistent Concurrent Data Structures. FM 2019: 179-195 - [c102]Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Verifying C11 programs operationally. PPoPP 2019: 355-365 - [c101]Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick:
Incorporating Data into EFSM Inference. SEFM 2019: 257-272 - 2018
- [j54]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim:
Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects Comput. 30(5): 597-625 (2018) - [c100]Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick:
Formalising Extended Finite State Machine Transition Merging. ICFEM 2018: 373-387 - [c99]Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Making Linearizability Compositional for Partially Ordered Executions. IFM 2018: 110-129 - [c98]Kirsten Winter, Graeme Smith, John Derrick:
Observational Models for Linearizability Checking on Weak Memory Models. TASE 2018: 100-107 - [c97]Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Brief Announcement: Generalising Concurrent Correctness to Weak Memory. DISC 2018: 45:1-45:3 - [e14]John Derrick, Brijesh Dongol, Steve Reeves:
Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. EPTCS 282, 2018 [contents] - [i7]Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim:
Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR abs/1802.01866 (2018) - [i6]Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Verifying C11 Programs Operationally. CoRR abs/1811.09143 (2018) - 2017
- [c96]John Derrick, Graeme Smith:
An Observational Approach to Defining Linearizability on Weak Memory Models. FORTE 2017: 108-123 - [p2]John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol:
A Proof Method for Linearizability on TSO Architectures. Provably Correct Systems 2017: 61-91 - 2016
- [j53]Neil Walkinshaw, Ramsay Taylor, John Derrick:
Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21(3): 811-853 (2016) - [c95]Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Proving Opacity of a Pessimistic STM. OPODIS 2016: 35:1-35:17 - [c94]Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick:
Choreography-Based Analysis of Distributed Message Passing Programs. PDP 2016: 512-519 - [c93]Graeme Smith, John Derrick:
Invariant generation for linearizability proofs. SAC 2016: 1694-1699 - [c92]Simon Doherty, John Derrick:
Linearizability and Causality. SEFM 2016: 45-60 - [p1]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement - Partial and Total Frameworks. From Action Systems to Distributed Systems 2016: 143-154 - [e13]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. EPTCS 209, 2016 [contents] - [i5]Simon Doherty, John Derrick:
Causal Linearizability. CoRR abs/1604.06734 (2016) - 2015
- [j52]Brijesh Dongol, John Derrick:
Verifying Linearisability: A Comparative Survey. ACM Comput. Surv. 48(2): 19:1-19:43 (2015) - [j51]Brijesh Dongol, John Derrick:
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Sci. Comput. Program. 111: 214-247 (2015) - [c91]Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith:
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. ECOOP 2015: 470-494 - [c90]Ramsay Taylor, John Derrick:
Smother: an MC/DC analysis tool for Erlang. Erlang Workshop 2015: 13-18 - [c89]John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim:
Verifying Opacity of a Transactional Mutex Lock. FM 2015: 161-177 - [c88]John Derrick, Graeme Smith:
A Framework for Correctness Criteria on Weak Memory Models. FM 2015: 178-194 - [c87]Ramsay Taylor, John Derrick:
mu2: A Refactoring-Based Mutation Testing Framework for Erlang. ICTSS 2015: 178-193 - 2014
- [b1]John Derrick, Eerke A. Boiten:
Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). Springer 2014, ISBN 978-1-4471-5354-2, pp. I-XVIII, 1-492 - [j50]Eerke A. Boiten, John Derrick, Steve Reeves:
Editorial. Formal Aspects Comput. 26(2): 195 (2014) - [j49]John Derrick, Eerke A. Boiten:
Relational concurrent refinement part III: traces, partial relations and automata. Formal Aspects Comput. 26(2): 407-432 (2014) - [j48]Brijesh Dongol, Ian J. Hayes, John Derrick:
Deriving real-time action systems with multiple time bands using algebraic reasoning. Sci. Comput. Program. 85: 137-165 (2014) - [j47]Gerhard Schellhorn, John Derrick, Heike Wehrheim:
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans. Comput. Log. 15(4): 31:1-31:37 (2014) - [c86]Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick:
Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop 2014: 73-74 - [c85]Graeme Smith, John Derrick, Brijesh Dongol:
Admit Your Weakness: Verifying Correctness on TSO Architectures. FACS 2014: 364-383 - [c84]John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim:
Quiescent Consistency: Defining and Verifying Relaxed Linearizability. FM 2014: 200-214 - [c83]John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol:
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. Haifa Verification Conference 2014: 1-16 - [c82]Brijesh Dongol, John Derrick, Graeme Smith:
Reasoning Algebraically About Refinement on TSO Architectures. ICTAC 2014: 151-168 - [c81]John Derrick, Graeme Smith, Brijesh Dongol:
Verifying Linearizability on TSO Architectures. IFM 2014: 341-356 - [i4]Brijesh Dongol, John Derrick:
Verifying linearizability: A comparative survey. CoRR abs/1410.6268 (2014) - 2013
- [j46]Eerke A. Boiten, John Derrick:
From ODP viewpoint consistency to Integrated Formal Methods. Comput. Stand. Interfaces 35(3): 269-276 (2013) - [j45]Brijesh Dongol, John Derrick:
Simplifying proofs of linearisability using layers of abstraction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [c80]Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim:
A High-Level Semantics for Program Execution under Total Store Order Memory. ICTAC 2013: 177-194 - [c79]Ramsay Taylor, Kirill Bogdanov, John Derrick:
Automatic Inference of Erlang Module Behaviour. IFM 2013: 253-267 - [c78]Neil Walkinshaw, Ramsay Taylor, John Derrick:
Inferring Extended Finite State Machine models from software executions. WCRE 2013: 301-310 - [c77]Brijesh Dongol, John Derrick:
Data refinement for true concurrency. Refine@IFM 2013: 15-35 - [e12]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents] - [i3]Brijesh Dongol, John Derrick:
Simplifying proofs of linearisability using layers of abstraction. CoRR abs/1307.6958 (2013) - 2012
- [j44]Brijesh Dongol, John Derrick, Ian J. Hayes:
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012) - [j43]Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves:
Editorial. Formal Aspects Comput. 24(1): 1 (2012) - [j42]John Derrick, Graeme Smith:
Temporal-logic property preservation under Z refinement. Formal Aspects Comput. 24(3): 393-416 (2012) - [c76]Gerhard Schellhorn, Heike Wehrheim, John Derrick:
How to Prove Algorithms Linearisable. CAV 2012: 243-259 - [c75]Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick:
Using Behaviour Inference to Optimise Regression Test Sets. ICTSS 2012: 184-199 - [e11]John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene:
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 [contents] - [e10]John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne:
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 [contents] - [i2]Brijesh Dongol, John Derrick:
Proving linearisability via coarse-grained abstraction. CoRR abs/1212.5116 (2012) - 2011
- [j41]John Derrick, Siobhán North, Anthony J. H. Simons:
Z2SAL: a translation-based model checker for Z. Formal Aspects Comput. 23(1): 43-71 (2011) - [j40]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76(9): 737-738 (2011) - [j39]Qiang Guo, John Derrick:
Formally based tool support for model checking Erlang applications. Int. J. Softw. Tools Technol. Transf. 13(4): 355-376 (2011) - [j38]John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Mechanically verified proof obligations for linearizability. ACM Trans. Program. Lang. Syst. 33(1): 4:1-4:43 (2011) - [c74]John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Verifying Linearisability with Potential Linearisation Points. FM 2011: 323-337 - [c73]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE 2011: 121-137 - [c72]John Derrick, Siobhán North, Anthony J. H. Simons:
Building a refinement checker for Z. Refine@FM 2011: 37-52 - [e9]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents] - 2010
- [j37]Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith:
Editorial. Formal Aspects Comput. 22(1): 1 (2010) - [j36]John Derrick, Heike Wehrheim:
Model transformations across views. Sci. Comput. Program. 75(3): 192-210 (2010) - [j35]Eerke A. Boiten, John Derrick:
Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75(12): 1262-1269 (2010) - [c71]Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París:
Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS 2010: 126-141 - [c70]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
- [j34]Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. 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): 9:1-9:76 (2009) - [j33]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Relational concurrent refinement part II: Internal operations and outputs. Formal Aspects Comput. 21(1-2): 65-102 (2009) - [c69]Neil Walkinshaw, John Derrick, Qiang Guo:
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM 2009: 305-320 - [c68]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 - [c67]Neil Walkinshaw, John Derrick:
Incrementally Discovering Testable Specifications from Program Executions. FMCO 2009: 272-289 - [c66]Eerke A. Boiten, John Derrick:
Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199 - [c65]Qiang Guo, John Derrick, Neil Walkinshaw:
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES 2009: 81-96 - [c64]Eerke A. Boiten, John Derrick, Steve Reeves:
Preface. REFINE@FMWeek 2009: 1 - [c63]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Automata. REFINE@FMWeek 2009: 21-34 - [e8]Eerke A. Boiten, John Derrick, Steve Reeves:
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Electronic Notes in Theoretical Computer Science 259, Elsevier 2009 [contents] - 2008
- [c62]John Derrick, Siobhán North, Anthony J. H. Simons:
Z2SAL - Building a Model Checker for Z. ABZ 2008: 280-293 - [c61]John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. FMOODS 2008: 78-95 - [c60]Qiang Guo, John Derrick, Csaba Hoch:
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. FORTE 2008: 201-217 - [c59]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Preface. Refine@FM 2008: 1 - [c58]John Derrick, Eerke A. Boiten:
More Relational Concurrent Refinement: Traces and Partial Relations. Refine@FM 2008: 255-276 - [e7]Eerke A. Boiten, John Derrick, Graeme Smith:
Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007. Electronic Notes in Theoretical Computer Science 201, Elsevier 2008 [contents] - [e6]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008. Electronic Notes in Theoretical Computer Science 214, Elsevier 2008 [contents] - 2007
- [j32]John Derrick, Heike Wehrheim:
On using data abstractions for model checking refinements. Acta Informatica 44(1): 41-71 (2007) - [c57]Qiang Guo, John Derrick:
Verification of timed Erlang/OTP components using the process algebra mucrl. Erlang Workshop 2007: 55-64 - [c56]John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Proving Linearizability Via Non-atomic Refinement. IFM 2007: 195-214 - [c55]Eerke A. Boiten, John Derrick, Graeme Smith:
Preface. REFINE@IFM 2007: 1 - [c54]John Derrick, Graeme Smith:
Using Model Checking to Automatically Find Retrieve Relations. REFINE@IFM 2007: 155-175 - [e5]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. Lecture Notes in Computer Science 4574, Springer 2007, ISBN 978-3-540-73195-5 [contents] - [e4]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 187, Elsevier 2007 [contents] - 2006
- [j31]John Derrick, Mark Harman, Robert M. Hierons:
Guest Editorial. Formal Aspects Comput. 18(1): 1-2 (2006) - [j30]Graeme Smith, John Derrick:
Verifying data refinements using a model checker. Formal Aspects Comput. 18(3): 264-287 (2006) - [c53]John Derrick, Heike Wehrheim:
Model Transformations Incorporating Multiple Views. AMAST 2006: 111-126 - [c52]John Derrick, Siobhán North, Tony Simons:
Issues in Implementing a Model Checker for Z. ICFEM 2006: 678-696 - [c51]Richard Banach, John Derrick:
Filtering Retrenchments into Refinements. SEFM 2006: 60-69 - [c50]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Preface. Refine@ICFEM 2006: 1 - [c49]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement with Internal Operations. Refine@ICFEM 2006: 35-53 - 2005
- [j29]Eerke A. Boiten, John Derrick, Graeme Smith:
Guest Editorial Integrated Formal Methods. Formal Aspects Comput. 17(4): 389-389 (2005) - [j28]Tommaso Bolognesi, John Derrick:
Introduction. Softw. Syst. Model. 4(3): 234-235 (2005) - [c48]Clara Benac Earle, Lars-Åke Fredlund, John Derrick:
Verifying fault-tolerant Erlang programs. Erlang Workshop 2005: 26-34 - [c47]John Derrick, Heike Wehrheim:
Non-atomic Refinement in Z and CSP. ZB 2005: 24-44 - [c46]Eerke A. Boiten, John Derrick:
Formal Program Development with Approximations. ZB 2005: 374-392 - [c45]John Derrick, Eerke A. Boiten:
Preface. REFINE 2005: 1-3 - [c44]Graeme Smith, John Derrick:
Model Checking Downward Simulations. REFINE 2005: 205-224 - [e3]John Derrick, Eerke A. Boiten:
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005. Electronic Notes in Theoretical Computer Science 137(2), Elsevier 2005 [contents] - 2004
- [j27]John Derrick:
Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002. J. Funct. Program. 14(5): 597-598 (2004) - [j26]Thomas Arts, Clara Benac Earle, John Derrick:
Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 205-220 (2004) - [c43]John Derrick, Graeme Smith:
Linear Temporal Logic and Z Refinement. AMAST 2004: 117-131 - [e2]Eerke A. Boiten, John Derrick, Graeme Smith:
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 [contents] - 2003
- [j25]John Derrick, Graeme Smith:
Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects Comput. 15(1): 1-27 (2003) - [j24]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement. Formal Aspects Comput. 15(2-3): 182-214 (2003) - [j23]Eerke A. Boiten, John Derrick:
A Relational Framework for the Integration of Specifications. Trans. SDPS 7(3): 39-48 (2003) - [j22]Jeremy W. Bryans, Howard Bowman, John Derrick:
Model checking stochastic automata. ACM Trans. Comput. Log. 4(4): 452-492 (2003) - [c42]John Derrick, Eerke A. Boiten:
Recent Advances in Refinement. Abstract State Machines 2003: 33-56 - [c41]David H. Akehurst, John Derrick, A. Gill Waters:
Addressing Computational Viewpoint Design. EDOC 2003: 147-158 - [c40]David H. Akehurst, John Derrick, A. Gill Waters:
Design and Verification of Distributed Multi-media Systems. FMOODS 2003: 176-292 - [c39]John Derrick, Heike Wehrheim:
Using Coupled Simulations in Non-atomic Refinement. ZB 2003: 127-147 - [c38]John Derrick:
Timed CSP and Object-Z. ZB 2003: 300-318 - 2002
- [j21]Behzad Bordbar, John Derrick, A. Gill Waters:
Using UML to specify QoS constraints in ODP. Comput. Networks 40(2): 279-304 (2002) - [j20]John Derrick, Eerke A. Boiten:
Combining Component Specifications in Object-Z and CSP. Formal Aspects Comput. 13(2): 111-127 (2002) - [j19]Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick:
A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. 21(2): 111-166 (2002) - [j18]Chris Taylor, Eerke A. Boiten, John Derrick:
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proc. Softw. 149(2): 57-63 (2002) - [c37]Thomas Arts, Clara Benac Earle, John Derrick:
Verifying Erlang Code: A Resource Locker Case-Study. FME 2002: 184-203 - [c36]Chris Taylor, Eerke A. Boiten, John Derrick:
Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76 - [c35]Graeme Smith, John Derrick:
Abstract Specification in Object-Z and CSP. ICFEM 2002: 108-119 - [c34]Behzad Bordbar, John Derrick, A. Gill Waters:
A UML Approach to the Design of Open Distributed Systems. ICFEM 2002: 561-572 - [c33]Ralph Miarka, John Derrick, Eerke A. Boiten:
Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225 - [c32]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
Preface. Refine 2002: 1-2 - [c31]Eerke A. Boiten, John Derrick:
Unifying concurrent and relational refinement. Refine 2002: 94-131 - [e1]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Electronic Notes in Theoretical Computer Science 70(3), Elsevier 2002 [contents] - 2001
- [j17]Howard Bowman, Jeremy W. Bryans, John Derrick:
Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001) - [j16]Graeme Smith, John Derrick:
Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. Formal Methods Syst. Des. 18(3): 249-284 (2001) - [c30]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
- [j15]Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen:
Viewpoint consistency in ODP. Comput. Networks 34(3): 503-537 (2000) - [j14]John Derrick, Sally Fincher:
Teaching Communication Protocols. Comput. Sci. Educ. 10(3): 195-202 (2000) - [j13]John Derrick:
A single complete refinement rule for Z. J. Log. Comput. 10(5): 663-675 (2000) - [j12]John Derrick:
Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review). Softw. Test. Verification Reliab. 10(3): 195 (2000) - [j11]Robert M. Hierons, John Derrick:
Editorial: special issue on specification-based testing. Softw. Test. Verification Reliab. 10(4): 201-202 (2000) - [j10]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) - [c29]John Derrick, Eerke A. Boiten:
Refinement of objects and operations in Object-Z. FMOODS 2000: 257-277 - [c28]Chris Taylor, John Derrick, Eerke A. Boiten:
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-188 - [c27]Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick:
Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193 - [c26]John Derrick, Graeme Smith:
Structural Refinement in Object-Z/CSP. IFM 2000: 194-213 - [c25]Eerke A. Boiten, John Derrick:
Liberating Data Refinement. MPC 2000: 144-166 - [c24]Ralph Miarka, Eerke A. Boiten, John Derrick:
Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303 - [i1]Jeremy W. Bryans, Howard Bowman, John Derrick:
Stochastic Model Checking for Multimedia. CoRR cs.MM/0002004 (2000)
1990 – 1999
- 1999
- [j9]John Derrick, Eerke A. Boiten:
Calculating upward and downward simulations of state-based specifications. Inf. Softw. Technol. 41(13): 917-923 (1999) - [j8]Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen:
Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999) - [j7]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) - [j6]John Derrick, Eerke A. Boiten:
Testing Refinements of State-based Formal Specifications. Softw. Test. Verification Reliab. 9(1): 27-50 (1999) - [c23]Maarten W. A. Steen, John Derrick:
Formalising ODP enterprise policies. EDOC 1999: 84-93 - [c22]John Derrick, Eerke A. Boiten:
Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496 - [c21]Howard Bowman, John Derrick:
A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS 1999: 213-239 - [c20]John Derrick, Eerke A. Boiten:
Specifying Component and Context Specification Using Promotion. IFM 1999: 293-312 - [c19]Jeremy W. Bryans, John Derrick:
Stochastic Specification and Verification. IWFM 1999 - 1998
- [j5]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Specifying and Refining Internal Operations in Z. Formal Aspects Comput. 10(2): 125-159 (1998) - [j4]Tommaso Bolognesi, John Derrick:
Constraint-oriented style for object-oriented formal specification. IEE Proc. Softw. 145(2-3): 61-70 (1998) - [c18]Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman:
Consistency of Partial Process Specifications. AMAST 1998: 248-262 - [c17]John Derrick, Eerke A. Boiten:
Testing Refinements by Refining Tests. ZUM 1998: 265-283 - 1997
- [c16]Howard Bowman, John Derrick:
Extending LOTOS with Time: A True Concurrency Perspective. ARTS 1997: 383-399 - [c15]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen:
Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664 - [c14]Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten:
Disjunction of LOTOS Specifications. FORTE 1997: 177-192 - [c13]Graeme Smith, John Derrick:
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. ICFEM 1997: 293-303 - [c12]G. P. A. Fernandes, John Derrick:
Formal Specification and Testing of a Management Architecture. Integrated Network Management 1997: 473-484 - [c11]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Weak Refinement in Z. ZUM 1997: 369-388 - 1996
- [j3]Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen:
Cross-viewpoint consistency in open distributed processing. Softw. Eng. J. 11(1): 44-57 (1996) - [c10]Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen:
Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306 - [c9]John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen:
Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516 - [c8]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen:
Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE 1996: 162-166 - 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]Maarten Steen, Howard Bowman, John Derrick:
Composition of LOTOS specifications. PSTV 1995: 87-102 - [c4]Howard Bowman, John Derrick:
Modelling distributed systems using Z. SAC 1995: 147-151 - [c3]Howard Bowman, John Derrick, Maarten Steen:
Viewpoints and Objects. ZUM 1995: 449-468 - 1994
- [c2]Howard Bowman, John Derrick:
Consistency and Conformance in ODP (Abstract). PODC 1994: 388 - [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
[p1] [e13] [b1] [j50] [j49] [j46] [e12] [j43] [j40] [c73] [e9] [j37] [j35] [j33] [c66] [c64] [c63] [e8] [c59] [c58] [e7] [e6] [c55] [e4] [c50] [c49] [j29] [c46] [c45] [e3] [e2] [j24] [j23] [c42] [j20] [j19] [j18] [c36] [c33] [c32] [c31] [e1] [j15] [c29] [c28] [c25] [c24] [j9] [j8] [j7] [j6] [c22] [c20] [j5] [c18] [c17] [c15] [c14] [c11] [c10] [c9] [c8]
Maarten W. A. Steen
aka: Maarten Steen
aka: Maarten Steen
Ramsay Taylor
aka: Ramsay G. Taylor
aka: Ramsay G. Taylor
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
