< Back to previous page
Researcher
Dave Clarke
- Disciplines:Applied mathematics in specific fields, Computer architecture and networks, Distributed computing, Information sciences, Information systems, Programming languages, Scientific computing, Theoretical computer science, Visual computing, Other information and computing sciences
Affiliations
- Informatics Section (Division)
Member
From1 Oct 2008 → 31 Aug 2015
Projects
1 - 4 of 4
- Coordination and Ownership in Graphs of Networked Actors (COGNAC).From1 Jan 2011 → 31 Dec 2014Funding: FWO research project (including WEAVE projects)
- Trustworthy embedded networked systems.From4 Oct 2010 → 30 Sep 2015Funding: FWO fellowships
- Composition of Abstract Data Types.From1 Oct 2009 → 30 Sep 2012Funding: FWO fellowships
- Hybrid enforcement and certification of domain specific program annotations.From1 Oct 2009 → 30 Sep 2015Funding: BOF - Concerted Research Project from 1994
Publications
1 - 10 of 51
- Feature Nets: behavioural modelling of software product lines(2016)
Authors: Radu Muschevici, Jose Paiva Proenca, Dave Clarke
Pages: 1181 - 1206 - A procedure for splitting data-aware processes and its application to coordination(2016)
Authors: Dave Clarke, Jose Paiva Proenca
Pages: 47 - 78 - A formal model of service-oriented dynamic object groups(2016)
Authors: Dave Clarke
Pages: 3 - 22 - The other side of privacy: Surveillance in data control(2015)
Authors: Rula Sayaf, Dave Clarke
Pages: 184 - 192Number of pages: 9 - Fully abstract trace semantics for protected module architectures(2015)
Authors: Marco Patrignani, Dave Clarke
Pages: 22 - 45 - Refraction: Low-cost management of reflective meta-data in pervasive component-based applications(2015)
Authors: Wilfried Daniels, Jose Paiva Proenca, Dave Clarke, Wouter Joosen, Danny Hughes
Pages: 27 - 36 - Secure compilation to protected module architectures(2015)
Authors: Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens
Pages: 6 - Abstract delta modelling(2015)
Authors: Dave Clarke
Pages: 482 - 527 - CPS^2: a contextual privacy framework for social software(2015)
Authors: Rula Sayaf, Dave Clarke
Pages: 25 - 32 - Fully abstract trace semantics of low-level isolation mechanisms(2014)
Authors: Marco Patrignani, Dave Clarke, Cho Yookun, Y Shin Sung, Kim Sang-wook, Hung Chih-cheng, Hong Jiman
Pages: 1562 - 1569