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: Clark:David
Contributed to:
201520142011
2009
2009
2008
2007
20042005200220012000
20001998
1993Wrote 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.