David Clark

Citado por

	Total	Desde 2018
Citas	2448	958
Índice h	25	15
Índice i10	40	24

200

100

150

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 7 17 29 36 55 60 47 74 118 131 104 92 104 97 166 122 140 140 182 187 187 198 58

Acceso público

Ver todo

16 artículos

0 artículos

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
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLDirección de correo verificada de ucl.ac.uk
Kevin LanoDept. of Informatics, King's College LondonDirección de correo verificada de kcl.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
Earl T. BarrProfessor, University College LondonDirección de correo verificada de ucl.ac.uk
Robert HieronsProfessor, The University of SheffieldDirección de correo verificada de sheffield.ac.uk
Jens KrinkeAssociate Professor in Computer Science, University College LondonDirección de correo verificada de ucl.ac.uk
Shin YooKorea Advanced Institute of Science and TechnologyDirección de correo verificada de kaist.ac.kr
Paolo TonellaUniversità della Svizzera italiana (USI)Dirección de correo verificada de usi.ch
Chris HankinProfessor of Computing Science, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Laurence TrattSoftware Development Team, Informatics, King's College LondonDirección de correo verificada de tratt.net
Gunel JahangirovaKing's College LondonDirección de correo verificada de kcl.ac.uk
Zheng LiProfessor, Beijing University of Chemical TechnologyDirección de correo verificada de ieee.org
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
Nicolas GoldAssociate Professor in Computer Science, University College LondonDirección de correo verificada de ucl.ac.uk

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	240	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	224	2002
Quantitative information flow, relations and polymorphic types D Clark, S Hunt, P Malacaria Logic and Computation 18 (2), 181-199, 2005	181	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	125	2016
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	120	2013
Quantified interference for a while language D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 112, 149-166, 2005	113	2005
A comparison of code similarity analysers C Ragkhitwetsagul, J Krinke, D Clark Empirical Software Engineering 23, 2464-2519, 2018	110	2018
UML to B: Formal verification of object-oriented models K Lano, D Clark, K Androutsopoulos Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004	105	2004
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	78	2014
Control dependence for extended finite state machines. K Androutsopoulos, D Clark, M Harman, Z Li, L Tratt FASE, 216-230, 2009	74	2009
Non-interference for deterministic interactive programs D Clark, S Hunt Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 …, 2009	67	2009
Information flow for Algol-like languages D Clark, C Hankin, S Hunt Computer Languages, Systems & Structures 28 (1), 3-28, 2002	66	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	61	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	55	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	48	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	43	2016
Squeeziness: An information theoretic measure for avoiding fault masking D Clark, RM Hierons Information Processing Letters 112 (8-9), 335-340, 2012	41	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	38	2009
Safety and security analysis of object-oriented models K Lano, D Clark, K Androutsopoulos Computer Safety, Reliability and Security: 21st International Conference …, 2002	38	2002
Structuring and Design of Reactive Systems using RSDS and B K Lano, K Androutsopoulos, D Clark Fundamental Approaches to Software Engineering: Third International …, 2000	38	2000

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

Citado por

Coautores