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¨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

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