Werner Damm

ORCID

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 22

Top Venues

CoRR

ACM Trans. Cyber Phys. Syst.

HSCC

Publications

Werner Damm, David Hess, Mark Schweda, Janos Sztipanovits, Klaus Bengler, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Werner Damm, Martin Fränzle, Alyssa J. Kerscher, Forrest Laine, Klaus Bengler, Bianca Biebl, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products (2023)
Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm
Identification and Quantification of Hazardous Scenarios for Automated Driving. IMBSA (2020)
Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. CoRR (2019)
Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand
Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling. DESTION@CPSIoTWeek (2019)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Dynamic Conflict Resolution Using Justification Based Reasoning. CREST@ETAPS (2019)
Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. IV (2019)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Justification Based Reasoning in Dynamic Conflict Resolution. CoRR (2019)
Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger
Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. AAAI Spring Symposia (2018)
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
Contracts for System Design. Found. Trends Electron. Des. Autom. 12 (2-3) (2018)
Werner Damm, Roland Galbas
Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving. SEFAIAS@ICSE (2018)
Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
A Formal Semantics for Traffic Sequence Charts. Principles of Modeling (2018)
Werner Damm, Ralf Kalmar
Autonome Systeme - Fähigkeiten und Anforderungen. Inform. Spektrum 40 (5) (2017)
Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. Sci. Comput. Program. 148 (2017)
Werner Damm, Bernd Finkbeiner, Astrid Rakow
What You Really Need To Know About Your Neighbor. SYNT@CAV (2016)
Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. CoRR (2016)
Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
Contracts for Schedulability Analysis. FORMATS (2015)
Werner Damm, Alberto L. Sangiovanni-Vincentelli
A conceptual model of system of systems. SWEC@CPSWeek (2015)
Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. FroCos (2015)
Werner Damm
AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned. FM (2015)
Werner Damm, Bernd Finkbeiner
Automatic Compositional Synthesis of Distributed Systems. FM (2014)
Tetsuya Tohdo, Werner Damm, Alexander Pretschner, Jun Sun
Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16). NII Shonan Meet. Rep. 2014 (2014)
Werner Damm, Eike Möhlmann, Astrid Rakow
Component based design of hybrid systems: a case study on concurrency and coupling. HSCC (2014)
Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. Math. Struct. Comput. Sci. 23 (4) (2013)
Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. Eur. J. Control 18 (3) (2012)
Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Sci. Comput. Program. 77 (10-11) (2012)
Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too. SIES (2011)
Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand
Using contract-based component specifications for virtual integration testing and architecture design. DATE (2011)
Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand
An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. FMICS (2011)
Jan-David Quesel, Martin Fränzle, Werner Damm
Crossing the Bridge between Similar Games. FORMATS (2011)
Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. HSCC (2011)
Werner Damm, Bernd Finkbeiner
Does It Pay to Extend the Perimeter of a World Model? FM (2011)
Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Math. Comput. Sci. 5 (4) (2011)
Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli
Towards Component Based Design of Hybrid Systems: Safety and Stability. Essays in Memory of Amir Pnueli (2010)
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26 (3) (2009)
Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
Software Components for Reliable Automotive Systems. DATE (2008)
Werner Damm
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. FMICS (2008)
Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz
Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems (2007)
Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal
Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE (2007)
Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it Inf. Technol. 49 (2) (2007)
Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA (2007)
Werner Damm, Guilherme Pinto, Stefan Ratschan
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. Int. J. Found. Comput. Sci. 18 (1) (2007)
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA (2006)
Werner Damm
Embedded system development for automotive applications: trends and challenges. EMSOFT (2006)
Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel
Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. RTCSA (2006)
Werner Damm, Tobe Toben, Bernd Westphal
On the Expressive Power of Live Sequence Charts. Program Analysis and Compilation (2006)
Werner Damm, Bernd Westphal
Live and let die: LSC based verification of UML models. Sci. Comput. Program. 55 (1-3) (2005)
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko
Automatic Validation and Verification in a Model-Based Development Process. MBEES (2005)
Werner Damm
Controlling Speculative Design Processes Using Rich Component Models. ACSD (2005)
Werner Damm, Guilherme Pinto, Stefan Ratschan
Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. ATVA (2005)
Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva
A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55 (1-3) (2005)
Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken
Adding Value to Automotive Models. ASWSD (2004)
Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf
Model Checking (Grundlagen und Praxiserfahrungen). Inform. Spektrum 27 (2) (2004)
Werner Damm, Bernd Westphal
Introduction to Subject Area 'Charts'. SoftSpez Final Report (2004)
Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. SoftSpez Final Report (2004)
Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
Formal Verification of LSCs in the Development Process. SoftSpez Final Report (2004)
Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm
A Semantics for Distributed Execution of Statemate. Formal Aspects Comput. 15 (4) (2003)
Werner Damm
Recent Trends in the Development of Safety Critical Systems. Electron. Notes Theor. Comput. Sci. 80 (2003)
Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
On the Verification of Cooperating Traffic Agents. FMCO (2003)
Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. GI Jahrestagung (1) (2003)
Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO (2002)
Werner Damm, Bernd Westphal
Live and Let Die: LSC-Based Verification of UML-Models. FMCO (2002)
Werner Damm, Bengt Jonsson
Eliminating Queues from RT UML Model Representations. FTRTFT (2002)
Werner Damm, Jochen Klose
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. Formal Methods Syst. Des. 19 (2) (2001)
Werner Damm, David Harel
LSCs: Breathing Life into Message Sequence Charts. Formal Methods Syst. Des. 19 (1) (2001)
Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). Informationstechnik Tech. Inform. 43 (1) (2001)
Werner Damm
Understanding UML - Pains and Rewards. UML (2001)
Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl
Die EVENTS-Architektur (The EVENTS Architecture). Informationstechnik Tech. Inform. 42 (2) (2000)
Werner Damm
Challenges in the Verification of Electronic Control Units. FTRTFT (2000)
Tom Bienmüller, Werner Damm, Hartmut Wittke
The STATEMATE Verification Environment - Making It Real. CAV (2000)
Hans-Jürgen Appelrath, Werner Damm, K.-H. Menke, Wolfgang Nebel, Wilfried Thoben
OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung. Inform. Forsch. Entwickl. 15 (1) (2000)
Werner Damm
Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. ICFEM (2000)
Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
Verification of Automotive Control Units. Correct System Design (1999)
Werner Damm, David Harel
LSCs: Breathing Life into Message Sequence Charts. FMOODS (1999)
Werner Damm, Amir Pnueli, Sitvanit Ruah
Herbrand Automata for Hardware Verification. CONCUR (1998)
Werner Damm
Verifying electronic control unit: today and tomorrow. PROCOMET (1998)
Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
First-Order-CTL Model Checking. FSTTCS (1998)
Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS (1997)
Werner Damm, Amir Pnueli
Verifying out-of-order executions. CHARME (1997)
Alfred Mikschl, Werner Damm
MSparc: A Multithreaded Sparc. Euro-Par, Vol. II (1996)
Jürgen Risau, Alfred Mikschl, Werner Damm
A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II (1996)
Feixiong Liu, Thomas Peikenkamp, Werner Damm
An Extended Gradient Model for NUMA Multiprocessor Systems. ASIAN (1995)
Hardi Hungar, Orna Grumberg, Werner Damm
What if model checking must be truly symbolic. CHARME (1995)
Werner Damm, Johannes Helbig
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET (1994)
Costas Courcoubetis, Werner Damm, Bernhard Josko
Verification of timing Properties of VHDL. CAV (1993)
Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb
VHDL/S - integrating statecharts, timing diagrams, and VHDL. Microprocess. Microprogramming 38 (1-5) (1993)
Werner Damm, Bernhard Josko, Rainer Schlör
A net-based semantics for VHDL. EURO-DAC (1993)
Werner Damm, Gert Döhmen
Specifying distributed computer architectures in AADL. Parallel Comput. 9 (2) (1989)
Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm
Distributed Implementation of Programmed Graph Reduction. PARLE (1) (1989)
Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko
Modular Verification of Petri Nets: The Temporal Logic Approach. REX Workshop (1989)
Werner Damm
A Microprogramming Logic. IEEE Trans. Software Eng. 14 (5) (1988)
Werner Damm, Gert Döhmen
An Axiomatic Approach to the Specification of Distributed Computer Architectures. PARLE (1) (1987)
Werner Damm, Andreas Goerdt
An Automata-Theoretical Characterization of the OI-Hierarchy Inf. Control. 71 (1/2) (1986)
Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt
The AADL/S* Approach to Firmware Design Verification. IEEE Softw. 3 (4) (1986)
Werner Damm, Gert Döhmen
Verification of microprogrammed computer architectures in the S*-system: a case study. MICRO (1985)
Werner Damm
Design and specification of microprogrammed computer architectures. MICRO (1985)
Werner Damm
An axiomatization of low-level parallelism in microarchitectures. MICRO (1984)

Werner Damm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Werner Damm