Dave Clarke - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Dave Clarke' as author, editor, or advisor:

Noninterference via Symbolic ExecutionDimiter Milushev, Wim Beck, Dave Clarke. forte 2012: 152-168 [doi]
Executable modelling of dynamic software product lines in the ABS languageRadu Muschevici, Dave Clarke, José Proença. GPCE 2013: 17-24 [doi]
Interactive Interaction ConstraintsJosé Proença, Dave Clarke. coordination 2013: 211-225 [doi]
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline ComputationsKiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain. coordination 2016: 101-120 [doi]
Contextual Healing: Privacy through Interpretation ManagementRula Sayaf, Sören Preibusch, Dave Clarke. smartcity 2015: 360-365 [doi]
Variability Modelling in the ABS LanguageDave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte. FMCO 2012: 204-224 [doi]
Gradual Ownership TypesIlya Sergey, Dave Clarke. ESOP 2012: 579-599 [doi]
Subobject-Oriented ProgrammingMarko van Dooren, Dave Clarke, Bart Jacobs. FMCO 2013: 38-82 [doi]
BOSUN - An In-House Developed Software Monitor for ACP/TPF SystemsDave Clarke. cmg 1988: 263-275
Interactive Grouping of Friends in OSN: Towards Online Context ManagementBo Gao, Bettina Berendt, Dave Clarke, Ralf De Wolf, Thomas Peetz, Jo Pierson, Rula Sayaf. icdm 2012: 555-562 [doi]
A Secure Compiler for ML ModulesAdriaan Larmuseau, Marco Patrignani, Dave Clarke. aplas 2015: 29-48 [doi]
Scaling Future Software: The Manycore ChallengeFrank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad. ercim, 2014(99), 2014. [doi]
A correspondence between type checking via reduction and type checking via evaluationIlya Sergey, Dave Clarke. ipl, 112(1-2):13-20, 2012. [doi]
Parallel Objects for Multicores: A Glimpse at the Parallel Language EncoreStephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I. Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang. sfm 2015: 1-56 [doi]
Towards a Theory of Views for Feature ModelsDave Clarke, José Proença. SPLC 2010: 91-98 [doi]
Software diversity: state of the art and perspectivesIna Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela. STTT, 14(5):477-495, 2012. [doi]
From type checking by recursive descent to type checking with an abstract machineIlya Sergey, Dave Clarke. LDTA 2011: 2 [doi]
Channel-based coordination via constraint satisfactionDave Clarke, José Proença, Alexander Lazovik, Farhad Arbab. SCP, 76(8):681-710, 2011. [doi]
Audience-Centric Taxonomy: Using Taxonomies to Support Heterogeneous User CommunitiesDave Clarke, Pei Jiun Tan. dc 2007: 123-127 [doi]
Abstract delta modellingDave Clarke, Michiel Helvensteijn, Ina Schaefer. mscs, 25(3):482-527, 2015. [doi]
ESD event simulation automation using automatic extraction of the relevant portion of a full chipThorsten Weyl, Dave Clarke, Karl Rinne, James A. Power. isqed 2009: 414-418 [doi]
Vats: A Safe, Reactive Storage AbstractionDave Clarke, Tobias Wrigstad. BIRTHDAY 2016: 140-154 [doi]
Towards Incrementalization of Holistic HyperpropertiesDimiter Milushev, Dave Clarke. post 2012: 329-348 [doi]
Feature Nets: behavioural modelling of software product linesRadu Muschevici, José Proença, Dave Clarke. SoSyM, 15(4):1181-1206, 2016. [doi]
Preface to the special issue on Coordination Models and Languages (Coordination 2010)Dave Clarke, Gul Agha. SCP, 78(2):145-146, 2013. [doi]
Disjointness domains for fine-grained aliasingStephan Brandauer, Dave Clarke, Tobias Wrigstad. OOPSLA 2015: 898-916 [doi]
Subobject Transactional MemoryMarko van Dooren, Dave Clarke. coordination 2012: 44-58 [doi]
Beyond the Geneva Convention on the Treatment of Object AliasingDave Clarke, James Noble, Tobias Wrigstad. In Dave Clarke, James Noble, Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Volume 7850 of Lecture Notes in Computer Science, pages 1-6, Springer, 2013. [doi]
Row types for delta-oriented programmingMichael Lienhardt, Dave Clarke. vamos 2012: 121-128 [doi]
Formal analysis of policies in wireless sensor network applicationsMarco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke. sesena 2012: 15-21 [doi]
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based ApplicationsWilfried Daniels, José Proença, Dave Clarke, Wouter Joosen, Danny Hughes. cbse 2015: 27-36 [doi]
The other side of privacy: surveillance in data controlRula Sayaf, Dave Clarke, James B. Rule. bcshci 2015: 184-192 [doi]
A formal model of service-oriented dynamic object groupsEinar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk. SCP, 115:3-22, 2016. [doi]
How should context-escaping closures proceed?Dave Clarke, Pascal Costanza, Éric Tanter. ECOOP 2009: [doi]
Büchi automata for modeling component connectorsMohammad Izadi, Marcello M. Bonsangue, Dave Clarke. SoSyM, 10(2):183-200, 2011. [doi]
Interfaces for the Active Web (Part 2)Dave Clarke, Alan J. Dix. iwc, 13(6):627-629, 2001.
A High-Level Model for an Assembly Language Attacker by Means of ReflectionAdriaan Larmuseau, Marco Patrignani, Dave Clarke. setta 2015: 168-182 [doi]
Abstract delta modelingDave Clarke, Michiel Helvensteijn, Ina Schaefer. GPCE 2010: 13-22 [doi]
Fully abstract trace semantics for low-level isolation mechanismsMarco Patrignani, Dave Clarke. SAC 2014: 1562-1569 [doi]
Fixing idioms: a recursion primitive for applicative DSLsDominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens. PEPM 2013: 97-106 [doi]
Dreams: a framework for distributed synchronous coordinationJosé Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab. SAC 2012: 1510-1515 [doi]
Feature Petri NetsRadu Muschevici, Dave Clarke, José Proença. SPLC 2010: 99-106 [doi]
Secure Compilation to Protected Module ArchitecturesMarco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs 0002, Dave Clarke, Frank Piessens. TOPLAS, 37(2):6, 2015. [doi]
Fully abstract trace semantics for protected module architecturesMarco Patrignani, Dave Clarke. Comp. Lang., Syst. \& Struct., 42:22-45, 2015. [doi]
A semantics for context-oriented programming with layersDave Clarke, Ilya Sergey. ECOOP 2009: [doi]
A model of context-dependent component connectorsMarcello M. Bonsangue, Dave Clarke, Alexandra Silva. SCP, 77(6):685-706, 2012. [doi]
HATS - A Formal Software Product Line Engineering MethodologyDave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong. SPLC 2010: 121-128 [doi]
Ownership Types for the Join CalculusMarco Patrignani, Dave Clarke, Davide Sangiorgi. forte 2011: 289-303 [doi]
Typed connector families and their semanticsJosé Proença, Dave Clarke. SCP, 146:28-49, 2017. [doi]
Coinductive Unwinding of Security-Relevant HyperpropertiesDimiter Milushev, Dave Clarke. nordsec 2012: 121-136 [doi]
Data Abstraction in Coordination ConstraintsJosé Proença, Dave Clarke. ESOCC 2013: 159-173 [doi]
Modular Modelling of Software Product Lines with Feature NetsRadu Muschevici, José Proença, Dave Clarke. SEFM 2011: 318-333 [doi]
In-Flow Peer ReviewDave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad. iticse 2014: 59-79 [doi]
Incremental Hyperproperty Model Checking via GamesDimiter Milushev, Dave Clarke. nordsec 2013: 247-262 [doi]
\mathrmCPS^2 : A Contextual Privacy Framework for Social SoftwareRula Sayaf, Dave Clarke, Richard Harper. securecomm 2015: 25-32 [doi]
Secure Compilation of Object-Oriented Components to Protected Module ArchitecturesMarco Patrignani, Dave Clarke, Frank Piessens. aplas 2013: 176-191 [doi]
Conflict Detection in Delta-Oriented ProgrammingMichael Lienhardt, Dave Clarke. ISoLA 2012: 178-192 [doi]
Calculating Graph Algorithms for Dominance and Shortest PathIlya Sergey, Jan Midtgaard, Dave Clarke. mpc 2012: 132-156 [doi]
Monadic abstract interpretersIlya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens. PLDI 2013: 399-410 [doi]
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop seriesDave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee. SPLC 2013: 266-267 [doi]
Typed Connector FamiliesJosé Proença, Dave Clarke. facs2 2016: 294-311 [doi]
Interfaces for the Active WebDave Clarke, Alan J. Dix. iwc, 13(3):323-324, 2001.
Formalizing a Secure Foreign Function InterfaceAdriaan Larmuseau, Dave Clarke. SEFM 2015: 215-230 [doi]
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line EngineeringMaurice H. ter Beek, Dave Clarke, Ina Schaefer. jlp, 85(1):123-124, 2016. [doi]
Ownership Types: A SurveyDave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad. In Dave Clarke, James Noble, Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Volume 7850 of Lecture Notes in Computer Science, pages 15-58, Springer, 2013. [doi]
Questions answered. in theory.: http: //cstheory.stackexchange.com/Dave Clarke, David Eppstein, Kaveh Ghasemloo, Lev Reyzin, András Z. Salamon, Peter W. Shor, Aaron Sterling, Suresh Venkatasubramanian. sigact, 41(4):58-60, 2010. [doi]
Aliasing in Object-Oriented Programming. Types, Analysis and VerificationDave Clarke, James Noble, Tobias Wrigstad, editors, Volume 7850 of Lecture Notes in Computer Science, Springer, 2013. [doi]
Partial Connector ColouringDave Clarke, José Proença. coordination 2012: 59-73 [doi]
Operational Semantics for Secure InteroperationAdriaan Larmuseau, Marco Patrignani, Dave Clarke. ECOOP 2014: 40 [doi]
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling LanguageDave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong. sfm 2011: 417-457 [doi]
Implementing a secure abstract machineAdriaan Larmuseau, Marco Patrignani, Dave Clarke. SAC 2016: 2041-2048 [doi]
Photophysics and Photochemistry of Azomethine DyesR. J. Berry, P. Douglas, M. S. Garley, D. Clarke, C. J. Winscom. pics 1998: 282-286
Automatic generation of tests for timing constraints from requirementsD. Clarke, I. Lee. words 1997: 199-206 [doi]
A procedure for splitting data-aware processes and its application to coordinationSung-Shik T. Q. Jongmans, D. Clarke, José Proença. SCP, 115:47-78, 2016. [doi]
Piconet: embedded mobile networkingFrazer Bennett, David Clarke, Joseph B. Evans, Andrew Hopper, Alan Jones, David Leask. wc, 4(5):8-15, 1997. [doi]
Panoramic imaging - a reviewDuke Gledhill, Gui Yun Tian, David Taylor, David Clarke. cg, 27(3):435-445, 2003. [doi]
Multimodal Learning Analytics in a Laboratory ClassroomMan Ching Esther Chan, Xavier Ochoa, David Clarke. In Maria Virvou, Efthimios Alepis, George A. Tsihrintzis, Lakhmi C. Jain, editors, Machine Learning Paradigms - Advances in Learning Analytics. Volume 158 of Intelligent Systems Reference Library, pages 131-156, Springer, 2020. [doi]
Dynamic Load Balancing of Parallel Computational Iterative Routines on Platforms with Memory HeterogeneityDavid Clarke, Alexey L. Lastovetsky, Vladimir Rychkov. europar 2011: 41-50 [doi]
3D Reconstruction of a Region of Interest Using Structured Light and StereoPanoramic ImagesDuke Gledhill, Gui Yun Tian, David Taylor, David Clarke. IV 2004: 1007-1012 [doi]
Tripwire: A Synchronisation Primitive for Virtual Memory Mapped CommunicationDavid Riddoch, Steve Pope, Derek Roberts, Glenford E. Mapp, David Clarke, David Ingram, Kieran Mansley, Andy Hopper. join, 2(3):345-364, 2001.
FuPerMod: a software tool for the optimization of data-parallel applications on heterogeneous platformsDavid Clarke, Ziming Zhong, Vladimir Rychkov, Alexey Lastovetsky. tjs, 69(1):61-69, 2014. [doi]
Colour Correction for Panoramic ImagingGui Yun Tian, Duke Gledhill, David Taylor, David Clarke. IV 2002: 483-488 [doi]
Development of a Technique for Predicting the Human Response to an Emergency SituationGlyn Lawson, Sarah Sharples, David Clarke, Sue Cobb. hci 2009: 22-31 [doi]
Dynamic Load Balancing of Parallel Computational Iterative Routines on Highly Heterogeneous HPC PlatformsDavid Clarke, Alexey L. Lastovetsky, Vladimir Rychkov. ppl, 21(2):195-217, 2011. [doi]
Passenger information provision: Perspectives from rail industry stakeholders in Great BritainShalaka Kurup, David Golightly, David Clarke, Sarah Sharples. jrtpm, 19:100264, 2021. [doi]
Knowledge engineering and psychology: Towards a closer relationshipNick Milton, David Clarke, Nigel Shadbolt. ijmms, 64(12):1214-1229, 2006. [doi]
Minimal Ownership for Active ObjectsDavid Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen. Dagstuhl 2009: [doi]
FuPerMod: A Framework for Optimal Data Partitioning for Parallel Scientific Applications on Dedicated Heterogeneous HPC PlatformsDavid Clarke, Ziming Zhong, Vladimir Rychkov, Alexey L. Lastovetsky. pact 2013: 182-196 [doi]
Column-Based Matrix Partitioning for Parallel Matrix Multiplication on Heterogeneous Processors Based on Functional Performance ModelsDavid Clarke, Alexey L. Lastovetsky, Vladimir Rychkov. europar 2012: 450-459 [doi]
Improved identification and quantification of peptides in mass spectrometry data via chemical and random additive noise elimination (CRANE)Akila J. Seneviratne, Sean Peters, David Clarke, Michael Dausmann, Michael Hecker, Brett Tully, Peter G. Hains, Qing Zhong 0002. bioinformatics, 37(24):4719-4726, 2021. [doi]
Prototyping Perceptions of Health for Inclusion in Facial Composite SystemsDavid Clarke, Marianne Riggs, Stuart Gibson. est 2010: 61-66 [doi]
Fault-accommodation with intelligent sensorsGiacomo Tortora, Basil Kouvaritakis, David Clarke. automatica, 39(7):1227-1233, 2003. [doi]
Hierarchical Partitioning Algorithm for Scientific Computing on Highly Heterogeneous CPU + GPU ClustersDavid Clarke, Aleksandar Ilic, Alexey L. Lastovetsky, Leonel Sousa. europar 2012: 489-501 [doi]
Optimising the Use of Available Technology in Educational ResearchDavid Clarke, Fritjof Sahlstrom, Cameron Mitchell, Nathan Clarke. cate 2004: 191-196
Optimal Control Strategies for Metro Trains to Use the Regenerative Braking Energy: A Speed Profile Adjustment ApproachXubin Sun, Zemin Yao, Chunjiao Dong, David Clarke. tits, 24(6):5883-5894, June 2023. [doi]
Using Edit Distance Algorithms to Compare Alternative Approaches to ITS AuthoringShaaron Ainsworth, David Clarke, Robert J. Gaizauskas. its 2002: 873-882 [doi]
Using Multidimensional Solvers for Optimal Data Partitioning on Dedicated Heterogeneous HPC PlatformsVladimir Rychkov, David Clarke, Alexey L. Lastovetsky. pact 2011: 332-346 [doi]

runs on WebDSL