| * | 2008 |
|---|
| 71 | EE | 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 |
| 70 | EE | Werner Damm:
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.
FMICS 2008: 3 |
| 2007 |
|---|
| 69 | | Werner Damm,
Holger Hermanns:
Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Springer 2007 |
| 68 | EE | Jörg Bauer,
Werner Damm,
Tobe Toben,
Bernd Westphal:
Verification and Synthesis of OCL Constraints Via Topology Analysis.
AGTIVE 2007: 361-376 |
| 67 | EE | 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 |
| 66 | EE | 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 |
| 65 | EE | 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) |
| 64 | EE | 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 |
|---|
| 63 | EE | 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 |
| 62 | EE | Werner Damm:
Embedded system development for automotive applications: trends and challenges.
EMSOFT 2006: 1 |
| 61 | EE | Werner Damm,
Tobe Toben,
Bernd Westphal:
On the Expressive Power of Live Sequence Charts.
Program Analysis and Compilation 2006: 225-246 |
| 60 | EE | 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 |
|---|
| 59 | EE | Werner Damm:
Controlling Speculative Design Processes Using Rich Component Models.
ACSD 2005: 118-119 |
| 58 | EE | 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 |
| 57 | EE | 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) |
| 56 | EE | Werner Damm,
Bernd Westphal:
Live and let die: LSC based verification of UML models.
Sci. Comput. Program. 55(1-3): 117-159 (2005) |
| 55 | EE | 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 |
|---|
| 54 | | 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 |
| 53 | EE | Eckard Böde,
Werner Damm,
Jarl Høyem,
Bernhard Josko,
Jürgen Niehaus,
Marc Segelken:
Adding Value to Automotive Models.
ASWSD 2004: 86-102 |
| 52 | EE | Werner Damm,
Bernd Westphal:
Introduction to Subject Area 'Charts'.
SoftSpez Final Report 2004: 322-324 |
| 51 | EE | 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 |
| 50 | EE | 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 |
| 49 | EE | 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 |
|---|
| 48 | EE | Werner Damm,
Hardi Hungar,
Ernst-Rüdiger Olderog:
On the Verification of Cooperating Traffic Agents.
FMCO 2003: 77-110 |
| 47 | | 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 |
| 46 | EE | Werner Damm:
Recent Trends in the Development of Safety Critical Systems.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 45 | EE | 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 |
|---|
| 44 | | 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 |
| 43 | EE | 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 |
| 42 | EE | Werner Damm,
Bernd Westphal:
Live and Let Die: LSC-Based Verification of UML-Models.
FMCO 2002: 99-135 |
| 41 | EE | Werner Damm,
Bengt Jonsson:
Eliminating Queues from RT UML Model Representations.
FTRTFT 2002: 375-394 |
| 2001 |
|---|
| 40 | EE | Werner Damm:
Understanding UML - Pains and Rewards.
UML 2001: 240 |
| 39 | | Werner Damm,
David Harel:
LSCs: Breathing Life into Message Sequence Charts.
Formal Methods in System Design 19(1): 45-80 (2001) |
| 38 | | 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 |
|---|
| 37 | | Tom Bienmüller,
Werner Damm,
Hartmut Wittke:
The STATEMATE Verification Environment - Making It Real.
CAV 2000: 561-567 |
| 36 | EE | Werner Damm:
Challenges in the Verification of Electronic Control Units.
FTRTFT 2000: 18 |
| 35 | EE | Werner Damm:
Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.
ICFEM 2000: 153 |
| 34 | EE | 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) |
| 1999 |
|---|
| 33 | EE | 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 | EE | Werner Damm,
Amir Pnueli,
Sitvanit Ruah:
Herbrand Automata for Hardware Verification.
CONCUR 1998: 67-83 |
| 30 | EE | 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 | EE | Werner Damm,
Bernhard Josko,
Hardi Hungar,
Amir Pnueli:
A Compositional Real-Time Semantics of STATEMATE Designs.
COMPOS 1997: 186-238 |
| 1996 |
|---|
| 26 | EE | Jürgen Risau,
Alfred Mikschl,
Werner Damm:
A RISC Approach to Weak Cache Coherence.
Euro-Par, Vol. II 1996: 453-456 |
| 25 | EE | 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 | EE | Costas Courcoubetis,
Werner Damm,
Bernhard Josko:
Verification of timing Properties of VHDL.
CAV 1993: 225-236 |
| 19 | EE | 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 | EE | Rita Loogen,
Herbert Kuchen,
Klaus Indermark,
Werner Damm:
Distributed Implementation of Programmed Graph Reduction.
PARLE (1) 1989: 136-157 |
| 17 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | J. Bilstein,
Werner Damm:
Top-Down Tree-Transducers for Infinite Trees I.
CAAP 1981: 117-134 |
| 6 | EE | 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 | EE | Werner Damm:
An Algebraic Extension of the Chomsky-Hierarchy.
MFCS 1979: 266-276 |
| 1978 |
|---|
| 3 | EE | Werner Damm,
Elfriede Fehr:
On the Power of Self-Application and Higher Type-Recursion.
ICALP 1978: 177-191 |
| 1977 |
|---|
| 2 | EE | 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 |
