Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Frank Ortmeier, Simon Struck |
Optimizing Formal Specifications - Why and How. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 70-79, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue |
Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 60-69, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Markus Voelter, Federico Tomassetti |
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 44-49, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Jens Otto, Björn Böttcher, Oliver Niggemann |
Plug-and-Produce: Semantic Module Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 90-99, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Ralf Jahr, Mike Gerdes 0001, Theo Ungerer |
On Efficient and Effective Model-based Parallelization of Hard Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 50-59, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![fortiss GmbH, München The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Holger Jeromin, Ulrich Epple |
Modellbasiertes und technologieneutrales HMI für eingebettete Komponenten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 80-89, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Quang Minh Tran, Christian Dziobek |
Ansatz zur Erstellung und Wartung von Simulink-Modellen durch den Einsatz von Transformationen/Refactorings und Generierungsoperationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 1-12, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann 0001 |
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 30-43, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Sebastian Bauer, Peter Braun 0003, Jan Philipps |
Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 13-19, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Christian Berger 0001 |
Educational Effect of a Student Competition with Self-Driving Cars on Selected Software Engineering Topics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 20-29, 2013, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Hartmut Pohlheim, Ingo Stürmer |
Ein Ansatz zur Qualitätsbewertung von modellbasierten Entwicklungsprojekten eingebetteter Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 11-20, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb |
Towards an Extensible C for Embedded Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 107-112, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Mirko Conrad, Tom Erkkinen, Matt Englehart, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan |
Automating Code Reviews with Simulink Code Inspector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 31-36, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck |
Unifying Probabilistic and Traditional Formal Model Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 123-132, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Hardi Hungar |
Components and Contracts: A Semantical Foundation for Compositional Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 157-162, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Oliver Niggemann, Benno Stein 0001, Alexander Maier |
Solving Modeling Problems with Machine Learning -- A Classification Scheme of Model Learning Approaches for Technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 21-30, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Sara Blessing, Michaela Huhn |
Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 133-144, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Dmitry Renzhin, Dorothea Pantförder 0001, Jens Folmer, Birgit Vogel-Heuser |
Darstellungskonzepte für die zustandsabhängige Diagnose industrieller Kommunikationsnetzwerken für verteilte Automatisierungssysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 91-100, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Stefan Henkler, Tobias Eckardt |
Component Behavior Synthesis for Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 113-122, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Sten Grüner, David Kampert 0001, Ulrich Epple |
A Model-Based Implementation of Function Block Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 81-90, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Christian Dziobek, Thomas Ringler, Florian Wohlgemuth |
Herausforderungen bei der modellbasierten Entwicklung verteilter Fahrzeugfunktionen in einer verteilten Entwicklungsorganisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 1-10, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Hartmut Lackner, Holger Schlingloff |
Modeling for automated test generation - a comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 57-70, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Florian Leitner-Fischer, Stefan Leue |
Towards Causality Checking for Complex System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 71-80, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alexander Pacholik, Matthias Riebisch |
Modelling Technical Constraints and Preconditions for Alternative Design Desicions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 101-106, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Stefan Milius, Henning Günther, Jan Peleska 0001, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner |
A framework for formal verification of systems of synchronous components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 145-154, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Michael Liebig, Jens Weiland |
Einfluss von Wiederverwendung zeitkritischer Funktionen in AUTOSAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 39-48, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![fortiss GmbH, München The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Ulrich Freund |
Frontloading of Complexity -- Experience with AUTOSAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 37-38, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Sebastian Voss, Bernhard Schätz |
Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 49-56, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Matthias Riebisch, Alexander Pacholik, Stephan Bode |
Towards Optimization of Design Decisions for Embedded Systems by Exploiting Dependency Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 11-20, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![fortiss GmbH, München The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 71-80, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Martin Hillenbrand, Matthias Heinz, Markus Mohrhard, Jochen Kramer, Klaus D. Müller-Glaser |
Ontology-Based Consideration of Electric/Electronic Architectures of Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 133-146, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Andreas Graf, Michael Jastram |
Requirements, Tracability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 147-156, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer |
Delta Modeling for Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 1-10, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Lars Kristian Klauske, Christian Dziobek |
Effizientes Erstellen von Simulink Modellen mit Hilfe eines Spezifisch angepassten Layoutalgorithmus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 115-126, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner |
MeMo - Methods of Model Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 127-132, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski |
Comparing Continous Behavior in Model-based Development of Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 61-70, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Dennis Klar, Michaela Huhn, Jochen Grühser |
Diagnosis in Rail Automation: A Case Study on Megamodels in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 101-114, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss |
FALTER in the Loop: Testing UAV Software in Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 81-90, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Jan Meyer, Jörg Holtmann |
Eine durchgängige Entwicklungsmethode von der System-Architektur bis zur Softwarearchitektur mit AUTOSAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 21-30, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Oliver Niggemann, Alexander Maier, Asmir Vodencarevic, Bernhard Jantscher |
Fighting the Modeling Bottleneck - Learning Models for Production Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 157-166, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Stephan Weißleder, Dehla Sokenou |
Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 167-175, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Simon Barner, Andreas Raabe, Christian Buckl, Alois C. Knoll |
Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 31-40, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Matthias Heinz, Martin Hillenbrand, Klaus D. Müller-Glaser |
Electric/electronic architecture model driven FlexRay configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 51-60, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Florian Leitner-Fischer, Stefan Leue |
Quantitative Analysis of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 91-100, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Dmitry Renzhin, Jens Folmer |
Herausforderungen bei der Performanz-Analyse automatisierungstechnischer Kommunikationssysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 41-50, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
Variability and Evolution in Model-based Engineering of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 87-96, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Bernhard Schätz, Christian Pfaller |
Test Case Integration: From Components to Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 65-76, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Arne Haber, Jan Oliver Ringert, Bernhard Rumpe |
Towards Architectural Programming of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 13-22, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Mirko Conrad, Patrick Munier, Frank Rauch |
Qualifying Software Tools According to ISO 26262. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 117-128, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Birgit Vogel-Heuser |
Usability-Evaluation von modellbasiertem Engineering in der Automatisierungstechnik - Ergebnisse und Kriterien. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 107-116, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Gert Döhmen, Dietmar Sander, Andreas Lehmann 0002 |
Complete and Virtual System Models for System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 132-141, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Frank Ortmeier, Matthias Güdemann |
ProMoSA - Probabilistic Models for Safety Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 7-12, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Stephan Weißleder |
Static and Dynamic Boundary Value Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 55-64, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Gustavo Quiros, Ulrich Epple |
Model-based Decentralised Management of Product Flow Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 33-44, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | David Hoadley |
Using Model-Based Design in an IEC 62304-Compliant Software Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 129-131, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Oliver Niggemann, Alexander Maier, Jürgen Jasperneite |
Model-based Development of Automation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 45-54, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jan Scheible |
Ein Framework zur automatisierten Ermittlung der Modellqualität bei eingebetteten Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 1-6, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michaela Huhn, Dirk Scharff |
Some Observations on SCADE Model Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 97-106, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Christian Buckl, Gerd Kainz, Stephan Sommer, Alois C. Knoll |
Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 23-32, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel 0002 |
Reverse Engineering vernetzter automotiver Softwaresysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 77-86, 2010, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![fortiss GmbH, München The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jae-Won Choi, Anna Trögel, Ingo Stürmer |
TUDOOR - Ein Java Adapter für Telelogic DOORS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 189-194, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Axel Zechner, Michaela Huhn |
Structural Analysis of Safety Case Arguments in a Model-based Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 115-127, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Ulrich Epple |
Modellbasierte Entwicklung in der Prozessautomatisierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 92-102, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Karsten Schmidt 0003, Philipp Janda |
Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige Entwicklungsschritte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 67-74, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Jan Meyer, Wilhelm Schäfer |
Automatische Analyse und Generierung von AUTOSAR-Konfigurationsdaten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 82-91, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Michael Schlereth, Sebastian Rose, Andy Schürr |
Model Driven Automation Engineering - Characteristics and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 1-15, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Holger Giese, Stephan Hildebrandt, Stefan Neumann 0002 |
Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 155-164, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Stefan Leue, Wei Wei 0015 |
An Executable and Extensible Formal Semantics for UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 182-188, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Holger Giese, Michaela Huhn, Ulrich Nickel 0002, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![TU Braunschweig, Institut für Software Systems Engineering The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Stephan Weißleder |
Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 26-35, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Christian Dziobek, Jens Weiland |
Variantenmodellierung und -konfiguration eingebetteter automotive Software mit Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 36-45, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Dennis Klar, Michaela Huhn |
Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 103-114, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Ines Fey, Mirko Conrad |
Demonstrating IEC 61508 Compliance in Model-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 171-181, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Oliver Niggemann, Benno Stein 0001, Thomas Spanuth, Heinrich Balzer |
Using Models for Dynamic System Diagnosis: A Case Study in Automotive Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 46-56, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Christian Berger 0001, Holger Krahn, Holger Rendel, Bernhard Rumpe |
Feature-basierte Modellierung und Verarbeitung von Produktlinien am Beispiel eingebetteter Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 75-81, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Andreas Graf, Markus Völter |
A textual domain specific language for AUTOSAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 165-170, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Kirsten Mewes |
Domain-specific Modeling, Validation, and Verification of Railway Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 57-66, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Mathias Maurmaier, Peter Göhner |
Modellgetriebene Entwicklung von Automatisierungssystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 16-25, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Armin Zimmermann, Jan Trowitzsch |
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 128-139, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist |
From Constraints to Design Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 140-154, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Hans Grönniger, Jochen Hartmann 0002, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe |
View-Centric Modeling of Automotive Logical Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 3-12, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Oliver Niggemann, Rainer Otterbach |
Durchgehende Systemverifikation im Automotiven Entwicklungsprozess. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 20-27, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder |
Composition of Model-based Test Coverage Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 87-94, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Frank Tränkle, Robert Bechtold, Stefan Harms |
Testbasierte Entwicklung von Steuergeräte-Funktionsmodellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 95-101, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Patrick Frey, Ulrich Freund |
Integrating Timing Aspects in Model- and Component-Based Embedded Control System Development for Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 40-56, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Gerd Baumann, Michael Brost |
Testverfahren für Elektronik und Embedded Software in der Automobilentwicklung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 13-19, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ingo Stürmer, Christian Dziobek, Hartmut Pohlheim |
Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 28-39, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Stefan Milius, Uwe Steinke |
Modelbasierte Softwareentwicklung mit SCADE in der Eisenbahnautomatisierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 68-77, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini |
A Service-Oriented Approach to Failure Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 102-116, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Holger Giese, Michaela Huhn, Ulrich Nickel 0002, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![TU Braunschweig, Institut für Software Systems Engineering The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Stefan Henkler, Martin Hirsch 0001 |
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 78-86, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Andrea Osterloh, Oscar Slotosch |
Automatisiertes Testen mit Message Sequence Charts (MSCs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 1-2, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner 0001, Jean-Francois Girard, Stefan Teuchert |
Clone Detection in Automotive Model-Based Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 57-67, 2008, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Vina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy |
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 1-24, 2007, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Mirko Conrad |
Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 41-50, 2007, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Michael Erskine 0002 |
Requirements Engineering in der Analysephase mit der Rational Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 95-102, 2007, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|