Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems

Alle Autoren

Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto

Year

2012

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

Taming Dr. Frankenstein: Contract-Based Design for Cyber-physical Systems

Title of Conference

50th IEEE Conference on Decision and Control and European Control Conference

Alle Autoren

Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto

Year

2011

Title

Crossing the bridge between similar games

booktitle

Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings

Alle Autoren

Quesel, Jan-David; Fränzle, Martin; Damm, Werner

Year

2011

Title

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

booktitle

Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)

Title of Conference

International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)

Alle Autoren

Büker, Matthias; Damm, Werner; Ehmen, Günter; Stierand, Ingo

Year

2011

Title

Automating the Design Flow for Distributed Embedded Automotive Applications: Keeping Your Time Promises, and Optimizing Costs, too

booktitle

Proc. International Symposium on Industrial Embedded Systems (SIES'11)

Title of Conference

International Symposium on Industrial Embedded Systems (SIES'11)

Alle Autoren

Büker, Matthias; Damm, Werner; Ehmen, Günter; Metzner, Alexander; Stierand, Ingo; Thaden, Eike

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

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

Nationale Roadmap Embedded Systems

Alle Autoren

Achatz, Reinhod; Beetz, Klaus; Broy, Manfred; Dämbkes, Heinrich; Damm, Werner; Grimm, Klaus; Liggesmeyer, Peter

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

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

Exact state set representations in the verification of linear hybrid systems with large discrete state-space

booktitle

Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007

Alle Autoren

Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris

Year

2007

Title

On the Expressive Power of Live Sequence Charts

booktitle

Program Analysis and Compilation, Theory and Practise: Essays Dedicated to Reinhard Wilhelm

Alle Autoren

Damm, Werner; Toben, Tobe; Westphal, Bernd

Year

2007

Title

Automating verification of cooperation, control, and design in traffic applications

booktitle

Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Alle Autoren

Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger;Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Bernd

Year

2007

Title

SFB/TR 14 AVACS

booktitle

Information Technology

Alle Autoren

Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm

Year

2007

Title

Computer Aided Verification

booktitle

Lecture Notes in Computer Science

Alle Autoren

Werner Damm; Holger Hermanns

Year

2007

Title

Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems

booktitle

International Journal of Foundations of Computer Science

Alle Autoren

Werner Damm; Guilherme Pinto; Stefan Ratschan

Year

2007

Title

Verification and Synthesis of OCL Constraints via Topology Analysis

Title of Conference

3rd International Workshop on Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007)

Alle Autoren

Bauer, Jörg; Damm, Werner; Toben, Tobe; Westphal, Bernd

Year

2007

Title

A Design Methodology for Distributed Real-Time Automotive Applications

booktitle

Proceedings of the GM R&D Workshop, Bangalore, India

Title of Conference

GM R&D Workshop

Alle Autoren

Damm, Werner; Metzner, Alexander

Year

2007

Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality

booktitle

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications.

Alle Autoren

Eisenbrand, F.; Damm, W.; Metzner, A.; Shmonin, G.; Wilhelm, R.; Winkel, S.

Year

2006

Title

Automatic verification of hybrid systems with large discrete state space

booktitle

Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)

Alle Autoren

Damm, W.; Disch, S.; Hungar, H.; Pang, J.; Pigorsch, F.; Scholl, C.; Waldmann, U.; Wirtz, B.

Year

2006

Title

Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems.

Alle Autoren

Damm, W.; Pinto, G.; Ratschan, S.

Year

2006

Title

Component based design of embedded automotive systems

booktitle

Proceedings, Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel (AAET 2006)

Alle Autoren

Damm, Werner

Year

2006

Title

Verification of cooperating traffic agents

Alle Autoren

Damm, W.; Hungar, H., Olderog, E.-R.

Year

2006

Title

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

Alle Autoren

Damm, W.; Schulte, C.; Segelken, M.; Wittke, H.; Higgen, U.; Eckrich, M.

Year

2006

Title

Formal Verification of LSC's in the Development Process

booktitle

Integration of Software Specification Techniques for Applications in Engineering

Alle Autoren

Brill, Matthias; Buschermöhle, Ralf; Damm, Werner; Klose, Jochen; Westphal, Bernd; Wittke, Hartmut

Year

2006

Title

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

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

Title

Component based design of embedded automotive systems

Title of Conference

Automatisierungs-, Assistenzsysteme und eingebettete >> Systeme für Transportmittel

Alle Autoren

Werner Damm

Year

2006

Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.

booktitle

Automated Technology for Verification and Analysis (ATA)

Alle Autoren

Damm, W.; Pinto, G.; Ratschan, S.

Year

2005

Title

Live and let die: LSC-based verification of UML models.

Alle Autoren

Damm, Werner; Westphal, Bernd

Year

2005

Title

Controlling speculative design processes using rich component models

booktitle

5th International Conference on Application of Concurrency to System Design (ACSD 2005)

Alle Autoren

Damm, Werner

Year

2005

Title

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

On the Verification of Cooperating Traffic Agents

booktitle

Proc. FMCO '03: Formal Methods for Components and Objects

Alle Autoren

Damm, W.; Hungar, H.; Olderog, E.-R.

Year

2004

Title

Live Sequence Charts

booktitle

Integration of Software Specification Techniques for Applications in Engineering

Alle Autoren

Brill, Mathias; Damm, Werner; Klose, Jochen; Westphal, Bernd; Wittke, Hartmut

Year

2004

Title

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

A Semantics for Distributed Execution of STATEMATE

Alle Autoren

Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner

Year

2003

Title

Live and Let Die: LSC-Based Verification of UML-Models

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; Westphal, Bernd

Year

2003

Title

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

Title

Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts

booktitle

Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002)

Alle Autoren

Bohn, J.; Damm, W.; Klose, J.; Moik, A.; Wittke, H.

Year

2003

Eliminating Queues from RT UML Model Representations

booktitle

7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems, FTRTFT 2002

Alle Autoren

Damm, W.; Jonsson, B.

Year

2002

Title

7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems. FTRTFT 2002

Year

2002

Formale Analyse und Verifikation von Statemate Entwürfen

Alle Autoren

Bienmüller, T.; Damm, W.; Klose, J.; Wittke, H.

Year

2001

Title

LSCs: Breathing Life into Message Sequence Charts

Alle Autoren

Damm, W.; Harel, D.

Year

2001

Title

Advanced Validation Techniques Meet Complexity Challenge in Embedded Software Development

Alle Autoren

Damm, Werner; Cohen, Moshe

Year

2001

Title

Verification of a Radio-based Signaling System Using the Statemate Verification Environment

Alle Autoren

Damm, W.; Klose, J.

Year

2001

The STATEMATE Verification Environment - Making it real

booktitle

12th international Conference on Computer Aided Verification, CAV

Alle Autoren

Bienmüller, T.; Damm, W.; Wittke, H.

Year

2000

Title

OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung

Alle Autoren

Appelrath, Hans-Jürgen; Damm, Werner; Menke, Karl-Heinz; Nebel, Wolfgang; Thoben, Wilfried

Year

2000

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

Title

Secure Decentralized Control of Railway Crossings

booktitle

Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems

Alle Autoren

Damm, W.; Döhmen, G.; Klose, J.

Year

1999

Title

Verification of Automotive Control Units

booktitle

Correct System Design

Alle Autoren

Bienmüller, T.; Bohn, J.; Brinkmann, H.; Brockmeyer, U.; Damm, W.; Hungar, H.; Jansen, P.

Year

1999

Herbrand automata for hardware verification

booktitle

Proc of the 9th International Conference on Conucrrency (CONCUR)

Alle Autoren

Damm, W.; Pnueli, A.; Ruah, S.

Year

1998

Title

First-Order-CTL Model Checking

booktitle

18th Conference on Foundations of Software Technology and Theroretical Computer Science

Alle Autoren

Bohn, J.; Damm, W.; Grumberg, O.; Hungar, H.; Laster, K.

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