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.

Publikationsliste

  Search  AND OR Extended search
close
All 1082 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
Title

Automatic verification of hybrid systems with large discrete state space

Booktitle

Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)

All authors

Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.

Year

2006

Type of Publication

article

Title

Bridging the Gap between Model and Design of User Interfaces

Booktitle

Informatik für Menschen

All authors

Sebastian Feuerstack and Marco Blumendorf and Sahin Albayrak

Year

2006

Type of Publication

inproceedings

Title

Check It Out: On the Efficient Formal Verification of Live Sequence Charts

Title of Conference

18th International Conference on Computer Aided Verification (CAV 2006)

All authors

Klose, Jochen and Toben, Tobe and Westphal, Bernd and Wittke, Hartmut

Year

2006

Type of Publication

inproceedings

Title

Component based design of embedded automotive systems

Booktitle

Proceedings, Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel (AAET 2006)

All authors

Damm, Werner

Year

2006

Type of Publication

inproceedings

Title

Component based design of embedded automotive systems

Title of Conference

Automatisierungs-, Assistenzsysteme und eingebettete >> Systeme für Transportmittel

All authors

Werner Damm

Year

2006

Type of Publication

inproceedings

Title

Compositional Performability Evaluation for STATEMATE

Booktitle

QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems

All authors

Böde, Eckard and Herbstritt, Marc and Hermanns, Holger and Johr, Sven and Peikenkamp, Thomas and Pulungan, Reza and Wimmer, Ralf and Becker, Bernd

Year

2006

Type of Publication

inproceedings

Title

Concurrent LSC Verification

Title of Conference

5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)

All authors

Toben, Tobe and Westphal, Bernd

Year

2006

Type of Publication

inproceedings

Title

Datenabhängige RT-Ebenen Modellierung von Leckströmen in Tiefen Sub-Mikrometer CMOS Technologien

All authors

Ehmen, Günter

Year

2006

Type of Publication

mastersthesis

Title

Design and implementation of a Maple-package for the predictability of real-time systems

Booktitle

Proceedings of the Maple Conference 2006

Title of Conference

Maple Conference 2006

All authors

Korte, Mario and Albers, Karsten and Slomka, Frank

Year

2006

Type of Publication

inproceedings

Title

Design and Implementation of a Maple-Package for the Predictability of Real-Time Systems

Booktitle

Proceedings of the Maple Conference 2006

Title of Conference

Maple Conference

All authors

Korte, Mario and Albers, Karsten and Slomka, Frank

Year

2006

Type of Publication

inproceedings

Title

Die Nutzung von teildefekten FPGAs unter Berücksichtigung des Entwurfsablaufes und der Performance

Booktitle

Tagungsband: Dresdner Arbeitstagung Schaltungs- und Systementwurf

All authors

Frimont, Sven and Nebel, Wolfgang

Year

2006

Type of Publication

inproceedings

Title

Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme

All authors

Metzner, Alexander

Year

2006

Type of Publication

phdthesis

Title

Ein EDF Scheduler für das eingebettete Betriebssystem µC/OS-II

All authors

Ohler, Christian

Year

2006

Type of Publication

misc

Title

Ein umfassendes Umgebungsmodell als Integrationsstrategie für ortsbezogene Daten und Dienste

All authors

Daniela Nicklas

Year

2006

Type of Publication

phdthesis

Title

Ein Verfahren zur Verifikation hochkomplexer Randbedingungen beim IC-Entwurf

Booktitle

Tagungsband der ANALOG 2006

All authors

Freuer, Jan and Jerke, G. and Schäfer, A. and Hahn, K. and Brück, R. and Nassaj, A. and Nebel, W.

Year

2006

Type of Publication

inproceedings

Title

Eingebettete Systeme für die Sicherheit von Logistikeinheiten

Title of Conference

Mikrosysteme für die maritime Sicherheit im Rahmen des Forum Küste und Meer

All authors

Nebel, Wolfgang

Year

2006

Type of Publication

misc

Title

Entwicklung ortsbezogener Anwendungen

Booktitle

PIK - Praxis der Informationsverarbeitung und Kommunikation

All authors

Becker Christian and Dürr Frank and Knoll, Mirko and Nicklas, Daniela and Weis, Torben

Year

2006

Type of Publication

article

Title

Ereignisabhängigkeitsgraphen für die Echtzeitanalyse eingebetteter Systeme

All authors

Bodmann, Frank

Year

2006

Type of Publication

mastersthesis

Title

Event-based Synchronization of Model-Based Multimodal User Interfaces

Booktitle

MDDAUI '06 - Model Driven Development of Advanced User Interfaces 2006

All authors

Marco Blumendorf and Sebastian Feuerstack and Sahin Albayrak

Year

2006

Type of Publication

inproceedings

Title

Exploiting Type and Space in a Main Memory Query Engine

Booktitle

Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006 ; Campos do Jordao, Brazil

All authors

Grossmann, Matthias and Schwarz, Thomas and Nicklas, Daniela and Mitschang, Bernhard

Year

2006

Type of Publication

inproceedings

Title

Formal Verification of LSC's in the Development Process

Booktitle

Integration of Software Specification Techniques for Applications in Engineering

All authors

Brill, Matthias and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut

Year

2006

Type of Publication

incollection

Title

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

All authors

Damm, W. and Schulte, C. and Segelken, M. and Wittke, H. and Higgen, U. and Eckrich, M.

Year

2006

Type of Publication

article

Title

Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems.

All authors

Damm, W. and Pinto, G. and Ratschan, S.

Year

2006

Type of Publication

article

Title

Hierarchical Event Streams and Event Dependency Graphs: A New Computational Model for Embedded Real-Time Systems

Booktitle

IEEE Proceedings of the 18th Euromicro Conference on Real-Time Systems

Title of Conference

18th Euromicro Conference on Real-Time Systems

All authors

Albers, Karsten and Bodmann, Frank and Slomka, Frank

Year

2006

Type of Publication

inproceedings

News


 

Projects - fast access