Search results for "MBEES"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Carsten Gips, Hans-Werner Wiesbrock	Notation und Verfahren zur automatischen Überprüfung von temporalen Signalabhängigkeiten und -merkmalen für modellbasiert entwickelte Software.	MBEES	2007	DBLP BibTeX RDF
1	Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz (eds.)	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme	MBEES	2007	DBLP BibTeX RDF
1	Eva Kalix, Oliver Schütte	Obstacles to the Adoption of Model-based Design within the Automotive Supply Industry.	MBEES	2007	DBLP BibTeX RDF
1	Jan Philipps	From Component Models to Function Nets?.	MBEES	2007	DBLP BibTeX RDF
1	Martin Glinz, Christian Seybold, Silvio Meier	Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models.	MBEES	2007	DBLP BibTeX RDF
1	Tibor Farkas, Harald Röbig	Automatisierte, werkzeugübergreifende Richtlinienprüfung zur Unterstützung des Automotive-Entwicklungsprozesses.	MBEES	2007	DBLP BibTeX RDF
1	Mario Friske, Bernd-Holger Schlingloff	Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen.	MBEES	2007	DBLP BibTeX RDF
1	Andy Yap, Peter Großhans	Herausforderungen bei der Neugestaltung von Seriensoftwareentwicklungsumgebungen.	MBEES	2007	DBLP BibTeX RDF
1	Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf	Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen.	MBEES	2007	DBLP BibTeX RDF
1	Matthias Gehrke, Martin Hirsch 0001, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel 0002	Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.	MBEES	2007	DBLP BibTeX RDF
1	Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen	Enhanced Requirements-Based Programming for Embedded Systems Design.	MBEES	2006	DBLP BibTeX RDF
1	Jan Romberg	Some motivation and current results for synchronous modeling and implementation.	MBEES	2006	DBLP BibTeX RDF
1	Jörg Desel	Petri Net Model Synthesis from Scenarios.	MBEES	2006	DBLP BibTeX RDF
1	Michaela Huhn, Tilo Mücke	Comparing Heuristics for Model Based Testsuite Generation.	MBEES	2006	DBLP BibTeX RDF
1	Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür	Real-time Operating Systems for Self-coordinating Embedded Systems.	MBEES	2006	DBLP BibTeX RDF
1	Mario Friske, Bernd-Holger Schlingloff	Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven.	MBEES	2006	DBLP BibTeX RDF
1	Andy Schürr, Johannes Jakob	Domänenspezifische Integration von Modellierungswerkzeugen mit Sichten.	MBEES	2006	DBLP BibTeX RDF
1	Justyna Zander-Nowicka, Ina Schieferdecker, Tibor Farkas	Derivation of Executable Test Models from Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain -.	MBEES	2006	DBLP BibTeX RDF
1	Alexander Pretschner	Zur Kosteneffektivität des modellbasierten Testens.	MBEES	2006	DBLP BibTeX RDF
1	Iulian Ober, Susanne Graf, Yuri Yushtein	Using an UML profile for timing analysis with the IF validation tool-set.	MBEES	2006	DBLP BibTeX RDF
1	Ina Schieferdecker, Jürgen Großmann	Testing of Embedded Control Systems with Continous Signals.	MBEES	2006	DBLP BibTeX RDF
1	Michael von der Beeck	Eignung der UML 2.0 zur Entwicklung von Bordnetzarchitekturen.	MBEES	2006	DBLP BibTeX RDF
1	Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch 0001	Scenario-Based Verification of Automotive Software Systems.	MBEES	2006	DBLP BibTeX RDF
1	Mirko Conrad, Heiko Dörr	Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze.	MBEES	2006	DBLP BibTeX RDF
1	Holger Giese, Bernhard Rumpe, Bernhard Schätz (eds.)	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme	MBEES	2006	DBLP BibTeX RDF
1	Hardi Hungar	UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich.	MBEES	2006	DBLP BibTeX RDF
1	Leandro Soares Indrusiak, Manfred Glesner	An Actor-Oriented Model-Based Design Flow for Systems-on-Chip.	MBEES	2006	DBLP BibTeX RDF
1	Alexander Nyßen, Horst Lichter, Jan Suchotzki, Peter O. Müller, Andreas Stelter	UML2-basierte Architekturmodellierung kleiner eingebetteter Systeme Erfahrungen einer Feldstudie.	MBEES	2005	DBLP BibTeX RDF
1	Torsten Klein, Bernhard Rumpe, Bernhard Schätz (eds.)	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme	MBEES	2005	DBLP BibTeX RDF
1	Albert Zündorf, Leif Geiger, Jörg Siedhof	OO Model based programming of PLCs.	MBEES	2005	DBLP BibTeX RDF
1	Mirko Conrad, Heiko Dörr, Ines Fey, Kerstin Buhr	Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software.	MBEES	2005	DBLP BibTeX RDF
1	Holger Giese	Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems.	MBEES	2005	DBLP BibTeX RDF
1	Michael Cebulla	An Extended Perspective on Environmental Embedding.	MBEES	2005	DBLP BibTeX RDF
1	Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko	Automatic Validation and Verification in a Model-Based Development Process.	MBEES	2005	DBLP BibTeX RDF
1	Andreas Trautmann	Integration of auto-coded Field Loadable Software for the Airbus A380 Integrated Modular Avionics (IMA).	MBEES	2005	DBLP BibTeX RDF
1	Felix Gutbrodt, Michael Wedel	Entwicklung eingebetteter Softwaresysteme mit Strukturierten Komponenten.	MBEES	2005	DBLP BibTeX RDF
1	Christian Bunse, Christian Denger	Improving the Quality of Embedded Systems through the Systematic Combination of Construction and Analysis Activities.	MBEES	2005	DBLP BibTeX RDF
1	Andreas Morawe, Hans-Jürgen Nollau, Murat Sahingöz	Anforderungen an eine modellbasierte Entwicklung sicherheitskritischer Software für Stellwerkstechnik.	MBEES	2005	DBLP BibTeX RDF
1	Tiziana Margaria, Bernhard Steffen	Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints.	MBEES	2005	DBLP BibTeX RDF
1	Gabriel Vögler, Hajo Eichler	Eine offene Modellinfrastruktur für die Architekturbeschreibung von Automotive Software Systemen.	MBEES	2005	DBLP BibTeX RDF
1	Mario Friske, Bernd-Holger Schlingloff	Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.	MBEES	2005	DBLP BibTeX RDF
1	Ricardo Jimenez Serrano	MDD Activities at Siemens AG.	MBEES	2005	DBLP BibTeX RDF
1	Maritta Heisel, Denis Hatebur	A Model-Based Development Process for Embedded System.	MBEES	2005	DBLP BibTeX RDF
1	Kai Richter 0001, Marek Jersak, Rolf Ernst	Early Architecture Exploration with SymTA/S.	MBEES	2005	DBLP BibTeX RDF
1	Markus Völter	Model-Driven Development of Component Infrastructures for Embedded Systems.	MBEES	2005	DBLP BibTeX RDF
1	Leif Geiger, Jörg Siedhof, Albert Zündorf	µFUP: A Software Development Process for Embedded Systems.	MBEES	2005	DBLP BibTeX RDF
1	Matthias Grochtmann, Linda Schmuhl	Systemverhaltensmodelle zur Spezifikation bei der modellbasierten Entwicklung von eingebetteter Software im Automobil.	MBEES	2005	DBLP BibTeX RDF
1	Frank Slomka, Karsten Albers	Hardware/Software Co-Synthesis of Real-Time Systems with Approximated Analysis Algorithms.	MBEES	2005	DBLP BibTeX RDF

Publications at "MBEES"( http://dblp.L3S.de/Venues/MBEES )