Werner Damm

Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone: Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. Eur. J. Control 18(3): 217-238 (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): 1122-1150 (2012)

Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans: PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Mathematics in Computer Science 5(4): 469-497 (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: 1023-1028

Werner Damm, Bernd Finkbeiner: Does It Pay to Extend the Perimeter of a World Model? FM 2011: 12-26

Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand: An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. FMICS 2011: 149-164

Jan-David Quesel, Martin Fränzle, Werner Damm: Crossing the Bridge between Similar Games. FORMATS 2011: 160-176

Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans: Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. HSCC 2011: 73-82

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: 156-165

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: 96-143

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 Design & Test of Computers 26(3): 38-53 (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: 549-554

Werner Damm: Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. FMICS 2008: 3

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): 63-86 (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 - Information Technology 49(2): 118-126 (2007)

Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal: Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE 2007: 361-376

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: 425-440

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: 115-169

Werner Damm, Holger Hermanns (Eds.): Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4590, Springer 2007, isbn 978-3-540-73367-6

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: 276-291

Werner Damm, Tobe Toben, Bernd Westphal: On the Expressive Power of Live Sequence Charts. Program Analysis and Compilation 2006: 225-246

Werner Damm: Embedded system development for automotive applications: trends and challenges. EMSOFT 2006: 1

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: 87-90

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): 81-115 (2005)

Werner Damm, Bernd Westphal: Live and let die: LSC based verification of UML models. Sci. Comput. Program. 55(1-3): 117-159 (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. Embedded Comput. Syst. 4(3): 587-611 (2005)

Werner Damm: Controlling Speculative Design Processes Using Rich Component Models. ACSD 2005: 118-119

Werner Damm, Guilherme Pinto, Stefan Ratschan: Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. ATVA 2005: 99-113

Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko: Automatic Validation and Verification in a Model-Based Development Process. MBEES 2005: 113-124

Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf: Model Checking (Grundlagen und Praxiserfahrungen). Informatik Spektrum 27(2): 146-158 (2004)

Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken: Adding Value to Automotive Models. ASWSD 2004: 86-102

Werner Damm, Bernd Westphal: Introduction to Subject Area 'Charts'. SoftSpez Final Report 2004: 322-324

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: 374-399

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: 494-516

Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (Eds.): Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, isbn 3-540-23135-8

Werner Damm: Recent Trends in the Development of Safety Critical Systems. Electr. Notes Theor. Comput. Sci. 80: 140 (2003)

Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm: A Semantics for Distributed Execution of Statemate. Formal Asp. Comput. 15(4): 390-405 (2003)

Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog: On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110

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: 340-344

Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO 2002: 71-98

Werner Damm, Bernd Westphal: Live and Let Die: LSC-Based Verification of UML-Models. FMCO 2002: 99-135

Werner Damm, Bengt Jonsson: Eliminating Queues from RT UML Model Representations. FTRTFT 2002: 375-394

Werner Damm, Ernst-Rüdiger Olderog (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings. Lecture Notes in Computer Science 2469, Springer 2002, isbn 3-540-44165-4

Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1): 45-80 (2001)

Werner Damm, Jochen Klose: Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. Formal Methods in System Design 19(2): 121-141 (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). it+ti - Informationstechnik und Technische Informatik 43(1): 29-34 (2001)

Werner Damm: Understanding UML - Pains and Rewards. UML 2001: 240

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): 51-61 (2000)

Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl: Die EVENTS-Architektur (The EVENTS Architecture). it+ti - Informationstechnik und Technische Informatik 42(2): 40-44 (2000)

Tom Bienmüller, Werner Damm, Hartmut Wittke: The STATEMATE Verification Environment - Making It Real. CAV 2000: 561-567

Werner Damm: Challenges in the Verification of Electronic Control Units. FTRTFT 2000: 18

Werner Damm: Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. ICFEM 2000: 153

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: 319-341

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: 67-83

Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294

Werner Damm: Verifying electronic control unit: today and tomorrow. PROCOMET 1998: 7-8

Werner Damm, Amir Pnueli: Verifying out-of-order executions. CHARME 1997: 23-47

Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli: A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS 1997: 186-238

Jürgen Risau, Alfred Mikschl, Werner Damm: A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II 1996: 453-456

Alfred Mikschl, Werner Damm: MSparc: A Multithreaded Sparc. Euro-Par, Vol. II 1996: 461-469

Feixiong Liu, Thomas Peikenkamp, Werner Damm: An Extended Gradient Model for NUMA Multiprocessor Systems. ASIAN 1995: 210-224

Hardi Hungar, Orna Grumberg, Werner Damm: What if model checking must be truly symbolic. CHARME 1995: 1-20

Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör: Statecharts. Formal Development of Reactive Systems 1995: 131-149

Werner Damm, Johannes Helbig: Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET 1994: 341-359

Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb: VHDL/S - integrating statecharts, timing diagrams, and VHDL. Microprocessing and Microprogramming 38(1-5): 571-580 (1993)

Costas Courcoubetis, Werner Damm, Bernhard Josko: Verification of timing Properties of VHDL. CAV 1993: 225-236

Werner Damm, Gert Döhmen: Specifying distributed computer architectures in AADL. Parallel Computing 9(2): 193-211 (1989)

Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm: Distributed Implementation of Programmed Graph Reduction. PARLE (1) 1989: 136-157

Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko: Modular Verification of Petri Nets: The Temporal Logic Approach. REX Workshop 1989: 180-207

Werner Damm: A Microprogramming Logic. IEEE Trans. Software Eng. 14(5): 559-574 (1988)

Werner Damm: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen. Informatik-Fachberichte 146, Springer 1987, isbn 3-540-18320-5

Werner Damm, Gert Döhmen: An Axiomatic Approach to the Specification of Distributed Computer Architectures. PARLE (1) 1987: 103-120

Werner Damm, Andreas Goerdt: An Automata-Theoretical Characterization of the OI-Hierarchy. Information and Control 71(1/2): 1-32 (1986)

Werner Damm, Bernhard Josko: A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures. Acta Inf. 20: 59-101 (1983)

Werner Damm, Bernhard Josko: A Sound and Relatively* Compete Axiomatization of Clarke's Language L₄. Logic of Programs 1983: 161-175

Werner Damm: The IO- and OI-Hierarchies. Theor. Comput. Sci. 20: 95-207 (1982)

Werner Damm, Andreas Goerdt: An Automata-Theoretic Characterization of the OI-Hierarchy. ICALP 1982: 141-153

J. Bilstein, Werner Damm: Top-Down Tree-Transducers for Infinite Trees I. CAAP 1981: 117-134

Werner Damm, Irène Guessarian: Combining T and level-N. MFCS 1981: 262-270

Werner Damm, Elfriede Fehr: A schematalogical approach to the alalysis of the procedure concept in algol-languages. CLAAP 1980: 130-134

Werner Damm: An Algebraic Extension of the Chomsky-Hierarchy. MFCS 1979: 266-276

Werner Damm, Elfriede Fehr: On the Power of Self-Application and Higher Type-Recursion. ICALP 1978: 177-191

Werner Damm: Languages Defined by Higher Type Program Schemes. ICALP 1977: 164-179

Werner Damm: Higher type program schemes and their tree languages. Theoretical Computer Science 1977: 51-72