The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Werner Damm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Werner Damm
    Controlling Speculative Design Processes Using Rich Component Models. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:118-119 [Conf]
  2. Feixiong Liu, Thomas Peikenkamp, Werner Damm
    An Extended Gradient Model for NUMA Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:210-224 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:276-291 [Conf]
  4. Werner Damm, Guilherme Pinto, Stefan Ratschan
    Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:99-113 [Conf]
  5. Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
    Verification of Automotive Control Units. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:319-341 [Conf]
  6. J. Bilstein, Werner Damm
    Top-Down Tree-Transducers for Infinite Trees I. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:117-134 [Conf]
  7. Tom Bienmüller, Werner Damm, Hartmut Wittke
    The STATEMATE Verification Environment - Making It Real. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:561-567 [Conf]
  8. Costas Courcoubetis, Werner Damm, Bernhard Josko
    Verification of timing Properties of VHDL. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:225-236 [Conf]
  9. Hardi Hungar, Orna Grumberg, Werner Damm
    What if model checking must be truly symbolic. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:1-20 [Conf]
  10. Werner Damm, Amir Pnueli
    Verifying out-of-order executions. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:23-47 [Conf]
  11. Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
    A Compositional Real-Time Semantics of STATEMATE Designs. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:186-238 [Conf]
  12. Werner Damm, Amir Pnueli, Sitvanit Ruah
    Herbrand Automata for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:67-83 [Conf]
  13. Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
    Formal Verification of LSCs in the Development Process. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:494-516 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:374-399 [Conf]
  15. Werner Damm, Bernd Westphal
    Introduction to Subject Area 'Charts'. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:322-324 [Conf]
  16. Werner Damm
    Embedded system development for automotive applications: trends and challenges. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:1- [Conf]
  17. Alfred Mikschl, Werner Damm
    MSparc: A Multithreaded Sparc. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. II, 1996, pp:461-469 [Conf]
  18. Jürgen Risau, Alfred Mikschl, Werner Damm
    A RISC Approach to Weak Cache Coherence. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. II, 1996, pp:453-456 [Conf]
  19. Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
    On the Verification of Cooperating Traffic Agents. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:77-110 [Conf]
  20. Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva
    Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:71-98 [Conf]
  21. Werner Damm, Bernd Westphal
    Live and Let Die: LSC-Based Verification of UML-Models. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:99-135 [Conf]
  22. Werner Damm, David Harel
    LSCs: Breathing Life into Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  23. Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
    First-Order-CTL Model Checking. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:283-294 [Conf]
  24. Werner Damm
    Challenges in the Verification of Electronic Control Units. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:18- [Conf]
  25. Werner Damm, Bengt Jonsson
    Eliminating Queues from RT UML Model Representations. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:375-394 [Conf]
  26. Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich
    Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2003, pp:340-344 [Conf]
  27. Werner Damm
    Languages Defined by Higher Type Program Schemes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:164-179 [Conf]
  28. Werner Damm, Elfriede Fehr
    On the Power of Self-Application and Higher Type-Recursion. [Citation Graph (0, 0)][DBLP]
    ICALP, 1978, pp:177-191 [Conf]
  29. Werner Damm, Andreas Goerdt
    An Automata-Theoretic Characterization of the OI-Hierarchy. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:141-153 [Conf]
  30. Werner Damm
    Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:153- [Conf]
  31. Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör
    Statecharts. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:131-149 [Conf]
  32. Werner Damm, Bernhard Josko
    A Sound and Relatively* Compete Axiomatization of Clarke's Language L4. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:161-175 [Conf]
  33. Werner Damm
    An Algebraic Extension of the Chomsky-Hierarchy. [Citation Graph (0, 0)][DBLP]
    MFCS, 1979, pp:266-276 [Conf]
  34. Werner Damm, Irène Guessarian
    Combining T and level-N. [Citation Graph (0, 0)][DBLP]
    MFCS, 1981, pp:262-270 [Conf]
  35. Werner Damm, Gert Döhmen
    An Axiomatic Approach to the Specification of Distributed Computer Architectures. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1987, pp:103-120 [Conf]
  36. Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm
    Distributed Implementation of Programmed Graph Reduction. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1989, pp:136-157 [Conf]
  37. Werner Damm
    Verifying electronic control unit: today and tomorrow. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:7-8 [Conf]
  38. Werner Damm, J. Helbig
    Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:341-359 [Conf]
  39. Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko
    Modular Verification of Petri Nets: The Temporal Logic Approach. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:180-207 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2006, pp:87-90 [Conf]
  41. Werner Damm
    Higher type program schemes and their tree languages. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1977, pp:51-72 [Conf]
  42. Werner Damm
    Understanding UML - Pains and Rewards. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:240- [Conf]
  43. Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken
    Adding Value to Automotive Models. [Citation Graph (0, 0)][DBLP]
    ASWSD, 2004, pp:86-102 [Conf]
  44. Werner Damm, Bernhard Josko
    A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:59-101 [Journal]
  45. Werner Damm
    Recent Trends in the Development of Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  46. Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm
    A Semantics for Distributed Execution of Statemate. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:390-405 [Journal]
  47. Werner Damm, David Harel
    LSCs: Breathing Life into Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:45-80 [Journal]
  48. Werner Damm, Jochen Klose
    Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:2, pp:121-141 [Journal]
  49. Werner Damm, Andreas Goerdt
    An Automata-Theoretical Characterization of the OI-Hierarchy [Citation Graph (0, 0)][DBLP]
    Information and Control, 1986, v:71, n:1/2, pp:1-32 [Journal]
  50. Hans-Jürgen Appelrath, Werner Damm, K.-H. Menke, Wolfgang Nebel, Wilfried Thoben
    OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2000, v:15, n:1, pp:51-61 [Journal]
  51. Werner Damm, Guilherme Pinto, Stefan Ratschan
    Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:63-86 [Journal]
  52. Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf
    Model Checking (Grundlagen und Praxiserfahrungen). [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2004, v:27, n:2, pp:146-158 [Journal]
  53. Werner Damm, Gert Döhmen
    Specifying distributed computer architectures in AADL. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1989, v:9, n:2, pp:193-211 [Journal]
  54. Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva
    A discrete-time UML semantics for concurrency and communication in safety-critical applications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:81-115 [Journal]
  55. Werner Damm, Bernd Westphal
    Live and let die: LSC based verification of UML models. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:117-159 [Journal]
  56. Werner Damm
    The IO- and OI-Hierarchies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:20, n:, pp:95-207 [Journal]
  57. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:587-611 [Journal]
  58. Werner Damm
    A Microprogramming Logic. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:5, pp:559-574 [Journal]
  59. 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. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:425-440 [Conf]
  60. Werner Damm, Tobe Toben, Bernd Westphal
    On the Expressive Power of Live Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:225-246 [Conf]
  61. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:115-169 [Conf]
  62. 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). [Citation Graph (0, 0)][DBLP]
    it - Information Technology, 2007, v:49, n:2, pp:118-0 [Journal]

  63. Verification and Synthesis of OCL Constraints Via Topology Analysis. [Citation Graph (, )][DBLP]


  64. Towards Component Based Design of Hybrid Systems: Safety and Stability. [Citation Graph (, )][DBLP]


  65. A schematalogical approach to the alalysis of the procedure concept in algol-languages. [Citation Graph (, )][DBLP]


  66. Software Components for Reliable Automotive Systems. [Citation Graph (, )][DBLP]


  67. Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. [Citation Graph (, )][DBLP]


  68. Automatic Validation and Verification in a Model-Based Development Process. [Citation Graph (, )][DBLP]


  69. Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002