publications

 Publications


Papers available on this site are preliminary versions of published papers offered in the spirit of making research available in a timely way. The papers here may contain errors and omissions but the technical content should be the same as the published versions.



C. Ragkhitwetsagul, J. Krinke and D. Clark
Comparison of Code Similarity Analysers. UCL CS Research note RN/17/04. 2017. [PDF]

S. Bhattacharya, H. Menendez, E. Barr and D. Clark
iTect: Scalable Information Theoretic Similarity for Malware Detection. CoRR abs/1609.02404 (2016) [PDF]

G. Jahangirova, D. Clark, M. Harman and P. Tonella
Test oracle assessment and improvement. ISSTA 2016. [PDF]

C. Ragkhitwetsagul, J. Krinke and D. Clark
Similarity of Source Code in the Presence of Pervasive Modifications. SCAM 2016. [PDF]

R. Feldt, S. Poulding, D. Clark and S. Yoo
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. ICST 2016, [PDF]

N. Alshahwan, E. Barr, D. Clark and G. Danezis
Detecting Malware with Information Complexity. (preprint) [PDF]

M. Boreale, D. Clark, and D. Gorla
A Semiring-based Trace Semantics for Processes with Applications to Information Leakage. Mathematical Structures in Computer Science, vol. 25, pp 259-291. 2015. [PDF]

K. Androutsopoulos, D. Clark, H. Dan, R. Hierons, and M. Harman
An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing. Proceedings of the 36th International Conference on Software Engineering (ICSE), 2014. [PDF]

K. Androutsopoulos, D. Clark, H. Dan, R. Hierons, and M. Harman
An Analysis of the Relationship between Information Squeeziness and Failed Error Propagation in Software Testing. Research Note RN 13/18. Department of Computer Science, University College London. October 10, 2013. [PDF]

K. Androutsopoulos, D. Clark, M. Harman, R. Hierons, Z. Li and L. Tratt
Amorphous Slicing of Extended Finite State Machines. IEE Transactions on Software Engineering. Volume 39, Issue 7. July 2013. [PDF]

K. Androutsopoulos, D. Clark, M. Harman, J. Krinke and L. Tratt
State-Based Model Slicing: A Survey. ACM Computing Surveys. vol. 45 no. 19. August 2013. [PDF]

S.Yoo, M. Harman and D. Clark
Fault Localization Prioritization: Comparing Information Theoretic and Coverage Based Approaches. ACM Transactions on Software Engineering and Methodology. vol. 22(3), no. 19. 2013. [PDF]

D. Clark and R. Hierons
Squeeziness: A Information Theoretic Measure for Avoiding Fault Masking. Information Processing Letters, Volume 112, Issues 8 -- 9, 30 April 2012, Pages 335 -- 340. [PDF]

Chunyan Mu and D. Clark.
A quantitative analyser for programs in a core imperative language The Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST), 2011. [PDF]

K. Androutsopoulos, D. Binkley, D. Clark, N. Gold, M. Harman, K. Lano, and Z. Li.
Model projection: Simplifying models in response to restricting the environment. In Proceedings of the 33rd International Conference on Software Engineering (ICSE). ACM/IEEE, 2011. [PDF]

S. Yoo, M. Harman, and D. Clark. Flint:
Fault localisation using information theory. Technical Report RN/11/09, Department of Computer Science, University College London, March 2011. [PDF]

M. Boreale, D. Clark, and D. Gorla.
A semiring-based trace semantics for processes with applications to information leakage analysis. In Proceedings of the 6th IFIP TC 1/WG 2.2 International Conference TCS 2010, Part of WCC2010 Proceedings. Springer, 2010. [PDF]

T. Amtoft, K. Androutsopoulos, D. Clark, M. Harman, and Z. Li.
An alternative characterization of weak order dependence. Information Processing Letters., 110:939– 943, 2010. [PDF]

K. Alzarouni, D. Clark and L. Tratt
, Semantic Malware Detection, Technical report TR-10-03, Department of Computer Science, King’s College London, 2010 (Bibtex, Paper)


C. Mu and D. Clark.
Automatically Computing Information Flow Quantity via Probabilistic Semantics. Journal of Information Systems Security (JISSec), 5(4):47-85, 2009. [PDF]

C. Mu and D. Clark.
An Abstraction Quantifying Information Flow over Probabilistic Semantics. Proccedings of the Workshop on Quantitative Aspects of Programming Languages (QAPL), ENTCS 253(3):119-141, 2009.  [PDF]

K. Androutsopoulos, D. Clark, M. Harman, Z. Li and L. Tratt.
Control Dependence for Extended Finite State Machines. Fundamental Approaches to Software Engineering (FASE), 2009. LNCS 5503. [PDF] Won the ETAPS 2009 award for best Software Science paper.

C. Mu and D. Clark. Quantitative analysis of secure information flow via probabilistic semantics. Proceedings of the Conference on Availability, Reliability and Security (ARES) 2009. [PDF]

D. Clark and S. Hunt. Noninterference for Deterministic Interactive Programs. Foundational Aspects of Security and Trust workshop (FAST) 2008. LNCS 5491. [PDF]

K. Lano and D. Clark. Model Transformation Specification and Refinement. QSIC 2008.

K. Lano and D. Clark. Semantics and Refinement of Behaviour State Machines. Proceedings of 10th International Conference on Enterprise Information Systems. 2008. [PDF]

K. Lano and D. Clark.
Direct Semantics of Extended State Machines. TOOLS 2007 Special Issue of the Journal of Object Technology. ETH Swiss Federal Institute of Technology. 6(9). 2007.


D. Clark, S. Danicic, and R. Giacobazzi (Eds.)
, Special Issue of the Journal of Logic and Algebraic Programming on Programming Language Interference and Dependence. Elsevier. 72(2). 2007

D. Clark, S. Hunt, and P. Malacaria. A Static Analysis for Quantifying the Information Flow in a Simple Imperative Programming Language. The Journal of Computer Security, 15(3). 2007.

K. Lano, K. Androutsopoulos, and D. Clark. Concurrency and Real-Time Specifications in UML. Proceedings of the International Workshop on Modelling and Analysis of Real-Time and Embedded Systems (MARTES) at MoDELS 2006. Universitet i Oslo, Institut for Informatikk Research Report. 2006.

A. Ong, D. Clark, and J. Kim. A Hybridized AIS for Anomaly Detection: Combining Negative Selection and Association Rules (Extended Abstract).
Proceedings of AISB 2006. Workshop on Artificial Immune Systems and Immune System Modelling. Bristol, U.K. 3 - 4 April 2006.

D. Clark, S. Hunt, and P. Malacaria. Quantitative Information Flow, Relations and Polymorphic Types. Journal of Logic and Computation, Special Issue on Lambda Calculus, Type Theory and Natural Language, 18(2): 181 - 199, 2005.

K. Lano, K. Androutsopoulos and D. Clark. Refinement Patterns for UML. Electronic Notes in Theoretical Computer Science, 137(2): 131 - 149, 2005.

D. Clark, S. Hunt and P. Malacaria. Quantified Interference for a While LanguageElectronic Notes in Theoretical Computer Science, Volume 112, 2 January 2005, Pages 149-166. Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)

D. Clark, S. Hunt and P. Malacaria. Quantified Interference: Information Theory and Information Flow. 2004 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS
Workshop on Issues in the Theory of Security (WITS'04), April 3 - 4, 2004, Barcelona, Spain.

K. Lano, D. Clark and K. Androutsopoulos. UML to B: Formal Verification of Object-oriented Models. Fourth International Conference on Integrated Formal Methods 4-7 April 2004 in Canterbury, Kent, England. Springer Verlag. LNCS 2999, 2004.

D. Clark, S. Hunt and P. Malacaria. Quantified Interference for a While Language (extended version). Technical Report TR-03-07, Department of Computer Science, King's College London, October 2003.

K. Lano, K. Androutsopoulos and D. Clark. Formal Specification and verification of railway systems using UML.  Proceedings of Formal Methods for Railway Operation and Control Systems Workshop, Budapest, May 2003.  ISBN 963 9457 450, 2003.

D. Clark, S. Hunt and P. Malacaria. Quantitative Analysis of the Leakage of Confidential Data. Proceedings of Quantitative Aspects of Programming Languages, Sept. 2001 (QAPL'01), Electronic Notes in Theoretical Computer Science, volume 59, issue 3, November 2002, Elsevier.

D. Clark, C. Hankin and S. Hunt. Information Flow for ALGOL-like Languages. Computer Languages (Special Issue: Computer Languages and Security), volume 28 (1), pages 3 -- 28, April 2002. Ed. A. Cortesi and R. Focardi. Elsevier.

D. Clark, S. Hunt and P. Malacaria. Estimating Leakage of Confidential Data in a Distributed System. Technical Report. 2002.

K. Lano, D. Clark and K. Androutsopoulos. Formalising Inter-model Consistency of the UML. Workshop on Consistency Problems in UML-based Software Development, Satellite of UML 2002, September 30 - October 4, 2002, Dresden, Germany. Blekinge Institute of Technology Research Report 2002:06

K. Lano, D. Clark and K. Androutsopoulos. Safety and Security Analysis of Object Oriented Models. 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2002), Catania, Italy, September 2002, Springer Verlag, LNCS 2434.

K. Lano, D. Clark and K. Androutsopoulos. From Implicit Specifications to Explicit Designs in Reactive System Development. Third International Conference on Integrated Formal Methods (IFM 2002), Turku, Finland, May 2002, Springer Verlag, LNCS 2335.

K. Lano, D. Clark and K. Androutsopoulos. RSDS: A subset of UML with Precise Semantics. Fourth Rigorous Object Oriented Methods Workshop (ROOM4), King's College London, March 21-22, 2002.

K. Lano, K. Androutsopoulos, D. Clark and P. Kan. Design and Verification of Automation Systems using RSDS. 10th IFAC Symposium on Information Control Problems in Manufacturing, Vienna University of Technology, Vienna, Sept. 20-22 2001.

D. Clark, C. Hankin, S. Hunt and Rajagopal Nagarajan. Possibilistic Information Flow is Safe for Probabilistic Non-Interference. (extended abstract) WITS2000. Available as postscript.

K. Lano, D. Clark, K. Androutsopoulos and P. Kan. Invariant-based Synthesis of Fault-tolerant Systems. FTRTFT, Pune, India, 2000. Available as postscript.

K. Lano, K. Androutsopoulos, and D. Clark. Structuring and Design of reactive Systems using RSDS and B. In the proceedings of FASE, ETAPS 2000. Available as postscript.


D. Clark, C. Hankin and S. Hunt. Safety of Strictness Analysis via Term Graph Rewriting. In the proceedings of the Static Analysis Symposium 2000. Available as postscript.

K. Lano and D. Clark. Demonstrating Preservation of Safety Properties in Reactive Control System Development Proceedings of the Fourth Australian Workshop on Safety Critical Systems and Software, Canberra, 26 November 1999. Available as postscript.

D. Clark. Term Graph Rewriting and Event Structures. PhD thesis, Imperial College 1996. Available as postscript.

D. Clark and R. Kennaway. Event Structures and Non-orthogonal Term Graph Rewriting. In: Mathematical Structures in Computer Science (1996) vol. 6 pp. 545-578 Available as postscript.

D. Clark and R. Kennaway. Some Properties of Non-Orthogonal Term Graph Rewriting. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95), Volterra (Pisa, Italy), August 28 - September 1, 1995, Electronic Notes in Theoretical Computer Science, Elsevier. Available at Elsevier's ENTCS archives.

D. Clark, L. Errington, and C. Hankin. Static Analysis of Value-Passing Process Calculi (Extended Abstract). In: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods (C. Hankin, I. Mackie, and R. Nagarajan, eds.), Imperial College Press, September 1995. Available as postscript.

D. Clark and C. Hankin. A Lattice of Abstract Graphs. In: Programming Language Implementation and Logic Programming, Talinn, Estonia (M. Bruynooghe and J. Penjam eds.), LNCS 714, Springer-Verlag, 1993. Available as postscript.



Last modified: Wed Apr 24 14:27:15 BST 2013