6 Search Results for "Rigger, Manuel"

Issue

DARTS, Volume 6, Issue 2

Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)

Editors: Lisa Nguyen Quang Do and Manuel Rigger

Issue

DARTS, Volume 5, Issue 2

Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)

Editors: Maria Christakis and Manuel Rigger

Document
DOI: 10.4230/DagRep.13.10.139
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441)

Authors: Hannes Mühleisen, Danica Porobic, and Manuel Rigger

Published in: Dagstuhl Reports, Volume 13, Issue 10 (2024)

Abstract
The goal of this Dagstuhl Seminar was to bring together researchers and practitioners interested and experienced in database systems and the reliability aspects thereof. It is a continuation of a previous seminar on this topic, which had built an initial understanding of the challenges and areas of future work. In this edition of the seminar, we aimed for a tangible outcome of the seminar by writing a manuscript documenting the (1) best practices in ensuring database systems' reliability, (2) the state of the art on this topic in research, as well as (3) open challenges, which might also serve as the cornerstone of writing a book on this topic presented in this report. We achieved this by forming four primary working groups during the seminar, namely (1) on the automated testing aspects concerning analytical components of database systems, (2) benchmarking, (3) reliability for transaction and concurrency aspects, as well as (4) query languages and debugging. The report contains four sections presenting the results of these working groups. Some of these working groups and individuals plan to further refine their work and discussion outcomes, aiming to submit them to upcoming venues.
Cite as

Hannes Mühleisen, Danica Porobic, and Manuel Rigger. Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441). In Dagstuhl Reports, Volume 13, Issue 10, pp. 139-181, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{muhleisen_et_al:DagRep.13.10.139,
  author =	{M\"{u}hleisen, Hannes and Porobic, Danica and Rigger, Manuel},
  title =	{{Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441)}},
  pages =	{139--181},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{10},
  editor =	{M\"{u}hleisen, Hannes and Porobic, Danica and Rigger, Manuel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.139},
  URN =		{urn:nbn:de:0030-drops-198383},
  doi =		{10.4230/DagRep.13.10.139},
  annote =	{Keywords: database benchmarking, database reliability, database testing}
}
Document
DOI: 10.4230/DagRep.11.10.20
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)

Authors: Alexander Böhm, Maria Christakis, Eric Lo, and Manuel Rigger

Published in: Dagstuhl Reports, Volume 11, Issue 10 (2022)

Abstract
The goal of this seminar was to bring together researchers and practitioners from various domains such as of databases, automatic testing, and formal methods to build a common ground and to explore possibilities for systematically improving the state of the art in database management system engineering. The outcome of the seminar was a joint understanding of the specific intricacies of building stateful system software, as well as the identification of several areas of future work. In particular, we believe that database system engineering can both be significantly improved by adopting additional verification techniques and testing tools, and can provide important feedback and additional challenges (e.g. related to state management) to neighboring domains.
Cite as

Alexander Böhm, Maria Christakis, Eric Lo, and Manuel Rigger. Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). In Dagstuhl Reports, Volume 11, Issue 10, pp. 20-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{bohm_et_al:DagRep.11.10.20,
  author =	{B\"{o}hm, Alexander and Christakis, Maria and Lo, Eric and Rigger, Manuel},
  title =	{{Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)}},
  pages =	{20--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{11},
  number =	{10},
  editor =	{B\"{o}hm, Alexander and Christakis, Maria and Lo, Eric and Rigger, Manuel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.11.10.20},
  URN =		{urn:nbn:de:0030-drops-159269},
  doi =		{10.4230/DagRep.11.10.20},
  annote =	{Keywords: Databases, Reliability, Robustness, Testing, Dagstuhl Seminar}
}
Document
Front Matter
DOI: 10.4230/DARTS.6.2.0
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Lisa Nguyen Quang Do and Manuel Rigger

Published in: DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)

Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Cite as

Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@Article{nguyenquangdo_et_al:DARTS.6.2.0,
  author =	{Nguyen Quang Do, Lisa and Rigger, Manuel},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  pages =	{0:i--0:xii},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2020},
  volume =	{6},
  number =	{2},
  editor =	{Nguyen Quang Do, Lisa and Rigger, Manuel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.6.2.0},
  URN =		{urn:nbn:de:0030-drops-131977},
  doi =		{10.4230/DARTS.6.2.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
Front Matter
DOI: 10.4230/DARTS.5.2.0
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee

Authors: Maria Christakis and Manuel Rigger

Published in: DARTS, Volume 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)

Abstract
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Cite as

Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 0:i-0:xi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@Article{christakis_et_al:DARTS.5.2.0,
  author =	{Christakis, Maria and Rigger, Manuel},
  title =	{{Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
  pages =	{0:i--0:xi},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2019},
  volume =	{5},
  number =	{2},
  editor =	{Christakis, Maria and Rigger, Manuel},
  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.0},
  URN =		{urn:nbn:de:0030-drops-107779},
  doi =		{10.4230/DARTS.5.2.0},
  annote =	{Keywords: Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}
}
  • Refine by Author
  • 4 Rigger, Manuel
  • 2 Christakis, Maria
  • 1 Böhm, Alexander
  • 1 Lo, Eric
  • 1 Mühleisen, Hannes
  • Show More...

  • Refine by Classification
  • 2 Software and its engineering
  • 1 Information systems → Data management systems
  • 1 Information systems → Database management system engines
  • 1 Software and its engineering → Software verification and validation

  • Refine by Keyword
  • 2 Preface
  • 2 Table of Contents
  • 1 Artifact Evaluation Committee
  • 1 Conference Organization
  • 1 Dagstuhl Seminar
  • Show More...

  • Refine by Type
  • 4 document
  • 2 issue

  • Refine by Publication Year
  • 2 2019
  • 2 2020
  • 1 2022
  • 1 2024

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact