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 × Estonia
1 × Finland
1 × Germany
1 × India
1 × Italy
1 × Spain
2 × USA
2 × United Kingdom
Collaborated with:
K.Lano K.Androutsopoulos S.Hunt C.Hankin P.Malacaria M.Harman C.Mu L.Della Z.Li R.Feldt S.M.Poulding S.Yoo H.Dan R.M.Hierons L.Tratt D.Binkley N.Gold
Talks about:
analysi (3) machin (3) state (3) model (3) quantifi (2) abstract (2) softwar (2) reactiv (2) system (2) semant (2)

Person: David Clark

DBLP DBLP: Clark:David

Contributed to:

ICSE 20152015
ICSE 20142014
ICSE 20112011
FASE 20092009
QAPL 20092009
ICEIS ISAS v1 20082008
TOOLS Europe 20072007
IFM 20042004
QAPL 20042005
IFM 20022002
QAPL 20012001
FASE 20002000
SAS 20002000
TOOLS Pacific 19981998
PLILP 19931993

Wrote 15 papers:

ICSE-v2-2015-ClarkFPY #re-engineering
Information Transformation: An Underpinning Theory for Software Engineering (DC, RF, SMP, SY), pp. 599–602.
ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing
An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
ICSE-2011-AndroutsopoulosBCGHLL #modelling #strict
Model projection: simplifying models in response to restricting the environment (KA, DB, DC, NG, MH, KL, ZL), pp. 291–300.
FASE-2009-AndroutsopoulosCHLT #dependence #finite #state machine
Control Dependence for Extended Finite State Machines (KA, DC, MH, ZL, LT), pp. 216–230.
QAPL-2009-MuC #abstraction #data flow
An Interval-based Abstraction for Quantifying Information Flow (CM, DC), pp. 119–141.
ICEIS-ISAS1-2008-LanoC #behaviour #refinement #semantics #state machine
Semantics and Refinement of Behavior State Machines (KL, DC), pp. 42–49.
TOOLS-EUROPE-2007-LanoC #semantics #state machine
Direct Semantics of Extended State Machines (KL, DC), pp. 35–51.
IFM-2004-LanoCA #modelling #object-oriented #uml #verification
UML to B: Formal Verification of Object-Oriented Models (KL, DC, KA), pp. 187–206.
QAPL-2004-ClarkHM05 #quantifier
Quantified Interference for a While Language (DC, SH, PM), pp. 149–166.
IFM-2002-LanoCA #design #development #specification
From Implicit Specifications to Explicit Designs in Reactive System Development (KL, DC, KA), pp. 49–68.
QAPL-2001-ClarkHM #analysis
Quantitative Analysis of the Leakage of Confidential Data (DC, SH, PM), pp. 238–251.
FASE-2000-LanoAC #design #using
Structuring and Design of Reactive Systems Using RSDS and B (KL, KA, DC), pp. 97–111.
SAS-2000-ClarkHH #analysis #graph grammar #safety #strict
Safety of Strictness Analysis via Term Graph Rewriting (DC, CH, SH), pp. 95–114.
TOOLS-PACIFIC-1998-DellaC #framework #interface #persistent
From Interface to Persistence: A Framework for Business Oriented Applications (LD, DC), pp. 27–39.
PLILP-1993-ClarkH #graph
A Lattice of Abstract Graphs (DC, CH), pp. 318–331.

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.