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.
Title
Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems
Booktitle
Proceedings of the 2012 European Simulation and Modelling Conference
Title of Conference
26th European Simulation and Modelling Conference
All authors
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
Year
2012
Title
Über die Notwendigkeit neuer Modellierungskonzepte komplexer eingebetteter Systeme
Title of Conference
edaWorkshop 2012
All authors
Nebel, Wolfgang; Helms, Domenik; Grüttner, Kim; Oppenheimer, Frank
Year
2012
Title
Using the COMPLEX Design Flow for Space Domain Applications
Title of Conference
Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications (DEPCP'2011)
All authors
Ferrero, Francisco; Grüttner, Kim; Herrera, Fernando; Palermo, Gianluca; Vanthournout, Bart; Vaumorin, Emmanuel
Year
2011
Title
Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design
Title of Conference
DATE 2011
All authors
Damm, Werner; Hungar, Hardi; Josko, Bernhard; Peikenkamp, Thomas; Stierand, Ingo;
Year
2011
Title
Using Guided Simulation to Assess Driver Assistance Systems
Title of Conference
FORMS/FORMAT 2010
Year
2011
Title
UML for Software Safety and Certification: Model-Based Development of Safety-critical Software-Intensive Systems
Booktitle
Model-Based Engineering of Embedded Real-Time Systems
All authors
Huhn, Michaela; Hungar, Hardi
Year
2010
Title
Using a hierarchical Task Analysis as a basis for Modelling the driver Behaviour when merging onto the Freeway
Booktitle
Proceedings of Human Modelling in Assisted Transportation (HMAT)
All authors
Kassner A., Baumann M., Weber L.
Year
2010
Title
Using SystemC for an extended MATLAB/simulink verification flow
Booktitle
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Title of Conference
Forum on Specification, Verification and Design Languages, 2008
All authors
Hylla, Kai; Oetjens, Jan-Hendrik; Nebel, Wolfgang
Year
2008
Title
Unterstützung der Systemgestaltung durch die Simulation des Kommunikationsflusses in erweiterten Aufgabenmodellen
Booktitle
Simulationsgestützte Systemgestaltung
Title of Conference
49. Fachauschusssitzung Anthropotechnik
All authors
Mistrzyk t., Szwillus G.
Year
2007
Title
Using Ontologies to Model and Understand Product Development
All authors
Hahn, Axel; Hausmann, Kevin; Häusler, Stefan; Strickmann, Jan
Year
2007
Title
Uppaal/DMC - Abstraction-based Heuristics for Directed Model Checking
Booktitle
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
All authors
Kupferschmid, Sebastian; Dräger, Klaus; Hoffmann, Jörg; Finkbeiner, Bernd; Henning Dierks; Aandreas Podelski; Gerd Behrmann
Year
2007
Title
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems
Booktitle
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings
All authors
Lettrari, M.
Year
2006
Title
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML
Booktitle
Formal Methods for Components and Objects. First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
All authors
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
Year
2003
Title
UML Validation Suite
Booktitle
Proceedings of FATES'01 - Formal Approaches to Testing of Software
All authors
Brockmeyer, Udo; Klose, Jochen; Lettrari, Marc
Year
2001
Title
Untersuchung des Analyse- und Spezifikationsprozesses bei sd & m
All authors
Nicklas Daniela
Year
1999
Title
Using a visual formalism for design verification in industrial environments
Booktitle
VISUAL'98
All authors
Schlör, R.; Josko, B.; Werth, D.
Year
1998
Title
Übersetzung von objektorientiertem VHDL nach Standard VHDL.
All authors
Radetzki, Martin; Putzke-Röming, Wolfram; Nebel, Wolfgang
Year
1998