Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Outcome of a Dagstuhl Seminar: Model-Based Engineering of Embedded Real-Time Systems 2007

> Home > Conferences and Workshops > Dagstuhl

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/2007rt
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2007rt
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Lecture Notes in Computer Science 6100, Springer 2011, ISBN 978-3-642-16276-3

Part I: Foundation

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/SchatzG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SchatzG07
Bernhard Schätz, Holger Giese:
Models of Reactive Systems - Communication, Concurrency, and Causality. 3-15
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/GieseNNS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GieseNNS07
Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz:
Model-Based Integration. 17-54

Part II: Language Engineering

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/SprinkleRVK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SprinkleRVK07
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai:
Metamodelling - State of the Art and Research Challenges. 57-76
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/LundRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LundRS07
Mass Soldal Lund, Atle Refsdal, Ketil Stølen:
Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches. 77-103

Part III: Modeling

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/ResmeritaDPN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/ResmeritaDPN07
Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger:
Modeling and Simulation of TDL Applications. 107-128
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/GerardETS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GerardETS07
Sébastien Gérard, Huáscar Espinoza, François Terrier, Bran Selic:
Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions. 129-154
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/KrugerFFM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/KrugerFFM07
Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini:
Requirements Modeling for Embedded Realtime Systems. 155-199
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/HuhnH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HuhnH07
Michaela Huhn, Hardi Hungar:
UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. 201-237

Part IV: Model Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/LevendovszkyRSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LevendovszkyRSS07
Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle:
Model Evolution and Management. 241-270
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BucklKSZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BucklKSZ07
Christian Buckl, Alois C. Knoll, Ina Schieferdecker, Justyna Zander:
Model-Based Analysis and Development of Dependable Systems. 271-293

Part V: Approaches

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/CuenotFJLPRSSKTa07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/CuenotFJLPRSSKTa07
Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber:
The EAST-ADL Architecture Description Language for Automotive Embedded Software. 297-307
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/PriesterjahnTHHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PriesterjahnTHHS07
Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer:
Fujaba4Eclipse Real-Time Tool Suite. 309-315
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/HolzlF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HolzlF07
Florian Hölzl, Martin Feilkas:
AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems. 317-322
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/LegrosSSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LegrosSSS07
Elodie Legros, Wilhelm Schäfer, Andy Schürr, Ingo Stürmer:
MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. 323-328
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/NiggemannGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/NiggemannGS07
Oliver Niggemann, Anne Geburzi, Joachim Stroop:
Benefits of System Simulation for Automotive Applications. 329-336
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/WeisemollerKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/WeisemollerKS07
Ingo Weisemöller, Felix Klar, Andy Schürr:
Development of Tool Extensions with MOFLON. 337-343
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/ChenTPFQ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/ChenTPFQ07
De-Jiu Chen, Martin Törngren, Magnus Persson, Lei Feng, Tahir Naseer Qureshi:
Towards Model-Based Engineering of Self-configuring Embedded Systems. 345-353
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Freund07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Freund07
Ulrich Freund:
Representation of Automotive Software Description Means in ASCET. 355-360
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/GerardDTS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GerardDTS07
Sébastien Gérard, Cédric Dumoulin, Patrick Tessier, Bran Selic:
Papyrus: A UML2 Tool for Domain-Specific Language Modeling. 361-368
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/SztipanovitsKNB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SztipanovitsKNB07
Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty:
The Model-Integrated Computing Tool Suite. 369-376
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/FarkasKR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/FarkasKR07
Tibor Farkas, Torsten Klein, Harald Röbig:
Application of Quality Standards to Multiple Artifacts with a Universal Compliance Solution. 377-384

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.