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.

Publikationsliste

  Suche  UND ODER Erweiterte Suche
schließen
Alle 1034 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Titel

Wireless sensor network architecture for security applications

Titel der Konferenz

Safety & Security Systems in Europe

Alle Autoren

Kamenik, J. and Brucke, M.

Jahr

2008

Publikationstyp

misc

Titel

A Design Methodology for Distributed Real-Time Automotive Applications

Buchtitel

Proceedings of the GM R&D Workshop, Bangalore, India

Titel der Konferenz

GM R&D Workshop

Alle Autoren

Damm, Werner and Metzner, Alexander

Jahr

2007

Publikationstyp

inproceedings

Titel

Abstraction and Counterexample-guided Construction of Omega-Automata for Model Checking of Step-dicrete linear Hybrid Models

Buchtitel

Computer Aided Verification

Titel der Konferenz

19th International Conference on Computer Aided Verification 2007

Alle Autoren

Segelken, Marc

Jahr

2007

Publikationstyp

article

Titel

ANDRES - ANalysis and Design of run-time REconfigurable, heterogeneous Systems

Buchtitel

Proceedings of Design, Automation and Test in Europe 2007, Nice, France

Titel der Konferenz

Design, Automation and Test in Europe 2007 (Workshop on FPGAs and Reconfigurable Systems)

Alle Autoren

Herrholz, Andreas and Oppenheimer, Frank and Schallenberg, Andreas and Nebel, Wolfgang and Grimm, Christoph and Damm, Markus and Herrera, Fernando and Villar, Eugenio and Sander, Ingo and Jantsch, Axel and Fouilliart, Anne-Marie and Martinez, Marcos

Jahr

2007

Publikationstyp

inproceedings

Titel

Automatic Abstraction Refinement for Timed Automata

Buchtitel

Formal Modeling and Analysis of Timed Systems. 5th International Conference, FORMATS 2007

Alle Autoren

Dierks, Henning and Kupferschmid, Sebastian and Larsen, Kim G.

Jahr

2007

Publikationstyp

inproceedings

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 and Mikschl, Alfred and Oehlerking, Jens and Olderog, Ernst-Rüdiger and Pang, Jun and Platzer, André and Segelken, Marc and Wirtz, Bernd

Jahr

2007

Publikationstyp

inproceedings

Titel

C-based System Development of Asynchronous Distributed Systems

Buchtitel

Proceedings of the Forum on Design Languages 2007

Titel der Konferenz

Forum on specification and Design Languages (FDL) 2007

Alle Autoren

Korte, Mario and Slomka, Frank

Jahr

2007

Publikationstyp

inproceedings

Titel

C-based System Development of Asynchronous Distributed Systems

Buchtitel

Proceedings of the Forum on Design Languages

Titel der Konferenz

Forum on Design Languages FDL

Alle Autoren

Korte, Mario and Slomka, Frank

Jahr

2007

Publikationstyp

inproceedings

Titel

Combining Timed Automata based Formal Specifications and Real-Time Scheduling Analysis

Alle Autoren

Dierks, Henning and Metzner, Alexander and Stierand, Ingo

Jahr

2007

Publikationstyp

inproceedings

Titel

Communication is the key for embedded systems

Alle Autoren

Frank Oppenheimer and William Davis (eds.)

Jahr

2007

Publikationstyp

article

Titel

Comparing Executable Specifications regarding Power at Algorithmic Level (ANSI-C/SystemC)

Titel der Konferenz

CDNlive 2007

Alle Autoren

Poppen, Frank and Jährling, Alexander and Nebel, Wolfgang

Jahr

2007

Publikationstyp

conference

Titel

Computer Aided Verification

Buchtitel

Lecture Notes in Computer Science

Alle Autoren

Werner Damm and Holger Hermanns

Jahr

2007

Publikationstyp

inproceedings

Titel

Controlling KNX devices from an interactive 3D environment

Buchtitel

KNX Scientific Conference Contact and further information: Tagungsband KNX Scientific Conference 2007

Alle Autoren

Ommen, Dennis and Behrensen, Stefan and Busemann, Claas and Martens, Birger and Kamenik, Jens and Brucke, Matthias

Jahr

2007

Publikationstyp

inproceedings

Titel

CSP with Synthesisable SystemC and OSSS

Buchtitel

Proceeding of the FDL 2007

Titel der Konferenz

Specification & Design Languages

Alle Autoren

Brunzema, Claus and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Die Testperson ist virtuell

Buchtitel

DLR Nachrichten, November 2007

Alle Autoren

Lüdtke, Andreas

Jahr

2007

Publikationstyp

techreport

Titel

Die Testperson ist virtuell

Alle Autoren

Lüdtke, Andreas

Jahr

2007

Publikationstyp

article

Titel

Distributed Power Generation: Requirements and Recommendations for an ICT Architecture

Buchtitel

Information Technologies in Environmental Engineering - ITEE 2007 - Third International ICSC Symposium

Alle Autoren

Winkels, Ludger and Osterloh, Jan-Patrick and Gruening, Fabian and Boers, Dave and Tröschel, Martin and Schmedes, Tanja and Uslar, Mathias

Jahr

2007

Publikationstyp

inproceedings

Titel

Driver Modelling: Two-Point- or Inverted Gaze-Beam-Steering

Buchtitel

Prospektive Gestaltung von Mensch-Technik-Interaktion

Titel der Konferenz

7. Berliner Werkstatt Mensch-Maschine-Systeme

Alle Autoren

Möbus, C. and Hübner, S. and Garbe, H.

Jahr

2007

Publikationstyp

inproceedings

Titel

Effizienzanalyse methodenbasierter Hardware/Software Kommunikation aus Synthesesicht

Alle Autoren

Kleen, Henning

Jahr

2007

Publikationstyp

mastersthesis

Titel

Ein makrobasierter Ansatz zur Verbesserung der Ausbeute in der Produktion von FPGAs

Buchtitel

Zuverlässigkeit und Entwurf 2007

Titel der Konferenz

GMM/GI/ITG- Fachtagung Zuverlässigkeit und Entwurf 2007

Alle Autoren

Frimont, Sven and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?"

Buchtitel

Tagungsband des 10. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

Jahr

2007

Publikationstyp

inproceedings

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 and Disch, Stefan and Hungar, Hardi and Jacobs, Swen and Pang, Jun and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris

Jahr

2007

Publikationstyp

inproceedings

Titel

Exploration, Partitioning and Simulation of Reconfigurable Systems

Alle Autoren

Dittmann, Florian and Rammig, Franz and Streubühr, Martin and Haubelt, Christian and Schallenberg, Andreas and Nebel, Wolfgang

Jahr

2007

Publikationstyp

article

Titel

Federated Spatial Cursors

Titel der Konferenz

Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006

Alle Autoren

Cipriani Nazario and Grossmann, Matthias and Nicklas, Daniela and Mitschang, Bernhard

Jahr

2007

Publikationstyp

inproceedings

Titel

From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration

Alle Autoren

Faber, Johannes and Stierand, Ingo

Jahr

2007

Publikationstyp

techreport

Projekte-Schnellzugang