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 1080 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

Retrieving Address-based Locations from the Web

Buchtitel

GIR08: 5th ACM Workshop on Geographic Information Retrieval

Titel der Konferenz

GIR08 Workshop at CIKM2008

Alle Autoren

Ahlers, Dirk and Boll, Susanne

Jahr

2008

Publikationstyp

inproceedings

Titel

Rich Meta Object Facility as formal integration platform: Syntax, Semantics, and Implementation

Buchtitel

Innovations in Systems and Software Engineering

Titel der Konferenz

International Conference on Formal Engineering Methods

Alle Autoren

Buschermöhle, Ralf and Oelerink, Jörg

Jahr

2008

Publikationstyp

article

Titel

RT Level Makro Modelling of Leakage and Delay under Realistic PTV Variation

Buchtitel

Proceedings of LPonTR

Titel der Konferenz

First International Workshop on the Impact of Low-Power Design on Test and Reliability

Alle Autoren

Helms, Domenik and Hoyer, Marko and Rosinger, Sven and Nebel, Wolfgang

Jahr

2008

Publikationstyp

proceedings

Titel

Scheduling Analysis of Distributed Real-Time Systems Under Functional Constraints

Buchtitel

Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation

Alle Autoren

Metzner, Alexander

Jahr

2008

Publikationstyp

inproceedings

Titel

Scheduling Analysis of Distributed Real-Time Systems Under Functional Constraints

Buchtitel

Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation

Titel der Konferenz

ETFA 08

Alle Autoren

Metzner, Alexander

Jahr

2008

Publikationstyp

inproceedings

Titel

Software Components for Reliable Automotive Systems

Buchtitel

Proceedings Design, Automation and Test in Europe, 2008. DATE08

Titel der Konferenz

Date

Alle Autoren

Damm, W, and Josko, B. and Metzner, A. and Di Natale, M., Heinecke, H. and Kopetz, H. and Sangiovanni-Vincentelli, A.

Jahr

2008

Publikationstyp

inproceedings

Titel

Specification of adaptive HW/SW systems in SystemC

Titel der Konferenz

Forum on Specification, Verification and Design Languages, 2008. FDL 2008.

Alle Autoren

Herrera, Fernando and Villar, Eugenio and Hartmann, Philipp A.

Jahr

2008

Publikationstyp

inproceedings

Titel

SystemC-based Modelling, Seamless Refinement, and Synthesis of a JPEG 2000 Decoder

Buchtitel

Proceedings of the Design, Automation, and Test in Europe Conference

Alle Autoren

Grüttner, Kim and Oppenheimer, Frank and Nebel, Wolfgang and Colas-Bigey, Fabien and Fouilliart, Anne-Marie

Jahr

2008

Publikationstyp

inproceedings

Titel

The TELAR Mobile Mashup Platform for Nokia Internet Tablets

Buchtitel

Advances in Database Technology - EDBT 2008, 11th International Conference on Extending Database Technology (Demonstrations), Nantes, France

Alle Autoren

Brodt, Andreas and Nicklas, Daniela

Jahr

2008

Publikationstyp

inproceedings

Titel

The TELAR Mobile Mashup Platform for Nokia Internet Tablets

Titel der Konferenz

Advances in Database Technology - EDBT 2008, 11th International Conference on Extending Database Technology {(Demonstrations)

Alle Autoren

Brodt, Andreas and Nicklas, Daniela

Jahr

2008

Publikationstyp

inproceedings

Titel

Towards a Middleware Approach for a Self-Configurable Automotive Embedded System

Buchtitel

6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008)

Alle Autoren

Jahnich, Isabell and Podolski, Ina and Rettberg, Achim

Jahr

2008

Publikationstyp

inproceedings

Titel

Towards Autonomous Sensor Networks by a Self-Configurable Middleware

Buchtitel

Workshop on Sensor Networks and Applications (WSeNA 2008)

Alle Autoren

Podolski, Ina and Rettberg, Achim and Jahnich, Isabell

Jahr

2008

Publikationstyp

inproceedings

Titel

Using SystemC for an extended MATLAB/simulink verification flow

Buchtitel

Specification, Verification and Design Languages, 2008. FDL 2008. Forum on

Titel der Konferenz

Forum on Specification, Verification and Design Languages, 2008

Alle Autoren

Hylla, Kai and Oetjens, Jan-Hendrik and Nebel, Wolfgang

Jahr

2008

Publikationstyp

inproceedings

Titel

Utilizing Dynamic Executable Models for User Interface Development

Buchtitel

Interactive Systems - Design, Specification, and Verification

Alle Autoren

Grzegorz Lehmann and Marco Blumendorf and Sebastian Feuerstack and Sahin Albayrak

Jahr

2008

Publikationstyp

inproceedings

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

Projekte-Schnellzugang