The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Reinhard Wilhelm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Raber, Thomas Remmel, Erwin Hoffmann, Dieter Maurer, Fritz Müller, Hans-Georg Oberhauser, Reinhard Wilhelm
    Complied Graph Reduction on a Processor Network. [Citation Graph (0, 0)][DBLP]
    ARCS, 1988, pp:198-212 [Conf]
  2. Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm
    Component-Wise Instruction-Cache Behavior Prediction. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:211-229 [Conf]
  3. Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Static Program Analysis via 3-Valued Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:15-30 [Conf]
  4. Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster
    Implementing 2DT on a Multiprocessor. [Citation Graph (0, 0)][DBLP]
    CC, 1994, pp:113-127 [Conf]
  5. Peter Lipps, Ulrich Möncke, Reinhard Wilhelm
    OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences. [Citation Graph (0, 0)][DBLP]
    CC, 1988, pp:52-65 [Conf]
  6. Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm
    The CGiS Compiler-A Tool Demonstration. [Citation Graph (0, 0)][DBLP]
    CC, 2006, pp:105-108 [Conf]
  7. Florian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand
    Analysis of Loops. [Citation Graph (0, 0)][DBLP]
    CC, 1998, pp:80-94 [Conf]
  8. Beatrix Weisgerber, Reinhard Wilhelm
    Two Tree Pattern Matchers for Code Selection. [Citation Graph (0, 0)][DBLP]
    CC, 1988, pp:215-229 [Conf]
  9. Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps
    Shape Analysis. [Citation Graph (0, 0)][DBLP]
    CC, 2000, pp:1-17 [Conf]
  10. Christoph Berg, Jakob Engblom, Reinhard Wilhelm
    Requirements for and Design of a Processor with Predictable Timing. [Citation Graph (0, 0)][DBLP]
    Design of Systems with Predictable Behaviour, 2004, pp:- [Conf]
  11. Volker Claus, Reinhard Wilhelm
    Einleitung. [Citation Graph (0, 0)][DBLP]
    Perspektiven der Informatik, 1993, pp:9-12 [Conf]
  12. Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
    Tree Automata for Code Selection. [Citation Graph (0, 0)][DBLP]
    Code Generation, 1991, pp:30-50 [Conf]
  13. Lothar Thiele, Reinhard Wilhelm
    Abstracts Collection. [Citation Graph (0, 0)][DBLP]
    Design of Systems with Predictable Behaviour, 2004, pp:- [Conf]
  14. Lothar Thiele, Reinhard Wilhelm
    Design for Time-Predictability. [Citation Graph (0, 0)][DBLP]
    Design of Systems with Predictable Behaviour, 2004, pp:- [Conf]
  15. Reinhard Wilhelm
    Generische und generative Methoden. [Citation Graph (0, 0)][DBLP]
    Perspektiven der Informatik, 1993, pp:84-85 [Conf]
  16. Reinhard Wilhelm, Hans Hagen
    Programmiersprachen. [Citation Graph (0, 0)][DBLP]
    Perspektiven der Informatik, 1993, pp:86-90 [Conf]
  17. Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel
    Algorithm Explanation: Visualizing Abstract States and Invariants. [Citation Graph (0, 0)][DBLP]
    Software Visualization, 2001, pp:381-394 [Conf]
  18. Reinhard Wilhelm, Otto Spaniol
    Parallele und verteilte Systeme. [Citation Graph (0, 0)][DBLP]
    Perspektiven der Informatik, 1993, pp:90-94 [Conf]
  19. Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm
    Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. [Citation Graph (0, 0)][DBLP]
    DDECS, 2006, pp:15-20 [Conf]
  20. Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
    An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:625-0 [Conf]
  21. Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
    Reliable and Precise WCET Determination for a Real-Life Processor. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:469-485 [Conf]
  22. Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Verifying Temporal Heap Properties Specified via Evolution Logic. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:204-222 [Conf]
  23. Reinhard Wilhelm
    Timing Analysis and Timing Predictability. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:317-323 [Conf]
  24. Reinhard Wilhelm
    Run-Time Guarantees for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:166-167 [Conf]
  25. Georg Sander, Martin Alt, Christian Ferdinand, Reinhard Wilhelm
    CLaX - A Visualized Compiler. [Citation Graph (0, 0)][DBLP]
    Graph Drawing, 1995, pp:459-462 [Conf]
  26. Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm
    Validierung des Zeitverhaltens von kritischer Echtzeit-Software. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2003, pp:335-339 [Conf]
  27. Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
    Run-Time Guarantees for Real-Time Systems - The USES Approach. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1999, pp:410-419 [Conf]
  28. Harald Ganzinger, Reinhard Wilhelm
    Verschränkung von Compiler-Moduln. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1975, pp:654-665 [Conf]
  29. Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm
    Invariance of Approximate Semantics with Respect to Program Transformations. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:1-10 [Conf]
  30. Robert Giegerich, Reinhard Wilhelm
    Implementierbarkeit attributierter Grammatiken. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1977, pp:17-36 [Conf]
  31. Reinhard Wilhelm
    Code-Optimierung Mittels Attributierter Transformationsgrammatiken. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1974, pp:257-266 [Conf]
  32. Reinhard Wilhelm
    Imperative, prädikative und funktionale Programmierung (Kurzfassung). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1982, pp:188-193 [Conf]
  33. Thomas Rauber, Gudula Rünger, Reinhard Wilhelm
    An application specific parallel programming paradigm. [Citation Graph (0, 0)][DBLP]
    HPCN Europe, 1995, pp:735-740 [Conf]
  34. Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm
    The Development of the Data-Parallel GPU Programming Language CGiS. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (4), 2006, pp:200-203 [Conf]
  35. Reinhard Wilhelm, Knut Ripken, Joachim Ciesinger, Harald Ganzinger, Walter Lahner, R. Nollmann
    Design Evaluation of the Compiler Generating System MUGI. [Citation Graph (0, 0)][DBLP]
    ICSE, 1976, pp:571-576 [Conf]
  36. Harald Ganzinger, Knut Ripken, Reinhard Wilhelm
    Automatic Generation of Optimizing Multipass Compilers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:535-540 [Conf]
  37. M. Baston, H.-J. Bach, A. Lucks-Baus, Fritz Müller, Reinhard Wilhelm
    Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren. [Citation Graph (0, 0)][DBLP]
    Innovative Informations-Infrastrukturen, 1988, pp:114-131 [Conf]
  38. Gerhard Becker, Brigitte Kuhn, Dieter Maurer, Reinhard Wilhelm
    SiATEX - eine interaktive Arbeitsumgeubng für TEX. [Citation Graph (0, 0)][DBLP]
    Innovative Informations-Infrastrukturen, 1988, pp:162-169 [Conf]
  39. Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Putting static analysis to work for verification: A case study. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:26-38 [Conf]
  40. Christian Ferdinand, Reinhard Wilhelm
    On Predicting Data Cache Behavior for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    LCTES, 1998, pp:16-30 [Conf]
  41. Reinhard Wilhelm, Martin Alt, Florian Martin, Martin Raber
    Parallel Implementation of Functional Languages. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:279-295 [Conf]
  42. Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm
    2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:42-55 [Conf]
  43. Martin Alt, Georg Sander, Reinhard Wilhelm
    Generation of Synchronization Code for Parallel Compilers. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:420-421 [Conf]
  44. Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
    A Logic-Based Approach to Data Flow Analysis Problem. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:277-292 [Conf]
  45. Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    A semantics for procedure local heaps and its abstractions. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:296-309 [Conf]
  46. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
    Solving Shape-Analysis Problems in Languages with Destructive Updating. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:16-31 [Conf]
  47. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
    Parametric Shape Analysis via 3-Valued Logic. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:105-118 [Conf]
  48. Reinhard Wilhelm
    Inverse Currying Transformation on Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:140-147 [Conf]
  49. Ulrich Möncke, Beatrix Weisgerber, Reinhard Wilhelm
    How to Implement a System for Manipulation of Attributed Trees. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1984, pp:112-127 [Conf]
  50. Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm
    OPTRAN, a Language for the Specification of Program Transformations. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1980, pp:125-142 [Conf]
  51. Reinhard Wilhelm
    LL- and LR-Attributed Grammars. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1982, pp:151-164 [Conf]
  52. Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm
    Transformation Development: TrafoLa-H Subsystem. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:539-576 [Conf]
  53. 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]
  54. Peter Lipps, Ulrich Möncke, Reinhard Wilhelm
    An Overview of the OPTRAN System. [Citation Graph (0, 0)][DBLP]
    Attribute Grammars, Applications and Systems, 1991, pp:505-506 [Conf]
  55. Ulrich Möncke, Reinhard Wilhelm
    Grammar Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Attribute Grammars, Applications and Systems, 1991, pp:151-186 [Conf]
  56. Reinhard Wilhelm
    Attributive Reevaluation in OPTRAN. [Citation Graph (0, 0)][DBLP]
    Attribute Grammars, Applications and Systems, 1991, pp:507- [Conf]
  57. Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm
    Cache Behavior Prediction by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:52-66 [Conf]
  58. Harald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm
    A Truly Generative Semantics-Directed Compiler Generator. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Symposium on Compiler Construction, 1982, pp:172-184 [Conf]
  59. Reinhard Wilhelm
    Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag). [Citation Graph (0, 0)][DBLP]
    Software-Entwicklung, 1989, pp:156-165 [Conf]
  60. Dierk Johannes, Raimund Seidel, Reinhard Wilhelm
    Algorithm animation using shape analysis: visualising abstract executions. [Citation Graph (0, 0)][DBLP]
    SOFTVIS, 2005, pp:17-26 [Conf]
  61. Reinhard Wilhelm
    Formal Analysis of Processor Timing Models. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:1-4 [Conf]
  62. Reinhard Wilhelm
    Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:309-322 [Conf]
  63. Reinhard Wilhelm
    Tree Tranformations, Functional Languages, and Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    WAGA, 1990, pp:116-129 [Conf]
  64. Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm
    Convenient User Annotations for a WCET Tool. [Citation Graph (0, 0)][DBLP]
    WCET, 2003, pp:17-20 [Conf]
  65. Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley
    Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. [Citation Graph (0, 0)][DBLP]
    WCET, 2003, pp:39-43 [Conf]
  66. Beatrix Braune, Stephan Diehl, Andreas Kerren, Reinhard Wilhelm
    Animation of the Generation and Computation of Finite Automata for Learning Software. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:39-47 [Conf]
  67. Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm
    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. [Citation Graph (0, 0)][DBLP]
    ASWSD, 2004, pp:1-14 [Conf]
  68. Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
    Tree Automata for Code Selection. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:8, pp:741-760 [Journal]
  69. Peter Lipps, Ulrich Möncke, Matthias Olk, Reinhard Wilhelm
    Attribute (Re)evaluation in OPTRAN. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:26, n:3, pp:213-239 [Journal]
  70. Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
    A Logic-Based Approach to Program Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:6, pp:457-504 [Journal]
  71. Reinhard Wilhelm
    Computation and Use of Data Flow Information in Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1979, v:12, n:, pp:209-225 [Journal]
  72. Jan Messerschmidt, Reinhard Wilhelm
    Constructors for Composed Objects. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1982, v:7, n:2, pp:53-59 [Journal]
  73. Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Logical Characterizations of Heap Abstractions [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  74. Reinhard Wilhelm
    Program Analysis - A Toolmaker's Perspective. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:177- [Journal]
  75. Peter G. Bouillon, Georg Sander, Reinhard Wilhelm
    Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1994, v:9, n:2, pp:72-81 [Journal]
  76. Dieter Maurer, Reinhard Wilhelm
    MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1989, v:4, n:2, pp:67-88 [Journal]
  77. Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Verifying Temporal Heap Properties Specified via Evolution Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:755-783 [Journal]
  78. Reinhard Wilhelm
    Attributierte Grammatiken. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1979, v:2, n:3, pp:123-130 [Journal]
  79. Reinhard Wilhelm
    Symbolische Programmausführung - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1983, v:6, n:3, pp:170- [Journal]
  80. Robert Giegerich, Reinhard Wilhelm
    Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:6, pp:279-284 [Journal]
  81. Winfried Thome, Reinhard Wilhelm
    Simulating Circular Attribute Grammars Through Attribute Reevaluation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:33, n:2, pp:79-81 [Journal]
  82. Reinhard Wilhelm
    A Modified Tree-to-Tree Correction Problem. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1981, v:12, n:3, pp:127-132 [Journal]
  83. Reinhold Heckmann, Reinhard Wilhelm
    A Functional Description of TEX's Formula Layout. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:5, pp:451-485 [Journal]
  84. Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm
    The influence of processor architecture on the design and the results of WCET tools. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:7, pp:1038-1054 [Journal]
  85. Christian Ferdinand, Reinhard Wilhelm
    Efficient and Precise Cache Behavior Prediction for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1999, v:17, n:2-3, pp:131-181 [Journal]
  86. Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm
    Fast and Precise WCET Prediction by Separated Cache and Path Analyses. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2000, v:18, n:2/3, pp:157-179 [Journal]
  87. Lothar Thiele, Reinhard Wilhelm
    Design for Timing Predictability. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2004, v:28, n:2-3, pp:157-177 [Journal]
  88. Reinhard Wilhelm
    Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1999, v:17, n:2-3, pp:127-129 [Journal]
  89. Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt
    Cache Behavior Prediction by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:35, n:2, pp:163-189 [Journal]
  90. Reinhard Wilhelm
    Program Analysis: A Toolmaker's Perspective. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:120-121 [Journal]
  91. 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]
  92. Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
    Logical characterizations of heap abstractions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
  93. Jürgen Börstler, Ulrich Möncke, Reinhard Wilhelm
    Table Compression for Tree Automata. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:3, pp:295-314 [Journal]
  94. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
    Parametric shape analysis via 3-valued logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:3, pp:217-298 [Journal]
  95. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
    Solving Shape-Analysis Problems in Languages with Destructive Updating. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:1-50 [Journal]
  96. F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm
    A Space-Efficient Optimization of Call-by-Need. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:6, pp:636-642 [Journal]
  97. Beatrix Braune, Reinhard Wilhelm
    Focusing in Algorithm Explanation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Vis. Comput. Graph., 2000, v:6, n:1, pp:1-7 [Journal]
  98. Jörg Bauer, Reinhard Wilhelm
    Static Analysis of Dynamic Communication Systems by Partner Abstraction. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:249-264 [Conf]
  99. 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]
  100. Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm
    Timing predictability of cache replacement policies. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2007, v:37, n:2, pp:99-122 [Journal]

  101. Polynomial Precise Interval Analysis Revisited. [Citation Graph (, )][DBLP]


  102. Abstract Interpretation with Applications to Timing Validation. [Citation Graph (, )][DBLP]


  103. Preface -- Workshop Trustworthy Software 2006. [Citation Graph (, )][DBLP]


  104. Abstract Interpretation of Graph Transformation. [Citation Graph (, )][DBLP]


  105. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. [Citation Graph (, )][DBLP]


  106. Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. [Citation Graph (, )][DBLP]


  107. Grand challenges in embedded software. [Citation Graph (, )][DBLP]


  108. Timing Validation of Automotive Software. [Citation Graph (, )][DBLP]


  109. Exploiting SIMD Parallelism with the CGiSCompiler Framework. [Citation Graph (, )][DBLP]


  110. Towards device emulation code generation. [Citation Graph (, )][DBLP]


  111. Architectural Influence on the Timing Predictability. [Citation Graph (, )][DBLP]


  112. Parametric Timing Analysis for Complex Architectures. [Citation Graph (, )][DBLP]


  113. Algorithm visualization using concrete and abstract shape graphs. [Citation Graph (, )][DBLP]


  114. Static Timing Analysis for Hard Real-Time Systems. [Citation Graph (, )][DBLP]


  115. A Definition and Classification of Timing Anomalies. [Citation Graph (, )][DBLP]


  116. Teaching WCET Analysis in Academia and Industry: A Panel Discussion. [Citation Graph (, )][DBLP]


  117. 2005 WCET Preface - Message from the Workshop Chair. [Citation Graph (, )][DBLP]


  118. Towards Model-Driven Development of Hard Real-Time Systems. [Citation Graph (, )][DBLP]


  119. Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]


Search in 0.093secs, Finished in 0.097secs
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