Prof. em. Dr. Dr. h.c. Reinhard Wilhelm

wilhelm

Positions and Functions

Publications

40 Jahre Saarbrücker Informatik, saargeschichte|n 2-2009

See the list of my (and some random Reinhards') publications in BibFinder or publications in DBLP or citations in Citeseer.

Journal Papers

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Design for Timing Predictability
    L. Thiele, and R. Wilhelm
    Real-Time Systems, 28, 2004. [bib]
  6. 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]
  7. 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]
  8. Focusing in Algorithm Explanation
    B. Braune, and R. Wilhelm
    IEEE Transactions on Visualization and Computer Graphics, 6 (1), 2000. [bib]
  9. 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]
  10. Focussing in Algorithm Explanation
    R. Wilhelm, and B. Braune
    Transactions on Visualization and Computer Graphics, 6 (1), 2000. [bib]
  11. Fast and Efficient Cache Behavior Prediction for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    Real-Time Systems, 17(2/3), 1999. [bib]
  12. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Science of Computer Programming, 1998. [bib]
  13. A Functional Description of TeX's Formula Layout
    R. Heckmann, and R. Wilhelm
    Journal of Functional Programming, 1998. [bib]
  14. Operations Research Methods in Compiler Backends
    D. Kästner, and R. Wilhelm
    Mathematical Communications, 3 (2), 1998. [bib]
  15. 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]
  16. A Logic-Based Approach to Data Flow Analysis Problems
    S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
    ACTA INFORMATICA, 35, 1998. [bib]
  17. Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung
    P. G. Bouillon, G. Sander, and R. Wilhelm
    Informatik: Forschung und Entwicklung, 9 (2), 1994. [bib]
  18. Table Compression for Tree Automata
    J. Börstler, U. Möncke, and R. Wilhelm
    ACM Transactions on Programming Languages and Systems (TOPLAS), 13 (3), 1991. [bib]
  19. MaMa – Eine abstrakte Maschine zur Implementierung funktionaler Sprachen
    D. Maurer, and R. Wilhelm
    Informatik – Forschung und Entwicklung, 4, 1989. [bib]
  20. Implementing Circular Attribute Grammars Through Attribute Reevaluation
    W. Thome, and R. Wilhelm
    Information Processing Letters, 33 (3), 1989. [bib]
  21. Attribute (Re)evaluation in OPTRAN
    P. Lipps, U. Möncke, and R. Wilhelm
    Acta Informatica, 26, 1988. [bib]
  22. A Space-Efficient Optmization of Call-by-Need
    W. Burton, D. Maurer, H. Oberhauser, and R. Wilhelm
    IEEE Transactions on Software Engineering, 13 (6), 1987. [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. Informatics: 10 Years Back - 10 Years Ahead
    R. Wilhelm
    Springer Verlag, 2000. [bib]
  4. Übersetzerbau – Theorie, Konstruktion, Generierung
    R. Wilhelm, and D. Maurer
    Springer Verlag, 1997. [bib]
  5. Grundlagen der Dokumentenverarbeitung
    R. Wilhelm, and R. Heckmann
    Addison-Wesley, 1996. [url]  [bib]
  6. Compiler Design
    R. Wilhelm, and D. Maurer
    Addison-Wesley, 1995. [bib]
  7. Les compilateurs. Théorie. Construction. Génération.
    R. Wilhelm, and D. Maurer
    Masson, 1994. [bib]
  8. Übersetzerbau – Theorie, Konstruktion, Generierung
    R. Wilhelm, and D. Maurer
    Springer Verlag, 1992. [bib]

Collections

  1. Determining Bounds on Execution Times
    R. Wilhelm
    Handbook on Embedded Systems, CRC Press, 2006. [bib]
  2. Shape Analysis and Applications
    T. Reps, M. Sagiv, and R. Wilhelm
    The Compiler Design Handbook: Optimizations \& Machine Code Generation, CRC Press, 2002. [bib]
  3. Algorithm Explanation: Visualizing Abstract States and Invariants
    R. Wilhelm, T. Müldner, and R. Seidel
    Software Visualization, Springer Verlag, 2002. [bib]

Conference Papers

  1. 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]
  2. Embedded Systems: Many Cores – Many Problems
    R. Wilhelm, and J. Reineke
    Symposium on Industrial Embedded Systems, 2012. [bib]
  3. 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]
  4. Static Timing Analysis for Hard Real-Time Systems
    R. Wilhelm, S. Altmeyer, C. Burguière, D. Grund, J. Herter, J. Reineke, B. Wachter, and S. Wilhelm
    VMCAI, 2010. [doi]  [bib]
  5. 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]
  6. Ubiquitous Verification of Ubiquitous Systems
    R. Wilhelm, and M. Maffei
    Proceedings of the International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), 2010. [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. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Leroux, J. Reineke, H. Seidl, G. Sutre, and R. Wilhelm
    Efficient Algorithms, 2009. [doi]  [pdf]  [bib]
  9. 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]
  10. Operating Mode Specific WCET Analysis
    P. Lucas, O. Parshin, and R. Wilhelm
    Proceedings of JRWRTC, 2009. [bib]
  11. 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]
  12. Exploiting SIMD Parallelism with the CGiS Compiler Framework
    N. Fritz, P. Lucas, and R. Wilhelm
    Proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing (LCPC'07), 2008. [bib]
  13. Abstract Interpretation with Applications to Timing Validation
    R. Wilhelm, and B. Wachter
    CAV, 2008. [pdf]  [bib]
  14. 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]
  15. Timing Validation of Automotive Software
    D. Kästner, R. Wilhelm, R. Heckmann, M. Schlickling, M. Pister, M. Jersak, K. Richter, and C. Ferdinand
    3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) 2008, 2008. [url]  [bib]
  16. 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]
  17. Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures
    E. Frank, R. Wilhelm, R. Ernst, A. Sangiovanni-Vincentelli, and M. Di Natale
    DATE '08: Proceedings of the conference on Design, automation and test in Europe, 2008. [doi]  [bib]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Towards Model-Driven Development of Hard Real-Time Systems—Integrating ASCET-MD and aiT/StackAnalyzer
    C. Ferdinand, R. Heckmann, H. Wolff, C. Renz, O. Parshin, and R. Wilhelm
    Proceedings of Automotive Software Workshop in San Diego, 2006. [bib]
  23. 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]
  24. 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]
  25. 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]
  26. Timing Analysis and Timing Predictability
    R. Wilhelm
    FMCO 2004, 2005. [bib]
  27. 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]
  28. Component-Wise Instruction-Cache Behavior Prediction
    A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
    ATVA 2004, 2004. [bib]
  29. Static Program Analysis via 3-Valued Logic
    T. Reps, S. Sagiv, and R. Wilhelm
    CAV 2004, 2004. [bib]
  30. Formal Analysis of Processor Timing Models
    R. Wilhelm
    Model Checking Software, 11th International SPIN Workshop, 2004. [bib]
  31. Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
    R. Wilhelm
    VMCAI 2004, 2004. [url]  [bib]
  32. 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]
  33. Verifying Temporal Heap Properties Specified via Evolution Logic
    E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm
    European Symposium on Programming, 2003. [bib]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Shape Analysis
    R. Wilhelm, M. Sagiv, and T. Reps
    International Conference on Compiler Construction, 2000. [bib]
  39. 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]
  40. Java and CoSy Technology for Embedded Systems: the JOSES Project
    D. Genius, U. Assmann, P. Fritzson, H. Sips, R. Kurver, R. Wilhelm, H. Schepers, and T. Rindborg
    Proc. of the European Multimedia, Microprocessor Systems, Technologies for Business Processing and Electronic Commerce Conference (EMMSEC'99), 1999. [ps]  [bib]
  41. 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]
  42. 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]
  43. Analysis of Loops
    F. Martin, M. Alt, R. Wilhelm, and C. Ferdinand
    Proceedings of the 7th International Conference on Compiler Construction, 1998. [bib]
  44. 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]
  45. 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]
  46. Cache Behavior Prediction by Abstract Interpretation
    M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of SAS'96, Static Analysis Symposium, 1996. [bib]
  47. 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]
  48. An Application Specific Parallel Programming Paradigm
    T. Rauber, G. Rünger, and R. Wilhelm
    Proc. of High-Performance Computing and Networking, LNCS 919, 1995. [bib]
  49. CLaX—A Visualized Compiler
    G. Sander, M. Alt, C. Ferdinand, and R. Wilhelm
    Graph Drawing, Workshop GD'95, 1995. [bib]
  50. The TraFoLa-H System
    M. Alt, C. Fecht, C. Ferdinand, and R. Wilhelm
    PROgram Development by SPECification and TRAnsformation, 1993. [bib]
  51. Generation of Synchronization Code for Parallel Compilers
    M. Alt, G. Sander, and R. Wilhelm
    5th International Symposium on Programming Language Implementation and Logic Programming, 1993. [bib]
  52. 2DT-FP: An FP-based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
    Y. Ben-Asher, G. Rünger, A. Schuster, and R. Wilhelm
    Proc. PARLE '93, 1993. [bib]
  53. Tree Automata for Code Selection
    C. Ferdinand, H. Seidl, and R. Wilhelm
    Code Generation – Concepts, Tools, Techniques, 1992. [bib]
  54. Baumautomaten zur Codeselektion
    C. Ferdinand, H. Seidl, and R. Wilhelm
    Festschrift zum 60. Geburtstag von Guenter Hotz, 1992. [bib]
  55. Grammar Flow Analysis
    U. Möncke, and R. Wilhelm
    Attribute Grammars, Applications and Systems, 1991. [pdf]  [bib]
  56. 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]
  57. Probabilistic Load Balancing for Parallel Graph Reduction
    H. Seidl, R. Wilhelm, and Y. Ben-Asher
    Proc. Int. Workshop on Implementation of Functional Languages on Parallel Architectures, 1990. [bib]
  58. The Transpose Machine: A Global Implementation of a Parallel Graph Reducer
    Y. B. Asher, H. Seidl, and R. Wilhelm
    Proc. TENCON '89, Fourth IEEE Region10 International Conference, 1989. [bib]
  59. OPTRAN—A Language/System for the Specification of Program Transformations: System Overview and Experiences
    P. Lipps, U. Möncke, and R. Wilhelm
    Proc. of Workshop `Compiler Compilers and High Speed Compilation', 1989. [bib]
  60. Probabilistic Load Balancing for Parallel Graph Reduction
    H. Seidl, and R. Wilhelm
    Proc. TENCON '89, Fourth IEEE Region10 International Conference, 1989. [bib]
  61. Two Tree Pattern Matchers for Code Selection (Including Targeting)
    B. Weisgerber, and R. Wilhelm
    Proc. of Workshop `Compiler Compilers and High Speed Compilation', 1989. [bib]
  62. Compiled Graph Reduction on a Processor Network
    M. Raber, T. Remmel, E. Hoffmann, D. Maurer, F. Müller, H. Oberhauser, and R. Wilhelm
    Architektur und Betrieb von Rechensystemen, 10. GI/ITG-Fachtagung, 1988. [bib]
  63. Generative Support for Transformational Programming
    U. Möncke, B. Weisgerber, and R. Wilhelm
    European Strategic Programme for Research and development in Information Technology, 1986. [bib]
  64. Invariance of Approximative Semantics with Respect to Program Transformations
    R. Giegerich, U. Möncke, and R. Wilhelm
    GI 11. Jahrestagung, 1981. [ps]  [bib]

Technical Reports

  1. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
    J. Bauer, and R. Wilhelm
    Technical Report, Dagstuhl, 2006. [pdf]  [bib]
  2. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Reineke, H. Seidl, and R. Wilhelm
    Technical Report, TU München, Germany, 2006. [bib]
  3. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, 2006. [pdf]  [bib]
  4. 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]
  5. Pipeline Behaviour Prediction for Superscalar Processors
    J. Schneider, C. Ferdinand, and R. Wilhelm
    Technical Report, FB 14 - Informatik, Universität des Saarlandes, 1999. [bib]
  6. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Technical Report, Universität des Saarlandes, 1997. [bib]
  7. Generating Dataflow Analyzers with PAG
    M. Alt, F. Martin, and R. Wilhelm
    Technical Report, Universität des Saarlandes, 1995. [bib]
  8. Formula Layout
    R. Heckmann, and R. Wilhelm
    Technical Report, FB 14 Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1995. [bib]
  9. An Abstract Machine for an Object-Oriented Language with Top-Level Classes
    C. Böschen, C. Fecht, A. V. Hense, and R. Wilhelm
    Technical Report, Universität des Saarlandes, 1994. [bib]
  10. Generation of Distributed Supervisors for Parallel Compilers
    M. Alt, G. Sander, and R. Wilhelm
    Technical Report, Universität des Saarlandes, Fachbereich 14, Informatik, 1993. [bib]
  11. 2DT-FP: An FP based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
    Y. Ben-Asher, G. Rünger, A. Schuster, and R. Wilhelm
    Technical Report, Universität des Saarlandes, SFB 124, 1993. [bib]
  12. Evaluation of Applicative Style Attributes Using Lazy Memo Functions
    A. V. Hense, and R. Wilhelm
    Technical Report, European Strategic Programme for Research and development in Information Technology, 1989. [bib]

Selected Talks

Address

Prof. Dr. Reinhard Wilhelm
Compiler Research Group
FR. 6.2 - Informatik
Universität des Saarlandes
Postfach 15 11 50
66041 Saarbrücken
Building E1 3, Room 405
Germany

Phone: +49 (0)681 - 302 - 3434
Fax: +49 (0)681 - 302 - 3065
email: wilhelm (at) cs (dot) uni-saarland (dot) de