| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frank Ortmeier, Simon Struck |
Optimizing Formal Specifications - Why and How.  |
MBEES  |
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. |
MBEES |
2013 |
DBLP BibTeX RDF |
|
| 1 | Markus Voelter, Federico Tomassetti |
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. |
MBEES |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jens Otto, Björn Böttcher, Oliver Niggemann |
Plug-and-Produce: Semantic Module Profile. |
MBEES |
2013 |
DBLP BibTeX RDF |
|
| 1 | Ralf Jahr, Mike Gerdes 0001, Theo Ungerer |
On Efficient and Effective Model-based Parallelization of Hard Real-Time Applications. |
MBEES |
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 |
MBEES |
2013 |
DBLP BibTeX RDF |
|
| 1 | Holger Jeromin, Ulrich Epple |
Modellbasiertes und technologieneutrales HMI für eingebettete Komponenten. |
MBEES |
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. |
MBEES |
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. |
MBEES |
2013 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Bauer, Peter Braun 0003, Jan Philipps |
Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse. |
MBEES |
2013 |
DBLP BibTeX RDF |
|
| 1 | Christian Berger 0001 |
Educational Effect of a Student Competition with Self-Driving Cars on Selected Software Engineering Topics. |
MBEES |
2013 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Pohlheim, Ingo Stürmer |
Ein Ansatz zur Qualitätsbewertung von modellbasierten Entwicklungsprojekten eingebetteter Software. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb |
Towards an Extensible C for Embedded Programming. |
MBEES |
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. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck |
Unifying Probabilistic and Traditional Formal Model Based Analysis. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hardi Hungar |
Components and Contracts: A Semantical Foundation for Compositional Refinement. |
MBEES |
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. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sara Blessing, Michaela Huhn |
Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. |
MBEES |
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. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefan Henkler, Tobias Eckardt |
Component Behavior Synthesis for Critical Systems. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sten Grüner, David Kampert 0001, Ulrich Epple |
A Model-Based Implementation of Function Block Diagram. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Christian Dziobek, Thomas Ringler, Florian Wohlgemuth |
Herausforderungen bei der modellbasierten Entwicklung verteilter Fahrzeugfunktionen in einer verteilten Entwicklungsorganisation. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Lackner, Holger Schlingloff |
Modeling for automated test generation - a comparison. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Florian Leitner-Fischer, Stefan Leue |
Towards Causality Checking for Complex System Models. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alexander Pacholik, Matthias Riebisch |
Modelling Technical Constraints and Preconditions for Alternative Design Desicions. |
MBEES |
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. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Liebig, Jens Weiland |
Einfluss von Wiederverwendung zeitkritischer Funktionen in AUTOSAR. |
MBEES |
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 |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Freund |
Frontloading of Complexity -- Experience with AUTOSAR. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Voss, Bernhard Schätz |
Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
| 1 | Matthias Riebisch, Alexander Pacholik, Stephan Bode |
Towards Optimization of Design Decisions for Embedded Systems by Exploiting Dependency Relationships. |
MBEES |
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 |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. |
MBEES |
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. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andreas Graf, Michael Jastram |
Requirements, Tracability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF). |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer |
Delta Modeling for Software Architectures. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lars Kristian Klauske, Christian Dziobek |
Effizientes Erstellen von Simulink Modellen mit Hilfe eines Spezifisch angepassten Layoutalgorithmus. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner |
MeMo - Methods of Model Quality. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski |
Comparing Continous Behavior in Model-based Development of Embedded Software. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dennis Klar, Michaela Huhn, Jochen Grühser |
Diagnosis in Rail Automation: A Case Study on Megamodels in Practice. |
MBEES |
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. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan Meyer, Jörg Holtmann |
Eine durchgängige Entwicklungsmethode von der System-Architektur bis zur Softwarearchitektur mit AUTOSAR. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Oliver Niggemann, Alexander Maier, Asmir Vodencarevic, Bernhard Jantscher |
Fighting the Modeling Bottleneck - Learning Models for Production Plants. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stephan Weißleder, Dehla Sokenou |
Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Simon Barner, Andreas Raabe, Christian Buckl, Alois C. Knoll |
Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthias Heinz, Martin Hillenbrand, Klaus D. Müller-Glaser |
Electric/electronic architecture model driven FlexRay configuration. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Florian Leitner-Fischer, Stefan Leue |
Quantitative Analysis of UML Models. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dmitry Renzhin, Jens Folmer |
Herausforderungen bei der Performanz-Analyse automatisierungstechnischer Kommunikationssysteme. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
| 1 | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
Variability and Evolution in Model-based Engineering of Embedded Systems. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Christian Pfaller |
Test Case Integration: From Components to Systems. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Arne Haber, Jan Oliver Ringert, Bernhard Rumpe |
Towards Architectural Programming of Embedded Systems. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mirko Conrad, Patrick Munier, Frank Rauch |
Qualifying Software Tools According to ISO 26262. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Birgit Vogel-Heuser |
Usability-Evaluation von modellbasiertem Engineering in der Automatisierungstechnik - Ergebnisse und Kriterien. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gert Döhmen, Dietmar Sander, Andreas Lehmann 0002 |
Complete and Virtual System Models for System Development. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Frank Ortmeier, Matthias Güdemann |
ProMoSA - Probabilistic Models for Safety Analysis. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stephan Weißleder |
Static and Dynamic Boundary Value Analysis. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gustavo Quiros, Ulrich Epple |
Model-based Decentralised Management of Product Flow Paths. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Hoadley |
Using Model-Based Design in an IEC 62304-Compliant Software Development Process. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Oliver Niggemann, Alexander Maier, Jürgen Jasperneite |
Model-based Development of Automation Systems. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan Scheible |
Ein Framework zur automatisierten Ermittlung der Modellqualität bei eingebetteten Systemen. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michaela Huhn, Dirk Scharff |
Some Observations on SCADE Model Clones. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christian Buckl, Gerd Kainz, Stephan Sommer, Alois C. Knoll |
Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel 0002 |
Reverse Engineering vernetzter automotiver Softwaresysteme. |
MBEES |
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 |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jae-Won Choi, Anna Trögel, Ingo Stürmer |
TUDOOR - Ein Java Adapter für Telelogic DOORS. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Axel Zechner, Michaela Huhn |
Structural Analysis of Safety Case Arguments in a Model-based Development Environment. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Epple |
Modellbasierte Entwicklung in der Prozessautomatisierung. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Karsten Schmidt 0003, Philipp Janda |
Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige Entwicklungsschritte. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan Meyer, Wilhelm Schäfer |
Automatische Analyse und Generierung von AUTOSAR-Konfigurationsdaten. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Schlereth, Sebastian Rose, Andy Schürr |
Model Driven Automation Engineering - Characteristics and Challenges. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Stephan Hildebrandt, Stefan Neumann 0002 |
Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Leue, Wei Wei 0015 |
An Executable and Extensible Formal Semantics for UML-RT. |
MBEES |
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 |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephan Weißleder |
Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Dziobek, Jens Weiland |
Variantenmodellierung und -konfiguration eingebetteter automotive Software mit Simulink. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dennis Klar, Michaela Huhn |
Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ines Fey, Mirko Conrad |
Demonstrating IEC 61508 Compliance in Model-Based Design. |
MBEES |
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. |
MBEES |
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. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andreas Graf, Markus Völter |
A textual domain specific language for AUTOSAR. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kirsten Mewes |
Domain-specific Modeling, Validation, and Verification of Railway Control Systems. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mathias Maurmaier, Peter Göhner |
Modellgetriebene Entwicklung von Automatisierungssystemen. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Armin Zimmermann, Jan Trowitzsch |
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist |
From Constraints to Design Space Exploration. |
MBEES |
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. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Oliver Niggemann, Rainer Otterbach |
Durchgehende Systemverifikation im Automotiven Entwicklungsprozess. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder |
Composition of Model-based Test Coverage Criteria. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Frank Tränkle, Robert Bechtold, Stefan Harms |
Testbasierte Entwicklung von Steuergeräte-Funktionsmodellen. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patrick Frey, Ulrich Freund |
Integrating Timing Aspects in Model- and Component-Based Embedded Control System Development for Automotive Applications. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gerd Baumann, Michael Brost |
Testverfahren für Elektronik und Embedded Software in der Automobilentwicklung. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ingo Stürmer, Christian Dziobek, Hartmut Pohlheim |
Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Milius, Uwe Steinke |
Modelbasierte Softwareentwicklung mit SCADE in der Eisenbahnautomatisierung. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini |
A Service-Oriented Approach to Failure Management. |
MBEES |
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 |
MBEES |
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. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andrea Osterloh, Oscar Slotosch |
Automatisiertes Testen mit Message Sequence Charts (MSCs). |
MBEES |
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. |
MBEES |
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. |
MBEES |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mirko Conrad |
Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. |
MBEES |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Erskine 0002 |
Requirements Engineering in der Analysephase mit der Rational Suite. |
MBEES |
2007 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license