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

OSSS+R: Modelling and Simulating Self-Reconfigurable Systems

Buchtitel

Proceedings - 2006 International Conference on Field Programmable Logic and Applications

Titel der Konferenz

16th International Conference on Field Programmable Logic and Applications

Alle Autoren

Schallenberg, Andreas and Oppenheimer, Frank and Nebel, Wolfgang

Jahr

2006

Publikationstyp

inproceedings

Titel

OSSS-Channels: Modelling and Synthesis of Communication With SystemC

Buchtitel

Tagungsband: Forum on Specification & Design Languages

Titel der Konferenz

FDL 2006

Alle Autoren

Grüttner, Kim and Brunzema, Claus and Grabbe, Cornelia and Schubert, Thorsten and Oppenheimer, Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

Overview of the ICODES Project

Buchtitel

proceedings: Forum on Specification & Design Languages

Titel der Konferenz

FDL

Alle Autoren

Grabbe, Cornelia and Brunzema, Claus and Grüttner, Kim and Schubert, Thorsten and Oppenheimer, Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

Power Optimised Digital Filterbank as Part of a Psychoacoustic Human Hearing Model

Titel der Konferenz

Snug Europe - Synopsys User Group Europe

Alle Autoren

Poppen, Frank and Schulte, Milan and Nebel, Wolfgang

Jahr

2006

Publikationstyp

inproceedings

Titel

Prognose potentieller Bedienungsfehler beim Entwurf Sicherheitskritischer Systeme

Alle Autoren

Lüdtke, A.

Jahr

2006

Publikationstyp

article

Titel

RTSAT - An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures

Buchtitel

Proceedings of the IEEE Real-Time Systems Symposium

Alle Autoren

Metzner, Alexander and Herde, Christian

Jahr

2006

Publikationstyp

inproceedings

Titel

SFB 627: Umgebungsmodelle für mobile kontextbezogene Systeme.

Alle Autoren

Kurt Rothermel and Thomas Ertl and Dieter Fritsch and Paul J. Kühn and Bernhard Mitschang and Engelbert Westkämper and Christian Becker and Dominique Dudkowski and Andreas Gutscher and Christian Hauser and Lamine Jendoubi and Daniela Nicklas and S

Jahr

2006

Publikationstyp

article

Titel

Software Engineering Networking Experience

Titel der Konferenz

1st International Workshop, WS-SENE 2006 Joensuu, Finland

Alle Autoren

Editors: A. Jedlitschka, H. Eekhoff, R. Kalmar

Jahr

2006

Publikationstyp

inproceedings

Titel

Specification and Verification of Dynamic Communication Systems

Titel der Konferenz

6th International Conference on Application of Concurrency to System Design (ACSD 2006)

Alle Autoren

Bauer, Jörg and Schaefer, Ina and Toben, Tobe and Westphal, Bernd

Jahr

2006

Publikationstyp

inproceedings

Titel

Stereoscopic Depth-Detection for Handling and Manipulation Tasks in a Scanning Electron Microscope

Buchtitel

IEEE Int. Conf. on Robotics & Automation (ICRA)

Alle Autoren

Jähnisch, M. and Schiffner, M.

Jahr

2006

Publikationstyp

inproceedings

Titel

SUCCESS Erfolgs- und Misserfolgsfaktoren bei der Durchführung von Hard- und Software-Entwicklungsprojekten in Deutschland

Alle Autoren

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard

Jahr

2006

Publikationstyp

book

Titel

Task-orientierte Anwendungen in einer Smart Factory

Buchtitel

Mobile Informationssysteme - Potentiale, Hindernisse, Einsatz. Proc. {MMS'06}

Alle Autoren

Wieland, Matthias and Jendoubi, Lamine and Nicklas, Daniela and Leymann, Frank and Dürr Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

The Good, the Bad and the Ugly: Well-formedness of Live Sequence Charts

Titel der Konferenz

9th International Conference on Fundamental Approaches to Software Engineering (FASE 2006)

Alle Autoren

Westphal, Bernd and Toben, Tobe

Jahr

2006

Publikationstyp

inproceedings

Titel

The Quiny SystemC Front End: Self-Synthesising Designs

Buchtitel

Forum on Specification & Design Languages

Titel der Konferenz

Forum on Specification & Design Languages (FDL´06)

Alle Autoren

Schubert, Thorsten and Nebel, Wolfgang

Jahr

2006

Publikationstyp

inproceedings

Titel

Towards a Unified Model-based Safety Assessment

Buchtitel

SAFECOMP 2006. The 27th International Conference on Computer Safety, Security and Reliability

Alle Autoren

Peikenkamp, T. and Cavallo, A. and Valacca, L. and Böde, E. and Pretzer, M. and Hahn, E.M.

Jahr

2006

Publikationstyp

inproceedings

Titel

Towards Safety Analysis of Highly Integrated Technologically Heterogeneous Systems - A Domain-Based Approach for Modelling System Failure Logic

Buchtitel

Proceedings of the 24th International System Safety Conference (ISSC)

Alle Autoren

Lisagor, O. and Pretzer, M. and Seguin,O. and Pumfrey, D. J. and Iwu, F. and Peikenkamp, T.

Jahr

2006

Publikationstyp

inproceedings

Titel

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems

Buchtitel

FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings

Alle Autoren

Lettrari, M.

Jahr

2006

Publikationstyp

inproceedings

Titel

Verification of cooperating traffic agents

Alle Autoren

Damm, W. and Hungar, H., Olderog, E.-R.

Jahr

2006

Publikationstyp

article

Titel

A discrete-time UML semantics for concurrency and communication in safety-critical applications

Alle Autoren

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika

Jahr

2005

Publikationstyp

article

Titel

A High Level Constant Coefficient Multiplier Power Model for Power Estimation on High Levels of Abstraction

Buchtitel

Tagungsband: Integrated Circuit and System Design

Alle Autoren

Schulz, Arne and Schallenberg, Andreas and Helms, Domenik and Schulte, Milan and Reimer, Axel and Nebel, Wolfgang

Jahr

2005

Publikationstyp

inproceedings

Titel

Accuracy of leakage models: Voltage and temperature de-rating

Alle Autoren

Helms, Domenik

Jahr

2005

Publikationstyp

techreport

Titel

An Environment for Compositional Specification and Verification of Complex Embedded Systems

Alle Autoren

Wittke, Hartmut

Jahr

2005

Publikationstyp

phdthesis

Titel

Analyse von PDM-Daten zum Entwicklungscontrolling

Buchtitel

Informations- und Wissensdrehscheibe Produktmanagement

Alle Autoren

Strickmann, Jens and Abels, Sven and Hahn, Axel

Jahr

2005

Publikationstyp

inproceedings

Titel

Benefits of Integrating Meta Data into a Context Model

Buchtitel

3rd IEEE International Conference on Pervasive Computing and Communications PerCom 2005, 8-12 March 2005, Kauai Island, HI, USA

Alle Autoren

Hönle, Nicola and Uwe-Philipp Käppeler and Nicklas, Daniela and Schwarz, Thomas and Grossmann, Matthias and

Jahr

2005

Publikationstyp

inproceedings

Titel

Boosting Re-use of Embedded Automotive Applications Through Rich Components

Buchtitel

Proceedings, FIT 2005 - Foundations of Interface Technologies

Alle Autoren

Damm, Werner and Votintseva, Angelika and Metzner, Alexander and Josko, Bernhard and Peikenkamp, Thomas and Böde, Eckard

Jahr

2005

Publikationstyp

inproceedings

Projekte-Schnellzugang