Publikationen im FuE-Bereich Verkehr

Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems

Buchtitel

Proceedings of the 2012 European Simulation and Modelling Conference

Titel der Konferenz

26th European Simulation and Modelling Conference

Alle Autoren

Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas

Jahr

2012

Titel

Über die Notwendigkeit neuer Modellierungskonzepte komplexer eingebetteter Systeme

Titel der Konferenz

edaWorkshop 2012

Alle Autoren

Nebel, Wolfgang; Helms, Domenik; Grüttner, Kim; Oppenheimer, Frank

Jahr

2012

Using the COMPLEX Design Flow for Space Domain Applications

Titel der Konferenz

Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications (DEPCP'2011)

Alle Autoren

Ferrero, Francisco; Grüttner, Kim; Herrera, Fernando; Palermo, Gianluca; Vanthournout, Bart; Vaumorin, Emmanuel

Jahr

2011

Titel

Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Titel der Konferenz

DATE 2011

Alle Autoren

Damm, Werner; Hungar, Hardi; Josko, Bernhard; Peikenkamp, Thomas; Stierand, Ingo;

Jahr

2011

Titel

Using Guided Simulation to Assess Driver Assistance Systems

Titel der Konferenz

FORMS/FORMAT 2010

Jahr

2011

UML for Software Safety and Certification: Model-Based Development of Safety-critical Software-Intensive Systems

Buchtitel

Model-Based Engineering of Embedded Real-Time Systems

Alle Autoren

Huhn, Michaela; Hungar, Hardi

Jahr

2010

Titel

Using a hierarchical Task Analysis as a basis for Modelling the driver Behaviour when merging onto the Freeway

Buchtitel

Proceedings of Human Modelling in Assisted Transportation (HMAT)

Alle Autoren

Kassner A., Baumann M., Weber L.

Jahr

2010

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; Oetjens, Jan-Hendrik; Nebel, Wolfgang

Jahr

2008

Unterstützung der Systemgestaltung durch die Simulation des Kommunikationsflusses in erweiterten Aufgabenmodellen

Buchtitel

Simulationsgestützte Systemgestaltung

Titel der Konferenz

49. Fachauschusssitzung Anthropotechnik

Alle Autoren

Mistrzyk t., Szwillus G.

Jahr

2007

Titel

Using Ontologies to Model and Understand Product Development

Alle Autoren

Hahn, Axel; Hausmann, Kevin; Häusler, Stefan; Strickmann, Jan

Jahr

2007

Titel

Uppaal/DMC - Abstraction-based Heuristics for Directed Model Checking

Buchtitel

Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Alle Autoren

Kupferschmid, Sebastian; Dräger, Klaus; Hoffmann, Jörg; Finkbeiner, Bernd; Henning Dierks; Aandreas Podelski; Gerd Behrmann

Jahr

2007

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

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

Buchtitel

Formal Methods for Components and Objects. First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Alle Autoren

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

Jahr

2003

UML Validation Suite

Buchtitel

Proceedings of FATES'01 - Formal Approaches to Testing of Software

Alle Autoren

Brockmeyer, Udo; Klose, Jochen; Lettrari, Marc

Jahr

2001

Untersuchung des Analyse- und Spezifikationsprozesses bei sd & m

Alle Autoren

Nicklas Daniela

Jahr

1999

Using a visual formalism for design verification in industrial environments

Buchtitel

VISUAL'98

Alle Autoren

Schlör, R.; Josko, B.; Werth, D.

Jahr

1998

Titel

Übersetzung von objektorientiertem VHDL nach Standard VHDL.

Alle Autoren

Radetzki, Martin; Putzke-Röming, Wolfram; Nebel, Wolfgang

Jahr

1998