Concepedia

Dave Clarke

DC

Statistics

Publications

37

Citations

1.6K

H-Index

23

Active since

2002

Affiliations

KU Leuven(Current)

Centrum Wiskunde & Informatica

Victoria University of Wellington

Utrecht University

iMinds

Dave Clarke is an author at KU Leuven specializing in computing, computer science, and programming languages.

Publications per year

2002–2015

37

Publications

37

Ownership, encapsulation and the disjointness of type and effect

Dave Clarke, Sophia Drossopoulou · 2002 · 259 citations · Full text

Computing, Computer Science, Formal Methods +15

Software diversity: state of the art and perspectives

Ina Schaefer, Rick Rabiser, Dave Clarke et al. · International Journal on Software Tools for Technology Transfer · 2012 · 160 citations · Full text

Computing, Computer Science, Information Technology +11

Abstract delta modeling

Dave Clarke, Michiel Helvensteijn, Ina Schaefer · 2010 · 134 citations · Full text

Engineering, Computer Engineering, Model-based Systems Engineering +13

Secure Compilation to Protected Module Architectures

Marco Patrignani, Pieter Agten, Raoul Strackx et al. · ACM Transactions on Programming Languages and Systems · 2015 · 93 citations · Full text

Computing, Computer Engineering, Computer Science +13

Connector colouring I: Synchronisation and context dependency

Dave Clarke, David de Oliveira Costa, Farhad Arbab · Science of Computer Programming · 2007 · 88 citations · Full text

Computing, Computer Systems, Interaction Design +1

1–5 of 37