5 Search Results for "Steffen, Bernhard"

Document
DOI: 10.4230/DagRep.12.9.20
Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)

Authors: Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoit Combemale, Bernhard Rumpe, and Steffen Zschaler

Published in: Dagstuhl Reports, Volume 12, Issue 9 (2023)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22362 "Model-Driven Engineering of Digital Twins". Digital twins are an emerging concept with the potential for revolutionising the way we interact with the physical world. Digital twins can be used for improved analysis and understanding of complex systems as well as for control and transformation of these systems. Digital twins are themselves complex software systems, posing novel software-engineering challenges, which have so far not been sufficiently addressed by the software-engineering research community. The seminar aimed as a key outcome to contribute to a solid research roadmap for the new Software Engineering subdiscipline of Model-Based Development of Digital Twins. This paper is an intermediate result, which is thought to be further discussed in the research community that has also been built using this seminar.
Cite as

Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoit Combemale, Bernhard Rumpe, and Steffen Zschaler. Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362). In Dagstuhl Reports, Volume 12, Issue 9, pp. 20-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@Article{cleophas_et_al:DagRep.12.9.20,
  author =	{Cleophas, Loek and Godfrey, Thomas and Khelladi, Djamel Eddine and Lehner, Daniel and Combemale, Benoit and Rumpe, Bernhard and Zschaler, Steffen},
  title =	{{Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)}},
  pages =	{20--40},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{9},
  editor =	{Combemale, Benoit and Rumpe, Bernhard and Zschaler, Steffen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.9.20},
  URN =		{urn:nbn:de:0030-drops-178080},
  doi =		{10.4230/DagRep.12.9.20},
  annote =	{Keywords: Software Engineering, Model-Driven Engineering, Digital Twins, Model Management, Data Management, Models@runtime}
}
Document
DOI: 10.4230/DagSemProc.09401.1
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
DOI: 10.4230/DagSemProc.05462.8
Service-Oriented Design: The jABC Approach

Authors: Tiziana Margaria, Bernhard Steffen, and Manfred Reitenspieß

Published in: Dagstuhl Seminar Proceedings, Volume 5462, Service Oriented Computing (SOC) (2006)

Abstract
Reviewing our 10 years of experience in service engineering for telecommunication systems from the point of view of Service-Oriented Design then and now, we observe that much is common to the two communities. We aim in our current research at establishing a link to the notions used by the service-oriented programming (SO) community. We are convinced that combined approaches, that blend the flexibility of the current SO-scenario with the rigour and semantic standardization culture of the telecommunication community will dramatically increase the productivity of the development of a large class of software systems. Incremental formalization and automatic verification techniques may be again the key to achieving confidence and reliability for services that interact and interoperate on a large distributed scale.
Cite as

Tiziana Margaria, Bernhard Steffen, and Manfred Reitenspieß. Service-Oriented Design: The jABC Approach. In Service Oriented Computing (SOC). Dagstuhl Seminar Proceedings, Volume 5462, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{margaria_et_al:DagSemProc.05462.8,
  author =	{Margaria, Tiziana and Steffen, Bernhard and Reitenspie{\ss}, Manfred},
  title =	{{Service-Oriented Design: The jABC Approach}},
  booktitle =	{Service Oriented Computing (SOC)},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5462},
  editor =	{Francisco Cubera and Bernd J. Kr\"{a}mer and Michael P. Papazoglou},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05462.8},
  URN =		{urn:nbn:de:0030-drops-5217},
  doi =		{10.4230/DagSemProc.05462.8},
  annote =	{Keywords: Service-Oriented Design, Telecommunication Services, Service platforms}
}
Document
DOI: 10.4230/DagSemRep.144
Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619)

Authors: Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, and Glynn Winskel

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

Abstract
Cite as

Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, and Glynn Winskel. Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619). Dagstuhl Seminar Report 144, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)

Copy BibTex To Clipboard

@TechReport{droste_et_al:DagSemRep.144,
  author =	{Droste, Manfred and Olderog, Ernst-R\"{u}diger and Steffen, Bernhard and Winskel, Glynn},
  title =	{{Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619)}},
  pages =	{1--18},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{144},
  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.144},
  URN =		{urn:nbn:de:0030-drops-150310},
  doi =		{10.4230/DagSemRep.144},
}
Document
DOI: 10.4230/DagSemRep.81
Algorithms in Automata Theory (Dagstuhl Seminar 9406)

Authors: André Arnold, Helmut Seidl, and Bernhard Steffen

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

Abstract
Cite as

André Arnold, Helmut Seidl, and Bernhard Steffen. Algorithms in Automata Theory (Dagstuhl Seminar 9406). Dagstuhl Seminar Report 81, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1994)

Copy BibTex To Clipboard

@TechReport{arnold_et_al:DagSemRep.81,
  author =	{Arnold, Andr\'{e} and Seidl, Helmut and Steffen, Bernhard},
  title =	{{Algorithms in Automata Theory (Dagstuhl Seminar 9406)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{81},
  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.81},
  URN =		{urn:nbn:de:0030-drops-149691},
  doi =		{10.4230/DagSemRep.81},
}
  • Refine by Author
  • 3 Steffen, Bernhard
  • 1 Arnold, André
  • 1 Cleophas, Loek
  • 1 Combemale, Benoit
  • 1 Droste, Manfred
  • Show More...

  • Refine by Classification
  • 1 Software and its engineering → Software notations and tools

  • Refine by Keyword
  • 1 Data Management
  • 1 Digital Twins
  • 1 Machine learning
  • 1 Model Management
  • 1 Model-Driven Engineering
  • Show More...

  • Refine by Type
  • 5 document

  • Refine by Publication Year
  • 1 1994
  • 1 1996
  • 1 2006
  • 1 2010
  • 1 2023

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