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¨ode, Matthias B¨uker, Werner Damm, G¨unter 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