< Terug naar vorige pagina
Onderzoeker
Dave Clarke
- Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Distributed computing, Informatiewetenschappen, Informatiesystemen, Programmeertalen, Scientific computing, Theoretische informatica, Visual computing, Andere informatie- en computerwetenschappen
Affiliaties
- Afdeling Informatica (Afdeling)
Lid
Vanaf1 okt 2008 → 31 aug 2015
Projecten
1 - 4 of 4
- Coördinatie en Eigendom in Grafen van Genetwerkte Actoren (COGNAC).Vanaf1 jan 2011 → 31 dec 2014Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Embedded netwerksystemen.Vanaf4 okt 2010 → 30 sep 2015Financiering: FWO mandaten
- Compositie van Abstracte Data Types.Vanaf1 okt 2009 → 30 sep 2012Financiering: FWO mandaten
- Hybride technieken voor het afdwingen en certificeren van domein-specifieke programma annotaties.Vanaf1 okt 2009 → 30 sep 2015Financiering: BOF - Geconcert. Onderzoeksacties vanaf 1994
Publicaties
1 - 10 van 51
- Feature Nets: behavioural modelling of software product lines(2016)
Auteurs: Radu Muschevici, Jose Paiva Proenca, Dave Clarke
Pagina's: 1181 - 1206 - A procedure for splitting data-aware processes and its application to coordination(2016)
Auteurs: Dave Clarke, Jose Paiva Proenca
Pagina's: 47 - 78 - A formal model of service-oriented dynamic object groups(2016)
Auteurs: Dave Clarke
Pagina's: 3 - 22 - The other side of privacy: Surveillance in data control(2015)
Auteurs: Rula Sayaf, Dave Clarke
Pagina's: 184 - 192Aantal pagina's: 9 - Fully abstract trace semantics for protected module architectures(2015)
Auteurs: Marco Patrignani, Dave Clarke
Pagina's: 22 - 45 - Refraction: Low-cost management of reflective meta-data in pervasive component-based applications(2015)
Auteurs: Wilfried Daniels, Jose Paiva Proenca, Dave Clarke, Wouter Joosen, Danny Hughes
Pagina's: 27 - 36 - Secure compilation to protected module architectures(2015)
Auteurs: Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens
Pagina's: 6 - Abstract delta modelling(2015)
Auteurs: Dave Clarke
Pagina's: 482 - 527 - CPS^2: a contextual privacy framework for social software(2015)
Auteurs: Rula Sayaf, Dave Clarke
Pagina's: 25 - 32 - Fully abstract trace semantics of low-level isolation mechanisms(2014)
Auteurs: Marco Patrignani, Dave Clarke, Cho Yookun, Y Shin Sung, Kim Sang-wook, Hung Chih-cheng, Hong Jiman
Pagina's: 1562 - 1569