| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John Derrick, Graeme Smith |
Temporal-logic property preservation under Z refinement.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves |
Editorial. |
Formal Asp. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL: a translation-based model checker for Z. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Selected papers of the Refinement Workshop Turku (2008). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanically verified proof obligations for linearizability. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Building a refinement checker for Z |
Refine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten, Steve Reeves (eds.) |
Proceedings 15th International Refinement Workshop |
Refine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, John Derrick |
Formally based tool support for model checking Erlang applications. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Timed Refinement. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Verifying Linearisability with Potential Linearisation Points. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith |
Editorial. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Heike Wehrheim |
Model transformations across views. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Incompleteness of relational simulations in the blocking paradigm. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris |
Increasing Functional Coverage by Inductive Testing: A Case Study. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund |
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. |
TAIC PART |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Relational concurrent refinement part II: Internal operations and outputs. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs |
| 1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Steve Reeves |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | Qiang Guo, John Derrick, Neil Walkinshaw |
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
FBT, Structural Coverage, Testing, Transformation, Erlang |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, John Derrick |
Incrementally Discovering Testable Specifications from Program Executions. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Modelling Divergence in Relational Concurrent Refinement. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement |
| 1 | Neil Walkinshaw, John Derrick, Qiang Guo |
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Reverse engineering, model-based testing, Erlang |
| 1 | John Derrick, Eerke A. Boiten |
More Relational Concurrent Refinement: Traces and Partial Relations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith |
Using Model Checking to Automatically Find Retrieve Relations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, John Derrick, Csaba Hoch |
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang |
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
| 1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL - Building a Model Checker for Z. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
| 1 | John Derrick, Heike Wehrheim |
On using data abstractions for model checking refinements. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement with Internal Operations. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
FORTE |
2007 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Proving Linearizability Via Non-atomic Refinement. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
refinement, CSP, Object-Z, linearizability, concurrent access |
| 1 | Qiang Guo, John Derrick |
Verification of timed Erlang/OTP components using the process algebra mucrl. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
OTP, process algebra ?CRL, timeout events, verification, erlang |
| 1 | John Derrick, Mark Harman, Robert M. Hierons |
Guest Editorial. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, John Derrick |
Verifying data refinements using a model checker. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL |
| 1 | John Derrick, Siobhán North, Tony Simons |
Issues in Implementing a Model Checker for Z. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
| 1 | Richard Banach, John Derrick |
Filtering Retrenchments into Refinements. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Heike Wehrheim |
Model Transformations Incorporating Multiple Views. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Bolognesi, John Derrick |
Introduction. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith |
Guest Editorial Integrated Formal Methods. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, John Derrick |
Model Checking Downward Simulations. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Formal Program Development with Approximations. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Heike Wehrheim |
Non-atomic Refinement in Z and CSP. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Benac Earle, Lars-Åke Fredlund, John Derrick |
Verifying fault-tolerant Erlang programs. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
code verification, fault-tolerance, concurrency |
| 1 | Thomas Arts, Clara Benac Earle, John Derrick |
Development of a verified Erlang program for resource locking. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Functional programming, Erlang, Software verification |
| 1 | John Derrick |
Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith |
Linear Temporal Logic and Z Refinement. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith (eds.) |
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings |
IFM |
2004 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness |
| 1 | John Derrick, Graeme Smith |
Structural Refinement of Systems Specified in Object-Z and CSP. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
ensp, Integrated formal methods, Refinement, CSP, Object-Z |
| 1 | Jeremy Bryans, Howard Bowman, John Derrick |
Model checking stochastic automata. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
Distributed systems, model checking, stochastic automata |
| 1 | David H. Akehurst, John Derrick, A. Gill Waters |
Design and Verification of Distributed Multi-media Systems. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. Akehurst, John Derrick, A. Gill Waters |
Addressing Computational Viewpoint Design. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick |
Timed CSP and Object-Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Refinement, Object-Z, Timed CSP |
| 1 | John Derrick, Heike Wehrheim |
Using Coupled Simulations in Non-atomic Refinement. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Non-atomic refinement, coupled simulations, Z, action refinement |
| 1 | John Derrick, Eerke A. Boiten |
Recent Advances in Refinement. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Combining Component Specifications in Object-Z and CSP. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Components, Refinement, CSP, Viewpoints, LOTOS, Object-Z |
| 1 | John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Unifying concurrent and relational refinement. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris J. Taylor, Eerke A. Boiten, John Derrick |
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. |
IEE Proceedings - Software |
2002 |
DBLP BibTeX RDF |
|
| 1 | Behzad Bordbar, John Derrick, A. Gill Waters |
Using UML to specify QoS constraints in ODP. |
Computer Networks |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick |
A Formal Framework for Viewpoint Consistency. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris J. Taylor, Eerke A. Boiten, John Derrick |
Interpreting ODP Viewpoint Specification: Observations from a Case Study. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Behzad Bordbar, John Derrick, A. Gill Waters |
A UML Approach to the Design of Open Distributed Systems. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, John Derrick |
Abstract Specification in Object-Z and CSP. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Miarka, John Derrick, Eerke A. Boiten |
Handling Inconsistencies in Z Using Quasi-Classical Logic. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Clara Benac Earle, John Derrick |
Verifying Erlang Code: A Resource Locker Case-Study. |
FME |
2002 |
DBLP DOI BibTeX RDF |
Model checking, formal verification, process algebra, telecommunication, Erlang |
| 1 | Howard Bowman, Jeremy Bryans, John Derrick |
Analysis of a Multimedia Stream using Stochastic Process Algebra. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, John Derrick |
Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. |
Formal Methods in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James B. Cole, John Derrick, Zoran Milosevic, Kerry Raymond |
Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. |
POLICY |
2001 |
DBLP DOI BibTeX RDF |
ODP enterprise viewpoint, enterprise policies, formalising and refining policies, case study, delegation |
| 1 | Howard Bowman, John Derrick, Ed Brinksma |
Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick |
A single complete refinement rule for Z. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen |
Viewpoint consistency in ODP. |
Computer Networks |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, Howard Bowman, John Derrick |
Stochastic Model Checking for Multimedia |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | John Derrick |
Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review). |
Softw. Test., Verif. Reliab. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, John Derrick |
Editorial: special issue on specification-based testing. |
Softw. Test., Verif. Reliab. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Refinement of objects and operations in Object-Z. |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Chris J. Taylor, John Derrick, Eerke A. Boiten |
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith |
Structural Refinement in Object-Z/CSP. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick |
Specification and Analysis of Automata-Based Designs. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
model checking, Timed automata, stochastic automata |
| 1 | Ralph Miarka, Eerke A. Boiten, John Derrick |
Guards, Preconditions, and Refinement in Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Liberating Data Refinement. |
MPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen |
Strategies for Consistency Checking Based on Unification. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen |
Constructive Consistency Checking for Partial Specification in Z. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Testing Refinements of State-based Formal Specifications. |
Softw. Test., Verif. Reliab. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Calculating upward and downward simulations of state-based specifications. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Bowman, John Derrick |
A Junction between State Based and Behavioural Specification (Invited Talk). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Specifying Component and Context Specification Using Promotion. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Non-atomic Refinement in Z. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, John Derrick |
Stochastic Specification and Verification. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen |
Specifying and Refining Internal Operations in Z. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Bolognesi, John Derrick |
Constraint-oriented style for object-oriented formal specification. |
IEE Proceedings - Software |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman |
Consistency of Partial Process Specifications. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Testing Refinements by Refining Tests. |
ZUM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
Disjunction of LOTOS Specifications. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")