[Drucken] | [Schließen]
 

Persons

Prof. Dr. Werner Damm

 

Position at OFFIS

Vorstand OFFIS Sprecher Bereichsvorstand Verkehr

Position at the University

Direktor des Forschungszentrums Sicherheitskritische Systeme - / - Leiter der Abteilung Sicherheitskritische Eingebettete Systeme - / - Sprecher des Sonderforschungsbereiches/Transregio AVACS - Automatic Verification and Analyis of Complex Systems - / - Leiter des durch VW-Vorab geförderten Interdisziplinären Forschungszentrums für den Entwurf sicherheitskritischer soziotechnischer Systeme

Further Activities

Vorstandsvorsitzender SafeTRANS e.V. - / - Mitglied EiCOSE Steering Board - / - Mitglied Artemis Working Group Tool Platforms - / - Stellvertretender Vorsitzender des Aufsichtsrates der BTC Embedded Systems - / - Mitglied Editorial Board "Journal of Formal Methods in System Design" - / - Mitglied von acatech, der Deutschen Akademie für Technikwissenschaften - / - General Chair der CPS-Week 2014 in Berlin

 

Research and Developement Division

Verkehr

Competence Center

Dependable Systems

 

Responsibility

Verkehr: Vorstand

Dependable System Design: Sprecher

 

Research Focus

modellbasierter Entwurf eingebetteter Systeme, Formale Verifikationsmethoden, Sicherheitsanalyse, Echtzeitanalyse, Spezifikationssprachen und Hybride Systeme, Entwicklungsprozesse für eingebettete Systeme

 

Room

D122

Phone

+49 441 9722-500

fax

+49 441 9722-502

Address

OFFIS

E-Mail

werner.damm [ A T ] offis.de

www

ses.informatik.uni-oldenburg.de/30854.html

 

Publications

Title

A Design Space Exploration Tool Demonstration for Automotive Systems

Title of Conference

DAC 2013

Alle Autoren

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike

Year

2013

Title

From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach

Alle Autoren

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Janssen, Detlef and Stierand, Ingo and Thaden, Eike

Year

2013

Title

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

Alle Autoren

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

Year

2012

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 and Damm, Werner and Ehmen, Günter and Stierand, Ingo

Year

2011

Title

Architecture Modeling

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

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 and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike

Year

2011

Title

Automating the design flow for distributed embedded automotive applications: keeping your time promises, and optimizing costs, too (TR)

Alle Autoren

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

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 and Fränzle, Martin and Damm, Werner

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 and Damm, Werner and Passerone, Roberto

Year

2011

Title

Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Title of Conference

DATE 2011

Alle Autoren

Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and

Year

2011

Title

Contract Based ISO CD 26262 Safety Analysis

Title of Conference

SAE World Congress 2009

Alle Autoren

Damm, Werner and Josko, Bernhard and Peikenkamp, Thomas

Year

2009

Title

Meta-models in Europe: Languages, Tools and Applications

booktitle

IEEE Design & Test of Computers

Alle Autoren

Roberto Passeron and Imene Ben Hafaiedh and Albert Benveniste and Daniela Cancila and arnaud Cuccuru and Werner Damm and Alberto Ferrari and Sebastien Gerard and Susanne Graf and Bernhard Josko and Leonardo Mangeruca and Thomas Peikenkamp and Alberto Sangiovanni-Vincentelli and Francois Terrie

Year

2009

Title

Metamodels in Europe: Languages, Tools, and Applications

booktitle

IEEE Design and Test of Computers

Alle Autoren

Passerone, Roberto and Hafaiedh, Imene Ben and Graf, Susanne and Benveniste, Albert and Cancila, Daniela and Cuccuru, Arnaud and Gérard and Sébastien and Terrier, Francois and Ferrari, Alberto and Mangeruca, Leonardo and Josko, Bernhard and Peikenkamp, ThomasSangiovanni-Vincentelli, Alberto

Year

2009

Title

Nationale Roadmap Embedded Systems

Alle Autoren

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

Year

2009

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, and Josko, B. and Metzner, A. and Di Natale, M., Heinecke, H. and Kopetz, H. and Sangiovanni-Vincentelli, A.

Year

2008

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 and Metzner, Alexander

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 and Mikschl, Alfred and Oehlerking, Jens and Olderog, Ernst-Rüdiger and Pang, Jun and Platzer, André and Segelken, Marc and Wirtz, Bernd

Year

2007

Title

Computer Aided Verification

booktitle

Lecture Notes in Computer Science

Alle Autoren

Werner Damm and Holger Hermanns

Year

2007

Title

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 and Disch, Stefan and Hungar, Hardi and Jacobs, Swen and Pang, Jun and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris

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 and Guilherme Pinto and Stefan Ratschan

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 and Toben, Tobe and Westphal, 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

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 and Damm, Werner and Toben, Tobe and Westphal, Bernd

Year

2007

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 and Damm, Werner and Hoyem, Jarl and Josko, Bernhard and Niehaus, Jürgen and 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 and Werner Damm and Jarl Hoyem and Bernhard Josko and Jürgen Niehaus and Marc Segelken

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. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.

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

Component based design of embedded automotive systems

Title of Conference

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

Alle Autoren

Werner Damm

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 and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut

Year

2006

Title

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

Alle Autoren

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

Year

2006

Title

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. and Damm, W. and Metzner, A. and Shmonin, G. and Wilhelm, R. and Winkel, S.

Year

2006

Title

Verification of cooperating traffic agents

Alle Autoren

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

Year

2006

Title

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

Alle Autoren

Damm, Werner and Josko, Bernhard and Pnueli, Amir and 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 and Votintseva, Angelika and Metzner, Alexander and Josko, Bernhard and Peikenkamp, Thomas and Böde, Eckard

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

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. and Pinto, G. and Ratschan, S.

Year

2005

Title

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

Alle Autoren

Damm, Werner and Westphal, Bernd

Year

2005

Title

Live Sequence Charts

booktitle

Integration of Software Specification Techniques for Applications in Engineering

Alle Autoren

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

Year

2004

Title

Model Checking - Grundlagen und Praxiserfahrungen

Alle Autoren

Buschermöhle, Ralf and Brörkens, Mark and Brückner, Ingo and Damm, Werner and Hasselbring, Wilhelm and Josko, Bernhard and Schulte, Christoph and Wolf, Thomas

Year

2004

Title

On the Verification of Cooperating Traffic Agents

booktitle

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

Alle Autoren

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

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. and Damm, W. and Ferrari, A. and Freund, U. and Josko, B. and Kowalewski, S. and Sangiovanni-Vincentelli, A. and Torngren, M. and Thurner, T. and Hasseln, H. von

Year

2004

Title

A Semantics for Distributed Execution of STATEMATE

Alle Autoren

Fränzle, Martin and Niehaus, Jürgen and Metzner, Alexander and 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 and Westphal, Bernd

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. and Damm, W. and Klose, J. and Moik, A. and Wittke, H.

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 and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika

Year

2003

Title

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. and Jonsson, B.

Year

2002

Title

Formale Analyse und Verifikation von Statemate Entwürfen

Alle Autoren

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

Year

2001

Title

LSCs: Breathing Life into Message Sequence Charts

Alle Autoren

Damm, W. and Harel, D.

Year

2001

Title

OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung

Alle Autoren

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

Year

2000

Title

The STATEMATE Verification Environment - Making it real

booktitle

12th international Conference on Computer Aided Verification, CAV

Alle Autoren

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

Year

2000

Title

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. and Brockmeyer, U. and Damm, W. and Döhmen, G. and Eßmann, C. and Holberg, H. J. and Hungar, H. and Josko, B. and Schlör, R. and Wittich, G. and Wittke, H. and 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. and Döhmen, G. and Klose, J.

Year

1999

Title

Verification of Automotive Control Units

booktitle

Correct System Design

Alle Autoren

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

Year

1999

Title

A Compositional Real-time Semantics of STATEMATE Designs

booktitle

Compositionality: The Significant Difference; International Symposium COMPOS '97

Alle Autoren

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

Year

1998

Title

First-Order-CTL Model Checking

booktitle

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

Alle Autoren

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

Year

1998

Title

Herbrand automata for hardware verification

booktitle

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

Alle Autoren

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

Year

1998