Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dave Clarke
David G. Clarke
Author information
- K.U.Leuven, Belgium
Other persons with the same name
- Dave Clarke 0002
- Dave Clarke 0003 — Sedbergh
- Dave Clarke 0004
2010 – today
- 2013
[j16]Dave Clarke, Gul Agha: Preface to the special issue on Coordination Models and Languages (Coordination 2010). Sci. Comput. Program. 78(2): 145-146 (2013)- [c58]
- [c57]Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens: Fixing idioms: a recursion primitive for applicative DSLs. PEPM 2013: 97-106
- [c56]Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens: Monadic abstract interpreters. PLDI 2013: 399-410
- 2012
- [j15]Ilya Sergey, Dave Clarke: A correspondence between type checking via reduction and type checking via evaluation. Inf. Process. Lett. 112(1-2): 13-20 (2012)
- [j14]Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012)
- [j13]Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela: Software diversity: state of the art and perspectives. STTT 14(5): 477-495 (2012)
- [c55]
- [c54]
- [c53]
- [c52]Dimiter Milushev, Wim Beck, Dave Clarke: Noninterference via Symbolic Execution. FMOODS/FORTE 2012: 152-168
- [c51]Bo Gao, Bettina Berendt, Dave Clarke, Ralf De Wolf, Thomas Peetz, Jo Pierson, Rula Sayaf: Interactive Grouping of Friends in OSN: Towards Online Context Management. ICDM Workshops 2012: 555-562
- [c50]Michael Lienhardt, Dave Clarke: Conflict Detection in Delta-Oriented Programming. ISoLA (1) 2012: 178-192
- [c49]Ilya Sergey, Jan Midtgaard, Dave Clarke: Calculating Graph Algorithms for Dominance and Shortest Path. MPC 2012: 132-156
- [c48]Dimiter Milushev, Dave Clarke: Coinductive Unwinding of Security-Relevant Hyperproperties. NordSec 2012: 121-136
- [c47]Dimiter Milushev, Dave Clarke: Towards Incrementalization of Holistic Hyperproperties. POST 2012: 329-348
- [c46]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515
- [c45]Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke: Formal analysis of policies in wireless sensor network applications. SESENA 2012: 15-21
- [c44]
- [c43]Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe: A Type-Safe Model of Adaptive Object Groups. FOCLASA 2012: 1-15
- [c42]Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença: A Procedure for Splitting Processes and its Application to Coordination. FOCLASA 2012: 79-96
- 2011
- [j12]Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8): 681-710 (2011)
- [j11]Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Büchi automata for modeling component connectors. Software and System Modeling 10(2): 183-200 (2011)
- [c41]Marco Patrignani, Dave Clarke, Davide Sangiorgi: Ownership Types for the Join Calculus. FMOODS/FORTE 2011: 289-303
- [c40]Ilya Sergey, Dave Clarke: From type checking by recursive descent to type checking with an abstract machine. LDTA 2011: 2
- [c39]Radu Muschevici, José Proença, Dave Clarke: Modular Modelling of Software Product Lines with Feature Nets. SEFM 2011: 318-333
- [c38]Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457
- [c37]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79
- 2010
- [j10]Dave Clarke, David Eppstein, Kaveh Ghasemloo, Lev Reyzin, András Z. Salamon, Peter W. Shor, Aaron Sterling, Suresh Venkatasubramanian: Questions answered. in theory.: http: //cstheory.stackexchange.com/. SIGACT News 41(4): 58-60 (2010)
- [c36]Dave Clarke, Einar Broch Johnsen, Olaf Owe: Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206
- [c35]Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte: Variability Modelling in the ABS Language. FMCO 2010: 204-224
- [c34]
- [c33]
- [c32]
- [c31]Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong: HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops 2010: 121-128
- [e1]Dave Clarke, Gul A. Agha (Eds.): Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6116, Springer 2010, ISBN 978-3-642-13413-5
2000 – 2009
- 2009
- [j9]Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Deconstructing Reo. Electr. Notes Theor. Comput. Sci. 229(2): 43-58 (2009)
- [c30]Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203
- [c29]
- [c28]
- 2008
- [j8]José Proença, Dave Clarke: Coordination Models Orc and Reo Compared. Electr. Notes Theor. Comput. Sci. 194(4): 57-76 (2008)
- [j7]Dave Clarke: A Basic Logic for Reasoning about Connector Reconfiguration. Fundam. Inform. 82(4): 361-390 (2008)
- [c27]Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen: Minimal Ownership for Active Objects. APLAS 2008: 139-154
- [c26]Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
- [c25]Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312
- [c24]Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom: Ownership, Uniqueness, and Immutability. TOOLS (46) 2008: 178-197
- [c23]Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. WADT 2008: 37-55
- 2007
- [j6]Tobias Wrigstad, Dave Clarke: Existential Owners for Ownership Types. Journal of Object Technology 6(4): 141-159 (2007)
- [j5]Dave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007)
- [c22]Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Tribe: a simple virtual class calculus. AOSD 2007: 121-134
- [c21]Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49
- [c20]John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
- [c19]Frank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
- [c18]
- 2006
- [j4]Dave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006)
- [j3]Dave Clarke: Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. Electr. Notes Theor. Comput. Sci. 159: 61-77 (2006)
- [j2]Alex Potanin, James Noble, Dave Clarke, Robert Biddle: Featherweight generic confinement. J. Funct. Program. 16(6): 793-811 (2006)
- [c17]
- [c16]Alex Potanin, James Noble, Dave Clarke, Robert Biddle: Generic ownership for generic Java. OOPSLA 2006: 311-324
- 2005
- [c15]Cees Pierik, Dave Clarke, Frank S. de Boer: Controlling Object Allocation Using Creation Guards. FM 2005: 59-74
- 2004
- [c14]Dave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA 2004: 9-25
- [c13]Dave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) 2004: 58-66
- [c12]Frank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
- 2003
- [j1]Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic haskell. SIGPLAN Notices 38(9): 141-152 (2003)
- [c11]
- [c10]David G. Clarke, Sophia Drossopoulou, James Noble: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2003: 197-207
- [c9]
- [c8]David G. Clarke, Michael Richmond, James Noble: Saving the world from bad beans: deployment-time confinement checking. OOPSLA 2003: 374-387
- 2002
- [c7]
- [c6]David G. Clarke, Sophia Drossopoulou: Ownership, encapsulation and the disjointness of type and effect. OOPSLA 2002: 292-310
- 2001
- [c5]David G. Clarke, James Noble, John Potter: Simple Ownership Types for Object Containment. ECOOP 2001: 53-76
1990 – 1999
- 1999
- [c4]David G. Clarke, James Noble, John Potter: Overcoming Representation Exposure. ECOOP Workshops 1999: 149-151
- [c3]James Noble, David G. Clarke, John Potter: Object Ownership for Dynamic Alias Protection. TOOLS (32) 1999: 176-187
- 1998
- [c2]John Potter, James Noble, David G. Clarke: The Ins and Outs of Objects. Australian Software Engineering Conference 1998: 80-89
- [c1]David G. Clarke, John Potter, James Noble: Ownership Types for Flexible Alias Protection. OOPSLA 1998: 48-64
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 09:04 CEST by the dblp team