16 Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
(601) |
Becker, U.; Kuhler, S.; Müller, J. R.; Horstmann, M.; Günther, T.; Predelli, O.: Modellbasierte Fehlererkennung und -diagnose. In: Predelli, O., Hrsg.: Onboard-Diagnose - Status der Gesetzgebung und Auswirkungen auf die Fahrzeugentwicklung, S. 29-42, 2005. expert Verlag. ( Kurzfassung ) |
(537) |
El-Ramley, M.; Horstmann, M.; Prenninger, W.: Case Studies. In Broy, M.; Jonsson,B.; Katoen, J.-P.; Leucker, M.; Pretschner, A., Hrsg.: Model-based Testing of Reactive Systems. Bandnummer 3472/2005 von Serie Lecture Notes in Computer Science, Informatik. Springer Verlag, S. 439-461, Heidelberg, July 2005. |
(625) |
Horstmann, M.: Verflechtung von Test und Entwurf für eine verlässliche Entwicklung eingebetteter Systeme im Automobilbereich. Dissertation, Technische Universität Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik, 2005. ( Kurzfassung ) |
(577) |
Horstmann, M.; Kuhler, S.; Schnieder, E.; Kluge, J.: Automatic generation of acceptance test cases applied to embedded systems within the automotive domain. In: Schnieder, E.; Tarnai, G., Hrsg.: Tagungsband der FORMS 2004, S. 152-160, Dezember 2004. Formal Methods for Automation and Safety in Railway and Automotive Systems/ 02.-03.12.2004, Braunschweig. |
(536) |
Horstmann, M.; Schnieder, E.; Mäder, P.; Nienaber, S.; Schulz, H.-M.: A Framework for Interlacing Test and Design. In: Pretschner, A.; Salzmann, C.; Stauner, T., Hrsg.: Proceedings of the 26th international conference on software engineering icse - Workshop; 25.05.04; Edinburgh, Scotland, S. 27-32, Mai 2004. 26th international conference on software engineering icse. |
(533) |
Varchmin, J.-U.; Harms, M.; Horstmann, M.; Huhn, M.; Mutz, M.; Bikker, G.; Krömke, C.; Lange, K.; Schnieder, E.: Strukturierter Entwicklungsprozess für eingebettete Systeme - vom Lastenheft zur automatischen Codegenerierung. Tagungsband des EUROFORUM Elektronik-Systeme im Automobil, 2004., Februar 2004. EUROFORUM Elektronik-Systeme im Automobil, 2004.. |
(534) |
Ehlers, T.; Harms, M.; Horstmann, M.; Mutz, M.; Varchmin, J.-U.: Strukturierter Entwicklungsprozess für Automotive Anwendungen. Tagungsband der 23. Tagung 'Elektronik im Automobil', Juni 2003. 23. Tagung 'Elektronik im Automobil' im Haus der Technik, Stuttgart, 17.-18.06.2003. |
(448) |
Harms, M.; Horstmann, M.; Mutz, M.; Krömke, C.: STEP-X - Strukturierter Entwicklungsprozess für eingebettete Systeme im Automobilbereich. Automotive Electronics. (1/2003), S. 46-49, März 2003. ( Kurzfassung ) |
(477) |
Horstmann, M.: Ein Konzept für die Verflechtung von Entwurf und Test eingebetteter Systeme im Automobilbereich. In: Prof. Dr.-Ing. E. Schnieder, Hrsg.: Tagungsband der EKA 2003, S. 215-230, Juni 2003. EKA 2003. ( Kurzfassung ) |
(486) |
Horstmann, M.; Becker, U.; Gratzke, R.: Modellierung der Momentenumsetzung für einen Dieselmotor mit künstlichen neuronalen Netzen. In: IAV GmbH, Hrsg.: Tagungsband 4. Symposium Steuerungssysteme für den Antriebsstrang von Kraftfahrzeugen, S. 137-152, Oktober 2003. 4. Symposium Steuerungssysteme für den Antriebsstrang von Kraftfahrzeugen. ( Kurzfassung ) |
(445) |
Horstmann, M.; Bikker, G.; Harms, M.; Mutz, M.: Methodik und Werkzeugkette für einen modellbasierten Entwicklungsprozess im Automobilbereich. In: Zentrum für Verkehr der TU Braunschweig, Hrsg.: Automatisierungs- und Assistenzsysteme für Transportmittel, S. 134-153, Düsseldorf, 2003. 4. Braunschweiger Symposium, 11./12. Februar 2003, VDI-Verlag. ( Kurzfassung ) |
(446) |
Horstmann, M.; König, S.; Bikker, G.; Wegele, A.: Model Integration by Co-Simulation applied to Hybrid Automotive Systems. In: ARGESIM, Hrsg.: Proceedings 4th Mathmod Vienna, S. 282 und CD, 2003. 4th IMACS Symposium on Mathematical Modelling, 05.-07. 02.2003. ( Kurzfassung ) |
(479) |
Horstmann, M.; Schnieder, E.: Concept for interlacing test and/with design for automotive embedded control systems. Tagungsband der EURO-SIW, S. 70, nur Abstracts, 2003. EURO-SIW. ( Kurzfassung ) |
(476) |
Horstmann, M.;Kluge, J.; Schulz, H.-M.: Verzahnung von Entwurf und Test eingebetteter Systeme im Automobil. Tagungsband der 23. Tagung 'Elektronik im Automobil', Juni 2003. 23. Tagung 'Elektronik im Automobil', im Haus der Technik, Stuttgart, 17.-18.06.2003. |
(485) |
Mutz, M.; Harms, M.; Horstmann, M.; Huhn, M.; Bikker, G.; Krömke, C.; Lange, K.; Goltz, U.; Schnieder, E.; Varchmin, J.-U.: Ein durchgehender modellbasierter Entwicklungsprozess für elektronische Systeme im Automobil. In: VDI Gesellschaft Fahrzeug und Verkehrstechnik, Hrsg.: Elektronik im Kraftfahrzeug, S. 43-76, September 2003. VDI Tagung Elektronik im Kraftfahrzeug, VDI Verlag GmbH. ( Kurzfassung ) |
(436) |
König, S.; Horstmann, M.; Schnieder, E.: Modellintegration durch Werkzeugkopplung auf Basis des ITC-Frameworks. In: Manfred Nagel, Bernhard Westfechtel, Hrsg.: Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, S. 381-382, März 2002. DFG Workshop RWTH Aachen 20.-22. März 2002, WILEY-VCH. ( Kurzfassung ) |