Follow
John Derrick
Title
Cited by
Cited by
Year
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009
5182009
Refinement in Object-Z
J Derrick, E Boiten, J Derrick, E Boiten
Refinement in Z and Object-Z: Foundations and Advanced Applications, 359-375, 2001
4202001
Inferring extended finite state machine models from software executions
N Walkinshaw, R Taylor, J Derrick
Empirical Software Engineering 21, 811-853, 2016
2172016
Specification, refinement and verification of concurrent systems—an integration of Object-Z and CSP
G Smith, J Derrick
Formal Methods in System Design 18, 249-284, 2001
1072001
A formal framework for viewpoint consistency
H Bowman, MWA Steen, EA Boiten, J Derrick
Formal Methods in System Design 21, 111-166, 2002
772002
Refinement and verification of concurrent systems specified in Object-Z and CSP
G Smith, J Derrick
First IEEE international conference on Formal engineering methods, 293-302, 1997
771997
Mechanically verified proof obligations for linearizability
J Derrick, G Schellhorn, H Wehrheim
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-43, 2011
752011
Viewpoint consistency in ODP
E Boiten, H Bowman, J Derrick, P Linington, M Steen
Computer Networks 34 (3), 503-537, 2000
722000
FDTs for ODP
H Bowman, J Derrick, PF Linington, M Steen
Computer Standards and Interfaces 17 (5-6), 457-479, 1995
711995
How to prove algorithms linearisable
G Schellhorn, H Wehrheim, J Derrick
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
652012
Viewpoint consistency in ODP, a general interpretation
H Bowman, EA Boiten, J Derrick, MWA Steen
Formal methods for open object-based distributed systems, 189-204, 1996
641996
Iterative refinement of reverse-engineered models by model-based testing
N Walkinshaw, J Derrick, Q Guo
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
622009
Verifying linearisability: A comparative survey
B Dongol, J Derrick
ACM Computing Surveys (CSUR) 48 (2), 1-43, 2015
612015
Increasing functional coverage by inductive testing: A case study
N Walkinshaw, K Bogdanov, J Derrick, J Paris
Testing Software and Systems: 22nd IFIP WG 6.1 International Conference …, 2010
612010
Author obliged to submit paper before 4 july: Policies in an enterprise specification
J Cole, J Derrick, Z Milosevic, K Raymond
Policies for Distributed Systems and Networks: International Workshop …, 2001
612001
ODP enterprise viewpoint specification
MWA Steen, J Derrick
Computer Standards & Interfaces 22 (3), 165-189, 2000
592000
Verifying linearisability with potential linearisation points
J Derrick, G Schellhorn, H Wehrheim
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
582011
IO-refinement in Z
EA Boiten, J Derrick
Springer Verlag, 1998
581998
Relational concurrent refinement
J Derrick, E Boiten
Formal Aspects of Computing 15, 182-214, 2003
562003
Formalising ODP enterprise policies
MWA Steen, J Derrick
Proceedings Third International Enterprise Distributed Object Computing …, 1999
561999
The system can't perform the operation now. Try again later.
Articles 1–20