David Clark
TitleCited byYear
A static analysis for quantifying information flow in a simple imperative language
D Clark, S Hunt, P Malacaria
Journal of Computer Security 15 (3), 321-371, 2007
2072007
Quantitative analysis of the leakage of confidential data
D Clark, S Hunt, P Malacaria
Electronic Notes in Theoretical Computer Science 59 (3), 238-251, 2002
1862002
Quantitative information flow, relations and polymorphic types
D Clark, S Hunt, P Malacaria
Journal of Logic and Computation 15 (2), 181-199, 2005
1542005
Quantified interference for a while language
D Clark, S Hunt, P Malacaria
Electronic Notes in Theoretical Computer Science 112, 149-166, 2005
1002005
UML to B: Formal verification of object-oriented models
K Lano, D Clark, K Androutsopoulos
International Conference on Integrated Formal Methods, 187-206, 2004
962004
Fault localization prioritization: Comparing information-theoretic and coverage-based approaches
S Yoo, M Harman, D Clark
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (3), 19, 2013
782013
Control dependence for extended finite state machines
K Androutsopoulos, D Clark, M Harman, Z Li, L Tratt
International Conference on Fundamental Approaches to Software Engineering …, 2009
672009
Information flow for Algol-like languages
D Clark, C Hankin, S Hunt
Computer Languages, Systems & Structures 28 (1), 3-28, 2002
622002
Non-interference for deterministic interactive programs
D Clark, S Hunt
International Workshop on Formal Aspects in Security and Trust, 50-66, 2008
562008
Test set diameter: Quantifying the diversity of sets of test cases
R Feldt, S Poulding, D Clark, S Yoo
2016 IEEE International Conference on Software Testing, Verification and …, 2016
552016
State-based model slicing: A survey
K Androutsopoulos, D Clark, M Harman, J Krinke, L Tratt
ACM Computing Surveys (CSUR) 45 (4), 53, 2013
452013
An analysis of the relationship between conditional entropy and failed error propagation in software testing
K Androutsopoulos, D Clark, H Dan, RM Hierons, M Harman
Proceedings of the 36th international conference on software engineering …, 2014
392014
Structuring and Design of Reactive Systems using RSDS and B
K Lano, K Androutsopoulos, D Clark
International Conference on Fundamental Approaches to Software Engineering …, 2000
382000
Quantitative analysis of secure information flow via probabilistic semantics
C Mu, D Clark
2009 International Conference on Availability, Reliability and Security, 49-57, 2009
352009
Model projection: simplifying models in response to restricting the environment
K Androutsopoulos, D Binkley, D Clark, N Gold, M Harman, K Lano, Z Li
Proceedings of the 33rd International Conference on Software Engineering …, 2011
312011
Safety and security analysis of object-oriented models
K Lano, D Clark, K Androutsopoulos
International Conference on Computer Safety, Reliability, and Security, 82-93, 2002
282002
An interval-based abstraction for quantifying information flow
C Mu, D Clark
Electronic Notes in Theoretical Computer Science 253 (3), 119-141, 2009
27*2009
Amorphous slicing of extended finite state machines
K Androutsopoulos, D Clark, M Harman, RM Hierons, Z Li, L Tratt
IEEE Transactions on Software Engineering 39 (7), 892-909, 2012
252012
Model transformation specification and verification
K Lano, D Clark
2008 The Eighth International Conference on Quality Software, 45-54, 2008
252008
Invariant-based synthesis of fault-tolerant systems
K Lano, D Clark, K Androutsopoulos, P Kan
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
232000
The system can't perform the operation now. Try again later.
Articles 1–20