Published in: Dagstuhl Reports, Volume 6, Issue 11 (2017)
Arthur Gretton, Philipp Hennig, Carl Edward Rasmussen, and Bernhard Schölkopf. New Directions for Learning with Kernels and Gaussian Processes (Dagstuhl Seminar 16481). In Dagstuhl Reports, Volume 6, Issue 11, pp. 142-167, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{gretton_et_al:DagRep.6.11.142, author = {Gretton, Arthur and Hennig, Philipp and Rasmussen, Carl Edward and Sch\"{o}lkopf, Bernhard}, title = {{New Directions for Learning with Kernels and Gaussian Processes (Dagstuhl Seminar 16481)}}, pages = {142--167}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {11}, editor = {Gretton, Arthur and Hennig, Philipp and Rasmussen, Carl Edward and Sch\"{o}lkopf, Bernhard}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.11.142}, URN = {urn:nbn:de:0030-drops-71064}, doi = {10.4230/DagRep.6.11.142}, annote = {Keywords: gaussian processes, kernel methods, machine learning, probabilistic numerics, probabilistic programming} }
Published in: Dagstuhl Reports, Volume 4, Issue 2 (2014)
Dominique Méry, Bernhard Schätz, and Alan Wassyng. The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). In Dagstuhl Reports, Volume 4, Issue 2, pp. 17-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{mery_et_al:DagRep.4.2.17, author = {M\'{e}ry, Dominique and Sch\"{a}tz, Bernhard and Wassyng, Alan}, title = {{The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)}}, pages = {17--37}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {M\'{e}ry, Dominique and Sch\"{a}tz, Bernhard and Wassyng, Alan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.2.17}, URN = {urn:nbn:de:0030-drops-45436}, doi = {10.4230/DagRep.4.2.17}, annote = {Keywords: Embedded systems, Real-time systems, Medical devices, Model-driven development, Software certification, Validation \& verification, Formal methods} }
Published in: Dagstuhl Reports, Volume 1, Issue 11 (2012)
Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits. Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). In Dagstuhl Reports, Volume 1, Issue 11, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{giese_et_al:DagRep.1.11.1, author = {Giese, Holger and Rumpe, Bernhard and Sch\"{a}tz, Bernhard and Sztipanovits, Janos}, title = {{Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)}}, pages = {1--22}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {1}, number = {11}, editor = {Giese, Holger and Rumpe, Bernhard and Sch\"{a}tz, Bernhard and Sztipanovits, Janos}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.11.1}, URN = {urn:nbn:de:0030-drops-33752}, doi = {10.4230/DagRep.1.11.1}, annote = {Keywords: Embedded systems, real-time systems, control, composition, system integration, design automation, model-driven development, validation \& verification} }
Published in: Dagstuhl Seminar Proceedings, Volume 9401, Machine learning approaches to statistical dependences and causality (2010)
Dominik Janzing, Steffen Lauritzen, and Bernhard Schölkopf. 09401 Abstracts Collection – Machine learning approaches to statistical dependences and causality. In Machine learning approaches to statistical dependences and causality. Dagstuhl Seminar Proceedings, Volume 9401, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{janzing_et_al:DagSemProc.09401.1, author = {Janzing, Dominik and Lauritzen, Steffen and Sch\"{o}lkopf, Bernhard}, title = {{09401 Abstracts Collection – Machine learning approaches to statistical dependences and causality }}, booktitle = {Machine learning approaches to statistical dependences and causality}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9401}, editor = {Dominik Janzing and Steffen Lauritzen and Bernhard Sch\"{o}lkopf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09401.1}, URN = {urn:nbn:de:0030-drops-23636}, doi = {10.4230/DagSemProc.09401.1}, annote = {Keywords: Machine learning, statistical dependences, causality} }
Published in: Dagstuhl Seminar Proceedings, Volume 7451, Model-Based Engineering of Embedded Real-Time Systems (2007)
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz. 07451 Abstracts Collection – Model-Based Engineering of Embedded Real-Time Systems. In Model-Based Engineering of Embedded Real-Time Systems. Dagstuhl Seminar Proceedings, Volume 7451, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{giese_et_al:DagSemProc.07451.1, author = {Giese, Holger and Karsai, Gabor and Lee, Edward and Rumpe, Bernhard and Sch\"{a}tz, Bernhard}, title = {{07451 Abstracts Collection – Model-Based Engineering of Embedded Real-Time Systems}}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7451}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch\"{a}tz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07451.1}, URN = {urn:nbn:de:0030-drops-12718}, doi = {10.4230/DagSemProc.07451.1}, annote = {Keywords: Models, model-based, MDD, embedded systems, real-time systems, validation \& verification, tool-support, domain-specific, languages} }
Published in: Dagstuhl Seminar Proceedings, Volume 7451, Model-Based Engineering of Embedded Real-Time Systems (2007)
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz. 07451 Summary – Model-Based Engineering of Embedded Real-Time Systems. In Model-Based Engineering of Embedded Real-Time Systems. Dagstuhl Seminar Proceedings, Volume 7451, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{giese_et_al:DagSemProc.07451.2, author = {Giese, Holger and Karsai, Gabor and Lee, Edward and Rumpe, Bernhard and Sch\"{a}tz, Bernhard}, title = {{07451 Summary – Model-Based Engineering of Embedded Real-Time Systems}}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7451}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch\"{a}tz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07451.2}, URN = {urn:nbn:de:0030-drops-12720}, doi = {10.4230/DagSemProc.07451.2}, annote = {Keywords: Models, model-based, MDD, embedded systems, real-time systems, validation \& verification, tool-support, domain-specific languages} }
Published in: Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007)
Bernhard Schätz, Eva Geisberger, and Johannes Grünbauer. A Model-Based Approach To Requirements Analysis. In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{schatz_et_al:DagSemProc.06351.4, author = {Sch\"{a}tz, Bernhard and Geisberger, Eva and Gr\"{u}nbauer, Johannes}, title = {{A Model-Based Approach To Requirements Analysis}}, booktitle = {Methods for Modelling Software Systems (MMOSS)}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6351}, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.4}, URN = {urn:nbn:de:0030-drops-8663}, doi = {10.4230/DagSemProc.06351.4}, annote = {Keywords: Requirements, model-based, tool support} }
Published in: Dagstuhl Seminar Proceedings, Volume 5402, Perspectives Workshop (2006)
Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmut A. Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, and Albert Zündorf. Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. In Perspectives Workshop. Dagstuhl Seminar Proceedings, Volume 5402, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{broy_et_al:DagSemProc.05402.1, author = {Broy, Manfred and Jarke, Matthias and Nagl, Manfred and Rombach, Hans Dieter and Cremers, Armin B. and Ebert, J\"{u}rgen and Glesner, Sabine and Glinz, Martin and Goedicke, Michael and Goos, Gerhard and Gruhn, Volker and Hasselbring, Wilhelm and J\"{a}hnichen, Stefan and Kowalewski, Stefan and Kr\"{a}mer, Bernd J. and Leue, Stefan and Lewerentz, Claus and Liggesmeyer, Peter and L\"{u}th, Christoph and Paech, Barbara and Partsch, Helmut A. and Philippow, Ilka and Prechelt, Lutz and Rausch, Andreas and de Roever, Willem-Paul and Rumpe, Bernhard and R\"{u}nger, Gudula and Sch\"{a}fer, Wilhelm and Schneider, Kurt and Sch\"{u}rr, Andy and Tichy, Walter F. and Westfechtel, Bernhard and Zimmermann, Wolf and Z\"{u}ndorf, Albert}, title = {{Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland}}, booktitle = {Perspectives Workshop}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5402}, editor = {Manfred Broy and Manfred Nagl and Hans Dieter Rombach and Matthias Jarke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05402.1}, URN = {urn:nbn:de:0030-drops-5853}, doi = {10.4230/DagSemProc.05402.1}, annote = {Keywords: Software Engineering, Software Technik, Strategie} }
Published in: Dagstuhl Seminar Proceedings, Volume 5022, Model-Based Development of Embedded Systems (2005)
Torsten Klein, Bernhard Rumpe, and Bernhard Schätz. Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme 2005. In Model-Based Development of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 5022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{klein_et_al:DagSemProc.05022.1, author = {Klein, Torsten and Rumpe, Bernhard and Sch\"{a}tz, Bernhard}, title = {{Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme 2005}}, booktitle = {Model-Based Development of Embedded Systems}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5022}, editor = {Torsten Klein and Bernhard Rumpe and Bernhard Sch\"{a}tz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05022.1}, URN = {urn:nbn:de:0030-drops-312}, doi = {10.4230/DagSemProc.05022.1}, annote = {Keywords: Modellbasierte Entwicklung , eingebettete Systeme model-based development , embedded systems} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Joachim Buhmann and Bernhard Schölkopf. Inference Principles and Model Selection (Dagstuhl Seminar 01301). Dagstuhl Seminar Report 315, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)
@TechReport{buhmann_et_al:DagSemRep.315, author = {Buhmann, Joachim and Sch\"{o}lkopf, Bernhard}, title = {{Inference Principles and Model Selection (Dagstuhl Seminar 01301)}}, pages = {1--22}, ISSN = {1619-0203}, year = {2002}, type = {Dagstuhl Seminar Report}, number = {315}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.315}, URN = {urn:nbn:de:0030-drops-151999}, doi = {10.4230/DagSemRep.315}, }
Feedback for Dagstuhl Publishing