Publikationen im FuE-Bereich Verkehr
Nachfolgend finden Sie alle - innerhalb des FuE-Bereichs Verkehr veröffentlichten - Publikationen.
Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.
Titel
Die Testperson ist virtuell
Buchtitel
DLR Nachrichten, November 2007
Alle Autoren
Lüdtke, Andreas
Jahr
2007
Titel
Software Engineering Networking Experience, 1st International Workshop, WS-SENE 2006 Joensuu, Finnland
Alle Autoren
Editors: A. Jedlitschka, H. Eekhoff, R. Kalmar
Jahr
2007
Titel
Automatic Abstraction Refinement for Timed Automata
Buchtitel
Formal Modeling and Analysis of Timed Systems. 5th International Conference, FORMATS 2007
Alle Autoren
Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G.
Jahr
2007
Titel
Periodic Activity Report ANDRES - Publishable Executive Summary
Alle Autoren
Oppenheimer, Frank
Jahr
2007
Titel
Communication is the key for embedded systems
Alle Autoren
Frank Oppenheimer; William Davis (eds.)
Jahr
2007
Titel
Translation Correctness for First-Order Object-Oriented Pattern Matching
Buchtitel
The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007)
Alle Autoren
Emir, Burak; Ma, Qin; Odersky, Martin
Jahr
2007
Titel
Rich Meta Object Facility - the complete specification
Alle Autoren
Buschermöhle, Ralf; Reemts Robbe, Oliver
Jahr
2007
Titel
Using Ontologies to Model and Understand Product Development
Alle Autoren
Hahn, Axel; Hausmann, Kevin; Häusler, Stefan; Strickmann, Jan
Jahr
2007
Titel
Automating verification of cooperation, control, and design in traffic applications
Buchtitel
Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Alle Autoren
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger;Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Bernd
Jahr
2007
Titel
Uppaal/DMC - Abstraction-based Heuristics for Directed Model Checking
Buchtitel
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Alle Autoren
Kupferschmid, Sebastian; Dräger, Klaus; Hoffmann, Jörg; Finkbeiner, Bernd; Henning Dierks; Aandreas Podelski; Gerd Behrmann
Jahr
2007
Titel
Modelling and Synthesis of Adaptive SoC
Titel der Konferenz
Workshop on Reconfigurable Systems-on-Chip
Alle Autoren
Oppenheimer, Frank
Jahr
2007
Titel
OSSS - A Library for Synthesisable System Level Models in SystemC(TM) - A tutorial for OSSS 2.0
Alle Autoren
Brunzema, Claus; Grabbe, Cornelia; Grüttner, Kim; Hartmann, Philipp Andreas; Herrholz, Andreas; Kleen, Henning; Oppenheimer, Frank; Schallenberg, Andreas; Stehno, Christian; Schubert, Thorsten
Jahr
2007
Titel
OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML
Buchtitel
SIGNAL + DRAHT 09/2007
Alle Autoren
Hungar, Hardi; Bruhns, Gerhard; Plan, Oliver; Lemke, Oliver
Jahr
2007
Titel
Exact state set representations in the verification of linear hybrid systems with large discrete state-space
Buchtitel
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007
Alle Autoren
Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
Jahr
2007
Titel
SPIRIT IP-XACT controlled design flow applied on a high level communication synthesis
Alle Autoren
Vaumorin, Emanuel; Grabbe, Cornelia; Oppenheimer, Frank; Thibaut, Vincent
Jahr
2007
Titel
Safe-UML - Restricting UML for the development of safety-critical systems
Buchtitel
Proceedings FORMS/FORMAT 2007
Alle Autoren
Hungar, Hardi; Robbe, Oliver; Wirtz, Boris
Jahr
2007
Titel
On the Expressive Power of Live Sequence Charts
Buchtitel
Program Analysis and Compilation, Theory and Practise: Essays Dedicated to Reinhard Wilhelm
Alle Autoren
Damm, Werner; Toben, Tobe; Westphal, Bernd
Jahr
2007
Titel
CSP with Synthesisable SystemC and OSSS
Buchtitel
Proceeding of the FDL 2007
Titel der Konferenz
Specification & Design Languages
Alle Autoren
Brunzema, Claus ; Nebel, Wolfgang
Jahr
2007
Titel
SUCCESS: Erfolgsfaktoren aktueller IT-Projekte in Deutschland
Buchtitel
OBJEKTspektrum
Alle Autoren
Buschermöhle, Ralf; Eekhoff, Heike; Josko, Bernhard
Jahr
2007
Titel
Federated Spatial Cursors
Titel der Konferenz
Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006
Alle Autoren
Cipriani Nazario ; Grossmann, Matthias; Nicklas, Daniela; Mitschang, Bernhard
Jahr
2007
Titel
Nexus-A Global, Active, and 3D Augmented Reality Model
Buchtitel
Photogrammetic Week '07
Alle Autoren
Daniela Nicklas
Jahr
2007
Titel
Towards Context-Aware Workflows
Buchtitel
Proceedings of Workshop on Ubiquitous Mobile Information and Collaboration Systems (Caise'07) Workshop
Alle Autoren
Wieland, Matthias; Kopp, Oliver; Nicklas, Daniela; Leymann, Frank
Jahr
2007
Titel
Objektorientierter Entwurf und Synthese von Hardware-/Softwaresystemen unter besonderer Berücksichtigung der Hardware-/Software-Kommunikation
Titel der Konferenz
Informatik-Kolloquium des Instituts für Informatik
Alle Autoren
Oppenheimer, Frank; Grüttner, Kim
Jahr
2006
Titel
Exploiting Type and Space in a Main Memory Query Engine
Buchtitel
Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006 ; Campos do Jordao, Brazil
Alle Autoren
Grossmann, Matthias; Schwarz, Thomas; Nicklas, Daniela; Mitschang, Bernhard
Jahr
2006
Titel
Eingebettete Systeme für die Sicherheit von Logistikeinheiten
Titel der Konferenz
Mikrosysteme für die maritime Sicherheit im Rahmen des Forum Küste und Meer
Alle Autoren
Nebel, Wolfgang
Jahr
2006