default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dave Clarke 0001
@article{DBLP:journals/csur/PatrignaniAC19,
author = {Marco Patrignani and
Amal Ahmed and
Dave Clarke},
title = {Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract
Compilation and Related Work},
journal = {{ACM} Comput. Surv.},
volume = {51},
number = {6},
pages = {125:1--125:36},
year = {2019},
url = {https://doi.org/10.1145/3280984},
doi = {10.1145/3280984},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/PatrignaniAC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Fernandez-Reyes19,
author = {Kiko Fernandez{-}Reyes and
Dave Clarke and
Ludovic Henrio and
Einar Broch Johnsen and
Tobias Wrigstad},
title = {Godot: All the Benefits of Implicit and Explicit Futures (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {01:1--01:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.1},
doi = {10.4230/DARTS.5.2.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Fernandez-Reyes19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Fernandez-Reyes19,
author = {Kiko Fernandez{-}Reyes and
Dave Clarke and
Ludovic Henrio and
Einar Broch Johnsen and
Tobias Wrigstad},
editor = {Alastair F. Donaldson},
title = {Godot: All the Benefits of Implicit and Explicit Futures},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {2:1--2:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.2},
doi = {10.4230/LIPICS.ECOOP.2019.2},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Fernandez-Reyes19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/Castegren0FWY18,
author = {Elias Castegren and
Dave Clarke and
Kiko Fernandez{-}Reyes and
Tobias Wrigstad and
Albert Mingkun Yang},
editor = {Joeri De Koster and
Federico Bergenti and
Juliana Franco},
title = {Attached and detached closures in actors},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Programming
Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH
2018, Boston, MA, USA, November 5, 2018},
pages = {54--61},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3281366.3281371},
doi = {10.1145/3281366.3281371},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agere/Castegren0FWY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Fernandez-Reyes18,
author = {Kiko Fernandez{-}Reyes and
Dave Clarke and
Elias Castegren and
Huu{-}Phuc Vo},
editor = {Giovanna Di Marzo Serugendo and
Michele Loreti},
title = {Forward to a Promising Future},
booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2018, Held as Part of the 13th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2018, Madrid, Spain, June 18-21, 2018. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10852},
pages = {162--180},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3\_7},
doi = {10.1007/978-3-319-92408-3\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Fernandez-Reyes18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Fernandez-Reyes18,
author = {Kiko Fernandez{-}Reyes and
Dave Clarke and
Janina Hornbach},
editor = {{\"{O}}nder Babur and
Daniel Str{\"{u}}ber and
Silvia Abrah{\~{a}}o and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Joel Greenyer and
Sahar Kokaly and
Dimitris S. Kolovos and
Tanja Mayerhofer and
Mansooreh Zahedi},
title = {The impact of opt-in gamification on students' grades in a software
design course},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {90--97},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3270112.3270118},
doi = {10.1145/3270112.3270118},
timestamp = {Wed, 23 Feb 2022 12:16:51 +0100},
biburl = {https://dblp.org/rec/conf/models/Fernandez-Reyes18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ProencaC17,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
title = {Typed connector families and their semantics},
journal = {Sci. Comput. Program.},
volume = {146},
pages = {28--49},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.03.002},
doi = {10.1016/J.SCICO.2017.03.002},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ProencaC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeekCS16,
author = {Maurice H. ter Beek and
Dave Clarke and
Ina Schaefer},
title = {Editorial preface for the {JLAMP} Special Issue on Formal Methods
for Software Product Line Engineering},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {123--124},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.006},
doi = {10.1016/J.JLAMP.2015.09.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BeekCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JohnsenOCB16,
author = {Einar Broch Johnsen and
Olaf Owe and
Dave Clarke and
Joakim Bj{\o}rk},
title = {A formal model of service-oriented dynamic object groups},
journal = {Sci. Comput. Program.},
volume = {115-116},
pages = {3--22},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2014.11.014},
doi = {10.1016/J.SCICO.2014.11.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JohnsenOCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JongmansCP16,
author = {Sung{-}Shik T. Q. Jongmans and
Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a},
title = {A procedure for splitting data-aware processes and its application
to coordination},
journal = {Sci. Comput. Program.},
volume = {115-116},
pages = {47--78},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2014.02.017},
doi = {10.1016/J.SCICO.2014.02.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JongmansCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MuscheviciPC16,
author = {Radu Muschevici and
Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
title = {Feature Nets: behavioural modelling of software product lines},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {1181--1206},
year = {2016},
url = {https://doi.org/10.1007/s10270-015-0475-z},
doi = {10.1007/S10270-015-0475-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MuscheviciPC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ClarkeW16,
author = {Dave Clarke and
Tobias Wrigstad},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Vats: {A} Safe, Reactive Storage Abstraction},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {140--154},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_11},
doi = {10.1007/978-3-319-30734-3\_11},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ClarkeW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Fernandez-Reyes16,
author = {Kiko Fernandez{-}Reyes and
Dave Clarke and
Daniel S. McCain},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline
Computations},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {101--120},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_7},
doi = {10.1007/978-3-319-39519-7\_7},
timestamp = {Sat, 05 Sep 2020 17:56:31 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Fernandez-Reyes16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LarmuseauPC16,
author = {Adriaan Larmuseau and
Marco Patrignani and
Dave Clarke},
editor = {Sascha Ossowski},
title = {Implementing a secure abstract machine},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {2041--2048},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851796},
doi = {10.1145/2851613.2851796},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/LarmuseauPC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/PatrignaniC15,
author = {Marco Patrignani and
Dave Clarke},
title = {Fully abstract trace semantics for protected module architectures},
journal = {Comput. Lang. Syst. Struct.},
volume = {42},
pages = {22--45},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.03.002},
doi = {10.1016/J.CL.2015.03.002},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/PatrignaniC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ClarkeHS15,
author = {Dave Clarke and
Michiel Helvensteijn and
Ina Schaefer},
title = {Abstract delta modelling},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {3},
pages = {482--527},
year = {2015},
url = {https://doi.org/10.1017/S0960129512000941},
doi = {10.1017/S0960129512000941},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ClarkeHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PatrignaniAS0CP15,
author = {Marco Patrignani and
Pieter Agten and
Raoul Strackx and
Bart Jacobs and
Dave Clarke and
Frank Piessens},
title = {Secure Compilation to Protected Module Architectures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {2},
pages = {6:1--6:50},
year = {2015},
url = {https://doi.org/10.1145/2699503},
doi = {10.1145/2699503},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/PatrignaniAS0CP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LarmuseauPC15,
author = {Adriaan Larmuseau and
Marco Patrignani and
Dave Clarke},
editor = {Xinyu Feng and
Sungwoo Park},
title = {A Secure Compiler for {ML} Modules},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9458},
pages = {29--48},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_3},
doi = {10.1007/978-3-319-26529-2\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/LarmuseauPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/SayafCR15,
author = {Rula Sayaf and
Dave Clarke and
James B. Rule},
editor = {Shaun W. Lawson and
Patrick Dickinson},
title = {The other side of privacy: surveillance in data control},
booktitle = {Proceedings of the 2015 British {HCI} Conference, Lincoln, United
Kingdom, July 13-17, 2015},
pages = {184--192},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2783446.2783584},
doi = {10.1145/2783446.2783584},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bcshci/SayafCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/DanielsPCJH15,
author = {Wilfried Daniels and
Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke and
Wouter Joosen and
Danny Hughes},
editor = {Philippe Kruchten and
Steffen Becker and
Jean{-}Guy Schneider},
title = {Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive
Component-Based Applications},
booktitle = {Proceedings of the 18th International {ACM} {SIGSOFT} Symposium on
Component-Based Software Engineering, {CBSE} 2015, Montreal, QC, Canada,
May 4-8, 2015},
pages = {27--36},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737166.2737168},
doi = {10.1145/2737166.2737168},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/cbse/DanielsPCJH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/ProencaC15,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Typed Connector Families},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {294--311},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_16},
doi = {10.1007/978-3-319-28934-2\_16},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/ProencaC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrandauerCW15,
author = {Stephan Brandauer and
Dave Clarke and
Tobias Wrigstad},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Disjointness domains for fine-grained aliasing},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {898--916},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814280},
doi = {10.1145/2814270.2814280},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BrandauerCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LarmuseauC15,
author = {Adriaan Larmuseau and
Dave Clarke},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {Formalizing a Secure Foreign Function Interface},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {215--230},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_16},
doi = {10.1007/978-3-319-22969-0\_16},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LarmuseauC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LarmuseauPC15,
author = {Adriaan Larmuseau and
Marco Patrignani and
Dave Clarke},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {A High-Level Model for an Assembly Language Attacker by Means of Reflection},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {168--182},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_11},
doi = {10.1007/978-3-319-25942-0\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LarmuseauPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrandauerCCFJPT15,
author = {Stephan Brandauer and
Elias Castegren and
Dave Clarke and
Kiko Fernandez{-}Reyes and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa and
Tobias Wrigstad and
Albert Mingkun Yang},
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Parallel Objects for Multicores: {A} Glimpse at the Parallel Language
Encore},
booktitle = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {1--56},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3\_1},
doi = {10.1007/978-3-319-18941-3\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BrandauerCCFJPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcity/SayafPC15,
author = {Rula Sayaf and
S{\"{o}}ren Preibusch and
Dave Clarke},
title = {Contextual Healing: Privacy through Interpretation Management},
booktitle = {2015 {IEEE} International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2
2015, Chengdu, China, December 19-21, 2015},
pages = {360--365},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SmartCity.2015.98},
doi = {10.1109/SMARTCITY.2015.98},
timestamp = {Thu, 13 Apr 2023 12:52:26 +0200},
biburl = {https://dblp.org/rec/conf/smartcity/SayafPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LarmuseauPC14,
author = {Adriaan Larmuseau and
Marco Patrignani and
Dave Clarke},
editor = {Alejandro Russo and
Omer Tripp},
title = {Operational Semantics for Secure Interoperation},
booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
pages = {40},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637113.2637118},
doi = {10.1145/2637113.2637118},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LarmuseauPC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/ClarkeCFHKPTW14,
author = {Dave Clarke and
Tony Clear and
Kathi Fisler and
Matthias Hauswirth and
Shriram Krishnamurthi and
Joe Gibbs Politz and
Ville Tirronen and
Tobias Wrigstad},
editor = {Alison Clear and
Raymond Lister},
title = {In-Flow Peer Review},
booktitle = {Proceedings of the Working Group Reports of the 2014 on Innovation
{\&} Technology in Computer Science Education Conference, ITiCSE-WGR
2014, Uppsala, Sweden, June 23-25, 2014},
pages = {59--79},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2713609.2713612},
doi = {10.1145/2713609.2713612},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/ClarkeCFHKPTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PatrignaniC14,
author = {Marco Patrignani and
Dave Clarke},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Fully abstract trace semantics for low-level isolation mechanisms},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1562--1569},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554865},
doi = {10.1145/2554850.2554865},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/PatrignaniC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/SayafCH14,
author = {Rula Sayaf and
Dave Clarke and
Richard Harper},
editor = {Jing Tian and
Jiwu Jing and
Mudhakar Srivatsa},
title = {{\textbackslash}mathrmCPS{\^{}}2 : {A} Contextual Privacy Framework
for Social Software},
booktitle = {International Conference on Security and Privacy in Communication
Networks - 10th International {ICST} Conference, SecureComm 2014,
Beijing, China, September 24-26, 2014, Revised Selected Papers, Part
{II}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {153},
pages = {25--32},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-23802-9\_4},
doi = {10.1007/978-3-319-23802-9\_4},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/SayafCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BoerJCDYW14,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Dave Clarke and
Sophia Drossopoulou and
Nobuko Yoshida and
Tobias Wrigstad},
title = {Scaling Future Software: The Manycore Challenge},
journal = {{ERCIM} News},
volume = {2014},
number = {99},
year = {2014},
url = {http://ercim-news.ercim.eu/en99/challenges-for-icst/scaling-future-software-the-manycore-challenge},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BoerJCDYW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkeA13,
author = {Dave Clarke and
Gul Agha},
title = {Preface to the special issue on Coordination Models and Languages
(Coordination 2010)},
journal = {Sci. Comput. Program.},
volume = {78},
number = {2},
pages = {145--146},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.05.001},
doi = {10.1016/J.SCICO.2012.05.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarkeA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PatrignaniCP13,
author = {Marco Patrignani and
Dave Clarke and
Frank Piessens},
editor = {Chung{-}chieh Shan},
title = {Secure Compilation of Object-Oriented Components to Protected Module
Architectures},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {176--191},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_13},
doi = {10.1007/978-3-319-03542-0\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PatrignaniCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ProencaC13,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
editor = {Rocco De Nicola and
Christine Julien},
title = {Interactive Interaction Constraints},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {211--225},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_15},
doi = {10.1007/978-3-642-38493-6\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ProencaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/ProencaC13,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
editor = {Carlos Canal and
Massimo Villari},
title = {Data Abstraction in Coordination Constraints},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {393},
pages = {159--173},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45364-9\_14},
doi = {10.1007/978-3-642-45364-9\_14},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/ProencaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/MuscheviciCP13,
author = {Radu Muschevici and
Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Andreas Classen and
Norbert Siegmund},
title = {Executable modelling of dynamic software product lines in the {ABS}
language},
booktitle = {5th International Workshop on Feature-Oriented Software Development,
{FOSD} '13, Indianapolis, IN, USA, October 26, 2013},
pages = {17--24},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2528265.2528266},
doi = {10.1145/2528265.2528266},
timestamp = {Wed, 23 Feb 2022 11:06:29 +0100},
biburl = {https://dblp.org/rec/conf/gpce/MuscheviciCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/MilushevC13,
author = {Dimiter Milushev and
Dave Clarke},
editor = {Hanne Riis Nielson and
Dieter Gollmann},
title = {Incremental Hyperproperty Model Checking via Games},
booktitle = {Secure {IT} Systems - 18th Nordic Conference, NordSec 2013, Ilulissat,
Greenland, October 18-21, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8208},
pages = {247--262},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41488-6\_17},
doi = {10.1007/978-3-642-41488-6\_17},
timestamp = {Sun, 02 Jun 2019 21:12:28 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/MilushevC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DevrieseSCP13,
author = {Dominique Devriese and
Ilya Sergey and
Dave Clarke and
Frank Piessens},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Fixing idioms: a recursion primitive for applicative DSLs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {97--106},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426910},
doi = {10.1145/2426890.2426910},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/DevrieseSCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SergeyDMMDCP13,
author = {Ilya Sergey and
Dominique Devriese and
Matthew Might and
Jan Midtgaard and
David Darais and
Dave Clarke and
Frank Piessens},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Monadic abstract interpreters},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {399--410},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491979},
doi = {10.1145/2491956.2491979},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SergeyDMMDCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ClarkeSBAA13,
author = {Dave Clarke and
Ina Schaefer and
Maurice H. ter Beek and
Sven Apel and
Joanne M. Atlee},
editor = {Tomoji Kishi and
Stan Jarzabek and
Stefania Gnesi},
title = {Formal methods and analysis in software product line engineering:
4th edition of {FMSPLE} workshop series},
booktitle = {17th International Software Product Line Conference, {SPLC} 2013,
Tokyo, Japan - August 26 - 30, 2013},
pages = {266--267},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491627.2499880},
doi = {10.1145/2491627.2499880},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/ClarkeSBAA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ClarkeNW13,
author = {Dave Clarke and
James Noble and
Tobias Wrigstad},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Beyond the Geneva Convention on the Treatment of Object Aliasing},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {1--6},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_1},
doi = {10.1007/978-3-642-36946-9\_1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/ClarkeNW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ClarkeOSW13,
author = {Dave Clarke and
Johan {\"{O}}stlund and
Ilya Sergey and
Tobias Wrigstad},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Ownership Types: {A} Survey},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {15--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_3},
doi = {10.1007/978-3-642-36946-9\_3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/ClarkeOSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/7850,
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9},
doi = {10.1007/978-3-642-36946-9},
isbn = {978-3-642-36945-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/7850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SergeyC12,
author = {Ilya Sergey and
Dave Clarke},
title = {A correspondence between type checking via reduction and type checking
via evaluation},
journal = {Inf. Process. Lett.},
volume = {112},
number = {1-2},
pages = {13--20},
year = {2012},
url = {https://doi.org/10.1016/j.ipl.2011.10.008},
doi = {10.1016/J.IPL.2011.10.008},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/SergeyC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BonsangueCS12,
author = {Marcello M. Bonsangue and
Dave Clarke and
Alexandra Silva},
title = {A model of context-dependent component connectors},
journal = {Sci. Comput. Program.},
volume = {77},
number = {6},
pages = {685--706},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.01.006},
doi = {10.1016/J.SCICO.2011.01.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BonsangueCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchaeferRCBBBPTV12,
author = {Ina Schaefer and
Rick Rabiser and
Dave Clarke and
Lorenzo Bettini and
David Benavides and
Goetz Botterweck and
Animesh Pathak and
Salvador Trujillo and
Karina Villela},
title = {Software diversity: state of the art and perspectives},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {5},
pages = {477--495},
year = {2012},
url = {https://doi.org/10.1007/s10009-012-0253-y},
doi = {10.1007/S10009-012-0253-Y},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SchaeferRCBBBPTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DoorenC12,
author = {Marko van Dooren and
Dave Clarke},
editor = {Marjan Sirjani},
title = {Subobject Transactional Memory},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {44--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_4},
doi = {10.1007/978-3-642-30829-1\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/DoorenC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ClarkeP12,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Marjan Sirjani},
title = {Partial Connector Colouring},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {59--73},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_5},
doi = {10.1007/978-3-642-30829-1\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ClarkeP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SergeyC12,
author = {Ilya Sergey and
Dave Clarke},
editor = {Helmut Seidl},
title = {Gradual Ownership Types},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {579--599},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_29},
doi = {10.1007/978-3-642-28869-2\_29},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SergeyC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DoorenCJ12,
author = {Marko van Dooren and
Dave Clarke and
Bart Jacobs},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Subobject-Oriented Programming},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {38--82},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_2},
doi = {10.1007/978-3-642-40615-7\_2},
timestamp = {Tue, 21 Mar 2023 21:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/DoorenCJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MilushevBC12,
author = {Dimiter Milushev and
Wim Beck and
Dave Clarke},
editor = {Holger Giese and
Grigore Rosu},
title = {Noninterference via Symbolic Execution},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {152--168},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_10},
doi = {10.1007/978-3-642-30793-5\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/MilushevBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/GaoBCWPPS12,
author = {Bo Gao and
Bettina Berendt and
Dave Clarke and
Ralf De Wolf and
Thomas Peetz and
Jo Pierson and
Rula Sayaf},
editor = {Jilles Vreeken and
Charles Ling and
Mohammed Javeed Zaki and
Arno Siebes and
Jeffrey Xu Yu and
Bart Goethals and
Geoffrey I. Webb and
Xindong Wu},
title = {Interactive Grouping of Friends in {OSN:} Towards Online Context Management},
booktitle = {12th {IEEE} International Conference on Data Mining Workshops, {ICDM}
Workshops, Brussels, Belgium, December 10, 2012},
pages = {555--562},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICDMW.2012.88},
doi = {10.1109/ICDMW.2012.88},
timestamp = {Wed, 21 Aug 2024 07:35:25 +0200},
biburl = {https://dblp.org/rec/conf/icdm/GaoBCWPPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LienhardtC12,
author = {Michael Lienhardt and
Dave Clarke},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Conflict Detection in Delta-Oriented Programming},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {178--192},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_14},
doi = {10.1007/978-3-642-34026-0\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/LienhardtC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SergeyMC12,
author = {Ilya Sergey and
Jan Midtgaard and
Dave Clarke},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Calculating Graph Algorithms for Dominance and Shortest Path},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {132--156},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_8},
doi = {10.1007/978-3-642-31113-0\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SergeyMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/MilushevC12,
author = {Dimiter Milushev and
Dave Clarke},
editor = {Audun J{\o}sang and
Bengt Carlsson},
title = {Coinductive Unwinding of Security-Relevant Hyperproperties},
booktitle = {Secure {IT} Systems - 17th Nordic Conference, NordSec 2012, Karlskrona,
Sweden, October 31 - November 2, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7617},
pages = {121--136},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34210-3\_9},
doi = {10.1007/978-3-642-34210-3\_9},
timestamp = {Sat, 19 Oct 2019 20:02:02 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/MilushevC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/MilushevC12,
author = {Dimiter Milushev and
Dave Clarke},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Towards Incrementalization of Holistic Hyperproperties},
booktitle = {Principles of Security and Trust - First International Conference,
{POST} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7215},
pages = {329--348},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28641-4\_18},
doi = {10.1007/978-3-642-28641-4\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/post/MilushevC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ProencaCVA12,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke and
Erik P. de Vink and
Farhad Arbab},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Dreams: a framework for distributed synchronous coordination},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1510--1515},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232017},
doi = {10.1145/2245276.2232017},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/ProencaCVA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sesena/PatrignaniMPHC12,
author = {Marco Patrignani and
Nelson Matthys and
Jos{\'{e}} Proen{\c{c}}a and
Danny Hughes and
Dave Clarke},
editor = {Amy L. Murphy and
Vittorio Cortellessa},
title = {Formal analysis of policies in wireless sensor network applications},
booktitle = {Third International Workshop on Software Engineering for Sensor Network
Applications, {SESENA} 2012, 2 June 2012, Zurich, Switzerland, Proceedings},
pages = {15--21},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SESENA.2012.6225728},
doi = {10.1109/SESENA.2012.6225728},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sesena/PatrignaniMPHC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/LienhardtC12,
author = {Michael Lienhardt and
Dave Clarke},
editor = {Ulrich W. Eisenecker and
Sven Apel and
Stefania Gnesi},
title = {Row types for delta-oriented programming},
booktitle = {Sixth International Workshop on Variability Modelling of Software-Intensive
Systems, Leipzig, Germany, January 25-27, 2012. Proceedings},
pages = {121--128},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110147.2110161},
doi = {10.1145/2110147.2110161},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/LienhardtC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4630,
author = {Joakim Bj{\o}rk and
Dave Clarke and
Einar Broch Johnsen and
Olaf Owe},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A Type-Safe Model of Adaptive Object Groups},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {1--15},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.1},
doi = {10.4204/EPTCS.91.1},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1209-1422,
author = {Sung{-}Shik T. Q. Jongmans and
Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A Procedure for Splitting Processes and its Application to Coordination},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {79--96},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.6},
doi = {10.4204/EPTCS.91.6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkePLA11,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a and
Alexander Lazovik and
Farhad Arbab},
title = {Channel-based coordination via constraint satisfaction},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {681--710},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.004},
doi = {10.1016/J.SCICO.2010.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarkePLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/IzadiBC11,
author = {Mohammad Izadi and
Marcello M. Bonsangue and
Dave Clarke},
title = {B{\"{u}}chi automata for modeling component connectors},
journal = {Softw. Syst. Model.},
volume = {10},
number = {2},
pages = {183--200},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0152-1},
doi = {10.1007/S10270-010-0152-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/IzadiBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PatrignaniCS11,
author = {Marco Patrignani and
Dave Clarke and
Davide Sangiorgi},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Ownership Types for the Join Calculus},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {289--303},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_19},
doi = {10.1007/978-3-642-21461-5\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PatrignaniCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/SergeyC11,
author = {Ilya Sergey and
Dave Clarke},
editor = {Claus Brabrand and
Eric Van Wyk},
title = {From type checking by recursive descent to type checking with an abstract
machine},
booktitle = {Language Descriptions, Tools and Applications, {LDTA} 2011, Saarbr{\"{u}}cken,
Germany, March 26-27, 2011. Proceeding},
pages = {2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988783.1988785},
doi = {10.1145/1988783.1988785},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/SergeyC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MuscheviciPC11,
author = {Radu Muschevici and
Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Modular Modelling of Software Product Lines with Feature Nets},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {318--333},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_22},
doi = {10.1007/978-3-642-24690-6\_22},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/MuscheviciPC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClarkeDHJSSSW11,
author = {Dave Clarke and
Nikolay Diakov and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer and
Jan Sch{\"{a}}fer and
Rudolf Schlatte and
Peter Y. H. Wong},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Modeling Spatial and Temporal Variability with the {HATS} Abstract
Behavioral Modeling Language},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {417--457},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_13},
doi = {10.1007/978-3-642-21455-4\_13},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/ClarkeDHJSSSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0232,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke and
Erik P. de Vink and
Farhad Arbab},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {Decoupled execution of synchronous coordination models via behavioural
automata},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {65--79},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.5},
doi = {10.4204/EPTCS.58.5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/ClarkeEGRSSSV10,
author = {Dave Clarke and
David Eppstein and
Kaveh Ghasemloo and
Lev Reyzin and
Andr{\'{a}}s Z. Salamon and
Peter W. Shor and
Aaron D. Sterling and
Suresh Venkatasubramanian},
title = {Questions answered. in theory.: http://cstheory.stackexchange.com/},
journal = {{SIGACT} News},
volume = {41},
number = {4},
pages = {58--60},
year = {2010},
url = {https://doi.org/10.1145/1907450.1907532},
doi = {10.1145/1907450.1907532},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/ClarkeEGRSSSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ClarkeJO10,
author = {Dave Clarke and
Einar Broch Johnsen and
Olaf Owe},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Concurrent Objects {\`{a}} la Carte},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {185--206},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_12},
doi = {10.1007/978-3-642-11512-7\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ClarkeJO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ClarkeMPSS10,
author = {Dave Clarke and
Radu Muschevici and
Jos{\'{e}} Proen{\c{c}}a and
Ina Schaefer and
Rudolf Schlatte},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Variability Modelling in the {ABS} Language},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {204--224},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_11},
doi = {10.1007/978-3-642-25271-6\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/ClarkeMPSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ClarkeHS10,
author = {Dave Clarke and
Michiel Helvensteijn and
Ina Schaefer},
editor = {Eelco Visser and
Jaakko J{\"{a}}rvi},
title = {Abstract delta modeling},
booktitle = {Generative Programming And Component Engineering, Proceedings of the
Ninth International Conference on Generative Programming and Component
Engineering, {GPCE} 2010, Eindhoven, The Netherlands, October 10-13,
2010},
pages = {13--22},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868294.1868298},
doi = {10.1145/1868294.1868298},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/ClarkeHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ClarkeP10,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {Towards a Theory of Views for Feature Models},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {91--98},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ClarkeP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MuscheviciCP10,
author = {Radu Muschevici and
Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {Feature Petri Nets},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {99--106},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/MuscheviciCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ClarkeDHJPWW10,
author = {Dave Clarke and
Nikolay Diakov and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Germ{\'{a}}n Puebla and
Balthasar Weitzel and
Peter Y. H. Wong},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {{HATS} - {A} Formal Software Product Line Engineering Methodology},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {121--128},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ClarkeDHJPWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2010,
editor = {Dave Clarke and
Gul A. Agha},
title = {Coordination Models and Languages, 12th International Conference,
{COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13414-2},
doi = {10.1007/978-3-642-13414-2},
isbn = {978-3-642-13413-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BonsangueCS09,
author = {Marcello M. Bonsangue and
Dave Clarke and
Alexandra Silva},
editor = {John Field and
Vasco Thudichum Vasconcelos},
title = {Automata for Context-Dependent Connectors},
booktitle = {Coordination Models and Languages, 11th International Conference,
{COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5521},
pages = {184--203},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02053-7\_10},
doi = {10.1007/978-3-642-02053-7\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BonsangueCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClarkeCT09,
author = {Dave Clarke and
Pascal Costanza and
{\'{E}}ric Tanter},
editor = {Pascal Costanza and
Richard P. Gabriel and
Robert Hirschfeld and
Jorge Vallejos},
title = {How should context-escaping closures proceed?},
booktitle = {International Workshop on Context-Oriented Programming, {COP} 2009,
Genova, Italy, July 7, 2009},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1562112.1562113},
doi = {10.1145/1562112.1562113},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ClarkeCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClarkeS09,
author = {Dave Clarke and
Ilya Sergey},
editor = {Pascal Costanza and
Richard P. Gabriel and
Robert Hirschfeld and
Jorge Vallejos},
title = {A semantics for context-oriented programming with layers},
booktitle = {International Workshop on Context-Oriented Programming, {COP} 2009,
Genova, Italy, July 7, 2009},
pages = {10:1--10:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1562112.1562122},
doi = {10.1145/1562112.1562122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ClarkeS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KoehlerC09,
author = {Christian Koehler and
Dave Clarke},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Decomposing port automata},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1369--1373},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529587},
doi = {10.1145/1529282.1529587},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/KoehlerC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-5445,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Emilio Tuosto},
title = {Coordination via Interaction Constraints {I:} Local Logic},
booktitle = {Proceedings 2nd Interaction and Concurrency Experience: Structured
Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
series = {{EPTCS}},
volume = {12},
pages = {17--39},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.12.2},
doi = {10.4204/EPTCS.12.2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-5445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ClarkeWOJ09,
author = {David G. Clarke and
Tobias Wrigstad and
Johan {\"{O}}stlund and
Einar Broch Johnsen},
editor = {Peter W. O'Hearn and
Arnd Poetzsch{-}Heffter and
Mooly Sagiv},
title = {Minimal Ownership for Active Objects},
booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07.
- 24.07.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09301},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2437/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ClarkeWOJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Clarke08,
author = {Dave Clarke},
title = {A Basic Logic for Reasoning about Connector Reconfiguration},
journal = {Fundam. Informaticae},
volume = {82},
number = {4},
pages = {361--390},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Clarke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ClarkeWOJ08,
author = {Dave Clarke and
Tobias Wrigstad and
Johan {\"{O}}stlund and
Einar Broch Johnsen},
editor = {G. Ramalingam},
title = {Minimal Ownership for Active Objects},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {139--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_11},
doi = {10.1007/978-3-540-89330-1\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ClarkeWOJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ClarkeDMNW08,
author = {Dave Clarke and
Sophia Drossopoulou and
Peter M{\"{u}}ller and
James Noble and
Tobias Wrigstad},
editor = {Patrick Eugster},
title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP}
2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {5475},
pages = {30--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02047-6\_4},
doi = {10.1007/978-3-642-02047-6\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDMNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/IzadiBC08,
author = {Mohammad Izadi and
Marcello M. Bonsangue and
Dave Clarke},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Modeling Component Connectors: Synchronisation and Context-Dependency},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {303--312},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.24},
doi = {10.1109/SEFM.2008.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/IzadiBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/OstlundWCA08,
author = {Johan {\"{O}}stlund and
Tobias Wrigstad and
Dave Clarke and
Beatrice {\AA}kerblom},
editor = {Richard F. Paige and
Bertrand Meyer},
title = {Ownership, Uniqueness, and Immutability},
booktitle = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
pages = {178--197},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1\_11},
doi = {10.1007/978-3-540-69824-1\_11},
timestamp = {Wed, 24 Jun 2020 15:26:33 +0200},
biburl = {https://dblp.org/rec/conf/tools/OstlundWCA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/ArbabBCLM08,
author = {Farhad Arbab and
Roberto Bruni and
Dave Clarke and
Ivan Lanese and
Ugo Montanari},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Tiles for Reo},
booktitle = {Recent Trends in Algebraic Development Techniques, 19th International
Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {37--55},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03429-9\_4},
doi = {10.1007/978-3-642-03429-9\_4},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/wadt/ArbabBCLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClarkePLA09,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a and
Alexander Lazovik and
Farhad Arbab},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Deconstructing Reo},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {43--58},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.028},
doi = {10.1016/J.ENTCS.2009.06.028},
timestamp = {Fri, 24 Feb 2023 11:36:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClarkePLA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/WrigstadC07,
author = {Tobias Wrigstad and
Dave Clarke},
title = {Existential Owners for Ownership Types},
journal = {J. Object Technol.},
volume = {6},
number = {4},
pages = {141--159},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.4.a5},
doi = {10.5381/JOT.2007.6.4.A5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/WrigstadC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkeCA07,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
title = {Connector colouring {I:} Synchronisation and context dependency},
journal = {Sci. Comput. Program.},
volume = {66},
number = {3},
pages = {205--225},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.01.009},
doi = {10.1016/J.SCICO.2007.01.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarkeCA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ClarkeDNW07,
author = {Dave Clarke and
Sophia Drossopoulou and
James Noble and
Tobias Wrigstad},
editor = {Brian M. Barry and
Oege de Moor},
title = {Tribe: a simple virtual class calculus},
booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented
Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada,
March 12-16, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {208},
pages = {121--134},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1218563.1218578},
doi = {10.1145/1218563.1218578},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/ClarkeDNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ClarkeDNW07,
author = {Dave Clarke and
Sophia Drossopoulou and
James Noble and
Tobias Wrigstad},
editor = {Michael Cebulla},
title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {40--49},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_5},
doi = {10.1007/978-3-540-78195-0\_5},
timestamp = {Sun, 02 Jun 2019 21:21:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BoylandCLLP07,
author = {John Boyland and
Dave Clarke and
Gary T. Leavens and
Francesco Logozzo and
Arnd Poetzsch{-}Heffter},
editor = {Michael Cebulla},
title = {Formal Techniques for Java-Like Programs},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {99--107},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_10},
doi = {10.1007/978-3-540-78195-0\_10},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/BoylandCLLP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BoerCJ07,
author = {Frank S. de Boer and
Dave Clarke and
Einar Broch Johnsen},
editor = {Rocco De Nicola},
title = {A Complete Guide to the Future},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {316--330},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_22},
doi = {10.1007/978-3-540-71316-6\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BoerCJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Clarke07,
author = {Dave Clarke},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Coordination: Reo, Nets, and Logic},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {226--256},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_10},
doi = {10.1007/978-3-540-92188-2\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Clarke07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ProencaC08,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Coordination Models Orc and Reo Compared},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {57--76},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.099},
doi = {10.1016/J.ENTCS.2008.03.099},
timestamp = {Tue, 06 Dec 2022 12:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ProencaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PotaninNCB06,
author = {Alex Potanin and
James Noble and
Dave Clarke and
Robert Biddle},
title = {Featherweight generic confinement},
journal = {J. Funct. Program.},
volume = {16},
number = {6},
pages = {793--811},
year = {2006},
url = {https://doi.org/10.1017/S0956796806006125},
doi = {10.1017/S0956796806006125},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/PotaninNCB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DrossopoulouCN06,
author = {Sophia Drossopoulou and
David G. Clarke and
James Noble},
editor = {Peter Sestoft},
title = {Types for Hierarchic Shapes},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {1--6},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_1},
doi = {10.1007/11693024\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/DrossopoulouCN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PotaninNCB06,
author = {Alex Potanin and
James Noble and
Dave Clarke and
Robert Biddle},
editor = {Peri L. Tarr and
William R. Cook},
title = {Generic ownership for generic Java},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {311--324},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167500},
doi = {10.1145/1167473.1167500},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PotaninNCB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PierikCB05,
author = {Cees Pierik and
Dave Clarke and
Frank S. de Boer},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Controlling Object Allocation Using Creation Guards},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {59--74},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_6},
doi = {10.1007/11526841\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/PierikCB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Clarke06,
author = {Dave Clarke},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Reasoning About Connector Reconfiguration {II:} Basic Reconfiguration
Logic},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {61--77},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.062},
doi = {10.1016/J.ENTCS.2005.12.062},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Clarke06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClarkeCA06,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
editor = {Carlos Canal and
Mirko Viroli},
title = {Connector Colouring {I:} Synchronisation and Context Dependency},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {101--119},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.035},
doi = {10.1016/J.ENTCS.2005.12.035},
timestamp = {Tue, 06 Dec 2022 11:48:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClarkeCA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ClarkeCA04,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modelling Coordination in Biological Systems},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {9--25},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11925040\_2},
doi = {10.1007/11925040\_2},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/ClarkeCA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ClarkeCA04a,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Modelling Coordination in Biological Systems},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {58--66},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ClarkeCA04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AtanassowCJ04,
author = {Frank Atanassow and
Dave Clarke and
Johan Jeuring},
editor = {Bharat Jayaraman},
title = {{UUXML:} {A} Type-Preserving {XML} Schema-Haskell Data Binding},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {71--85},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_6},
doi = {10.1007/978-3-540-24836-1\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/AtanassowCJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClarkeW03,
author = {Dave Clarke and
Tobias Wrigstad},
editor = {Luca Cardelli},
title = {External Uniqueness Is Unique Enough},
booktitle = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
Darmstadt, Germany, July 21-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2743},
pages = {176--200},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45070-2\_9},
doi = {10.1007/978-3-540-45070-2\_9},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ClarkeW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ClarkeDN03,
author = {David G. Clarke and
Sophia Drossopoulou and
James Noble},
editor = {Frank Buschmann and
Alejandro P. Buchmann and
Mariano Cilia},
title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
booktitle = {Object-Oriented Technology: {ECOOP} 2003 Workshop Reader, {ECOOP}
2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {3013},
pages = {197--207},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25934-3\_19},
doi = {10.1007/978-3-540-25934-3\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LohCJ03,
author = {Andres L{\"{o}}h and
Dave Clarke and
Johan Jeuring},
editor = {Colin Runciman and
Olin Shivers},
title = {Dependency-style generic Haskell},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {141--152},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944719},
doi = {10.1145/944705.944719},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/LohCJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ClarkeRN03,
author = {David G. Clarke and
Michael Richmond and
James Noble},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Saving the world from bad beans: deployment-time confinement checking},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {374--387},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949339},
doi = {10.1145/949305.949339},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ClarkeRN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/ClarkeL02,
author = {Dave Clarke and
Andres L{\"{o}}h},
editor = {Jeremy Gibbons and
Johan Jeuring},
title = {Generic Haskell, Specifically},
booktitle = {Generic Programming, {IFIP} {TC2/WG2.1} Working Conference on Generic
Programming, July 11-12, 2002, Dagstuhl, Germany},
series = {{IFIP} Conference Proceedings},
volume = {243},
pages = {21--47},
publisher = {Kluwer},
year = {2002},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip2-1/ClarkeL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ClarkeD02,
author = {David G. Clarke and
Sophia Drossopoulou},
editor = {Mamdouh Ibrahim and
Satoshi Matsuoka},
title = {Ownership, encapsulation and the disjointness of type and effect},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
Washington, USA, November 4-8, 2002},
pages = {292--310},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582419.582447},
doi = {10.1145/582419.582447},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ClarkeD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClarkeNP01,
author = {David G. Clarke and
James Noble and
John Potter},
editor = {J{\o}rgen Lindskov Knudsen},
title = {Simple Ownership Types for Object Containment},
booktitle = {{ECOOP} 2001 - Object-Oriented Programming, 15th European Conference,
Budapest, Hungary, June 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2072},
pages = {53--76},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45337-7\_4},
doi = {10.1007/3-540-45337-7\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ClarkeNP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ClarkeNP99,
author = {David G. Clarke and
James Noble and
John Potter},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Overcoming Representation Exposure},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {149--151},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeNP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/NobleCP99,
author = {James Noble and
David G. Clarke and
John Potter},
title = {Object Ownership for Dynamic Alias Protection},
booktitle = {{TOOLS} Pacific 1999: 32nd International Conference on Technology
of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne,
Australia},
pages = {176--187},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/TOOLS.1999.809424},
doi = {10.1109/TOOLS.1999.809424},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/NobleCP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/PotterNC98,
author = {John Potter and
James Noble and
David G. Clarke},
title = {The Ins and Outs of Objects},
booktitle = {1998 Australian Software Engineering Conference {(ASWEC} '98), 9-13
November 1998, Adelaide, Australia},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASWEC.1998.730915},
doi = {10.1109/ASWEC.1998.730915},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/PotterNC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ClarkePN98,
author = {David G. Clarke and
John Potter and
James Noble},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {Ownership Types for Flexible Alias Protection},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {48--64},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286947},
doi = {10.1145/286936.286947},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ClarkePN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
