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

Title of Conference

DATE 2011

Alle Autoren

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

Year

2011

Title

Architecture Modeling

Title of Conference

OFFIS Technical Report

Alle Autoren

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber

Year

2011

CESAR - Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems

booktitle

Proceedings Embedded World Conference 2010

Title of Conference

Embedded World Conference 2010

Alle Autoren

Griessnig, Gerhard; Mader, Roland; Peikenkamp, Thomas; Josko, Bernhard; Törngren, Martin; Armengaud, Eric

Year

2010

Contract Based ISO CD 26262 Safety Analysis

Title of Conference

SAE World Congress 2009

Alle Autoren

Damm, Werner; Josko, Bernhard; Peikenkamp, Thomas

Year

2009

Title

Metamodels in Europe: Languages, Tools, and Applications

booktitle

IEEE Design and Test of Computers

Alle Autoren

Passerone, Roberto; Hafaiedh, Imene Ben; Graf, Susanne; Benveniste, Albert; Cancila, Daniela; Cuccuru, Arnaud; Gérard; Sébastien; Terrier, Francois; Ferrari, Alberto; Mangeruca, Leonardo; Josko, Bernhard; Peikenkamp, ThomasSangiovanni-Vincentelli, Alberto

Year

2009

Title

Meta-models in Europe: Languages, Tools and Applications

booktitle

IEEE Design & Test of Computers

Alle Autoren

Roberto Passeron; Imene Ben Hafaiedh; Albert Benveniste; Daniela Cancila; arnaud Cuccuru; Werner Damm; Alberto Ferrari; Sebastien Gerard; Susanne Graf; Bernhard Josko; Leonardo Mangeruca; Thomas Peikenkamp; Alberto Sangiovanni-Vincentelli; Francois Terrie

Year

2009

Designing Embedded Systems using Heterogeneous Rich Components

booktitle

Proceedings of the INCOSE International Symposium 2008

Alle Autoren

Josko, Bernhard; Ma, Qin; Metzner, Alexander

Year

2008

Title

Software Components for Reliable Automotive Systems

booktitle

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

Title of Conference

Date

Alle Autoren

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

Year

2008

SUCCESS rate and factors of IT-Projects 2006 in Germany

booktitle

International Conference on Software Engineering Research and Practice

Alle Autoren

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

Year

2007

Title

SUCCESS: Erfolgsfaktoren aktueller IT-Projekte in Deutschland

booktitle

OBJEKTspektrum

Alle Autoren

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

Year

2007

Adding Value to Automotive Models

booktitle

Automotive Software - Connected Services in Mobile Networks. First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,

Alle Autoren

Böde, Eckard; Damm, Werner; Hoyem, Jarl; Josko, Bernhard; Niehaus, Jürgen; Segelken, Marc

Year

2006

Title

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

Alle Autoren

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

Year

2006

Title

Adding Value to automotive models

booktitle

Automotive Software - Connected Services in Mobile Networks

Title of Conference

ARTIST and NSF Workshop on Automotive Software Development

Alle Autoren

Eckard Böde; Werner Damm; Jarl Hoyem; Bernhard Josko; Jürgen Niehaus; Marc Segelken

Year

2006

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

Alle Autoren

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

Year

2005

Title

Boosting Re-use of Embedded Automotive Applications Through Rich Components

booktitle

Proceedings, FIT 2005 - Foundations of Interface Technologies

Alle Autoren

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

Year

2005

Title

Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications

booktitle

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-20, 2005, Proceedings

Alle Autoren

Eissler, Stefan; Scheidler, Christian; Josko, Bernhard; Sandmann, Guido; Stroop, Joachim

Year

2005

The future design scenario and the SEA inititative

booktitle

IFAC Symposium on Advances in Automotive Control, University of Salerno, Italy, 2004

Alle Autoren

Brunel, J.-Y.; Damm, W.; Ferrari, A.; Freund, U.; Josko, B.; Kowalewski, S.; Sangiovanni-Vincentelli, A.; Torngren, M.; Thurner, T.; Hasseln, H. von

Year

2004

Title

Model Checking - Grundlagen und Praxiserfahrungen

Alle Autoren

Buschermöhle, Ralf; Brörkens, Mark; Brückner, Ingo; Damm, Werner; Hasselbring, Wilhelm; Josko, Bernhard; Schulte, Christoph; Wolf, Thomas

Year

2004

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

Alle Autoren

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

Year

2003

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

booktitle

Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK

Alle Autoren

Bienmüller, T.; Brockmeyer, U.; Damm, W.; Döhmen, G.; Eßmann, C.; Holberg, H. J.; Hungar, H.; Josko, B.; Schlör, R.; Wittich, G.; Wittke, H.; Clements, G.

Year

1999

Using a visual formalism for design verification in industrial environments

booktitle

VISUAL'98

Alle Autoren

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

Year

1998

Title

A Compositional Real-time Semantics of STATEMATE Designs

booktitle

Compositionality: The Significant Difference; International Symposium COMPOS '97

Alle Autoren

Damm, W.; Josko, B.; Hungar, H.; Pnueli, A.

Year

1998