fold unfold > Home > Publications

Publications

Timing Analysis

  1. Timing Model Derivation – Static Analysis of Hardware Description Languages
    M. Schlickling
    Saarland University, 2013. [url]  [bib]
  2. Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
    D. Grund
    Saarland University, 2012. [url]  [bib]
  3. Relational Cache Analysis for Static Timing Analysis
    S. Hahn, and D. Grund
    Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS '12), 2012. [doi]  [pdf]  [slides]  [bib]
  4. Improved Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    S. Altmeyer, R. I. Davis, and C. Maiza
    Real-Time Systems, 2012. [doi]  [bib]
  5. Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints
    R. Wilhelm, P. Lucas, O. Parshin, L. Tan, and B. Wachter
    Advances in Real-Time Systems, 2012. [doi]  [bib]
  6. Symbolic Representations in WCET Analysis
    S. Wilhelm
    Saarland University, 2012. [url]  [bib]
  7. Timing Model Derivation – Pipeline Analyzer Generation from Hardware Description Languages
    M. Pister
    Saarland University, 2012. [url]  [bib]
  8. Meeting Real-Time Requirements with Multi-core Processors
    D. Kästner, M. Schlickling, M. Pister, C. Cullmann, G. Gebhard, R. Heckmann, and C. Ferdinand
    Computer Safety, Reliability, and Security, Springer, 2012. [doi]  [bib]
  9. Branch Target Buffers: WCET Analysis Framework and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    Journal of Systems Architecture, 57 (6), 2011. [doi]  [pdf]  [bib]
  10. A Template for Predictability Definitions with Supporting Evidence
    D. Grund, J. Reineke, and R. Wilhelm
    Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011. [doi]  [url]  [slides]  [bib]
  11. Software Structure and WCET Predictability
    G. Gebhard, C. Cullmann, and R. Heckmann
    Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011. [doi]  [url]  [bib]
  12. Precise and Efficient Parametric Path Analysis
    E. Althaus, S. Altmeyer, and R. Naujoks
    LCTES '11: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, 2011. [bib]
  13. Precise WCET Calculation in Highly Variant Real-Time Systems
    P. Montag, and S. Altmeyer
    Proceedings of IEEE/ACM Design, Automation, and Test in Europe, 2011. [bib]
  14. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems – Status Report
    S. Altmeyer, and C. Maiza
    Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar, 2011. [bib]
  15. Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    S. Altmeyer, R. I. Davis, and C. Maiza
    Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), 2011. [bib]
  16. Semi-Automatic Derivation of Timing Models for WCET Analysis
    M. Schlickling, and M. Pister
    LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010. [doi]  [bib]
  17. Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches
    S. Altmeyer, C. Maiza, and J. Reineke
    LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010. [doi]  [pdf]  [slides]  [bib]
  18. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, and R. Wilhelm
    Proceedings of Embedded Real Time Software and Systems, 2010. [pdf]  [bib]
  19. Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
    D. Grund, and J. Reineke
    Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS '10), 2010. [doi]  [pdf]  [slides]  [bib]
  20. Timing Anomalies Reloaded
    G. Gebhard
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
  21. Toward Precise PLRU Cache Analysis
    D. Grund, and J. Reineke
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [pdf]  [pdf]  [slides]  [bib]
  22. Integrating Abstract Caches with Symbolic Pipeline Analysis
    S. Wilhelm, and C. Cullmann
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
  23. On the Use of context Information for Precise Measurement-Based Execution-Time Estimation
    S. Stattelmann, and F. Martin
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
  24. Precomputing Memory Locations for Parametric Allocations
    J. Herter, and S. Altmeyer
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [pdf]  [pdf]  [slides]  [bib]
  25. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems
    S. Altmeyer, and C. Burguière
    Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar, 2010. [bib]
  26. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, S. Wegener, and R. Wilhelm
    Ingénieurs de l'Automobile, 807, 2010. [bib]
  27. Abstract Interpretation of FIFO Replacement
    D. Grund, and J. Reineke
    Static Analysis, 16th International Symposium, SAS 2009, 2009. [doi]  [pdf]  [slides]  [bib]
  28. Branch Target Buffers: WCET Analysis Framework and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, 2009. [doi]  [pdf]  [slides]  [bib]
  29. Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems
    R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
    IEEE Transactions on CAD of Integrated Circuits and Systems, 28 (7), 2009. [doi]  [bib]
  30. Semi-Automatic Derivation of Abstract Processor Models
    M. Pister, M. Schlickling, and M. A. Maksoud
    Technical Report, ES_PASS, 2009. [bib]
  31. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
    J. Reineke, and R. Sen
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  32. Cache-Related Preemption Delay Computation for Set-Associative Caches—Pitfalls and Solutions
    C. Burguière, J. Reineke, and S. Altmeyer
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  33. Making Dynamic Memory Allocation Static To Support WCET Analyses
    J. Herter, and J. Reineke
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  34. A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay
    S. Altmeyer, and C. Burguière
    Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09), 2009. [doi]  [bib]
  35. An Abstraction-Aware Compiler for VHDL Models
    M. A. Maksoud, M. Pister, and M. Schlickling
    Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09), 2009. [doi]  [bib]
  36. Improving Timing Analysis for Matlab Simulink/Stateflow
    L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
    Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009. [pdf]  [bib]
  37. Operating Mode Specific WCET Analysis
    P. Lucas, O. Parshin, and R. Wilhelm
    Proceedings of JRWRTC, 2009. [bib]
  38. Symbolic State Traversal for WCET Analysis
    S. Wilhelm, and B. Wachter
    International Conference on Embedded Software, 2009. [bib]
  39. Designing Predictable Multicore Architectures for Avionics and Automotive Systems
    R. Wilhelm, C. Ferdinand, C. Cullmann, D. Grund, J. Reineke, and B. Triquet
    Workshop on Reconciling Performance with Predictability (RePP), 2009. [pdf]  [bib]
  40. The Worst-case Execution Time Problem—Overview of Methods and Survey of Tools
    R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström
    ACM Transactions on Embedded Computing Systems (TECS), 7 (3), 2008. [doi]  [bib]
  41. Abstract Interpretation with Applications to Timing Validation
    R. Wilhelm, and B. Wachter
    CAV, 2008. [pdf]  [bib]
  42. Sensitivity of Cache Replacement Policies
    J. Reineke, and D. Grund
    Technical Report, SFB/TR 14 AVACS, 2008. [pdf]  [bib]
  43. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008. [pdf]  [slides]  [bib]
  44. WCET Analysis for Preemptive Systems
    S. Altmeyer, and G. Gebhard
    Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008. [bib]
  45. Parametric Timing Analysis for Complex Architectures
    S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm
    Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), 2008. [bib]
  46. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, 2008. [pdf]  [slides]  [bib]
  47. New Developments in WCET Analysis
    C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein, S. Thesing, and R. Heckmann
    Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer Verlag, 2007. [bib]
  48. A Framework for Static Analysis of VHDL Code
    M. Schlickling, and M. Pister
    Proceedings of 7th International Workshop on Worst-case Execution Time (WCET) Analysis, 2007. [ps]  [bib]
  49. Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
    S. Wilhelm, and B. Wachter
    Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis, 2007. [pdf]  [bib]
  50. Timing Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Real-Time Systems, 37 (2), 2007. [doi]  [pdf]  [slides]  [bib]
  51. Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
    J. Eisinger, I. Polian, B. Becker, A. Metzner, S. Thesing, and R. Wilhelm
    9th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2006), 2006. [bib]
  52. A Definition and Classification of Timing Anomalies
    J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
    Proceedings of 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [pdf]  [slides]  [bib]
  53. Determining Bounds on Execution Times
    R. Wilhelm
    Handbook on Embedded Systems, CRC Press, 2006. [bib]
  54. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, 2006. [pdf]  [bib]
  55. The Worst Case Execution Time Tool Challenge 2006: The External Test
    L. Tan
    2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), 2006. [url]  [bib]
  56. The Worst Case Execution Time Tool Challenge 2006
    L. Tan
    Technical Report, University Duisburg-Essen, 2006. [pdf]  [bib]
  57. Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
    S. Altmeyer
    Universität des Saarlandes, 2006. [bib]
  58. PLRU Cache Domino Effects
    C. Berg
    6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [url]  [pdf]  [bib]
  59. Timing Analysis and Timing Predictability
    R. Wilhelm
    FMCO 2004, 2005. [bib]
  60. Efficient Analysis of Pipeline Models for WCET Computation
    S. Wilhelm
    Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis, 2005. [bib]
  61. Requirements for and Design of a Processor with Predictable Timing
    C. Berg, J. Engblom, and R. Wilhelm
    Design of Systems with Predictable Behaviour, 2004. [url]  [bib]
  62. Component-Wise Instruction-Cache Behavior Prediction
    A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
    ATVA 2004, 2004. [bib]
  63. Design for Timing Predictability
    L. Thiele, and R. Wilhelm
    Real-Time Systems, 28, 2004. [bib]
  64. Formal Analysis of Processor Timing Models
    R. Wilhelm
    Model Checking Software, 11th International SPIN Workshop, 2004. [bib]
  65. Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
    R. Wilhelm
    VMCAI 2004, 2004. [url]  [bib]
  66. The Influence of Processor Architecture on the Design and the Results of WCET Tools
    R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm
    Proceedings of the IEEE, 91 (7), 2003. [bib]
  67. An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics
    S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach, R. Wilhelm, and C. Ferdinand
    Proceedings of the International Performance and Dependability Symposium (IPDS), 2003. [bib]
  68. Validierung des Zeitverhaltens von kritischer Echtzeit-Software
    C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, R. Heckmann, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, M. Schmidt, A. A. Evstiougov-Babaev, and R. Wilhelm
    GI Jahrestagung (1), 2003. [pdf]  [bib]
  69. Pipeline Modeling for Timing Analysis
    M. Langenbach, S. Thesing, and R. Heckmann
    Proceedings of the Static Analyses Symposium (SAS), 2002. [bib]
  70. Reliable and Precise WCET Determination for a Real-Life Processor
    C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm
    Embedded Software Workshop, 2001. [bib]
  71. Fast and Precise WCET Prediction by Separate Cache and Path Analyses
    H. Theiling, C. Ferdinand, and R. Wilhelm
    Real-Time Systems, 18 (2/3), 2000. [bib]
  72. Run-Time Guarantees for Real-Time Systems—The USES Approach
    C. Ferdinand, D. Kästner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, S. Thesing, and R. Wilhelm
    Proceedings of Informatik '99 – Arbeitstagung Programmiersprachen, 1999. [bib]
  73. Fast and Efficient Cache Behavior Prediction for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    Real-Time Systems, 17(2/3), 1999. [bib]
  74. Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation
    J. Schneider, and C. Ferdinand
    In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999. [bib]
  75. Pipeline Behaviour Prediction for Superscalar Processors
    J. Schneider, C. Ferdinand, and R. Wilhelm
    Technical Report, FB 14 - Informatik, Universität des Saarlandes, 1999. [bib]
  76. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Science of Computer Programming, 1998. [bib]
  77. On Predicting Data Cache Behaviour for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    ACM SIGPLAN Workshop 1998 on Languages, Compilers, and Tools for Embedded System, 1998. [bib]
  78. Statische Pipeline-Analyse für Echtzeitsysteme
    J. Schneider
    Technical Report, Universität des Saarlandes, 1998. [bib]
  79. Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis
    H. Theiling, and C. Ferdinand
    Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS), 1998. [bib]
  80. Cache Behavior Prediction for Real-Time Systems
    C. Ferdinand
    Technical Report, Universität des Saarlandes, 1997. [bib]
  81. Applying Compiler Techniques to Cache Behavior Prediction
    C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems, 1997. [ps]  [bib]
  82. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Technical Report, Universität des Saarlandes, 1997. [bib]
  83. Cache Behavior Prediction by Abstract Interpretation
    M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of SAS'96, Static Analysis Symposium, 1996. [bib]

AVACS SFB

  1. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems – Status Report
    S. Altmeyer, and C. Maiza
    Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar, 2011. [bib]
  2. Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    S. Altmeyer, R. I. Davis, and C. Maiza
    Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), 2011. [bib]
  3. Semi-Automatic Derivation of Timing Models for WCET Analysis
    M. Schlickling, and M. Pister
    LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010. [doi]  [bib]
  4. Best Probabilistic Transformers
    B. Wachter, and L. Zhang
    VMCAI, 2010. [pdf]  [bib]
  5. A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]
  6. Abstract Topology Analysis of the Join Phase of the Merge Protocol
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]
  7. Computing the Maximum Blocking Time for Scheduling with Deferred Preemption
    S. Altmeyer, C. Burguière, and R. Wilhelm
    Workshop on Software Technologies for Future Dependable Distributed Systems, 2009. [doi]  [bib]
  8. Abstract Interpretation of FIFO Replacement
    D. Grund, and J. Reineke
    Static Analysis, 16th International Symposium, SAS 2009, 2009. [doi]  [pdf]  [slides]  [bib]
  9. Branch Target Buffers: WCET Analysis Framework and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, 2009. [doi]  [pdf]  [slides]  [bib]
  10. Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems
    R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
    IEEE Transactions on CAD of Integrated Circuits and Systems, 28 (7), 2009. [doi]  [bib]
  11. INFAMY: An Infinite-State Markov Model Checker
    E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
    Computer Aided Verification, 2009. [doi]  [bib]
  12. Best Probabilistic Transformers and Beyond
    B. Wachter, and L. Zhang
    Technical Report, SFB/TR 14 AVACS, 2009. [pdf]  [bib]
  13. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
    J. Reineke, and R. Sen
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  14. Cache-Related Preemption Delay Computation for Set-Associative Caches—Pitfalls and Solutions
    C. Burguière, J. Reineke, and S. Altmeyer
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  15. Making Dynamic Memory Allocation Static To Support WCET Analyses
    J. Herter, and J. Reineke
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  16. A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay
    S. Altmeyer, and C. Burguière
    Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09), 2009. [doi]  [bib]
  17. An Abstraction-Aware Compiler for VHDL Models
    M. A. Maksoud, M. Pister, and M. Schlickling
    Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09), 2009. [doi]  [bib]
  18. Improving Timing Analysis for Matlab Simulink/Stateflow
    L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
    Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009. [pdf]  [bib]
  19. Symbolic State Traversal for WCET Analysis
    S. Wilhelm, and B. Wachter
    International Conference on Embedded Software, 2009. [bib]
  20. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
    E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
    Fundamenta Informaticae, 95, 2009. [url]  [bib]
  21. The Worst-case Execution Time Problem—Overview of Methods and Survey of Tools
    R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström
    ACM Transactions on Embedded Computing Systems (TECS), 7 (3), 2008. [doi]  [bib]
  22. Probabilistic CEGAR
    H. Hermanns, B. Wachter, and L. Zhang
    CAV, 2008. [pdf]  [bib]
  23. Abstract Interpretation with Applications to Timing Validation
    R. Wilhelm, and B. Wachter
    CAV, 2008. [pdf]  [bib]
  24. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
    L. Zhang, H. Hermanns, E. M. Hahn, and B. Wachter
    ACSD, 2008. [pdf]  [bib]
  25. Sensitivity of Cache Replacement Policies
    J. Reineke, and D. Grund
    Technical Report, SFB/TR 14 AVACS, 2008. [pdf]  [bib]
  26. Estimating the Performance of Cache Replacement Policies
    D. Grund, and J. Reineke
    MEMOCODE '08: Proceedings of the 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2008. [doi]  [pdf]  [slides]  [bib]
  27. Relative Competitiveness of Cache Replacement Policies
    J. Reineke, and D. Grund
    SIGMETRICS '08: Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2008. [doi]  [pdf]  [bib]
  28. Relative Competitive Analysis of Cache Replacement Policies
    J. Reineke, and D. Grund
    LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, 2008. [doi]  [pdf]  [slides]  [bib]
  29. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008. [pdf]  [slides]  [bib]
  30. WCET Analysis for Preemptive Systems
    S. Altmeyer, and G. Gebhard
    Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008. [bib]
  31. Parametric Timing Analysis for Complex Architectures
    S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm
    Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), 2008. [bib]
  32. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, 2008. [pdf]  [slides]  [bib]
  33. Topology Analysis of Dynamic Communication Systems
    P. Backes
    Universität des Saarlandes, 2008. [bib]
  34. The Spotlight Principle: On Process-Summarizing State Abstractions
    B. Wachter, and B. Westphal
    Verification, Model Checking and Abstract Interpretation, 2007. [bib]
  35. New Developments in WCET Analysis
    C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein, S. Thesing, and R. Heckmann
    Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer Verlag, 2007. [bib]
  36. A Framework for Static Analysis of VHDL Code
    M. Schlickling, and M. Pister
    Proceedings of 7th International Workshop on Worst-case Execution Time (WCET) Analysis, 2007. [ps]  [bib]
  37. Probabilistic Model Checking Modulo Theories
    B. Wachter, L. Zhang, and H. Hermanns
    Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems, 2007. [bib]
  38. Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
    S. Wilhelm, and B. Wachter
    Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis, 2007. [pdf]  [bib]
  39. Timing Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Real-Time Systems, 37 (2), 2007. [doi]  [pdf]  [slides]  [bib]
  40. On Probabilistic CEGAR
    H. Hermanns, B. Wachter, and L. Zhang
    Technical Report, SFB/TR 14 AVACS, 2007. [pdf]  [bib]
  41. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
    J. Bauer, and R. Wilhelm
    Technical Report, Dagstuhl, 2006. [pdf]  [bib]
  42. Specification and Verification of Dynamic Communication Systems
    J. Bauer, I. Schaefer, T. Toben, and B. Westphal
    Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on, 2006. [pdf]  [bib]
  43. Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
    J. Eisinger, I. Polian, B. Becker, A. Metzner, S. Thesing, and R. Wilhelm
    9th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2006), 2006. [bib]
  44. A Definition and Classification of Timing Anomalies
    J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
    Proceedings of 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [pdf]  [slides]  [bib]
  45. Determining Bounds on Execution Times
    R. Wilhelm
    Handbook on Embedded Systems, CRC Press, 2006. [bib]
  46. Explaining Data Type Reduction in the Shape Analysis Framework
    B. Wachter
    Workshop Trustworthy Software 2006, 2006. [bib]
  47. Analysis of Communication Topologies by Partner Abstraction
    J. Bauer
    Universität des Saarlandes, 2006. [bib]
  48. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, 2006. [pdf]  [bib]
  49. Efficient Algorithms for Feasibility and Optimality
    W. Damm, A. Metzner, F. Eisenbrand, G. Shmonin, R. Wilhelm, and S. Winkel
    Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), 2006. [bib]
  50. Codegenerierung für CSP-OZ
    B. Franzen
    [bib]
  51. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005. [pdf]  [bib]
  52. Timing Analysis and Timing Predictability
    R. Wilhelm
    FMCO 2004, 2005. [bib]
  53. Component-Wise Instruction-Cache Behavior Prediction
    A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
    ATVA 2004, 2004. [bib]
  54. Static Program Analysis via 3-Valued Logic
    T. Reps, S. Sagiv, and R. Wilhelm
    CAV 2004, 2004. [bib]
  55. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    Technical Report, AVACS, 2004. [pdf]  [bib]
  56. Design for Timing Predictability
    L. Thiele, and R. Wilhelm
    Real-Time Systems, 28, 2004. [bib]
  57. Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
    R. Wilhelm
    VMCAI 2004, 2004. [url]  [bib]

Computation on GPUs

  1. CGiS: High-Level Data-Parallel GPU Programming
    P. Lucas
    Universität des Saarlandes, 2008. [bib]
  2. The Development of the Data-Parallel GPU Programming Language CGiS
    P. Lucas, N. Fritz, and R. Wilhelm
    Proceedings of the 6th International Conference on Computational Science (ICCS'06) (4), 2006. [doi]  [bib]
  3. The CGiS Compiler—A Tool Demonstration
    P. Lucas, N. Fritz, and R. Wilhelm
    Proceedings of the 15h International Conference on Compiler Construction (CC'06), 2006. [doi]  [bib]
  4. CGiS, a new Language for Data-Parallel GPU Programming
    N. Fritz, P. Lucas, and P. Slusallek
    Proceedings of the 9th International Workshop ``Vision, Modeling, and Visualization'' (VMV'04), 2004. [url]  [bib]

Program Analysis

  1. Fast Liveness Checking for SSA-Form Programs (Best Paper Award)
    B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
    CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, 2008. [doi]  [pdf]  [bib]
  2. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008. [pdf]  [slides]  [bib]
  3. Fast Liveness Checking for SSA-Form Programs
    B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
    Technical Report, INRIA, 2007. [url]  [bib]
  4. 05451 Group 5 – Bananas, Dark Worlds, and AspectH
    S. Breu, M. Schlickling, and N. M. F. Rodrigues
    Beyond Program Slicing, 2006. [url]  [bib]
  5. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Reineke, H. Seidl, and R. Wilhelm
    Technical Report, TU München, Germany, 2006. [bib]
  6. Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis
    F. Martin
    Proceedings of the 8th International Conference on Compiler Construction, 1999. [bib]
  7. PAG—An Efficient Program Analyzer Generator
    F. Martin
    International Journal on Software Tools for Technology Transfer, 2 (1), 1998. [bib]
  8. Analysis of Loops
    F. Martin, M. Alt, R. Wilhelm, and C. Ferdinand
    Proceedings of the 7th International Conference on Compiler Construction, 1998. [bib]
  9. Practical Comparison of Call String and Functional Approach in Data Flow Analysis
    M. Alt, and F. Martin
    Arbeitstagung Programmiersprachen, 1997. [ps]  [bib]
  10. PAG Manual
    S. Thesing, F. Martin, and M. Alt
    [bib]
  11. Parallel Implementation of Functional Languages
    R. Wilhelm, M. Alt, F. Martin, and M. Raber
    5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages, 1997. [ps]  [bib]
  12. Generation of Efficient Interprocedural Analyzers with PAG
    M. Alt, and F. Martin
    Proceedings of SAS'95, Static Analysis Symposium, 1995. [bib]
  13. Generating Analyzers with PAG
    M. Alt, and F. Martin
    Technical Report, Universität des Saarlandes, 1995. [bib]
  14. Generating Dataflow Analyzers with PAG
    M. Alt, F. Martin, and R. Wilhelm
    Technical Report, Universität des Saarlandes, 1995. [bib]
  15. Die Generierung von Datenflußanalysatoren
    F. Martin
    Technical Report, Universität des Saarlandes, 1995. [bib]
  16. PAG Reference Manual
    F. Martin
    [bib]

Animation and Visualization

  1. Algorithm Animation using Shape Analysis: Visualising Abstract Executions
    D. Johannes, R. Seidel, and R. Wilhelm
    SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization, 2005. [doi]  [bib]
  2. Algorithm Explanation: Visualizing Abstract States and Invariants
    R. Wilhelm, T. Müldner, and R. Seidel
    Software Visualization, Springer Verlag, 2002. [bib]
  3. Animation of the Generation and Computation of Finite Automata for Learning Software
    B. Braune, S. Diehl, A. Kerren, and R. Wilhelm
    4th Intl. Workshop on Implementing Automata, 2001. [bib]
  4. Focusing in Algorithm Explanation
    B. Braune, and R. Wilhelm
    IEEE Transactions on Visualization and Computer Graphics, 6 (1), 2000. [bib]
  5. Visualisierung und Animation der semantischen Analyse von Programmen
    A. Kerren
    Informatica Didactica, 1 (1), 2000. [url]  [bib]
  6. Focussing in Algorithm Explanation
    R. Wilhelm, and B. Braune
    Transactions on Visualization and Computer Graphics, 6 (1), 2000. [bib]
  7. Animation der semantischen Analyse
    A. Kerren
    In Proceedings of 8. GI-Fachtagung Informatik und Schule (in German), 1999. [bib]
  8. Object-Oriented Animations with VRML++
    S. Diehl
    Proceedings of Virtual Environments 98 Conference and 4th Eurographics Workshop, 1998. [ps]  [bib]
  9. Visualizing Principles of Abstract Machines by Generating Interactive Animations
    S. Diehl, and T. Kunze
    Proceedings of Workshop on Principles of Abstract Machines, Pisa, Italy,, 1998. [bib]
  10. GANIMAM: Generierung interaktiver Animationen von Abstrakten Maschinen
    S. Diehl, T. Kunze, and A. Placzek
    Proceedings of Smalltalk und Java in Industrie und Ausbildung STJA'97, 1997. [bib]
  11. CLaX—A Visualized Compiler
    G. Sander, M. Alt, C. Ferdinand, and R. Wilhelm
    Graph Drawing, Workshop GD'95, 1995. [bib]

Compiler Backends

  1. SIMD Code Generation in Data-Parallel Programming
    N. Fritz
    Universität des Saarlandes, 2009. [bib]
  2. Fast Liveness Checking for SSA-Form Programs (Best Paper Award)
    B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
    CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, 2008. [doi]  [pdf]  [bib]
  3. A Fast Cutting-Plane Algorithm for Optimal Coalescing (EAPLS Best Paper Award)
    D. Grund, and S. Hack
    Compiler Construction - CC 2007, 2007. [doi]  [pdf]  [slides]  [bib]
  4. Fast Liveness Checking for SSA-Form Programs
    B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
    Technical Report, INRIA, 2007. [url]  [bib]
  5. Register Allocation for Programs in SSA Form
    S. Hack, D. Grund, and G. Goos
    Compiler Construction - CC 2006, 2006. [doi]  [pdf]  [bib]
  6. Kopienminimierung in einem SSA-basierten Registerzuteiler
    D. Grund
    Universität Karlsruhe, 2005. [pdf]  [bib]
  7. Towards Register Allocation for Programs in SSA Form
    S. Hack, D. Grund, and G. Goos
    Technical Report, University of Karlsruhe, 2005. [pdf]  [bib]
  8. Generic Software Pipelining at the Assembly Level
    M. Pister, and D. Kästner
    Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2005), 2005. [pdf]  [bib]
  9. Exploring the Performance Potential of Itanium Processors with ILP-based Scheduling
    S. Winkel
    Proceedings of the Second IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2004. [bib]
  10. Post-Pass Compaction Techniques
    B. De Bus, D. Kästner, D. Chanet, L. V. Put, and B. De Sutter
    Communications of the ACM, 46 (8), 2003. [bib]
  11. Reconstructing Control Flow from Predicated Assembly Code
    B. Decker, and D. Kästner
    Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2003), 2003. [bib]
  12. TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyzes
    D. Kästner
    Proceedings of the 2nd International Conference of Generative Programming and Component Engineering, GPCE 2003, 2003. [bib]
  13. Compiler Optimizations by ILP-Based Approximations
    D. Kästner
    SIAM Conference on Optimization, 2002. [bib]
  14. Generic Control Flow Reconstruction from Assembly Code
    D. Kästner, and S. Wilhelm
    Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), in SIGPLAN Notices, 37 (7), 2002. [bib]
  15. Optimal Global Scheduling for Itanium Processor Family
    S. Winkel
    Proceedings of the EPIC-2 Workshop, 2002. [pdf]  [bib]
  16. ILP-Based Approximations for Retargetable Code Optimization
    D. Kästner
    Proceedings of the 5th International Conference on Optimization: Techniques and Applications (ICOTA 2001), 2001. [bib]
  17. ILP-Based Instruction Scheduling for IA-64
    D. Kästner, and S. Winkel
    Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2001. [pdf]  [bib]
  18. PROPAN: A Retargetable System for Postpass Optimisations and Analyses
    D. Kästner
    Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2000. [bib]
  19. A Retargetable System for Postpass Optimisations and Analyses
    D. Kästner
    Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems, 2000. [bib]
  20. TDL—A Hardware and Assembly Description Language
    D. Kästner
    Technical Report, Universität des Saarlandes, 2000. [bib]
  21. TDL: A Hardware and Assembly Description Language
    D. Kästner
    Technical Report, Transferbereich 14, University of Saarland, 1999. [bib]
  22. TDL – Eine Architekturbeschreibungssprache für Postpassoptimierungen und -analysen
    D. Kästner
    Proceedings of the DSP Deutschland, 1999. [bib]
  23. Code Optimization by Integer Linear Programming
    D. Kästner, and M. Langenbach
    Proceedings of the 8th International Conference on Compiler Construction CC99, 1999. [bib]
  24. Integer Linear Programming vs. Graph Based Methods in Code Generation
    D. Kästner, and M. Langenbach
    Technical Report, University of the Saarland, Saarbrücken, Germany, 1998. [bib]
  25. Operations Research Methods in Compiler Backends
    D. Kästner, and R. Wilhelm
    Mathematical Communications, 3 (2), 1998. [bib]
  26. Tree Automata for Code Selection
    C. Ferdinand, H. Seidl, and R. Wilhelm
    Code Generation – Concepts, Tools, Techniques, 1992. [bib]
  27. Baumautomaten zur Codeselektion
    C. Ferdinand, H. Seidl, and R. Wilhelm
    Festschrift zum 60. Geburtstag von Guenter Hotz, 1992. [bib]

Logic-based Program Analysis

  1. Towards Shape Analysis of B-Trees
    J. Herter
    Universität des Saarlandes, 2008. [pdf]  [bib]
  2. Shape Analysis of Sets
    J. Reineke
    Workshop Trustworthy Software 2006, 2006. [pdf]  [slides]  [bib]
  3. Algorithm Animation using Shape Analysis: Visualising Abstract Executions
    D. Johannes, R. Seidel, and R. Wilhelm
    SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization, 2005. [doi]  [bib]
  4. Shape Analysis of Sets
    J. Reineke
    Universität des Saarlandes, Germany, 2005. [pdf]  [slides]  [bib]
  5. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005. [pdf]  [bib]
  6. Static Program Analysis via 3-Valued Logic
    T. Reps, S. Sagiv, and R. Wilhelm
    CAV 2004, 2004. [bib]
  7. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    Technical Report, AVACS, 2004. [pdf]  [bib]
  8. Verifying Temporal Heap Properties Specified via Evolution Logic
    E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm
    European Symposium on Programming, 2003. [bib]
  9. Shape Analysis and Applications
    T. Reps, M. Sagiv, and R. Wilhelm
    The Compiler Design Handbook: Optimizations \& Machine Code Generation, CRC Press, 2002. [bib]
  10. Parametric Shape Analysis via 3-Valued Logic
    M. Sagiv, T. Reps, and R. Wilhelm
    ACM Transactions on Programming Languages and Systems, 24 (3), 2002. [bib]
  11. Putting Static Analysis to Work for Verification: A Case Study
    T. Lev-Ami, T. Reps, M. Sagiv, and R. Wilhelm
    Intl. Symp. on Software Testing and Analysis, 2000. [bib]
  12. Shape Analysis
    R. Wilhelm, M. Sagiv, and T. Reps
    International Conference on Compiler Construction, 2000. [bib]
  13. Parametric Shape-Analysis via 3-Valued Logic
    M. Sagiv, T. Reps, and R. Wilhelm
    Proc. of 26th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1999. [bib]
  14. Solving Shape-Analysis Problems in Languages with Destructive Updating
    M. Sagiv, T. Reps, and R. Wilhelm
    ACM Transactions on Programming Languages and Systems, 20 (1), 1998. [bib]
  15. A Logic-Based Approach to Data Flow Analysis Problems
    S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
    ACTA INFORMATICA, 35, 1998. [bib]
  16. Solving Shape-Analysis Problems in Languages with Destructive Updating
    M. Sagiv, T. Reps, and R. Wilhelm
    Proc. of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1996. [bib]
  17. A Logic-Based Approach to Data Flow Analysis Problems
    S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
    Programming Language Implementation and Logic Programming, 1990. [bib]

PhD theses

  1. Timing Model Derivation – Static Analysis of Hardware Description Languages
    M. Schlickling
    Saarland University, 2013. [url]  [bib]
  2. Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
    D. Grund
    Saarland University, 2012. [url]  [bib]
  3. Symbolic Representations in WCET Analysis
    S. Wilhelm
    Saarland University, 2012. [url]  [bib]
  4. Timing Model Derivation – Pipeline Analyzer Generation from Hardware Description Languages
    M. Pister
    Saarland University, 2012. [url]  [bib]
  5. SIMD Code Generation in Data-Parallel Programming
    N. Fritz
    Universität des Saarlandes, 2009. [bib]
  6. CGiS: High-Level Data-Parallel GPU Programming
    P. Lucas
    Universität des Saarlandes, 2008. [bib]
  7. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, 2008. [pdf]  [slides]  [bib]
  8. Analysis of Communication Topologies by Partner Abstraction
    J. Bauer
    Universität des Saarlandes, 2006. [bib]
  9. Offline Drawing of Dynamic Graphs
    C. Görg
    Universität des Saarlandes, 2005. [bib]
  10. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models
    S. Thesing
    Universität des Saarlandes, 2004. [bib]
  11. Optimal Global Instruction Scheduling for the Itanium Processor Architecture
    S. Winkel
    Universität des Saarlandes, 2004. [bib]
  12. Combined Schedulability and WCET Analysis for Real-Time Operating Systems
    J. Schneider
    Universität des Saarlandes, 2003. [bib]
  13. Control Flow Graphs for Real-Time System Analysis
    H. Theiling
    Universität des Saarlandes, 2003. [bib]
  14. Generierung interaktiver Animationen für den Übersetzerbau
    A. Kerren
    Universität des Saarlandes, 2002. [bib]
  15. Language-Based Security
    P. Laud
    Universität des Saarlandes, 2002. [bib]
  16. A Demand-Driven Solver for Constraint-Based Control Flow Analysis
    C. Probst
    Universität des Saarlandes, 2002. [bib]
  17. Retargetable Postpass Optimisation by Integer Linear Programming
    D. Kästner
    Universität des Saarlandes, 2000. [bib]
  18. Generating Program Analyzers
    F. Martin
    Universität des Saarlandes, 1999. [bib]
  19. On Parallel Compilation
    M. Alt
    Universität des Saarlandes, 1997. [bib]
  20. Abstrakte Interpretationen logischer Programme: Theorie, Implementierung, Generierung
    C. Fecht
    Universität des Saarlandes, 1997. [bib]
  21. Cache Behaviour Prediction for Real-Time Systems
    C. Ferdinand
    Universität des Saarlandes, 1997. [bib]
  22. Semantics-Directed Generation of Compilers and Abstract Machines
    S. Diehl
    Universität des Saarlandes, 1996. [bib]
  23. Visualisierungstechniken für den Compilerbau
    G. Sander
    Universität des Saarlandes, 1996. [bib]
  24. Parallele Implementierung funktionaler Programmiersprachen
    M. Raber
    Universität des Saarlandes, 1995. [bib]
  25. Properties, Transformations and Global Events in Concurrent Systems
    S. Zhou
    Universität des Saarlandes, 1994. [bib]
  26. Power Domain Constructions
    R. Heckmann
    Universität des Saarlandes, 1991. [bib]
  27. Automatische Erzeugung von hardwarenahen Treiber-Komponenten und Einbettung in eine UNIX-Umgebung
    M. Lehser
    Universität des Saarlandes, 1989. [bib]
  28. Gaphreduktion für funktionale Sprachen
    H. Oberhauser
    Universität des Saarlandes, 1988. [bib]
  29. Relevanzanalyse – Eine Kombination von Striktheits- und Datenflußanalyse zur effizientern Auswertung funktionaler Programme
    D. Maurer
    Universität des Saarlandes, 1987. [bib]
  30. Listenkonstrukte und ihre Attributierung in einem System zur Generierung von Baumtransformatoren
    P. Raber
    Universität des Saarlandes, 1986. [bib]
  31. Generierung von Systemen zur Transformation Attributierter Operatorbäume Komponenten des Systems und Mechanisman der Generierung
    U. Möncke
    Universität des Saarlandes, 1985. [bib]
  32. POCO – Ein protables System zur Generierung protabler Compiler
    M. Eulenstein
    Universität des Saarlandes, 1984. [bib]
  33. Die Erzeugung optimaler Codes für Series-prallel-graphs in polynomieller Zeit
    G. Reiner
    Universität des Saarlandes, 1982. [bib]

Master/Diploma theses

  1. Towards Shape Analysis of B-Trees
    J. Herter
    Universität des Saarlandes, 2008. [pdf]  [bib]
  2. Topology Analysis of Dynamic Communication Systems
    P. Backes
    Universität des Saarlandes, 2008. [bib]
  3. Generating Code from Abstracted VHDL Models
    M. A. Maksoud
    Universität des Saarlandes, 2007. [bib]
  4. A Pattern Matcher Generator for Retargetable Code Generation and Optimisation
    G. Gebhard
    Universität des Saarlandes, 2006. [pdf]  [bib]
  5. Analyse von Pfadausschlüssen auf Maschinencode
    I. Stein
    Universität des Saarlandes, Saarbrücken, 2006. [bib]
  6. Statische Berechnung sicherer Schleifengrenzen auf Maschinencode
    C. Cullmann
    Universität des Saarlandes, 2006. [bib]
  7. Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
    S. Altmeyer
    Universität des Saarlandes, 2006. [bib]
  8. Interaktive dreidimensionale webbasierte Simulation von Meteoriteneinschlägen
    K. Chu
    Universität des Saarlandes, 2005. [bib]
  9. Algorithm Animation using Shape Analysis with Special Regard to Binary Trees
    S. Parduhn
    Universität des Saarlandes, 2005. [bib]
  10. Generisches Softwarepipelining auf Assemblerebene
    M. Pister
    Universität des Saarlandes, 2005. [pdf]  [bib]
  11. Hierarchisches Zeichnen dynamischer Graphen
    M. Pohl
    Universität des Saarlandes, 2005. [bib]
  12. Shape Analysis of Sets
    J. Reineke
    Universität des Saarlandes, Germany, 2005. [pdf]  [slides]  [bib]
  13. Generisches Slicing auf Maschinencode
    M. Schlickling
    Universität des Saarlandes, 2005. [pdf]  [bib]
  14. Attributierte Transformationsgrammatiken: die Reattributierung
    A. Schütte
    Universität des Saarlandes, 2005. [bib]
  15. Checking Universally Quantified Temporal Properties with Three-Valued Analysis
    B. Wachter
    Universität des Saarlandes, 2005. [bib]
  16. Entwurf und Implementierung einer retargierbaren Programmiersprache für fernprogrammierbare Roboter
    A. Wagner
    Universität des Saarlandes, 2005. [bib]
  17. Modellierung dreidimensionaler Simulationen mit Hilfe von Verhaltensautomaten
    C. Lambert
    Universität des Saarlandes, 2004. [bib]
  18. Instruktionsanordnung durch Tabu-Suche
    S. Wiegratz
    Universität des Saarlandes, 2004. [bib]
  19. Analyse und Visualisierung von Softwaresystemen in Bezug auf Stabilität, Wartbarkeit und Wiederverwendbarkeit
    M. J. Wilhelm
    Universität des Saarlandes, 2004. [bib]
  20. Formal Simulation of Machine Instructions with Interrupts by Assembler Instructions
    O. Parshin
    Universität des Saarlandes, 2004. [bib]
  21. Ein Server-basierter Interpreter für ein Online-Tutorial über Programmieren in Java
    C. Bieg
    Universität des Saarlandes, 2003. [bib]
  22. Generic Reconstruction of Control Flow for Guarded Code from Assembly
    B. Decker
    Universität des Saarlandes, 2002. [bib]
  23. A Control-Flow Analysis for Multi-Threaded Java with Security Applications
    J. Bauer
    Universität des Saarlandes, 2001. [ps]  [bib]
  24. Alexsa. Algorithm Explanation by Shape Analysis Extensions to the TVLA System
    R. Bieber
    Universität des Saarlandes, 2001. [bib]
  25. Ein Framework für die Erfassung komponentenbasierter Modelle und deren Präsentation mittels Java3D
    P. Blanchebarbe
    Universität des Saarlandes, 2001. [bib]
  26. PSL – Eine Sprache zur Spezifikation von Datenflussanalysen
    D. Bobbert
    Universität des Saarlandes, 2001. [bib]
  27. Statischer Methodenaufruf in Java
    H. Dewes
    Universität des Saarlandes, 2001. [bib]
  28. Generische Value-Analyse für Maschinenprogramme
    N. Fritz
    Universität des Saarlandes, 2001. [bib]
  29. Layout animierter Graphen
    C. Görg
    Universität des Saarlandes, 2001. [bib]
  30. Implementierung und Anwendung der GANIMAL Laufzeitumgebung
    T. Weller
    Universität des Saarlandes, 2001. [bib]
  31. Generische Rekonstruktion von Kontrollflussgraphen aus Assemblerprogrammen
    S. Wilhelm
    Universität des Saarlandes, 2001. [bib]
  32. Implementierung von VRML mit Constraints
    J. Keller
    Universität des Saarlandes, 2000. [bib]
  33. Kooperative Lernsoftware
    M. Ohlmann
    Universität des Saarlandes, 2000. [bib]
  34. Analyse des Verhaltens von mehrstufigen Caches mit Schreibstrategien
    M. Haase
    Universität des Saarlandes, 1999. [bib]
  35. Erstellung von Laufzeitgarantien für sicherheitskritische Systeme am Beispiel einer Flugsteuerung
    D. Kreutzer
    Universität des Saarlandes, 1999. [bib]
  36. Generierung interaktiver Animationen von abstrakten Maschinen
    T. Kunze
    Universität des Saarlandes, 1999. [bib]
  37. Entwurf und Implementierung eines Kontrollflußgenerators
    M. Schmidt
    Universität des Saarlandes, 1999. [bib]
  38. Entwurfsmuster in verteilten Anwendungen am Beispiel des Projekts Televerwaltung Saar
    A. Placzek
    Universität des Saarlandes, 1998. [bib]
  39. Datenbankbasiertes System zur Meßdatenerfassung, Bearbeitung, Berechnung und Präsentation bei statischen Seilversuchen
    R. Schlosser
    Universität des Saarlandes, 1998. [bib]
  40. Statische Pipeline-Analyse für Echtzeitsysteme
    J. Schneider
    Universität des Saarlandes, 1998. [bib]
  41. Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden
    H. Theiling
    Universität des Saarlandes, 1998. [bib]
  42. Analyse der Datenverteilung für Implementierungen der Sprache 2DT auf Parallelrechnern mit verteiltem Speicher
    S. Bergmann
    Universität des Saarlandes, 1997. [bib]
  43. Ein Sortensystem für die logische Programmiersprache eXu KRL
    M. Ferdinand
    Universität des Saarlandes, 1997. [bib]
  44. Genaue Laufzeiten für Kommunikationsoperationen paralleler Maschinen mit verteiltem Speicher
    R. Foschia
    Universität des Saarlandes, 1997. [bib]
  45. Animation der semantischen Analyse
    A. Kerren
    Universität des Saarlandes, 1997. [bib]
  46. Instruktionsanordnung und Registerallokation auf der Basis ganzzahliger linearer Programmierung für den digitalen Signalprozessor ADSP-2106x
    D. Kästner
    Universität des Saarlandes, 1997. [bib]
  47. Instruktionsanordnungen unter Verwendung graphbasierter Algorithmen für den digitalen Signalprozessor ADSP-2106x
    M. Langenbach
    Universität des Saarlandes, 1997. [bib]
  48. Generierung effizienter Datentypen für PAG
    O. Lauer
    Universität des Saarlandes, 1997. [bib]
  49. Entwurf und Implementierung eines Frontends für Analysen zur Vorhersage des Cache- und Pipeline-Verhaltens
    T. Ramrath
    Universität des Saarlandes, 1997. [bib]
  50. Parallele Simulation des Abflußgeschehens in Kanalnetzen
    R. Ruth
    Universität des Saarlandes, 1997. [bib]
  51. Adreßbestimmung zur Vorhersage des Verhaltens von Daten-Caches
    M. Sicks
    Universität des Saarlandes, 1997. [bib]
  52. Konfigurationsmanagement im LAN
    S. W. J. Mautes
    Universität des Saarlandes, 1996. [bib]
  53. Ein Übersetzer für die Wissensrepräsentationssprache eXu
    T. Müller
    Universität des Saarlandes, 1996. [bib]
  54. Beschreibungssprache zur Generierung von Datenstrukturen für den Übersetzerbau
    C. Rübel
    Universität des Saarlandes, 1996. [bib]
  55. Visualisierungstechniken für den Compilerbau
    G. Sander
    Universität des Saarlandes, 1996. [bib]
  56. Entwicklung der Messwerterfassung und -auswertung für einen dynamischen Drahtseilprüfstand
    O. Backes
    Universität des Saarlandes, 1995. [bib]
  57. Ein allgemeines Verfahren zur Hyperlink Generierung in strukturierter Dokumentation
    A. Engel
    Universität des Saarlandes, 1995. [bib]
  58. Visualisierung der abstrakten P-Maschine
    G. Kohlmann
    Universität des Saarlandes, 1995. [bib]
  59. Die Generierung von Synchronisierungscode eines parallelen Übersetzers im CoSy-Modell
    W. Kölsch
    Universität des Saarlandes, 1995. [bib]
  60. Entwurf und Implementierung eines Generators für Datenflußanalysatoren
    F. Martin
    Universität des Saarlandes, 1995. [bib]
  61. Zeigeranalyse für imperative Programmiersprachen
    C. Probst
    Universität des Saarlandes, 1995. [bib]
  62. EXAM, Eine abstrakte Maschine zur Realisierung der ordnungssortierten Wissensrepräsentationssprache eXu
    M. Röhrig
    Universität des Saarlandes, 1995. [bib]
  63. Statische Prozessverteilung in Hope
    P. Schwarz
    Universität des Saarlandes, 1995. [bib]
  64. Visualisierung der abstrakten Maschine WiM
    S. Wirtz
    Universität des Saarlandes, 1995. [bib]
  65. Transformationen zur Verbesserung der Datenlokalität in Bezug auf Cachespeicher
    P. Zeimetz
    Universität des Saarlandes, 1995. [bib]
  66. Appraise - Ein abstrakter Interpreter für die Sprache Prolog
    W. Berger
    Universität des Saarlandes, 1994. [bib]
  67. Entwicklung und Implementierung eines Visualisierungswerkzeugs für Anwendungen im Übersetzerbau
    I. Lemke
    Universität des Saarlandes, 1994. [bib]
  68. Generische Baumanalysatorengeneratoren
    C. Peper
    Universität des Saarlandes, 1994. [bib]
  69. Automatisierte Softwareverteilung im LAN-/WAN-/Host-Environment
    M. J. Wilhelm
    Universität des Saarlandes, 1994. [bib]
  70. SiATeX. Eine interaktive Arbeits- und Graphikumgebung für TeX unter dem X11 Window System
    B. Braune
    Universität des Saarlandes, 1993. [bib]
  71. Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 1: Parallelisierungsstrategie
    A. Dierstein
    Universität des Saarlandes, 1993. [bib]
  72. Alternativer Seitenumbruch für logisch ausgezeichnete Dokumente
    K. Emde
    Universität des Saarlandes, 1993. [bib]
  73. Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 2: Automatische Datenaufteilung
    R. Hayer
    Universität des Saarlandes, 1993. [bib]
  74. Lastverteilungsstrategien für die Parallele G-Maschine
    H. Korn
    Universität des Saarlandes, 1993. [bib]
  75. Darstellung eines Graphen mit minimaler Überkreuzung der Kanten in der Ebene
    P. Mohammadzadeh
    Universität des Saarlandes, 1993. [bib]
  76. Anwendung der Evolutionsstrategie zur Lastverteilung paralleler funktionaler Programme
    G. Müller
    Universität des Saarlandes, 1993. [bib]
  77. Generische Vektorisierung imperativer Programmiersprachen
    T. Vogelgesang
    Universität des Saarlandes, 1993. [bib]
  78. PHOENICS – Eine interaktive, inkrementelle Programmierumgebung für Pascal
    M. Greim
    Universität des Saarlandes, 1992. [bib]
  79. Algorithmen zum Linienschnitt-Problem
    B. Groß
    Universität des Saarlandes, 1992. [bib]
  80. Spezifikation und Implementierung eines ADA-Font-Ends mittels übersetzer-erzeugender Systeme. Teil 1: Deklarationen, Nameclass-Analyse und Transformationen
    P. Keller
    Universität des Saarlandes, 1992. [bib]
  81. Analysen und Übersetzung von FORK – Teil 1
    K. Käppner
    Universität des Saarlandes, 1992. [bib]
  82. Partielle Auswertung für die funktionale Programmiersprache Hope
    V. Schöpfer
    Universität des Saarlandes, 1992. [bib]
  83. Visualisierung der abstrakten Maschine MaMa
    B. Steiner
    Universität des Saarlandes, 1992. [bib]
  84. Analysen und Übersetzung von FORK – Teil 2
    M. Welter
    Universität des Saarlandes, 1992. [bib]
  85. Konstruktion eines Baumtransformators für nicht eindeutige Termersetungssysteme
    J. Fechner
    Universität des Saarlandes, 1991. [bib]
  86. Übersetzung der funktionalen Programmiersprache Hope für die parallele G-Maschine
    L. Fuchs
    Universität des Saarlandes, 1991. [bib]
  87. Weiterentwicklung eines Codeselektorgenerators und Anwendung auf den NSC32000
    N. Mathis
    Universität des Saarlandes, 1991. [bib]
  88. Spezifikation und Vergleich der Basiswindowsysteme von X und NeWS unter Berücksichtigung der Graphikmodelle und Fensterbehandlung
    L. Meiss
    Universität des Saarlandes, 1991. [bib]
  89. Verteilte Garbage Collection Algorithmen
    A. Paltz
    Universität des Saarlandes, 1991. [bib]
  90. PASCAL. Interpretation und Visualisierung
    N. Truxa
    Universität des Saarlandes, 1991. [bib]
  91. Automatische Erzeugung der Analysenkomponente eines Maschinencodeoptimierers nach dem Ansatz von Robert Giegerich
    D. Uebel
    Universität des Saarlandes, 1991. [bib]
  92. Ein Übersetzer für die funktionale Sprache TraFoLa
    M. Alt
    Universität des Saarlandes, 1990. [bib]
  93. Trama. Eine abstrakte Maschine zur Implementierung der funktionalen Programmiersprache TraFoLa
    C. Fecht
    Universität des Saarlandes, 1990. [bib]
  94. Pattern-Matching in TraFoLa
    C. Ferdinand
    Universität des Saarlandes, 1990. [bib]
  95. Power Domain Constructions (Potenzbereich-Konstruktionen)
    R. Heckmann
    Universität des Saarlandes, 1990. [bib]
  96. Source-to-Source Transformation. Eine Studie des Transformatorsystems OPTRAN anhand eines SPL4-C-Compilers
    G. Horsch
    Universität des Saarlandes, 1990. [bib]
  97. Spezifikation und Implementierung eines ADA-Front-Ends mittels Übersetzer-erzeugender Systeme. Teil 2: Auflösung der Überladung und Erzeugung der DIANA-Form
    T. Maas
    Universität des Saarlandes, 1990. [bib]
  98. Entwicklung und Implementierung eines polymorphen Typsystems für die funktionale Programmiersprache TraFoLa
    G. Sander
    Universität des Saarlandes, 1990. [bib]
  99. Attributauswertung für zyklische Attributierungen
    E. Thieser
    Universität des Saarlandes, 1990. [bib]
  100. Partielle Auswertung imperativer Programmiersprachen
    W. Backes
    Universität des Saarlandes, 1989. [bib]
  101. Registerverteilung mit Hilfe des baumtransformierenden Systems OPTRAN – Teil A – Spezifikationsprobleme und Vergleich unterschiedlicher Eigenschaften des OPTRAN-Systems
    B. Edelmann
    Universität des Saarlandes, 1989. [bib]
  102. Registerverteilung mit Hilfe des baumtransformierenden Systems OPTRAN – Teil B – Beschreibung und Vergleich eines lokalen-globalen Algorithmus mit einem rein globalen Algorithmus
    S. Edelmann
    Universität des Saarlandes, 1989. [bib]
  103. Spezifikation von Graphiken und Realisierung graphischer Funktionen in einer Funktionalen Programmiersprache
    M. Hippchen
    Universität des Saarlandes, 1989. [bib]
  104. Konzept zur Hintereinanderschaltung von Transformationseinheiten sowie zur Implementierung zyklischer Attributierungen durch nichtzyklische unter Benutzung der Reattributierung
    W. Thome
    Universität des Saarlandes, 1989. [bib]
  105. Ein Pretty-Print Generator für das OPTRAN System
    T. Geiger
    Universität des Saarlandes, 1988. [bib]
  106. Ein Vergleich von Lambda- und Kombinatorgraphreduktion
    F. Gergen
    Universität des Saarlandes, 1988. [bib]
  107. Dynamische Verwaltung von Codeblöcken bei der parallelen Implementierung funktionaler Sprachen
    M. Raber
    Universität des Saarlandes, 1988. [bib]
  108. Verwaltung zyklicher Strukturen in parallelen Graphreduktionssystemen durch Reference Counting
    T. Remmel
    Universität des Saarlandes, 1988. [bib]
  109. Generierung des Höheren Kontrollflussgraphen
    R. Rojan
    Universität des Saarlandes, 1988. [bib]
  110. Entwicklung eines Analysators für Maschinenbeschreibungen
    U. Schmitt
    Universität des Saarlandes, 1988. [bib]
  111. Ansatz eines Analysators von COBOL-Programmen für die Qualitätseigenschaft Prüfungsgerecht
    U. Barthen
    Universität des Saarlandes, 1987. [bib]
  112. Implementierung funktionaler Programmiersprachen durch Kombinatoren und Berechnung von Striktheitsinformation
    A. Lucks-Baus
    Universität des Saarlandes, 1987. [bib]
  113. Implementierung eines Verfahrens zur Striktheitsanalyse funktionaler Programme
    B. Bellmann
    Universität des Saarlandes, 1987. [bib]
  114. Fallstudie eines Systementwicklungsprozeses am Beispiel der Spezifikation eines menügestützten Dialogsystems als Benutzeroberfläche für ein Mittfahrgelegenheitenvermittlungssystem
    F. W. Bollinger
    Universität des Saarlandes, 1987. [bib]
  115. Komprimierung statischer Tabellen für ein baumtransformierendes System
    J. Börstler
    Universität des Saarlandes, 1987. [bib]
  116. Entwicklung eines Previewers zur interaktiven Arbeit mit TeX
    B. Kuhn
    Universität des Saarlandes, 1987. [bib]
  117. Eine Untersuchung geeigneter Netzwerke und Arbeitsverteilungsstrategien für die parallele Reduktion von Kombinatorcode
    J. Metzger
    Universität des Saarlandes, 1987. [bib]
  118. Semantische Analyse für eine funktionale Porgrammiersprache mit polymorphem Typsystem
    M. Baston
    Universität des Saarlandes, 1986. [bib]
  119. Entwurf und Implementierung eines Literaturinformationssyestems als Beispiel der funktionalen Datenbankprogrammierung mit Hilfe der getypten funktionalen Sprache Hope
    H. David
    Universität des Saarlandes, 1986. [bib]
  120. Eine Modulbibliothek für Pascal-m
    W. Degenhardt
    Universität des Saarlandes, 1986. [bib]
  121. Konzept eines Generierungssystems für Codeerzeugung: Die Übertragung des p-Codes auf wechselnde Zielmaschinen
    A. Demmer
    Universität des Saarlandes, 1986. [bib]
  122. Eine interaktive Programmierumgebung für die funktionale Programmiersprache X
    G. Hickel
    Universität des Saarlandes, 1986. [bib]
  123. Komplexe Attribute; Mechanismen zur Verwaltung und Berechnung in einem baumtransformierenden System
    P. Lipps
    Universität des Saarlandes, 1986. [bib]
  124. Gernerierung eines effizienten Attributschedulers für ein baumtransformierendes System
    M. Olk
    Universität des Saarlandes, 1986. [bib]
  125. Registerverteilung und Codeselektion für wechselnde Zielmaschinen
    T. Rauber
    Universität des Saarlandes, 1986. [bib]
  126. Vollständige Transfereinheiten vom Typ 1
    P. Schley
    Universität des Saarlandes, 1986. [bib]
  127. Effiziente Attributspeicherwaltung für ein baumtransformierendes System
    H. Tittelbach
    Universität des Saarlandes, 1986. [bib]
  128. BISAM – Ein maschinenunabhängiger Binder für Pascal-m
    W. Keber
    Universität des Saarlandes, 1985. [bib]
  129. Verfahren zur Generierung LR(k)-Parser-gesteuerter Attributauswerter
    R. F. Lackes
    Universität des Saarlandes, 1985. [bib]
  130. Direkte Generierung der Attributberechnung in Form von p-Code
    R. Mansfeld
    Universität des Saarlandes, 1985. [bib]
  131. Task-Konzept in ADA
    M. Aziz
    Universität des Saarlandes, 1983. [bib]
  132. Praktische Erfahrungen mit der Anwendung von Software-Engineering Metoden unter besonderer Berücksichtigung von Anforderungen der On-line Transaktionsverarbeitung
    R. Guthor
    Universität des Saarlandes, 1983. [bib]
  133. Spezifikation einer Datenbasis als Teil eines Mitfahrgelegenheitenvermittlungssystems
    T. Heubel
    Universität des Saarlandes, 1983. [bib]
  134. Techniken zur Unterstützung quellsprachnahen Testens
    C. Kimmel
    Universität des Saarlandes, 1983. [bib]
  135. Attributierte Transformationsgrammatiken
    M. Schmigalla
    Universität des Saarlandes, 1983. [bib]
  136. Ein System zur Verwaltung getrennt übersetzbarer Einheiten der Programmiersprache ADA
    F. Schuhmacher
    Universität des Saarlandes, 1983. [bib]
  137. ADA-Editor. Teil II – Aspekte der Implementierung
    B. Sieloff
    Universität des Saarlandes, 1983. [bib]
  138. Attributierte Transformationsgrammatiken: die Baumanalyse und Untersuchungen zu Transformationsstrategien
    B. Weisgerber
    Universität des Saarlandes, 1983. [bib]
  139. Implementierung eines Compiler-erzeugenden-Systems auf einem Mikrorechner: der Attributierungsgenerator
    W. Dithmar
    Universität des Saarlandes, 1982. [bib]
  140. Implementierung eines Compiler-Generators auf einem Mikrorechner: Intraktives Lernprogramm
    F. Jakobs
    Universität des Saarlandes, 1982. [bib]
  141. ADA-Editor. Teil I – Grundlagen
    U. Kasper
    Universität des Saarlandes, 1982. [bib]
  142. Pascal Testsystem Simplifier
    V. Licher
    Universität des Saarlandes, 1982. [bib]
  143. Ein LALR(1)-Parsergenerator
    H. Oberhauser
    Universität des Saarlandes, 1982. [bib]
  144. Ein LR-Scanner-Generator
    P. Pfahler
    Universität des Saarlandes, 1982. [bib]
  145. Paketorientierte Übertragungsdienste in Verteilten Systemen
    M. Schneider
    Universität des Saarlandes, 1981. [bib]
  146. Pascal Testsystem: Ablaufsteuerung
    A. Brück
    Universität des Saarlandes, 1980. [bib]
  147. Pascal Testsystem: Symbolische Ausführung
    H. Dorr
    Universität des Saarlandes, 1980. [bib]
  148. Ein LR-Scanner-Generator
    J. Lörscher
    Universität des Saarlandes, 1980. [bib]
  149. Automatische Implementierung von monotonen Rahmen für Datenflussprobleme
    T. Räuchle
    Universität des Saarlandes, 1980. [bib]
  150. Die Realisierung des LCF-Kommandos SIMPL durch Baumtransformatoren
    M. Holbach
    Universität des Saarlandes, 1979. [bib]

Books

  1. Übersetzerbau: Analyse und Transformation
    H. Seidl, R. Wilhelm, and S. Hack
    Springer, 2010. [bib]
  2. Übersetzerbau – Virtuelle Maschinen
    R. Wilhelm, and H. Seidl
    Springer Verlag, 2007. [bib]
  3. Compiler Construction
    R. Wilhelm, ed.
    Springer Verlag, 2001. [bib]
  4. Informatics: 10 Years Back - 10 Years Ahead
    R. Wilhelm
    Springer Verlag, 2000. [bib]
  5. Java \& Co
    S. Diehl
    Addison-Wesley, 1997. [url]  [bib]
  6. Übersetzerbau – Theorie, Konstruktion, Generierung
    R. Wilhelm, and D. Maurer
    Springer Verlag, 1997. [bib]
  7. Grundlagen der Dokumentenverarbeitung
    R. Wilhelm, and R. Heckmann
    Addison-Wesley, 1996. [url]  [bib]
  8. Compiler Design
    R. Wilhelm, and D. Maurer
    Addison-Wesley, 1995. [bib]
  9. Les compilateurs. Théorie. Construction. Génération.
    R. Wilhelm, and D. Maurer
    Masson, 1994. [bib]
  10. Übersetzerbau – Theorie, Konstruktion, Generierung
    R. Wilhelm, and D. Maurer
    Springer Verlag, 1992. [bib]