Login / Signup
MBEES
2005
2008
2013
2005
2013
Keyphrases
Publications
2013
Ralf Jahr
,
Mike Gerdes
,
Theo Ungerer
On Efficient and Effective Model-based Parallelization of Hard Real-Time Applications.
MBEES
(2013)
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme
MBEES
(2013)
Jan Oliver Ringert
,
Bernhard Rumpe
,
Andreas Wortmann
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata.
MBEES
(2013)
Sebastian Bauer
,
Peter Braun
,
Jan Philipps
Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse.
MBEES
(2013)
Christian Berger
Educational Effect of a Student Competition with Self-Driving Cars on Selected Software Engineering Topics.
MBEES
(2013)
Holger Jeromin
,
Ulrich Epple
Modellbasiertes und technologieneutrales HMI für eingebettete Komponenten.
MBEES
(2013)
Jens Otto
,
Björn Böttcher
,
Oliver Niggemann
Plug-and-Produce: Semantic Module Profile.
MBEES
(2013)
Quang Minh Tran
,
Christian Dziobek
Ansatz zur Erstellung und Wartung von Simulink-Modellen durch den Einsatz von Transformationen/Refactorings und Generierungsoperationen.
MBEES
(2013)
Adrian Beer
,
Todor G. Georgiev
,
Florian Leitner-Fischer
,
Stefan Leue
Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.
MBEES
(2013)
Frank Ortmeier
,
Simon Struck
Optimizing Formal Specifications - Why and How.
MBEES
(2013)
Markus Voelter
,
Federico Tomassetti
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts.
MBEES
(2013)
2012
Hartmut Pohlheim
,
Ingo Stürmer
Ein Ansatz zur Qualitätsbewertung von modellbasierten Entwicklungsprojekten eingebetteter Software.
MBEES
(2012)
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.
MBEES
(2012)
Stefan Milius
,
Henning Günther
,
Jan Peleska
,
Oliver Möller
,
Helge Löding
,
Martin Sulzmann
,
Ramin Hedayati
,
Axel Zechner
A framework for formal verification of systems of synchronous components.
MBEES
(2012)
Stefan Henkler
,
Tobias Eckardt
Component Behavior Synthesis for Critical Systems.
MBEES
(2012)
Alexander Pacholik
,
Matthias Riebisch
Modelling Technical Constraints and Preconditions for Alternative Design Desicions.
MBEES
(2012)
Frank Ortmeier
,
Matthias Güdemann
,
Michael Lipaczewski
,
Simon Struck
Unifying Probabilistic and Traditional Formal Model Based Analysis.
MBEES
(2012)
Sara Blessing
,
Michaela Huhn
Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line.
MBEES
(2012)
Sebastian Voss
,
Bernhard Schätz
Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories.
MBEES
(2012)
Hartmut Lackner
,
Holger Schlingloff
Modeling for automated test generation - a comparison.
MBEES
(2012)
Hardi Hungar
Components and Contracts: A Semantical Foundation for Compositional Refinement.
MBEES
(2012)
Florian Leitner-Fischer
,
Stefan Leue
Towards Causality Checking for Complex System Models.
MBEES
(2012)
Michael Liebig
,
Jens Weiland
Einfluss von Wiederverwendung zeitkritischer Funktionen in AUTOSAR.
MBEES
(2012)
Ulrich Freund
Frontloading of Complexity -- Experience with AUTOSAR.
MBEES
(2012)
Markus Voelter
,
Bernhard Schätz
,
Daniel Ratiu
,
Bernd Kolb
Towards an Extensible C for Embedded Programming.
MBEES
(2012)
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme
MBEES
(2012)
Oliver Niggemann
,
Benno Stein
,
Alexander Maier
Solving Modeling Problems with Machine Learning -- A Classification Scheme of Model Learning Approaches for Technical Systems.
MBEES
(2012)
Sten Grüner
,
David Kampert
,
Ulrich Epple
A Model-Based Implementation of Function Block Diagram.
MBEES
(2012)
Christian Dziobek
,
Thomas Ringler
,
Florian Wohlgemuth
Herausforderungen bei der modellbasierten Entwicklung verteilter Fahrzeugfunktionen in einer verteilten Entwicklungsorganisation.
MBEES
(2012)
Dmitry Renzhin
,
Dorothea Pantförder
,
Jens Folmer
,
Birgit Vogel-Heuser
Darstellungskonzepte für die zustandsabhängige Diagnose industrieller Kommunikationsnetzwerken für verteilte Automatisierungssysteme.
MBEES
(2012)
2011
Dmitry Renzhin
,
Jens Folmer
Herausforderungen bei der Performanz-Analyse automatisierungstechnischer Kommunikationssysteme.
MBEES
(2011)
Florian Leitner-Fischer
,
Stefan Leue
Quantitative Analysis of UML Models.
MBEES
(2011)
Martin Fränzle
,
Tayfun Gezgin
,
Hardi Hungar
,
Stefan Puch
,
Gerald Sauter
Using Guided Simulation to Assess Driver Assistance Systems.
MBEES
(2011)
Matthias Heinz
,
Martin Hillenbrand
,
Klaus D. Müller-Glaser
Electric/electronic architecture model driven FlexRay configuration.
MBEES
(2011)
Simon Barner
,
Andreas Raabe
,
Christian Buckl
,
Alois C. Knoll
Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen.
MBEES
(2011)
Oliver Niggemann
,
Alexander Maier
,
Asmir Vodencarevic
,
Bernhard Jantscher
Fighting the Modeling Bottleneck - Learning Models for Production Plants.
MBEES
(2011)
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.
MBEES
(2011)
Martin Hillenbrand
,
Matthias Heinz
,
Markus Mohrhard
,
Jochen Kramer
,
Klaus D. Müller-Glaser
Ontology-Based Consideration of Electric/Electronic Architectures of Vehicles.
MBEES
(2011)
Dennis Klar
,
Michaela Huhn
,
Jochen Grühser
Diagnosis in Rail Automation: A Case Study on Megamodels in Practice.
MBEES
(2011)
Andreas Graf
,
Michael Jastram
Requirements, Tracability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF).
MBEES
(2011)
Jan Meyer
,
Jörg Holtmann
Eine durchgängige Entwicklungsmethode von der System-Architektur bis zur Softwarearchitektur mit AUTOSAR.
MBEES
(2011)
Matthias Riebisch
,
Alexander Pacholik
,
Stephan Bode
Towards Optimization of Design Decisions for Embedded Systems by Exploiting Dependency Relationships.
MBEES
(2011)
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme
MBEES
(2011)
Stephan Weißleder
,
Dehla Sokenou
Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines.
MBEES
(2011)
Arne Haber
,
Holger Rendel
,
Bernhard Rumpe
,
Ina Schaefer
Delta Modeling for Software Architectures.
MBEES
(2011)
Lars Kristian Klauske
,
Christian Dziobek
Effizientes Erstellen von Simulink Modellen mit Hilfe eines Spezifisch angepassten Layoutalgorithmus.
MBEES
(2011)
Wei Hu
,
Joachim Wegener
,
Ingo Stürmer
,
Robert Reicherdt
,
Elke Salecker
,
Sabine Glesner
MeMo - Methods of Model Quality.
MBEES
(2011)
Jacob Palczynski
,
Carsten Weise
,
Sebastian Moj
,
Stefan Kowalewski
Comparing Continous Behavior in Model-based Development of Embedded Software.
MBEES
(2011)
2010
Birgit Vogel-Heuser
Usability-Evaluation von modellbasiertem Engineering in der Automatisierungstechnik - Ergebnisse und Kriterien.
MBEES
(2010)
Goetz Botterweck
,
Andreas Polzer
,
Stefan Kowalewski
Variability and Evolution in Model-based Engineering of Embedded Systems.
MBEES
(2010)