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

Alle Autoren

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

Jahr

2012

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

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

Titel der Konferenz

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

Alle Autoren

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

Jahr

2011

Titel

Crossing the bridge between similar games

Buchtitel

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

Jahr

2011

Titel

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

Buchtitel

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

Titel der Konferenz

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

Alle Autoren

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

Jahr

2011

Titel

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

Buchtitel

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

Titel der Konferenz

International Symposium on Industrial Embedded Systems (SIES'11)

Alle Autoren

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

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

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

Nationale Roadmap Embedded Systems

Alle Autoren

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

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

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

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

Buchtitel

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

Jahr

2007

Titel

On the Expressive Power of Live Sequence Charts

Buchtitel

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

Alle Autoren

Damm, Werner; Toben, Tobe; Westphal, Bernd

Jahr

2007

Titel

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

Buchtitel

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

Jahr

2007

Titel

SFB/TR 14 AVACS

Buchtitel

Information Technology

Alle Autoren

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

Jahr

2007

Titel

Computer Aided Verification

Buchtitel

Lecture Notes in Computer Science

Alle Autoren

Werner Damm; Holger Hermanns

Jahr

2007

Titel

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

Buchtitel

International Journal of Foundations of Computer Science

Alle Autoren

Werner Damm; Guilherme Pinto; Stefan Ratschan

Jahr

2007

Titel

Verification and Synthesis of OCL Constraints via Topology Analysis

Titel der Konferenz

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

Alle Autoren

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

Jahr

2007

Titel

A Design Methodology for Distributed Real-Time Automotive Applications

Buchtitel

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

Titel der Konferenz

GM R&D Workshop

Alle Autoren

Damm, Werner; Metzner, Alexander

Jahr

2007

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

Buchtitel

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.

Jahr

2006

Titel

Automatic verification of hybrid systems with large discrete state space

Buchtitel

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.

Jahr

2006

Titel

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

Alle Autoren

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

Jahr

2006

Titel

Component based design of embedded automotive systems

Buchtitel

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

Alle Autoren

Damm, Werner

Jahr

2006

Titel

Verification of cooperating traffic agents

Alle Autoren

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

Jahr

2006

Titel

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.

Jahr

2006

Titel

Formal Verification of LSC's in the Development Process

Buchtitel

Integration of Software Specification Techniques for Applications in Engineering

Alle Autoren

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

Jahr

2006

Titel

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

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

Titel

Component based design of embedded automotive systems

Titel der Konferenz

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

Alle Autoren

Werner Damm

Jahr

2006

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

Buchtitel

Automated Technology for Verification and Analysis (ATA)

Alle Autoren

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

Jahr

2005

Titel

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

Alle Autoren

Damm, Werner; Westphal, Bernd

Jahr

2005

Titel

Controlling speculative design processes using rich component models

Buchtitel

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

Alle Autoren

Damm, Werner

Jahr

2005

Titel

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

On the Verification of Cooperating Traffic Agents

Buchtitel

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

Alle Autoren

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

Jahr

2004

Titel

Live Sequence Charts

Buchtitel

Integration of Software Specification Techniques for Applications in Engineering

Alle Autoren

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

Jahr

2004

Titel

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

A Semantics for Distributed Execution of STATEMATE

Alle Autoren

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

Jahr

2003

Titel

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

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

Jahr

2003

Titel

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

Titel

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

Buchtitel

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

Alle Autoren

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

Jahr

2003

Eliminating Queues from RT UML Model Representations

Buchtitel

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

Alle Autoren

Damm, W.; Jonsson, B.

Jahr

2002

Titel

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

Jahr

2002

Formale Analyse und Verifikation von Statemate Entwürfen

Alle Autoren

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

Jahr

2001

Titel

LSCs: Breathing Life into Message Sequence Charts

Alle Autoren

Damm, W.; Harel, D.

Jahr

2001

Titel

Advanced Validation Techniques Meet Complexity Challenge in Embedded Software Development

Alle Autoren

Damm, Werner; Cohen, Moshe

Jahr

2001

Titel

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

Alle Autoren

Damm, W.; Klose, J.

Jahr

2001

The STATEMATE Verification Environment - Making it real

Buchtitel

12th international Conference on Computer Aided Verification, CAV

Alle Autoren

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

Jahr

2000

Titel

OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung

Alle Autoren

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

Jahr

2000

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

Titel

Secure Decentralized Control of Railway Crossings

Buchtitel

Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems

Alle Autoren

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

Jahr

1999

Titel

Verification of Automotive Control Units

Buchtitel

Correct System Design

Alle Autoren

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

Jahr

1999

Herbrand automata for hardware verification

Buchtitel

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

Alle Autoren

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

Jahr

1998

Titel

First-Order-CTL Model Checking

Buchtitel

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

Alle Autoren

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

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