| 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 | 553 | 2009 |
| Refinement in Object-Z J Derrick, E Boiten Refinement in Z and Object-Z: Foundations and Advanced Applications, 359-375, 2001 | 429 | 2001 |
| Inferring extended finite state machine models from software executions N Walkinshaw, R Taylor, J Derrick Empirical software engineering 21 (3), 811-853, 2016 | 247 | 2016 |
| Specification, refinement and verification of concurrent systems—an integration of Object-Z and CSP G Smith, J Derrick Formal Methods in System Design 18 (3), 249-284, 2001 | 108 | 2001 |
| A formal framework for viewpoint consistency H Bowman, MWA Steen, EA Boiten, J Derrick Formal Methods in System Design 21 (2), 111-166, 2002 | 81 | 2002 |
| 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 | 80 | 2011 |
| Verifying linearisability: A comparative survey B Dongol, J Derrick ACM Computing Surveys (CSUR) 48 (2), 1-43, 2015 | 78 | 2015 |
| 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 | 75 | 1997 |
| Viewpoint consistency in ODP E Boiten, H Bowman, J Derrick, P Linington, M Steen Computer Networks 34 (3), 503-537, 2000 | 71 | 2000 |
| FDTs for ODP H Bowman, J Derrick, PF Linington, M Steen Computer Standards and Interfaces 17 (5-6), 457-479, 1995 | 70 | 1995 |
| Increasing functional coverage by inductive testing: A case study N Walkinshaw, K Bogdanov, J Derrick, J Paris IFIP International Conference on Testing Software and Systems, 126-141, 2010 | 68 | 2010 |
| How to prove algorithms linearisable G Schellhorn, H Wehrheim, J Derrick International Conference on Computer Aided Verification, 243-259, 2012 | 67 | 2012 |
| 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 | 65 | 1996 |
| Iterative refinement of reverse-engineered models by model-based testing N Walkinshaw, J Derrick, Q Guo International Symposium on Formal Methods, 305-320, 2009 | 64 | 2009 |
| Author obliged to submit paper before 4 july: Policies in an enterprise specification J Cole, J Derrick, Z Milosevic, K Raymond International Workshop on Policies for Distributed Systems and Networks, 1-17, 2001 | 61 | 2001 |
| Verifying linearisability with potential linearisation points J Derrick, G Schellhorn, H Wehrheim International Symposium on Formal Methods, 323-337, 2011 | 60 | 2011 |
| A sound and complete proof technique for linearizability of concurrent data structures G Schellhorn, J Derrick, H Wehrheim ACM Transactions on Computational Logic (TOCL) 15 (4), 1-37, 2014 | 59 | 2014 |
| Relational concurrent refinement J Derrick, E Boiten Formal Aspects of Computing 15 (2), 182-214, 2003 | 57 | 2003 |
| Constructive consistency checking for partial specification in Z E Boiten, J Derrick, H Bowman, M Steen Science of Computer Programming 35 (1), 29-75, 1999 | 57 | 1999 |
| IO-refinement in Z EA Boiten, J Derrick Springer Verlag, 1998 | 56 | 1998 |
Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKVerified email at dmu.ac.uk
