@Article{DagRep.14.4,
  title =	{{Dagstuhl Reports, Volume 14, Issue 4, April 2024, Complete Issue}},
  pages =	{1--165},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4},
  URN =		{urn:nbn:de:0030-drops-213562},
  doi =		{10.4230/DagRep.14.4},
  annote =	{Keywords: Dagstuhl Reports, Volume 14, Issue 4, April 2024, Complete Issue}
}
@Article{DagRep.14.4.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 14, Issue 4, 2024}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.i},
  URN =		{urn:nbn:de:0030-drops-213472},
  doi =		{10.4230/DagRep.14.4.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{bondorf_et_al:DagRep.14.4.1,
  author =	{Bondorf, Steffen and Bouillard, Anne and Fidler, Markus and Liebeherr, J\"{o}rg and Maile, Lisa},
  title =	{{Network Calculus (Dagstuhl Seminar 24141)}},
  pages =	{1--22},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  editor =	{Bondorf, Steffen and Bouillard, Anne and Fidler, Markus and Liebeherr, J\"{o}rg and Maile, Lisa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.1},
  URN =		{urn:nbn:de:0030-drops-213558},
  doi =		{10.4230/DagRep.14.4.1},
  annote =	{Keywords: age of information, effective bandwidths, network calculus, performance evaluation, queueing network}
}
@Article{troubitsyna_et_al:DagRep.14.4.23,
  author =	{Troubitsyna, Elena and Alvarez, Ignacio J. and Koopman, Philip and Trapp, Mario},
  title =	{{Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151)}},
  pages =	{23--41},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  editor =	{Troubitsyna, Elena and Alvarez, Ignacio J. and Koopman, Philip and Trapp, Mario},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.23},
  URN =		{urn:nbn:de:0030-drops-213549},
  doi =		{10.4230/DagRep.14.4.23},
  annote =	{Keywords: ai, safety assurance, safety-critical autonomous systems, simulation-based verification and validation, software engineering}
}
@Article{druskat_et_al:DagRep.14.4.42,
  author =	{Druskat, Stephan and Grunske, Lars and Jay, Caroline and Katz, Daniel S.},
  title =	{{Research Software Engineering: Bridging Knowledge Gaps (Dagstuhl Seminar 24161)}},
  pages =	{42--53},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  editor =	{Druskat, Stephan and Grunske, Lars and Jay, Caroline and Katz, Daniel S.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.42},
  URN =		{urn:nbn:de:0030-drops-213530},
  doi =		{10.4230/DagRep.14.4.42},
  annote =	{Keywords: community building, Dagstuhl Seminar, knowledge transfer, research software engineering, RSE, software engineering research}
}
@Article{bacon_et_al:DagRep.14.4.54,
  author =	{Bacon, David F. and Binnig, Carsten and Patterson, David and Seltzer, Margo},
  title =	{{Hardware Support for Cloud Database Systems in the Post-Moore’s Law Era (Dagstuhl Seminar 24162)}},
  pages =	{54--84},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  editor =	{Bacon, David F. and Binnig, Carsten and Patterson, David and Seltzer, Margo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.54},
  URN =		{urn:nbn:de:0030-drops-213521},
  doi =		{10.4230/DagRep.14.4.54},
  annote =	{Keywords: Databases, Modern Hardware, Cloud}
}
@Article{akshay_et_al:DagRep.14.4.85,
  author =	{Akshay, S. and Finkbeiner, Bernd and Meel, Kuldeep S. and Piskac, Ruzica and Shaw, Arijit},
  title =	{{Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171)}},
  pages =	{85--107},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  editor =	{Akshay, S. and Finkbeiner, Bernd and Meel, Kuldeep S. and Piskac, Ruzica and Shaw, Arijit},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.85},
  URN =		{urn:nbn:de:0030-drops-213515},
  doi =		{10.4230/DagRep.14.4.85},
  annote =	{Keywords: automated synthesis, boolean functions, knowledge representations, reactive synthesis, SAT/SMT solvers}
}
@Article{chandra_et_al:DagRep.14.4.108,
  author =	{Chandra, Satish and Pradel, Michael and Stolee, Kathryn T.},
  title =	{{Code Search (Dagstuhl Seminar 24172)}},
  pages =	{108--123},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  editor =	{Chandra, Satish and Pradel, Michael and Stolee, Kathryn T.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.108},
  URN =		{urn:nbn:de:0030-drops-213505},
  doi =		{10.4230/DagRep.14.4.108},
  annote =	{Keywords: code reuse, code search}
}
@Article{ebbels_et_al:DagRep.14.4.124,
  author =	{Ebbels, Timothy M. D. and Hassoun, Soha and Math\'{e}, Ewy A. and van der Hooft, Justin J. J. and Chatelaine, Haley},
  title =	{{Computational Metabolomics: Towards Molecules, Models, and their Meaning (Dagstuhl Seminar 24181)}},
  pages =	{124--141},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  editor =	{Ebbels, Timothy M. D. and Hassoun, Soha and Math\'{e}, Ewy A. and van der Hooft, Justin J. J. and Chatelaine, Haley},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.124},
  URN =		{urn:nbn:de:0030-drops-213492},
  doi =		{10.4230/DagRep.14.4.124},
  annote =	{Keywords: bioinformatics, cheminformatics, data integration, machine learning, mass spectrometry, metabolite identification, metabolomics, pathway analysis, repository-scale analysis, training and education}
}
@Article{burton_et_al:DagRep.14.4.142,
  author =	{Burton, Simon and Calinescu, Radu and Mirandola, Raffaela},
  title =	{{Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182)}},
  pages =	{142--163},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{4},
  editor =	{Burton, Simon and Calinescu, Radu and Mirandola, Raffaela},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.142},
  URN =		{urn:nbn:de:0030-drops-213482},
  doi =		{10.4230/DagRep.14.4.142},
  annote =	{Keywords: artificial intelligence, antifragility, autonomous systems, disturbance, ethics, formal methods, machine learning, nondeterminism, resilience, safety, self-adaptive systems, validation and verification, uncertainty}
}