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
Boosting Re-use of Embedded Automotive Applications Through Rich Components
Booktitle
Proceedings, FIT 2005 - Foundations of Interface Technologies
All authors
Damm, Werner; Votintseva, Angelika; Metzner, Alexander; Josko, Bernhard; Peikenkamp, Thomas; Böde, Eckard
Year
2005
Title
Time, Abstraction and Heuristics - Automatic Verification and Planning of Timed Systems using Abstraction and Heuristics
All authors
Henning Dierks
Year
2005
Title
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications
Booktitle
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-20, 2005, Proceedings
All authors
Eissler, Stefan; Scheidler, Christian; Josko, Bernhard; Sandmann, Guido; Stroop, Joachim
Year
2005
Title
Federating Location-Based Data Services
All authors
Mitschang, Bernhard; Nicklas, Daniela; Großmann, Matthias; Schwarz, Thomas; Hönle, Nicola
Year
2005
Title
Formal Verification of a Sensor Voting and Monitoring UML Model
Title of Conference
4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005)
All authors
Mrugalla, Christian; Robbe, Oliver; Schinz, Ingo; Toben, Tobe; Westphal, Bernd
Year
2005
Title
DCbot: Finding Spatial Information on the Web
Booktitle
Database Systems for Advanced Applications, 10th International Conference, {DASFAA} 2005, Beijing, China
All authors
Jakob Mihály; Großmann, Matthias; Nicklas, Daniela; Mitschang, Bernhard
Year
2005
Title
SMIs: Small and Medium Size Research Institutes
Booktitle
Programm BIS 2005
All authors
Nebel, Wolfgang
Year
2005
Title
Efficiently Managing Context Information for Large-Scale Scenarios.
Booktitle
3rd IEEE International Conference on Pervasive Computing and Communications PerCom 2005, 8-12 March 2005, Kauai Island, HI, USA
All authors
Grossmann, Matthias; Bauer, Martin; Hönle, Nicola; Käppeler Uwe-Philipp; Nicklas, Daniela; Schwarz, Thomas
Year
2005
Title
OSSS+R Simulation of Reconfigurable Architectures
All authors
Schallenberg, Andreas; Oppenheimer, Frank; Nebel, Wolfgang
Year
2005
Title
Efficient Feasibility Analysis for Real-time systems with EDF-Scheduling
Booktitle
IEEE Proceeding of the Conference Design, Automation and Test in Europe (DATE) 2005
All authors
Albers, Karsten; Slomka, Frank
Year
2005
Title
OSSS+R: Simulation of Reconfigurable Architectures
Booktitle
University Booth DATE 2005
All authors
Schallenberg, Andreas; Oppenheimer, Frank; Nebel, Wolfgang
Year
2005
Title
Requirements on Hardware/Software Communication Design based on Abstract Communication Models
All authors
Grabbe, Cornelia; Oppenheimer, Frank; Schubert, Thorsten
Year
2005
Title
Experimentelle Evaluierung der Laufzeiteigenschaften von neuen Verfahren zur Echtzeitanalyse
All authors
Nyhof, Michael
Year
2005
Title
Entwurf und Implementierung einer HW/SW-Umgebung zur Anbindung einer Emulationsplattform an einen HW-Simulator
All authors
Jaeger, Andreas
Year
2005
Title
OOCOSIM - An Object-Oriented Co-design Method for Embedded HW / SW Systems
All authors
Oppenheimer, Frank
Year
2005
Title
Controlling speculative design processes using rich component models
Title of Conference
5th International Conference on Application of Concurrency to System Design (ACSD 2005)
All authors
Werner Damm
Year
2005
Title
Predictable and Efficient Architectures for Real-Time System Synthesis
Booktitle
Proceedings of the Workshop on Embedded Real-Time Systems Implementation
All authors
Metzner, Alexander
Year
2005
Title
Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA
Booktitle
Proceedings of the ICAPS'05 Workshop on Verification and alidation of Model-Based Planning and Scheduling Systems
All authors
Dierks, Henning
Year
2005
Title
Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.
Booktitle
Automated Technology for Verification and Analysis (ATA)
All authors
Damm, W.; Pinto, G.; Ratschan, S.
Year
2005
Title
An Environment for Compositional Specification and Verification of Complex Embedded Systems
All authors
Wittke, Hartmut
Year
2005
Title
Live and let die: LSC-based verification of UML models.
All authors
Damm, Werner; Westphal, Bernd
Year
2005
Title
Einfluss der durch Hardware-/Software-Partionierung hervorgerufenen Kommunikation auf Leistungsdaten einer Schaltung
All authors
Grüttner, K.
Year
2005
Title
Analyse von PDM-Daten zum Entwicklungscontrolling
Booktitle
Informations- und Wissensdrehscheibe Produktmanagement
All authors
Strickmann, Jens; Abels, Sven; Hahn, Axel
Year
2005