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
Integer Data Type Semantics: SystemC(TM) vs. VHDL
Title of Conference
FDL 2008
All authors
Brunzema, Claus; Oppenheimer, Frank
Year
2008
Title
Specification of adaptive HW/SW systems in SystemC
Title of Conference
Forum on Specification, Verification and Design Languages, 2008. FDL 2008.
All authors
Herrera, Fernando; Villar, Eugenio; Hartmann, Philipp A.
Year
2008
Title
Efficient modelling and simulation of embedded software multi-tasking using SystemC and OSSS
Title of Conference
Forum on Specification, Verification and Design Languages, 2008. FDL 2008.
All authors
Hartmann, Philipp A.; Reinkemeier, Philipp; Kleen, Henning; Nebel, Wolfgang
Year
2008
Title
OSSS - A Library for Synthesisable System Level Models in SystemC(TM) - The OSSS 2.2.0 Manual
All authors
Grüttner, Kim; Herrholz, Andreas; Hartmann, Philipp A.; Schallenberg, Andreas; Brunzema, Claus
Year
2008
Title
Using SystemC for an extended MATLAB/simulink verification flow
Booktitle
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Title of Conference
Forum on Specification, Verification and Design Languages, 2008
All authors
Hylla, Kai; Oetjens, Jan-Hendrik; Nebel, Wolfgang
Year
2008
Title
Modelling Program-State Machines in SystemC(TM)
Booktitle
Forum on Specification and Design Languages 2008
All authors
Grüttner, Kim; Nebel, Wolfgang
Year
2008
Title
Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal Decoupling
Booktitle
Proceedings of the Forum on Specification and Design Languages 2008
Title of Conference
Forum on Specification and Design Languages 2008
All authors
Damm, Markus; Herrholz, Andreas; Grimm, Christoph; Haase, Jan; Nebel, Wolfgang
Year
2008
Title
Probabilistic and Empirical Grounded Modeling of Agents in Partial Cooperative (Traffic) Scenarios
Booktitle
Workshop Proceedings Mensch & Computer 2008, DeLFI 2008 und Cognitive Design 2008
Title of Conference
Mensch und Computer 2008
Year
2008
Title
A Middleware Approach to Dynamically Configurable Automotive Embedded Systems
Booktitle
1st International Symposium on Vehicular Computing Systems (ISVCS 2008)
All authors
rettberg, A.; Anthony, Richard; Ward, Paul; Chen, Dejiu, Hawthorne, James; Pelc, Mariusz; Törngren, Martin
Year
2008
Title
A Dynamically Reconfigurable Automotive Control System Architecture
Booktitle
17th IFAC World Congress 2008
All authors
Anthony, Richard; Chen, Dejiu; Jahnich, Isabell; Gerrit de Boer; Cecilia Ekelin
Year
2008
Title
NexusEditor: A Schema-Aware Graphical User Interface for Managing Spatial Context Models
Title of Conference
Proceedings of the 9th International Conference on Mobile Data Management (Demonstrations)
All authors
Nicklas, Daniela; Neumann, Carsten
Year
2008
Title
Pearl-M – development of an unmanned aerial system platform
Title of Conference
Safety and Security Systems in Europe
All authors
Puls, Tim; Vyshnevskyy Matthias
Year
2008
Title
Wireless sensor network architecture for security applications
Title of Conference
Safety & Security Systems in Europe
All authors
Kamenik, J.; Brucke, M.
Year
2008
Title
Counterexample Guided Spotlight Abstraction Refinement
Title of Conference
8th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2008)
All authors
Toben, Tobe
Year
2008
Title
Echtzeit Produktqualitätsmonitoring auf Basis einer integrierten Anforderungs- und Qualitätsmodellierung
All authors
Häusler, Stefan; Hahn, Axel
Year
2008
Title
Erweiterung einer VHDL/SystemC-Verifikationsumgebung zur Anwendung auf MATLAB/Simulink-Modelle
All authors
Hylla, Kai
Year
2008
Title
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation
Title of Conference
41st Annual Simulation Symposium (anss-41 2008)
All authors
Nils Müllner, Abhishek Dhama, Oliver Theel
Year
2008
Title
SystemC-based Modelling, Seamless Refinement, and Synthesis of a JPEG 2000 Decoder
Booktitle
Proceedings of the Design, Automation, and Test in Europe Conference
All authors
Grüttner, Kim; Oppenheimer, Frank; Nebel, Wolfgang; Colas-Bigey, Fabien; Fouilliart, Anne-Marie
Year
2008
Title
Modellierung der Aufmerksamkeitsverteilung beim Einfädeln auf die Autobahn
Booktitle
Prospektive Gestaltung von Mensch-Technik-Interaktion
Title of Conference
7. Berliner Werkstatt Mensch-Maschine-Systeme 2007
All authors
Weber, Lars; Lüdtke, Andreas
Year
2008
Title
Modellierung sicherheitskritischer Kommunikation in Aufgabenmodellen
Booktitle
Zeitschrift für interaktive Medien, i-com
All authors
Mistrzyk T., Szwillus G.
Year
2008
Title
On the Verification of High-Order constraint compliance in IC-Design
Title of Conference
Design, Automation and Test in Europe
All authors
Freuer, Jan; Jerke, Göran; Gerlach, Joachim; Nebel, Wolfgang:
Year
2008
Title
Performance Measurement in Innovation Processes
Booktitle
Information Technology Entrepreneurship and Innovation
All authors
Hahn, Axel; Hausmann, Kevin; Häusler, Stefan; Strickmann, Jan
Year
2008
Title
Analyse und Optimierung von dynamisch rekonfigurierbaren Systemen mittels Ereignisvisualisierung
Booktitle
Tagungsband des 11. ITG/GMM/GI-Workshop
Title of Conference
ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
All authors
Görgen, R.; Oppenheimer, F.; Schallenberg, A.;Nebel, W.
Year
2008
Title
Drahtlose Sensornetzwerke in der Automatisierung
Booktitle
Tagungsband der Deutsch-Niederländischen Automatisierungstage 2008
Title of Conference
Deutsch-Niederländischen Automatisierungstage 2008
All authors
Kamenik, Jens; Busemann, Claas; Ommen, Dennis; Brucke, Matthias
Year
2008