dblp.uni-trier.de

Werner Damm

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google
Home Page

2007
66 Werner Damm, Holger Hermanns: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings Springer 2007
65EEWerner 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
64EEWerner 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
63EEWerner 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)
62EEBernd 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- (2007)
2006
61EEWerner 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
60EEWerner Damm: Embedded system development for automotive applications: trends and challenges. EMSOFT 2006: 1
59EEWerner Damm, Tobe Toben, Bernd Westphal: On the Expressive Power of Live Sequence Charts. Program Analysis and Compilation 2006: 225-246
58EEWerner 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
2005
57EEWerner Damm: Controlling Speculative Design Processes Using Rich Component Models. ACSD 2005: 118-119
56EEWerner 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
55EEPaul 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)
54EEWerner Damm, Bernd Westphal: Live and let die: LSC based verification of UML models. Sci. Comput. Program. 55(1-3): 117-159 (2005)
53EEWerner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1-3): 81-115 (2005)
2004
52 Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report Springer 2004
51EEEckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken: Adding Value to Automotive Models. ASWSD 2004: 86-102
50EEWerner Damm, Bernd Westphal: Introduction to Subject Area 'Charts'. SoftSpez Final Report 2004: 322-324
49EEMatthias 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
48EEMatthias 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
47EERalf 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)
2003
46EEWerner Damm, Hardi Hungar, Ernst-Rüdiger Olderog: On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110
45 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
44EEWerner Damm: Recent Trends in the Development of Safety Critical Systems. Electr. Notes Theor. Comput. Sci. 80: (2003)
43EEMartin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm: A Semantics for Distributed Execution of Statemate. Formal Asp. Comput. 15(4): 390-405 (2003)
2002
42 Werner Damm, Ernst-Rüdiger Olderog: 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 Springer 2002
41EEWerner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO 2002: 71-98
40EEWerner Damm, Bernd Westphal: Live and Let Die: LSC-Based Verification of UML-Models. FMCO 2002: 99-135
39EEWerner Damm, Bengt Jonsson: Eliminating Queues from RT UML Model Representations. FTRTFT 2002: 375-394
2001
38EEWerner Damm: Understanding UML - Pains and Rewards. UML 2001: 240
37 Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1): 45-80 (2001)
36 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)
2000
35 Tom Bienmüller, Werner Damm, Hartmut Wittke: The STATEMATE Verification Environment - Making It Real. CAV 2000: 561-567
34EEWerner Damm: Challenges in the Verification of Electronic Control Units. FTRTFT 2000: 18
33EEWerner Damm: Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. ICFEM 2000: 153
32EEHans-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)
1999
31EETom 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
30 Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. FMOODS 1999
1998
29EEWerner Damm, Amir Pnueli, Sitvanit Ruah: Herbrand Automata for Hardware Verification. CONCUR 1998: 67-83
28 Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294
27 Werner Damm: Verifying electronic control unit: today and tomorrow. PROCOMET 1998: 7-8
1997
26 Werner Damm, Amir Pnueli: Verifying out-of-order executions. CHARME 1997: 23-47
25EEWerner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli: A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS 1997: 186-238
1996
24 Jürgen Risau, Alfred Mikschl, Werner Damm: A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II 1996: 453-456
23 Alfred Mikschl, Werner Damm: MSparc: A Multithreaded Sparc. Euro-Par, Vol. II 1996: 461-469
1995
22 Feixiong Liu, Thomas Peikenkamp, Werner Damm: An Extended Gradient Model for NUMA Multiprocessor Systems. ASIAN 1995: 210-224
21 Hardi Hungar, Orna Grumberg, Werner Damm: What if model checking must be truly symbolic. CHARME 1995: 1-20
20 Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör: Statecharts. Formal Development of Reactive Systems 1995: 131-149
1994
19 Werner Damm, J. Helbig: Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET 1994: 341-359
1993
18 Costas Courcoubetis, Werner Damm, Bernhard Josko: Verification of timing Properties of VHDL. CAV 1993: 225-236
1989
17 Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm: Distributed Implementation of Programmed Graph Reduction. PARLE (1) 1989: 136-157
16 Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko: Modular Verification of Petri Nets: The Temporal Logic Approach. REX Workshop 1989: 180-207
15 Werner Damm, Gert Döhmen: Specifying distributed computer architectures in AADL. Parallel Computing 9(2): 193-211 (1989)
1988
14EEWerner Damm: A Microprogramming Logic. IEEE Trans. Software Eng. 14(5): 559-574 (1988)
1987
13 Werner Damm: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen Springer 1987
12 Werner Damm, Gert Döhmen: An Axiomatic Approach to the Specification of Distributed Computer Architectures. PARLE (1) 1987: 103-120
1986
11 Werner Damm, Andreas Goerdt: An Automata-Theoretical Characterization of the OI-Hierarchy Information and Control 71(1/2): 1-32 (1986)
1983
10 Werner Damm, Bernhard Josko: A Sound and Relatively* Compete Axiomatization of Clarke's Language L4. Logic of Programs 1983: 161-175
9 Werner Damm, Bernhard Josko: A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures. Acta Inf. 20: 59-101 (1983)
1982
8 Werner Damm, Andreas Goerdt: An Automata-Theoretic Characterization of the OI-Hierarchy. ICALP 1982: 141-153
7 Werner Damm: The IO- and OI-Hierarchies. Theor. Comput. Sci. 20: 95-207 (1982)
1981
6 J. Bilstein, Werner Damm: Top-Down Tree-Transducers for Infinite Trees I. CAAP 1981: 117-134
5 Werner Damm, Irène Guessarian: Combining T and level-N. MFCS 1981: 262-270
1979
4 Werner Damm: An Algebraic Extension of the Chomsky-Hierarchy. MFCS 1979: 266-276
1978
3 Werner Damm, Elfriede Fehr: On the Power of Self-Application and Higher Type-Recursion. ICALP 1978: 177-191
1977
2 Werner Damm: Languages Defined by Higher Type Program Schemes. ICALP 1977: 164-179
1 Werner Damm: Higher type program schemes and their tree languages. Theoretical Computer Science 1977: 51-72

Coauthor Index

1Luís Almeida [55]
2Hans-Jürgen Appelrath [32]
3Bernd Becker [62]
4Albert Benveniste [55]
5Tom Bienmüller [31] [35]
6J. Bilstein [6]
7Eckard Böde [51]
8Jürgen Bohn [28] [31]
9Bruno Bouyssounouse [55]
10Matthias Brill [48] [49]
11Henning Brinkmann [31]
12Udo Brockmeyer [31]
13Mark Brörkens [47]
14Ingo Brückner [47]
15Ralf Buschermöhle [47] [48]
16Giorgio C. Buttazzo [55]
17Paul Caspi [55]
18Costas Courcoubetis [18]
19Ivica Crnkovic [55]
20Jörg Desel [52]
21Stefan Disch [61] [65]
22Gert Döhmen [12] [15] [16]
23Michael Eckrich [45]
24Hartmut Ehrig [52]
25Friedrich Eisenbrand [58]
26Jakob Engblom [55]
27Elfriede Fehr [3]
28Gerhard Fohler [55]
29Martin Fränzle [43] [62]
30Marisol García-Valls [55]
31Volker Gerstner [16]
32Andreas Goerdt [8] [11]
33Martin Große-Rhode [52]
34Orna Grumberg [21] [28]
35Irène Guessarian [5]
36David Harel [30] [37]
37Wilhelm Hasselbring [47]
38J. Helbig [19]
39Holger Hermanns [66]
40Uwe Higgen [45]
41Jarl Høyem [51]
42Hardi Hungar [20] [21] [25] [28] [31] [46] [61] [65]
43Klaus Indermark [17]
44Swen Jacobs [65]
45Peter Jansen [31]
46Bengt Jonsson [39]
47Bernhard Josko [9] [10] [16] [18] [25] [41] [47] [51] [53]
48Peter Kelb [20]
49Jochen Klose [36] [48] [49]
50Hermann Kopetz [55]
51Herbert Kuchen [17]
52Yassine Lakhnech [55]
53François Laroussinie [55]
54Luciano Lavagno [55]
55Giuseppe Lipari [55]
56Feixiong Liu [22]
57Rita Loogen [17]
58Florence Maraninchi [55]
59K.-H. Menke [32]
60Alexander Metzner [43] [58]
61Alfred Mikschl [23] [24] [64]
62Wolfgang Nebel [32]
63Jürgen Niehaus [43] [51]
64Jens Oehlerking [64]
65Ernst-Rüdiger Olderog [42] [46] [62] [64]
66Jun Pang [61] [64] [65]
67Thomas Peikenkamp [22]
68Philipp Peti [55]
69Florian Pigorsch [61] [65]
70Guilherme Pinto [56] [63]
71André Platzer [64]
72Amir Pnueli [25] [26] [29] [41] [53]
73Andreas Podelski [62]
74Juan Antonio de la Puente [55]
75Stefan Ratschan [56] [63]
76Wolfgang Reif [52]
77Jürgen Risau [24]
78Sitvanit Ruah [29]
79Alberto L. Sangiovanni-Vincentelli [55]
80Norman Scaife [55]
81Rainer Schlör [20]
82Eckehard Schnieder [52]
83Christoph Scholl [61] [65]
84Christoph Schulte [45] [47]
85Marc Segelken [45] [51] [64]
86Gennady Shmonin [58]
87Joseph Sifakis [55]
88Robert de Simone [55]
89Wilfried Thoben [32]
90Tobe Toben [59]
91Martin Törngren [55]
92Paulo Veríssimo [55]
93Angelika Votintseva [41] [53]
94Uwe Waldmann [61] [65]
95Andy J. Wellings [55]
96Engelbert Westkämper [52]
97Bernd Westphal [40] [48] [49] [50] [54] [59]
98Reinhard Wilhelm [55] [58] [62]
99Tim A. C. Willemse [55]
100Sebastian Winkel [58]
101Boris Wirtz [61] [64] [65]
102Hartmut Wittke [35] [45] [48] [49]
103Thomas Wolf [47]
104Wang Yi [55]
105Karen Yorav (Karen Laster) [28]

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008