Publications of the R&D-Division Transportation
Below you will find all publication - published in the R+D Division Transportation.
Using the search box, you can narrow the issue further, for example, you can search by author, title, text content, or booktitle.
Title
Object-oriented specification and design of embedded hard real-time system
All authors
Nebel, Wolfgang; Oppenheimer, Frank; Schumacher, Guido; Kabous, Laila; Radetzki, Martin; Putzke-Röming, Wolfram
Year
2001
Title
Digital Circuit Design with Objective VHDL
Booktitle
Electronic Chips and Systems Design Languages
All authors
Radetzki, Martin; Nebel, Wolfgang
Year
2001
Title
Development of Hard Real Time Systems based on an Object Oriented Approach
All authors
Kabous, Laila; Nebel, Wolfgang
Year
2001
Title
COHSID: ComiX HW/SW Interface Designer
All authors
Oppenheimer, Frank; Zhang, Dongming; Nebel, Wolfgang
Year
2001
Title
Modelling Communication Interfaces with ComiX
All authors
Oppenheimer, Frank; Zhang, Dongming; Nebel, Wolfgang
Year
2001
Title
Aspects of Object-Oriented Hardware Modelling with SystemC-Plus
All authors
Grimpe, Eike; Oppenheimer, Frank
Year
2001
Title
Objektorientierte Hardwarebeschreibung und -synthese aufbauend auf SystemC
Booktitle
Tagungsband Teil 1
All authors
Grimpe, Eike; Oppenheimer, Frank
Year
2001
Title
Advanced Validation Techniques Meet Complexity Challenge in Embedded Software Development
All authors
Damm, Werner; Cohen, Moshe
Year
2001
Title
UML Validation Suite
Booktitle
Proceedings of FATES'01 - Formal Approaches to Testing of Software
All authors
Brockmeyer, Udo; Klose, Jochen; Lettrari, Marc
Year
2001
Title
Verification of a Radio-based Signaling System Using the Statemate Verification Environment
All authors
Damm, W.; Klose, J.
Year
2001
Title
A General Approach for the Specification of Real-Time Systems with SDL
Booktitle
Tagungsband
All authors
Münzenberger, Ralf; Slomka, Frank; Dörfel, Matthias; Hofmann, R.
Year
2001
Title
Architecture and Data Model of Nexus
All authors
Nicklas, Daniela; Grossmann, Matthias; Schwarz, Thomas; Volz, Steffen
Year
2001
Title
A Model-Based, Open Architecture for Mobile, Spatially Aware Applications.
Booktitle
{Advances in Spatial and Temporal Databases, 7th International Symposium, {SSTD} 2001, Redondo Beach, {CA,} {USA,} July 12-15, 2001, Proceedings
All authors
Nicklas, Daniela; Grossmann, Matthias; Schwarz, Thomas; Volz, Steffen; Mitschang, Bernhard
Year
2001
Title
Towards Location-based Games
Booktitle
Proceedings of the International Conference on Applications and Development of Computer Games in the 21st Century: ADCOG 21
All authors
Nicklas, Daniela; Pfisterer, Christoph; Mitschang, Bernhard
Year
2001
Title
Die handlungsorientierte Komponente von ISO/ESPC - eine authentische Lernumgebung
Booktitle
Proceedings 10. Arbeitstreffen der GI-Fachgruppe 1.1.5/7.0.1 Intelligente Lehr-und Lehrsysteme
All authors
Möbus, C.; Thole, H.-J.; Folckers, J.; Göhlers, H.
Year
2000
Title
Kreativität in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus TRIZ
Booktitle
Informatik 2000, Neue Horizonte im neuen Jahrhundert, 30. Jahrestagung der Gesellschaft für Informatik
All authors
Willms, J.; Wentzlaff, I.; Specker, M.
Year
2000
Title
Entwurf und Implementierung eines 8 Bit 8051 kompatiblen Mikrocontrollers
All authors
Grimpe, Eike
Year
2000
Title
Evolution of the Hypothesis Testing Approach in Intelligent Problem Solving Environments
Booktitle
Intelligent Tutoring Systems : Proceedings of the 5th International Conference ITS2002
All authors
Willms, J.; Möbus, C.
Year
2000
Title
Synthesis of Digital Circuits from Object-Oriented Specifications
All authors
Radetzki, Martin
Year
2000
Title
Die EVENTS-Architektur
Booktitle
it + ti
All authors
Damm, Werner; Metzner, Alexander; Mikschl, Alfred; Niehaus, Jürgen
Year
2000
Title
MSPARC: Multithreading in Real-Time Architectures
Booktitle
Journal of Universal Computer Science
All authors
Metzner, Alexander; Niehaus, Jürgen
Year
2000
Title
Hardware/Software Codesign and Rapid-Prototyping of Embedded Systems
Booktitle
Tagungsband
All authors
Slomka, Frank; Dörfel, Matthias; Münzenberger, Ralf; Hofmann, R.
Year
2000
Title
Das interaktive Produktionsspiel von ISO/ESPC - ein authentisches Lernszenario
Booktitle
4. Workshop Multimedia für Bildung und Wirtschaft
All authors
Möbus, C; Thole, H.J.
Year
2000