David Clark

Citado por

	Total	Desde 2017
Citas	2282	936
Índice h	24	17
Índice i10	38	23

200

100

150

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202211 10 16 28 34 50 59 52 72 124 127 108 96 93 98 166 116 137 144 182 181 186 100

Acceso público

Ver todo

15 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Kelly AndroutsopoulosSenior Lecturer in Software Engineering, Middlesex UniversityDirección de correo verificada de mdx.ac.uk
Kevin LanoDept. of Informatics, King's College LondonDirección de correo verificada de kcl.ac.uk
Mark HarmanResearch Scientist at Facebook & Professor of Software Engineering at UCLDirección de correo verificada de ucl.ac.uk
Sebastian HuntDepartment of Computer Science, City University LondonDirección de correo verificada de soi.city.ac.uk
Pasquale MalacariaProfessor, Queen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Héctor D. MenéndezKing's College LondonDirección de correo verificada de kcl.ac.uk
Robert HieronsProfessor, The University of SheffieldDirección de correo verificada de sheffield.ac.uk
Shin YooKorea Advanced Institute of Science and TechnologyDirección de correo verificada de kaist.ac.kr
Earl T. BarrProfessor, University College LondonDirección de correo verificada de ucl.ac.uk
Jens KrinkeAssociate Professor in Computer Science, University College LondonDirección de correo verificada de ucl.ac.uk
Chris HankinProfessor of Computing Science, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Paolo TonellaUniversità della Svizzera italiana (USI)Dirección de correo verificada de usi.ch
Laurence TrattSoftware Development Team, Informatics, King's College LondonDirección de correo verificada de tratt.net
Zheng LiProfessor, Beijing University of Chemical TechnologyDirección de correo verificada de ieee.org
Gunel JahangirovaUniversità della Svizzera Italiana (USI)Dirección de correo verificada de usi.ch
Chaiyong RagkhitwetsagulLecturer, Faculty of ICT, Mahidol UniversityDirección de correo verificada de mahidol.edu
Dave BinkleyLoyola University MarylandDirección de correo verificada de cs.loyola.edu
Simon PouldingAssistant Professor, Software Engineering Research Lab, Blekinge Institute of TechnologyDirección de correo verificada de bth.se
Robert FeldtProfessor of Software Engineering, Chalmers University & Blekinge Institute of TechnologyDirección de correo verificada de chalmers.se
Alejandro MartínPhD in Computer Science, Assistant Professor, Universidad Politécnica de MadridDirección de correo verificada de upm.es

Seguir

David Clark

Computer Science, University College London

Dirección de correo verificada de ucl.ac.uk - Página principal

Program Analysis Programming Languages Security Software Engineering


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	234	2007
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	214	2002
Quantitative information flow, relations and polymorphic types D Clark, S Hunt, P Malacaria Journal of Logic and Computation 15 (2), 181-199, 2005	175	2005
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), 1-29, 2013	111	2013
Quantified interference for a while language D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 112, 149-166, 2005	111	2005
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	106	2016
UML to B: Formal verification of object-oriented models K Lano, D Clark, K Androutsopoulos International Conference on Integrated Formal Methods, 187-206, 2004	105	2004
A comparison of code similarity analysers C Ragkhitwetsagul, J Krinke, D Clark Empirical Software Engineering 23 (4), 2464-2519, 2018	89	2018
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	73	2014
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	73	2009
Non-interference for deterministic interactive programs D Clark, S Hunt International Workshop on Formal Aspects in Security and Trust, 50-66, 2008	66	2008
Information flow for Algol-like languages D Clark, C Hankin, S Hunt Computer Languages, Systems & Structures 28 (1), 3-28, 2002	63	2002
State-based model slicing: A survey K Androutsopoulos, D Clark, M Harman, J Krinke, L Tratt ACM Computing Surveys (CSUR) 45 (4), 1-36, 2013	59	2013
Picking on the family: Disrupting android malware triage by forcing misclassification A Calleja, A Martín, HD Menéndez, J Tapiador, D Clark Expert Systems with Applications 95, 113-126, 2018	44	2018
Test oracle assessment and improvement G Jahangirova, D Clark, M Harman, P Tonella Proceedings of the 25th International Symposium on Software Testing and …, 2016	43	2016
Similarity of source code in the presence of pervasive modifications C Ragkhitwetsagul, J Krinke, D Clark 2016 IEEE 16th international working conference on source code analysis and …, 2016	40	2016
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	38	2000
Squeeziness: An information theoretic measure for avoiding fault masking D Clark, RM Hierons Information Processing Letters 112 (8-9), 335-340, 2012	37	2012
Quantitative analysis of secure information flow via probabilistic semantics C Mu, D Clark 2009 International Conference on Availability, Reliability and Security, 49-57, 2009	37	2009
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	37	2002

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir a este autor

Citado por

Coautores