Published in: DARTS, Volume 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers. Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact). In Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 4:1-4:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{singh_et_al:DARTS.5.2.4, author = {Singh, Robbert Gurdeep and Lopez, Carmen Torres and Marr, Stefan and Boix, Elisa Gonzalez and Scholliers, Christophe}, title = {{Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs}}, pages = {4:1--4:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {2}, editor = {Singh, Robbert Gurdeep and Lopez, Carmen Torres and Marr, Stefan and Boix, Elisa Gonzalez and Scholliers, Christophe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.5.2.4}, URN = {urn:nbn:de:0030-drops-107815}, doi = {10.4230/DARTS.5.2.4}, annote = {Keywords: Debugging, Concurrency, Actors, Formal Semantics} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Richard Roberts, Stefan Marr, Michael Homer, and James Noble. Transient Typechecks Are (Almost) Free. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 5:1-5:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{roberts_et_al:LIPIcs.ECOOP.2019.5, author = {Roberts, Richard and Marr, Stefan and Homer, Michael and Noble, James}, title = {{Transient Typechecks Are (Almost) Free}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {5:1--5:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.5}, URN = {urn:nbn:de:0030-drops-107974}, doi = {10.4230/LIPIcs.ECOOP.2019.5}, annote = {Keywords: dynamic type checking, gradual types, optional types, Grace, Moth, object-oriented programming} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers. Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper). In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 27:1-27:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{torreslopez_et_al:LIPIcs.ECOOP.2019.27, author = {Torres Lopez, Carmen and Gurdeep Singh, Robbert and Marr, Stefan and Gonzalez Boix, Elisa and Scholliers, Christophe}, title = {{Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {27:1--27:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.27}, URN = {urn:nbn:de:0030-drops-108192}, doi = {10.4230/LIPIcs.ECOOP.2019.27}, annote = {Keywords: Debugging, Parallelism, Concurrency, Actors, Formal Semantics} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Stefan Böttcher, Le Gruenwald, Pedro Jose Marrón, and Evaggelia Pitoura. 06431 Abstracts Collection – Scalable Data Management in Evolving Networks. In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{bottcher_et_al:DagSemProc.06431.1, author = {B\"{o}ttcher, Stefan and Gruenwald, Le and Marr\'{o}n, Pedro Jose and Pitoura, Evaggelia}, title = {{06431 Abstracts Collection – Scalable Data Management in Evolving Networks}}, booktitle = {Scalable Data Management in Evolving Networks}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.1}, URN = {urn:nbn:de:0030-drops-9557}, doi = {10.4230/DagSemProc.06431.1}, annote = {Keywords: Data management, mobile ad-hoc networks, p2p systems, sensor networks} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Stefan Böttcher, Le Gruenwald, Pedro Jose Marrón, and Evaggelia Pitoura. 06431 Summary – Scalable Data Management in Evolving Networks". In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{bottcher_et_al:DagSemProc.06431.2, author = {B\"{o}ttcher, Stefan and Gruenwald, Le and Marr\'{o}n, Pedro Jose and Pitoura, Evaggelia}, title = {{06431 Summary – Scalable Data Management in Evolving Networks"}}, booktitle = {Scalable Data Management in Evolving Networks}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.2}, URN = {urn:nbn:de:0030-drops-9478}, doi = {10.4230/DagSemProc.06431.2}, annote = {Keywords: Peer-to-peer, mobile ad-hoc, and sensor networks, atomic transactions, P2P databases} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Peter A. Boncz, Angela Bonifati, Arantza Illarramendi, Peter Janacik, Birgitta König-Ries, Wolfgang Lehner, Pedro Jose Marrón, Wolfgang May, Aris Ouksel, Kay Römer, Brahmananda Sapkota, Kai-Uwe Sattler, Heinz Schweppe, Rita Steinmetz, and Can Türker. 06431 Working Group Report on Managing and Integrating Data in P2P Databases. In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{boncz_et_al:DagSemProc.06431.3, author = {Boncz, Peter A. and Bonifati, Angela and Illarramendi, Arantza and Janacik, Peter and K\"{o}nig-Ries, Birgitta and Lehner, Wolfgang and Marr\'{o}n, Pedro Jose and May, Wolfgang and Ouksel, Aris and R\"{o}mer, Kay and Sapkota, Brahmananda and Sattler, Kai-Uwe and Schweppe, Heinz and Steinmetz, Rita and T\"{u}rker, Can}, title = {{06431 Working Group Report on Managing and Integrating Data in P2P Databases}}, booktitle = {Scalable Data Management in Evolving Networks}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.3}, URN = {urn:nbn:de:0030-drops-9505}, doi = {10.4230/DagSemProc.06431.3}, annote = {Keywords: P2P database, data integration} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Sebastian Obermeier, Joos-Hendrik Böse, Stefan Böttcher, Panos Kypros Chrysanthis, Alex Delis, Le Gruenwald, Anirban Mondal, Aris Ouksel, George Samaras, and Stratis Viglas. 06431 Working Group Summary: Atomicity in Mobile Networks. In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{obermeier_et_al:DagSemProc.06431.4, author = {Obermeier, Sebastian and B\"{o}se, Joos-Hendrik and B\"{o}ttcher, Stefan and Chrysanthis, Panos Kypros and Delis, Alex and Gruenwald, Le and Mondal, Anirban and Ouksel, Aris and Samaras, George and Viglas, Stratis}, title = {{06431 Working Group Summary: Atomicity in Mobile Networks}}, booktitle = {Scalable Data Management in Evolving Networks}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.4}, URN = {urn:nbn:de:0030-drops-9521}, doi = {10.4230/DagSemProc.06431.4}, annote = {Keywords: Mobile ad noc networks, mobile databases, mobile transactions, atomicity} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Peter A. Boncz, Angela Bonifati, Joos-Hendrik Böse, Stefan Böttcher, Panos Kypros Chrysanthis, Le Gruenwald, Arantza Illarramendi, Peter Janacik, Birgitta König-Ries, Wolfgang May, Anirban Mondal, Sebastian Obermeier, Aris Ouksel, and George Samaras. 06431 Working Group Summary: P2P, Ad Hoc and Sensor Networks – All the Different or All the Same?. In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{boncz_et_al:DagSemProc.06431.5, author = {Boncz, Peter A. and Bonifati, Angela and B\"{o}se, Joos-Hendrik and B\"{o}ttcher, Stefan and Chrysanthis, Panos Kypros and Gruenwald, Le and Illarramendi, Arantza and Janacik, Peter and K\"{o}nig-Ries, Birgitta and May, Wolfgang and Mondal, Anirban and Obermeier, Sebastian and Ouksel, Aris and Samaras, George}, title = {{06431 Working Group Summary: P2P, Ad Hoc and Sensor Networks – All the Different or All the Same?}}, booktitle = {Scalable Data Management in Evolving Networks}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.5}, URN = {urn:nbn:de:0030-drops-9514}, doi = {10.4230/DagSemProc.06431.5}, annote = {Keywords: P2P, ad hoc, wireless sensor networks, database systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Peter A. Boncz and Yi Zhang. P2P XQuery and the StreetTiVo application. In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{boncz_et_al:DagSemProc.06431.6, author = {Boncz, Peter A. and Zhang, Yi}, title = {{P2P XQuery and the StreetTiVo application}}, booktitle = {Scalable Data Management in Evolving Networks}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.6}, URN = {urn:nbn:de:0030-drops-9499}, doi = {10.4230/DagSemProc.06431.6}, annote = {Keywords: Distributed XQuery, P2P, DHT} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Aris Ouksel. Scalable Data Management in Mobile Environments: protocol design in MANETs and data management in mobile sensors. In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{ouksel:DagSemProc.06431.7, author = {Ouksel, Aris}, title = {{Scalable Data Management in Mobile Environments: protocol design in MANETs and data management in mobile sensors}}, booktitle = {Scalable Data Management in Evolving Networks}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.7}, URN = {urn:nbn:de:0030-drops-9534}, doi = {10.4230/DagSemProc.06431.7}, annote = {Keywords: MANETs, mobile sensor networks, economic models, information discovery and dissemination, localization, indexing, query processing} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Stefan Böttcher. Secure Multi-Party Data Management. In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{bottcher:DagSemProc.06431.8, author = {B\"{o}ttcher, Stefan}, title = {{Secure Multi-Party Data Management}}, booktitle = {Scalable Data Management in Evolving Networks}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.8}, URN = {urn:nbn:de:0030-drops-9481}, doi = {10.4230/DagSemProc.06431.8}, annote = {Keywords: Information security, privacy, and access control; sovereign information sharing; XML and XPath} }
Published in: Dagstuhl Seminar Proceedings, Volume 6431, Scalable Data Management in Evolving Networks (2007)
Heinz Schweppe. Transactions on replicated data in Mobile Ad Hoc Nets - and some further issues of large scalable networks. In Scalable Data Management in Evolving Networks. Dagstuhl Seminar Proceedings, Volume 6431, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{schweppe:DagSemProc.06431.9, author = {Schweppe, Heinz}, title = {{Transactions on replicated data in Mobile Ad Hoc Nets - and some further issues of large scalable networks}}, booktitle = {Scalable Data Management in Evolving Networks}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6431}, editor = {Stefan B\"{o}ttcher and Le Gruenwald and Pedro Jose Marr\'{o}n and Evaggelia Pitoura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06431.9}, URN = {urn:nbn:de:0030-drops-9542}, doi = {10.4230/DagSemProc.06431.9}, annote = {Keywords: Transaction, mobile ad hoc net, replication, uncertainty in evolving networks} }
Published in: Dagstuhl Seminar Proceedings, Volume 4441, Mobile Information Management (2005)
Joos-Hendrik Böse, Stefan Böttcher, Le Gruenwald, Pedro Jóse Marrón, Philipp Obreiter, Evaggelia Pitoura, Peter Reiher, Kai-Uwe Sattler, and Frank Seliger. 04441 Working Group - Some Open Aspects of Mobile Ad-hoc NETwork, Peer-to-Peer, and Self-organizing Systems. In Mobile Information Management. Dagstuhl Seminar Proceedings, Volume 4441, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{bose_et_al:DagSemProc.04441.3, author = {B\"{o}se, Joos-Hendrik and B\"{o}ttcher, Stefan and Gruenwald, Le and Marr\'{o}n, Pedro J\'{o}se and Obreiter, Philipp and Pitoura, Evaggelia and Reiher, Peter and Sattler, Kai-Uwe and Seliger, Frank}, title = {{04441 Working Group - Some Open Aspects of Mobile Ad-hoc NETwork, Peer-to-Peer, and Self-organizing Systems}}, booktitle = {Mobile Information Management}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4441}, editor = {Margaret H. Dunham and Birgitta K\"{o}nig-Ries and Evaggelia Pitoura and Peter Reiher and Can T\"{u}rker}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04441.3}, URN = {urn:nbn:de:0030-drops-2171}, doi = {10.4230/DagSemProc.04441.3}, annote = {Keywords: MANET, P2P} }
Feedback for Dagstuhl Publishing