10 Search Results for "Sch�tz, Bernhard"


Document
New Directions for Learning with Kernels and Gaussian Processes (Dagstuhl Seminar 16481)

Authors: Arthur Gretton, Philipp Hennig, Carl Edward Rasmussen, and Bernhard Schölkopf

Published in: Dagstuhl Reports, Volume 6, Issue 11 (2017)


Abstract
The Dagstuhl Seminar on 16481 "New Directions for Learning with Kernels and Gaussian Processes" brought together two principal theoretical camps of the machine learning community at a crucial time for the field. Kernel methods and Gaussian process models together form a significant part of the discipline's foundations, but their prominence is waning while more elaborate but poorly understood hierarchical models are ascendant. In a lively, amiable seminar, the participants re-discovered common conceptual ground (and some continued points of disagreement) and productively discussed how theoretical rigour can stay relevant during a hectic phase for the subject.

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)

Authors: Dominique Méry, Bernhard Schätz, and Alan Wassyng

Published in: Dagstuhl Reports, Volume 4, Issue 2 (2014)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14062 "The Pacemaker Challenge: Developing Certifiable Medical Devices". The aim of the seminar was to bring together leading researchers and industrial partners of this field; the seminary ended up with 24 participants from 8 countries: Canada, Denmark, France, The Unites States, Germany, United Kingdom, Brazil. Through a series of presentations, discussions, and working group meetings, the seminar attempted to get a general view of the field of medical devices and certification issues through the pacemaker challenge. The seminar brought together, on the one hand, researchers from the different notations and various tools. The main outcome of the seminar is the exchange of information between different groups and the project of a book.

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)

Authors: Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits

Published in: Dagstuhl Reports, Volume 1, Issue 11 (2012)


Abstract
Today, a new category of engineering systems is emerging that combines the physical with the computational in a holistic way: Cyber-physical systems (CPS). The key property of these systems is that functionality and salient system properties are emerging from an intensive interaction of physical and computational components. Traditional separation along engineering disciplines in the design of such systems leads to various quality, maintainability and evolutionary problems, and integrated theories and engineering techniques are urgently needed. The purpose of the seminar is to bring together researchers from the field, from both academia and industry to discuss the new scientific foundations and engineering principles for the vastly emerging field of CPS.

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
09401 Abstracts Collection – Machine learning approaches to statistical dependences and causality

Authors: Dominik Janzing, Steffen Lauritzen, and Bernhard Schölkopf

Published in: Dagstuhl Seminar Proceedings, Volume 9401, Machine learning approaches to statistical dependences and causality (2010)


Abstract
From 27.09.2009 to 02.10.2009, the Dagstuhl Seminar 09401 ``Machine learning approaches to statistical dependences and causality'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
07451 Abstracts Collection – Model-Based Engineering of Embedded Real-Time Systems

Authors: Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz

Published in: Dagstuhl Seminar Proceedings, Volume 7451, Model-Based Engineering of Embedded Real-Time Systems (2007)


Abstract
From 04.11. to 09.11.2007, the Dagstuhl Seminar 07451 ``Model-Based Engineering of Embedded Real-Time Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
07451 Summary – Model-Based Engineering of Embedded Real-Time Systems

Authors: Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz

Published in: Dagstuhl Seminar Proceedings, Volume 7451, Model-Based Engineering of Embedded Real-Time Systems (2007)


Abstract
Today, embedded software plays a central role in most advanced technical systems such as airplanes, cell phones, and cars, and has become the main driver for innovation. Development, evolution, configuration and maintenance of embedded and distributed software nowadays often are serious challenges as a drastic increase of the software complexity can be observed in practice. The application of model-based engineering technologies to embedded real-time systems seems to be a good candidate to tackle some of the resulting problems.

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
A Model-Based Approach To Requirements Analysis

Authors: Bernhard Schätz, Eva Geisberger, and Johannes Grünbauer

Published in: Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007)


Abstract
A major task in designing embedded systems is the systematic elaboration of functional system requirements and their integration into the environment of the complete technical system. The main challenge is to handle the versatile tasks of coordinating a definition of behavior, which is appropriate to the problem. The problem- and design-specifications of the customer related product definition have to be adjusted with and integrated into the manifold requirements of the technical system design. Accordingly, the model-based requirements analysis and system-definition presented here defines a well-structured modeling approach, which systematically aids the goal-oriented formulation and adjustment of the different stakeholder-requirements with the aid of views onto the system and descriptive specification techniques. Thus it allows a clear specification of a consistent and complete system design. The central steps of this approach are implemented in a requirements management (RM) tool prototype called AutoRAID

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland

Authors: 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

Published in: Dagstuhl Seminar Proceedings, Volume 5402, Perspectives Workshop (2006)


Abstract
Im Rahmen des Dagstuhl Perspektiven Workshop 05402 "Challenges for Software Engineering Research" haben führende Software Engineering Professoren den derzeitigen Stand der Softwaretechnik in Deutschland charakterisiert und Handlungsempfehlungen für Wirtschaft, Forschung und Politik abgeleitet. Das Manifest fasst die diese Empfehlungen und die Bedeutung und Entwicklung des Fachgebiets prägnant zusammen.

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme 2005

Authors: Torsten Klein, Bernhard Rumpe, and Bernhard Schätz

Published in: Dagstuhl Seminar Proceedings, Volume 5022, Model-Based Development of Embedded Systems (2005)


Abstract
Die modellbasierte Entwicklung eingebetteter, softwarebasierter Systeme beruht auf der anwendungsorientierten Modellierung der zu realisierenden Systeme sowohl unter Nutzung von Standardsprachen, wie der UML und deren Elementen, wie Komponenten, Nachrichten, oder Zustände, als auch von domäenspezifischen Konzepten, wie etwa zeitbehafteten Ereignissen oder Signalen, synchronem oder asynchronem Datenfluss und Priorisierungs- und Unterbrechungskonzepten. Durch den Einsatz anwendungsorientierter statt codezentrierter Modelle können Aspekte der Implementierung (z.B. Bus- oder Task-Schedules, Implementierungstypen) abstrahiert werden, während besonders wichtige und kritische Aspekte explizit und frühzeitig modelliert werden (z.B. Zeit, Prioritäten oder Kommunikationsaspekte). Die Anwendung analytischer und generativer Verfahren auf diesen Modellen erlaubt die effiziente Entwicklung hochqualitativer Software.

Cite as

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)


Copy BibTex To Clipboard

@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}
}
Document
Inference Principles and Model Selection (Dagstuhl Seminar 01301)

Authors: Joachim Buhmann and Bernhard Schölkopf

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

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)


Copy BibTex To Clipboard

@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},
}
  • Refine by Author
  • 6 Schätz, Bernhard
  • 5 Rumpe, Bernhard
  • 3 Giese, Holger
  • 3 Schölkopf, Bernhard
  • 2 Karsai, Gabor
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 3 embedded systems
  • 3 model-based
  • 3 real-time systems
  • 3 validation & verification
  • 2 Embedded systems
  • Show More...

  • Refine by Type
  • 10 document

  • Refine by Publication Year
  • 3 2007
  • 1 2002
  • 1 2005
  • 1 2006
  • 1 2010
  • Show More...

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