Werner Damm

	2011
83		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
82		Werner Damm, Bernd Finkbeiner: Does It Pay to Extend the Perimeter of a World Model? FM 2011: 12-26
81		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
80		Jan-David Quesel, Martin Fränzle, Werner Damm: Crossing the Bridge between Similar Games. FORMATS 2011: 160-176
79		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
78		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
77		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)
	2010
76		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
	2009
75		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)
	2008
74		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
73		Werner Damm: Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. FMICS 2008: 3
	2007
72		Werner Damm, Holger Hermanns: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings Springer 2007
71		Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal: Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE 2007: 361-376
70		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
69		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
68		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)
67		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- (2007)
	2006
66		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
65		Werner Damm: Embedded system development for automotive applications: trends and challenges. EMSOFT 2006: 1
64		Werner Damm, Tobe Toben, Bernd Westphal: On the Expressive Power of Live Sequence Charts. Program Analysis and Compilation 2006: 225-246
63		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
	2005
62		Werner Damm: Controlling Speculative Design Processes Using Rich Component Models. ACSD 2005: 118-119
61		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
60		Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko: Automatic Validation and Verification in a Model-Based Development Process. MBEES 2005: 113-124
59		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)
58		Werner Damm, Bernd Westphal: Live and let die: LSC based verification of UML models. Sci. Comput. Program. 55(1-3): 117-159 (2005)
57		Werner 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
56		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
55		Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken: Adding Value to Automotive Models. ASWSD 2004: 86-102
54		Werner Damm, Bernd Westphal: Introduction to Subject Area 'Charts'. SoftSpez Final Report 2004: 322-324
53		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
52		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
51		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)
	2003
50		Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog: On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110
49		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
48		Werner Damm: Recent Trends in the Development of Safety Critical Systems. Electr. Notes Theor. Comput. Sci. 80: 140 (2003)
47		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)
	2002
46		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
45		Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO 2002: 71-98
44		Werner Damm, Bernd Westphal: Live and Let Die: LSC-Based Verification of UML-Models. FMCO 2002: 99-135
43		Werner Damm, Bengt Jonsson: Eliminating Queues from RT UML Model Representations. FTRTFT 2002: 375-394
	2001
42		Werner Damm: Understanding UML - Pains and Rewards. UML 2001: 240
41		Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1): 45-80 (2001)
40		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)
39		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)
	2000
38		Tom Bienmüller, Werner Damm, Hartmut Wittke: The STATEMATE Verification Environment - Making It Real. CAV 2000: 561-567
37		Werner Damm: Challenges in the Verification of Electronic Control Units. FTRTFT 2000: 18
36		Werner Damm: Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. ICFEM 2000: 153
35		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)
34		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)
	1999
33		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
32		Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. FMOODS 1999
	1998
31		Werner Damm, Amir Pnueli, Sitvanit Ruah: Herbrand Automata for Hardware Verification. CONCUR 1998: 67-83
30		Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294
29		Werner Damm: Verifying electronic control unit: today and tomorrow. PROCOMET 1998: 7-8
	1997
28		Werner Damm, Amir Pnueli: Verifying out-of-order executions. CHARME 1997: 23-47
27		Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli: A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS 1997: 186-238
	1996
26		Jürgen Risau, Alfred Mikschl, Werner Damm: A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II 1996: 453-456
25		Alfred Mikschl, Werner Damm: MSparc: A Multithreaded Sparc. Euro-Par, Vol. II 1996: 461-469
	1995
24		Feixiong Liu, Thomas Peikenkamp, Werner Damm: An Extended Gradient Model for NUMA Multiprocessor Systems. ASIAN 1995: 210-224
23		Hardi Hungar, Orna Grumberg, Werner Damm: What if model checking must be truly symbolic. CHARME 1995: 1-20
22		Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör: Statecharts. Formal Development of Reactive Systems 1995: 131-149
	1994
21		Werner Damm, Johannes Helbig: Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET 1994: 341-359
	1993
20		Costas Courcoubetis, Werner Damm, Bernhard Josko: Verification of timing Properties of VHDL. CAV 1993: 225-236
19		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)
	1989
18		Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm: Distributed Implementation of Programmed Graph Reduction. PARLE (1) 1989: 136-157
17		Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko: Modular Verification of Petri Nets: The Temporal Logic Approach. REX Workshop 1989: 180-207
16		Werner Damm, Gert Döhmen: Specifying distributed computer architectures in AADL. Parallel Computing 9(2): 193-211 (1989)
	1988
15		Werner Damm: A Microprogramming Logic. IEEE Trans. Software Eng. 14(5): 559-574 (1988)
	1987
14		Werner Damm: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen Springer 1987
13		Werner Damm, Gert Döhmen: An Axiomatic Approach to the Specification of Distributed Computer Architectures. PARLE (1) 1987: 103-120
	1986
12		Werner Damm, Andreas Goerdt: An Automata-Theoretical Characterization of the OI-Hierarchy Information and Control 71(1/2): 1-32 (1986)
	1983
11		Werner Damm, Bernhard Josko: A Sound and Relatively* Compete Axiomatization of Clarke's Language L4. Logic of Programs 1983: 161-175
10		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
9		Werner Damm, Andreas Goerdt: An Automata-Theoretic Characterization of the OI-Hierarchy. ICALP 1982: 141-153
8		Werner Damm: The IO- and OI-Hierarchies. Theor. Comput. Sci. 20: 95-207 (1982)
	1981
7		J. Bilstein, Werner Damm: Top-Down Tree-Transducers for Infinite Trees I. CAAP 1981: 117-134
6		Werner Damm, Irène Guessarian: Combining T and level-N. MFCS 1981: 262-270
	1980
5		Werner Damm, Elfriede Fehr: A schematalogical approach to the alalysis of the procedure concept in algol-languages. CLAAP 1980: 130-134
	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

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page