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
Interoperable Human Performance Modelling of Distributed Cognitive Agents
Booktitle
10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (IFAC-HMS 2007)
All authors
Lüdtke, Andreas; Leuchter, Sandro; Urbas, Leon
Year
2007
Title
C-based System Development of Asynchronous Distributed Systems
Booktitle
Proceedings of the Forum on Design Languages 2007
Title of Conference
Forum on specification and Design Languages (FDL) 2007
All authors
Korte, Mario; Slomka, Frank
Year
2007
Title
OSSS: An Approach for Modelling, seamless Refinement, and Synthesis of HW/SW SoC
Title of Conference
16. European User Group Meeting
All authors
Oppenheimer, Frank; Grüttner, Kim
Year
2007
Title
The ANDRES Project : Analysis and Design of run-time reconfigurable, heterogeneous Systems
Booktitle
Proceedings of 2007 International Conference on Field Programmable Logic and Applications
Title of Conference
FPL 2007 Amsterdam
All authors
Herrholz, Andreas; Oppenheimer, Frank; Hartmann, Philipp A.; Schallenberg, Andreas; Nebel, Wolfgang; Damm, M.; Herrera, F.; Villar, E.; Sander, I.; Jantsch, A.; Fouilliart, A.-M.; Martinez, Marcos
Year
2007
Title
Modellierung von Komplexität und Qualität als Faktoren von Produktivität in Design-Flows für integrierte Schaltungen
Booktitle
edaWorkshop 07
All authors
Häusler, Stefan; Poppen, Frank; Hausmann, Kevin ; Preis, Sonja; Hahn, Axel; Nebel, Wolfgang; Leppelt, Peter; Hassine, Amir; Barke, Erich
Year
2007
Title
Abstraction and Counterexample-guided Construction of Omega-Automata for Model Checking of Step-dicrete linear Hybrid Models
Booktitle
Computer Aided Verification
Title of Conference
19th International Conference on Computer Aided Verification 2007
All authors
Segelken, Marc
Year
2007
Title
Non-Interference Properties for Data-Type Reduction of Communicating Systems
Title of Conference
6th International Conference on Integrated Formal Methods (IFM 2007)
All authors
Toben, Tobe
Year
2007
Title
Latency Optimization for a Reconfigurable, Self-Timed and Bit-Serial Architecture
Booktitle
Proceedings of the 2007 International Conference on Engineering of Reconfigurable Systems & Algorithms
Title of Conference
ERSA 2007
All authors
Dittmann, Florian; Rettberg, Achim; Weber, Raphael
Year
2007
Title
Combining Timed Automata based Formal Specifications and Real-Time Scheduling Analysis
All authors
Dierks, Henning; Metzner, Alexander; Stierand, Ingo
Year
2007
Title
Rich Meta Object Facility
Booktitle
International Conference on Modeling, Simulation and Visualization Methods
Title of Conference
International Conference on Modeling, Simulation and Visualization Methods
All authors
Buschermöhle, Ralf; Reemts Robbe, Oliver
Year
2007
Title
SUCCESS rate and factors of IT-Projects 2006 in Germany
Booktitle
International Conference on Software Engineering Research and Practice
All authors
Buschermöhle, Ralf; Eekhoff, Heike; Josko, Bernhard
Year
2007
Title
The Temporal Logic of Appearance and Disappearance
Booktitle
Reports of SFB/TR 14 AVACS
All authors
Bauer, Jörg; Toben, Tobe; Westphal, Bernd
Year
2007
Title
Proceedings of the 8th International Conference on Mobile Data Management (MDM'07) : Mannheim, Germany
All authors
Becker Christian; Jensen, Christian S.; Nicklas, Daniela; Su Jianwen
Year
2007
Title
Exploration, Partitioning and Simulation of Reconfigurable Systems
All authors
Dittmann, Florian; Rammig, Franz; Streubühr, Martin; Haubelt, Christian; Schallenberg, Andreas; Nebel, Wolfgang
Year
2007
Title
Objektorientierter Entwurf und Synthese von Hardware-/Softwaresystemen
All authors
Oppenheimer, Frank; Grüttner, Kim
Year
2007
Title
Effizienzanalyse methodenbasierter Hardware/Software Kommunikation aus Synthesesicht
All authors
Kleen, Henning
Year
2007
Title
ANDRES - ANalysis and Design of run-time REconfigurable, heterogeneous Systems
Booktitle
Proceedings of Design, Automation and Test in Europe 2007, Nice, France
Title of Conference
Design, Automation and Test in Europe 2007 (Workshop on FPGAs and Reconfigurable Systems)
All authors
Herrholz, Andreas; Oppenheimer, Frank; Schallenberg, Andreas; Nebel, Wolfgang; Grimm, Christoph; Damm, Markus; Herrera, Fernando; Villar, Eugenio; Sander, Ingo; Jantsch, Axel; Fouilliart, Anne-Marie; Martinez, Marcos
Year
2007
Title
OSSS+R: Simulation and Synthesis of Self-Adaptive Systems
Title of Conference
Design, Automation and Test in Europe 2007
All authors
Hartmann, Philipp Andreas; Schallenberg, Andreas; Oppenheimer, Frank; Nebel, Wolfgang
Year
2007
Title
Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?"
Booktitle
Tagungsband des 10. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Year
2007
Title
Ein makrobasierter Ansatz zur Verbesserung der Ausbeute in der Produktion von FPGAs
Booktitle
Zuverlässigkeit und Entwurf 2007
Title of Conference
GMM/GI/ITG- Fachtagung Zuverlässigkeit und Entwurf 2007
All authors
Frimont, Sven; Nebel, Wolfgang
Year
2007
Title
A Design Methodology for Distributed Real-Time Automotive Applications
Booktitle
Proceedings of the GM R&D Workshop, Bangalore, India
Title of Conference
GM R&D Workshop
All authors
Damm, Werner; Metzner, Alexander
Year
2007
Title
From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration
All authors
Faber, Johannes; Stierand, Ingo
Year
2007
Title
SFB/TR 14 AVACS
Booktitle
Information Technology
All authors
Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm
Year
2007
Title
Computer Aided Verification
Booktitle
Lecture Notes in Computer Science
All authors
Werner Damm; Holger Hermanns
Year
2007
Title
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
Booktitle
International Journal of Foundations of Computer Science
All authors
Werner Damm; Guilherme Pinto; Stefan Ratschan
Year
2007