BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Brazil
1 × Czech Republic
1 × Finland
1 × France
1 × India
1 × Ireland
1 × Italy
1 × Norway
1 × Singapore
1 × USA
2 × Denmark
2 × The Netherlands
3 × United Kingdom
4 × Germany
Collaborated with:
E.A.Boiten G.Smith G.Schellhorn H.Wehrheim H.Bowman N.Walkinshaw B.Dongol R.Taylor K.Bogdanov Q.Guo R.Banach M.W.A.Steen M.Steen O.Travkin D.H.Akehurst A.G.Waters T.Arts C.B.Earle L.Groves M.Hall J.Paris J.Bryans L.Blair B.Tofan
Talks about:
refin (7) model (6) verifi (5) lineariz (3) linearis (3) consist (3) specif (3) erlang (3) studi (3) infer (3)

Person: John Derrick

DBLP DBLP: Derrick:John

Facilitated 2 volumes:

IFM 2012Ed
IFM 2004Ed

Contributed to:

ECOOP 20152015
FM 20152015
FM 20142014
IFM 20142014
IFM 20132013
WCRE 20132013
CAV 20122012
ICTSS 20122012
FM 20112011
ICTSS 20102010
FM 20092009
IFM 20092009
TestCom/FATES 20092009
IFM 20072007
SEFM 20062006
EDOC 20032003
FME 20022002
IFM 20002000
EDOC 19991999
World Congress on Formal Methods 19991999
IFM 19991999
FME 19971997
FME 19961996
SAC 19951995

Wrote 26 papers:

ECOOP-2015-DongolDGS #architecture #concurrent #correctness #manycore
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures (BD, JD, LG, GS), pp. 470–494.
FM-2015-DerrickDSTW #transaction #verification
Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.
FM-2015-DerrickS #correctness #framework #memory management #modelling
A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
FM-2014-DerrickDSTTW #consistency #verification
Quiescent Consistency: Defining and Verifying Relaxed Linearizability (JD, BD, GS, BT, OT, HW), pp. 200–214.
IFM-2014-DerrickSD #architecture #verification
Verifying Linearizability on TSO Architectures (JD, GS, BD), pp. 341–356.
IFM-2013-TaylorBD #automation #behaviour #erlang
Automatic Inference of Erlang Module Behaviour (RT, KB, JD), pp. 253–267.
WCRE-2013-WalkinshawTD #finite #modelling #state machine
Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.
CAV-2012-SchellhornWD #algorithm #how
How to Prove Algorithms Linearisable (GS, HW, JD), pp. 243–259.
ICTSS-2012-TaylorHBD #behaviour #testing #using
Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.
FM-2011-DerrickSW #verification
Verifying Linearisability with Potential Linearisation Points (JD, GS, HW), pp. 323–337.
ICTSS-2010-WalkinshawBDP #case study #functional #induction #testing
Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.
FM-2009-WalkinshawDG #modelling #refinement #testing
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing (NW, JD, QG), pp. 305–320.
IFM-2009-BoitenD #concurrent #modelling #refinement #relational
Modelling Divergence in Relational Concurrent Refinement (EAB, JD), pp. 183–199.
TestCom-FATES-2009-GuoDW #erlang #source code #testing
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.
IFM-2007-DerrickSW #proving #refinement
Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.
SEFM-2006-BanachD
Filtering Retrenchments into Refinements (RB, JD), pp. 60–69.
EDOC-2003-AkehurstDW #design
Addressing Computational Viewpoint Design (DHA, JD, AGW), pp. 147–158.
FME-2002-ArtsED #case study #erlang #verification
Verifying Erlang Code: A Resource Locker Case-Study (TA, CBE, JD), pp. 184–203.
IFM-2000-BryansBBD #analysis #design #specification
Specification and Analysis of Automata-Based Designs (JB, LB, HB, JD), pp. 176–193.
IFM-2000-DerrickS #csp #refinement
Structural Refinement in Object-Z/CSP (JD, GS), pp. 194–213.
EDOC-1999-SteenD #enterprise #formal method #policy
Formalising ODP enterprise policies (MWAS, JD), pp. 84–93.
FM-v2-1999-DerrickB #refinement
Non-atomic Refinement in Z (JD, EAB), pp. 1477–1496.
IFM-1999-DerrickB #component #specification #using
Specifying Component and Context Specification Using Promotion (JD, EAB), pp. 293–312.
FME-1997-BoitenBDS #case study #consistency
Viewpoint Consistency in Z and LOTOS: A Case Study (EAB, HB, JD, MS), pp. 644–664.
FME-1996-BoitenDBS #consistency #refinement #specification
Consistency and Refinement for Partial Specification in Z (EAB, JD, HB, MS), pp. 287–306.
SAC-1995-BowmanD #distributed #modelling #using
Modelling distributed systems using Z (HB, JD), pp. 147–151.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.