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

Architecture Modeling

Titel der Konferenz

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

Jahr

2011

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

Buchtitel

Proceedings Embedded World Conference 2010

Titel der Konferenz

Embedded World Conference 2010

Alle Autoren

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

Jahr

2010

Contract Based ISO CD 26262 Safety Analysis

Titel der Konferenz

SAE World Congress 2009

Alle Autoren

Damm, Werner; Josko, Bernhard; Peikenkamp, Thomas

Jahr

2009

Titel

Metamodels in Europe: Languages, Tools, and Applications

Buchtitel

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

Jahr

2009

Titel

Meta-models in Europe: Languages, Tools and Applications

Buchtitel

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

Jahr

2009

Designing Embedded Systems using Heterogeneous Rich Components

Buchtitel

Proceedings of the INCOSE International Symposium 2008

Alle Autoren

Josko, Bernhard; Ma, Qin; Metzner, Alexander

Jahr

2008

Titel

Software Components for Reliable Automotive Systems

Buchtitel

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

Titel der Konferenz

Date

Alle Autoren

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

Jahr

2008

SUCCESS rate and factors of IT-Projects 2006 in Germany

Buchtitel

International Conference on Software Engineering Research and Practice

Alle Autoren

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

Jahr

2007

Titel

SUCCESS: Erfolgsfaktoren aktueller IT-Projekte in Deutschland

Buchtitel

OBJEKTspektrum

Alle Autoren

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

Jahr

2007

Adding Value to Automotive Models

Buchtitel

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

Jahr

2006

Titel

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

Alle Autoren

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

Jahr

2006

Titel

Adding Value to automotive models

Buchtitel

Automotive Software - Connected Services in Mobile Networks

Titel der Konferenz

ARTIST and NSF Workshop on Automotive Software Development

Alle Autoren

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

Jahr

2006

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

Alle Autoren

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

Jahr

2005

Titel

Boosting Re-use of Embedded Automotive Applications Through Rich Components

Buchtitel

Proceedings, FIT 2005 - Foundations of Interface Technologies

Alle Autoren

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

Jahr

2005

Titel

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

Buchtitel

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

Jahr

2005

The future design scenario and the SEA inititative

Buchtitel

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

Jahr

2004

Titel

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

Jahr

2004

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

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

Buchtitel

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.

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

A Compositional Real-time Semantics of STATEMATE Designs

Buchtitel

Compositionality: The Significant Difference; International Symposium COMPOS '97

Alle Autoren

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

Jahr

1998