Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Reinhard Wilhelm
Author information
- affiliation: Saarland University, Compiler Design Lab
- affiliation: Schloss Dagstuhl - Leibniz Center for Informatics
2010 – today
- 2013
[b10]Reinhard Wilhelm, Helmut Seidl, Sebastian Hack: Compiler Design - Syntactic and Semantic Analysis. Springer 2013, ISBN 978-3-642-17539-8, pp. I-X, 1-225- [j38]Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm: Introduction to the special section on rigorous embedded systems design. ACM Trans. Embedded Comput. Syst. 12(1s): 41 (2013)
- [c95]Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm: Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics 2013: 1-18
- [c94]Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav: Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics 2013: 414-445
- [c93]Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm: Impact of Resource Sharing on Performance and Performance Prediction: A Survey. CONCUR 2013: 25-43
- 2012
- [b9]Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Compiler Design - Analysis and Transformation. Springer 2012, ISBN 978-3-642-17547-3, pp. I-XII, 1-177
- [j37]Ernst-Rüdiger Olderog, Reinhard Wilhelm: Turing und die Verifikation. Informatik Spektrum 35(4): 271-279 (2012)
- [c92]Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, Björn Wachter: Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints. Advances in Real-Time Systems 2012: 123-143
- [c91]
- [e13]Reinhard Wilhelm, Heiko Falk, Wang Yi (Eds.): SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012. ACM 2012, ISBN 978-1-4503-1212-7
- 2011
- [c90]Daniel Grund, Jan Reineke, Reinhard Wilhelm: A Template for Predictability Definitions with Supporting Evidence. PPES 2011: 22-31
- [e12]Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm (Eds.): Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France. OASICS 18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2011, ISBN 978-3-939897-28-6
- [i2]Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm: Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos 1(1): 21-40 (2011)
- 2010
- [b8]Reinhard Wilhelm, Helmut Seidl: Compiler Design - Virtual Machines. Springer 2010, ISBN 978-3-642-14908-5, pp. I-XIII, 1-187
- [c89]
- [c88]Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm: Static Timing Analysis for Hard Real-Time Systems. VMCAI 2010: 3-22
2000 – 2009
- 2009
- [j36]Christoph M. Kirsch, Reinhard Wilhelm: EMSOFT 2007 guest editors' introduction. Design Autom. for Emb. Sys. 13(1-2): 3-4 (2009)
- [j35]Roswitha Bardohl, Christian Lindig, Angelika Müller-von Brochowski, Reinhard Wilhelm: Editorial. Computer Science - R&D 23(1): 3-5 (2009)
- [j34]Reinhard Wilhelm, Daniel Grund, Jan Reineke, Marc Schlickling, Markus Pister, Christian Ferdinand: Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 28(7): 966-978 (2009)
- [c87]Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm: Polynomial Precise Interval Analysis Revisited. Efficient Algorithms 2009: 422-437
- [c86]
- [c85]Reinhard Wilhelm: The PROMPT design principles for predictable multi-core architectures. SCOPES 2009: 31-32
- [c84]Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm: Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET 2009
- [p3]Reinhard Wilhelm: Determining Bounds on Execution Times. Embedded Systems Design and Verification 2009: 9
- 2008
- [j33]Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. 7(3) (2008)
- [c83]Reinhard Wilhelm, Björn Wachter: Abstract Interpretation with Applications to Timing Validation. CAV 2008: 22-36
- [c82]E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. DATE 2008: 659-663
- [c81]Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand: Timing Validation of Automotive Software. ISoLA 2008: 93-107
- [c80]
- [c79]Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm: Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376
- [c78]Sascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm: Algorithm visualization using concrete and abstract shape graphs. SOFTVIS 2008: 33-36
- 2007
- [j32]Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm: SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it - Information Technology 49(2): 118-126 (2007)
- [j31]Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm: Timing predictability of cache replacement policies. Real-Time Systems 37(2): 99-122 (2007)
- [j30]Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm: Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1) (2007)
- [c77]
- [c76]Nicolas Fritz, Philipp Lucas, Reinhard Wilhelm: Exploiting SIMD Parallelism with the CGiSCompiler Framework. LCPC 2007: 246-260
- [c75]Jörg Bauer, Reinhard Wilhelm: Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS 2007: 249-264
- [p2]Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm: Shape Analysis and Applications. The Compiler Design Handbook, 2nd ed. 2007: 12
- [e11]Christoph M. Kirsch, Reinhard Wilhelm (Eds.): Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria. ACM 2007, ISBN 978-1-59593-825-1
- [e10]Reinhard Wilhelm (Ed.): 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain. OASICS 1, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [j29]Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. Logic Journal of the IGPL 14(5): 755-783 (2006)
- [c74]Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm: Towards Model-Driven Development of Hard Real-Time Systems. ASWSD 2006: 145-160
- [c73]Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm: The CGiS Compiler-A Tool Demonstration. CC 2006: 105-108
- [c72]Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper: Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006
- [c71]Jörg Bauer, Reinhard Wilhelm: Abstract Interpretation of Graph Transformation. Simulation and Verification of Dynamic Systems 2006
- [c70]Jörg Bauer, Reinhard Wilhelm: Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
- [c69]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. DDECS 2006: 15-20
- [c68]Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm: The Development of the Data-Parallel GPU Programming Language CGiS. International Conference on Computational Science (4) 2006: 200-203
- [c67]Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel: Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. RTCSA 2006: 87-90
- [c66]Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker: A Definition and Classification of Timing Anomalies. WCET 2006
- [e9]Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper (Eds.): Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. OASICS 3, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j28]Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
- [c65]Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309
- [c64]Dierk Johannes, Raimund Seidel, Reinhard Wilhelm: Algorithm animation using shape analysis: visualising abstract executions. SOFTVIS 2005: 17-26
- [c63]Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
- [c62]
- 2004
- [j27]Lothar Thiele, Reinhard Wilhelm: Design for Timing Predictability. Real-Time Systems 28(2-3): 157-177 (2004)
- [c61]Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm: Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. ASWSD 2004: 1-14
- [c60]Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm: Component-Wise Instruction-Cache Behavior Prediction. ATVA 2004: 211-229
- [c59]Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Static Program Analysis via 3-Valued Logic. CAV 2004: 15-30
- [c58]Christoph Berg, Jakob Engblom, Reinhard Wilhelm: Requirements for and Design of a Processor with Predictable Timing. Design of Systems with Predictable Behaviour 2004
- [c57]Lothar Thiele, Reinhard Wilhelm: Abstracts Collection. Design of Systems with Predictable Behaviour 2004
- [c56]Lothar Thiele, Reinhard Wilhelm: Design for Time-Predictability. Design of Systems with Predictable Behaviour 2004
- [c55]
- [c54]
- [c53]
- [e8]Lothar Thiele, Reinhard Wilhelm (Eds.): Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003. Dagstuhl Seminar Proceedings 03471, IBFI, Schloss Dagstuhl, Germany 2004
- 2003
- [j26]Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm: The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE 91(7): 1038-1054 (2003)
- [c52]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. DSN 2003: 625-632
- [c51]Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
- [c50]
- [c49]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. GI Jahrestagung (1) 2003: 335-339
- [c48]Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm: Convenient User Annotations for a WCET Tool. WCET 2003: 17-20
- [c47]Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. WCET 2003: 39-43
- [i1]Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Logical Characterizations of Heap Abstractions. CoRR cs.LO/0312014 (2003)
- 2002
- [j25]Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. 24(3): 217-298 (2002)
- [p1]Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv: Shape Analysis and Applications. The Compiler Design Handbook 2002: 175-218
- 2001
- [c46]Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel: Algorithm Explanation: Visualizing Abstract States and Invariants. Software Visualization 2001: 381-394
- [c45]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. EMSOFT 2001: 469-485
- [e7]Reinhard Wilhelm (Ed.): Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2027, Springer 2001, ISBN 3-540-41861-X
- [e6]Reinhard Wilhelm (Ed.): Informatics - 10 Years Back. 10 Years Ahead. Lecture Notes in Computer Science 2000, Springer 2001, ISBN 3-540-41635-8
- 2000
- [j24]Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm: Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real-Time Systems 18(2/3): 157-179 (2000)
- [j23]Beatrix Braune, Reinhard Wilhelm: Focusing in Algorithm Explanation. IEEE Trans. Vis. Comput. Graph. 6(1): 1-7 (2000)
- [c44]
- [c43]Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38
1990 – 1999
- 1999
- [j22]Reinhard Wilhelm: Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction. Real-Time Systems 17(2-3): 127-129 (1999)
- [j21]Christian Ferdinand, Reinhard Wilhelm: Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real-Time Systems 17(2-3): 131-181 (1999)
- [j20]Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt: Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. 35(2): 163-189 (1999)
- [c42]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. GI Jahrestagung 1999: 410-419
- [c41]Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric Shape Analysis via 3-Valued Logic. POPL 1999: 105-118
- [c40]Beatrix Braune, Stephan Diehl, Andreas Kerren, Reinhard Wilhelm: Animation of the Generation and Computation of Finite Automata for Learning Software. WIA 1999: 39-47
- [e5]Y. Annie Liu, Reinhard Wilhelm (Eds.): Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'99), Atlanta, Georgia, USA, May 5, 1999. ACM 1999, ISBN 1-58113-136-4
- 1998
- [j19]Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Program Flow Analysis. Acta Inf. 35(6): 457-504 (1998)
- [j18]Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. ACM Trans. Program. Lang. Syst. 20(1): 1-50 (1998)
- [c39]Florian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand: Analysis of Loops. CC 1998: 80-94
- [c38]Christian Ferdinand, Reinhard Wilhelm: On Predicting Data Cache Behavior for Real-Time Systems. LCTES 1998: 16-30
- 1997
- [b7]Reinhard Wilhelm, Dieter Maurer: Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage. Springer 1997, ISBN 3-540-61692-6
- [j17]Reinhold Heckmann, Reinhard Wilhelm: A Functional Description of TEX's Formula Layout. J. Funct. Program. 7(5): 451-485 (1997)
- [j16]Reinhard Wilhelm: Program Analysis: A Toolmaker's Perspective. SIGPLAN Notices 32(1): 120-121 (1997)
- 1996
- [b6]Reinhard Wilhelm, Reinhold Heckmann: Grundlagen der Dokumentenverarbeitung. Addison-Wesley 1996, ISBN 978-3-89319-877-1, pp. I-XIV, 1-274
- [j15]Reinhard Wilhelm: Program Analysis - A Toolmaker's Perspective. ACM Comput. Surv. 28(4es): 177 (1996)
- [c37]Reinhard Wilhelm, Martin Alt, Florian Martin, Martin Raber: Parallel Implementation of Functional Languages. LOMAPS 1996: 279-295
- [c36]Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL 1996: 16-31
- [c35]Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm: Cache Behavior Prediction by Abstract Interpretation. SAS 1996: 52-66
- [e4]Reinhard Wilhelm (Ed.): Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993]. Verlag C. H. Beck 1996, ISBN 3-406-40338-7
- 1995
- [b5]Reinhard Wilhelm, Dieter Maurer: Compiler design. Addison-Wesley 1995, ISBN 978-0-201-42290-0, pp. I-XV, 1-606
- [j14]Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm: 2DT-FP: A parallel functional programming language on two-dimensional data. International Journal of Parallel Programming 23(5): 389-422 (1995)
- [c34]Georg Sander, Martin Alt, Christian Ferdinand, Reinhard Wilhelm: CLaX - A Visualized Compiler. Graph Drawing 1995: 459-462
- [c33]Thomas Rauber, Gudula Rünger, Reinhard Wilhelm: An application specific parallel programming paradigm. HPCN Europe 1995: 735-740
- 1994
- [b4]Reinhard Wilhelm, Dieter Maurer: Les compilateurs - théorie, construction, génération. Masson 1994, ISBN 978-2-225-84615-1, pp. I-XII, 1-612
- [j13]Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm: Tree Automata for Code Selection. Acta Inf. 31(8): 741-760 (1994)
- [j12]Peter G. Bouillon, Georg Sander, Reinhard Wilhelm: Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. Inform., Forsch. Entwickl. 9(2): 72-81 (1994)
- [c32]Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster: Implementing 2DT on a Multiprocessor. CC 1994: 113-127
- 1993
- [c31]
- [c30]
- [c29]
- [c28]Reinhard Wilhelm, Otto Spaniol: Parallele und verteilte Systeme. Perspektiven der Informatik 1993: 90-94
- [c27]Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm: 2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. PARLE 1993: 42-55
- [c26]Martin Alt, Georg Sander, Reinhard Wilhelm: Generation of Synchronization Code for Parallel Compilers. PLILP 1993: 420-421
- [c25]Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm: Transformation Development: TrafoLa-H Subsystem. PROSPECTRA Book 1993: 539-576
- 1992
- [b3]Reinhard Wilhelm, Dieter Maurer: Übersetzerbau - Theorie, Konstruktion, Generierung. Springer 1992, ISBN 3-540-55704-0
- 1991
- [j11]Jürgen Börstler, Ulrich Möncke, Reinhard Wilhelm: Table Compression for Tree Automata. ACM Trans. Program. Lang. Syst. 13(3): 295-314 (1991)
- [c24]Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm: Tree Automata for Code Selection. Code Generation 1991: 30-50
- [c23]Ulrich Möncke, Reinhard Wilhelm: Grammar Flow Analysis. Attribute Grammars, Applications and Systems 1991: 151-186
- [c22]Peter Lipps, Ulrich Möncke, Reinhard Wilhelm: An Overview of the OPTRAN System. Attribute Grammars, Applications and Systems 1991: 505-506
- [c21]Reinhard Wilhelm: Attributive Reevaluation in OPTRAN. Attribute Grammars, Applications and Systems 1991: 507
- 1990
- [c20]Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Data Flow Analysis Problem. PLILP 1990: 277-292
- [c19]Reinhard Wilhelm: Tree Tranformations, Functional Languages, and Attribute Grammars. WAGA 1990: 116-129
1980 – 1989
- 1989
- [b2]Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Foundations of Programming Languages. John Wiley 1989, ISBN 0-471-92139-4
- [j10]Dieter Maurer, Reinhard Wilhelm: MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen. Inform., Forsch. Entwickl. 4(2): 67-88 (1989)
- [j9]Winfried Thome, Reinhard Wilhelm: Simulating Circular Attribute Grammars Through Attribute Reevaluation. Inf. Process. Lett. 33(2): 79-81 (1989)
- [c18]Reinhard Wilhelm: Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag). Software-Entwicklung 1989: 156-165
- 1988
- [j8]Peter Lipps, Ulrich Möncke, Matthias Olk, Reinhard Wilhelm: Attribute (Re)evaluation in OPTRAN. Acta Inf. 26(3): 213-239 (1988)
- [c17]Martin Raber, Thomas Remmel, Erwin Hoffmann, Dieter Maurer, Fritz Müller, Hans-Georg Oberhauser, Reinhard Wilhelm: Complied Graph Reduction on a Processor Network. ARCS 1988: 198-212
- [c16]Peter Lipps, Ulrich Möncke, Reinhard Wilhelm: OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences. CC 1988: 52-65
- [c15]Beatrix Weisgerber, Reinhard Wilhelm: Two Tree Pattern Matchers for Code Selection. CC 1988: 215-229
- [c14]M. Baston, H.-J. Bach, A. Lucks-Baus, Fritz Müller, Reinhard Wilhelm: Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren. Innovative Informations-Infrastrukturen 1988: 114-131
- [c13]Gerhard Becker, Brigitte Kuhn, Dieter Maurer, Reinhard Wilhelm: SiATEX - eine interaktive Arbeitsumgeubng für TEX. Innovative Informations-Infrastrukturen 1988: 162-169
- 1987
- [j7]F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm: A Space-Efficient Optimization of Call-by-Need. IEEE Trans. Software Eng. 13(6): 636-642 (1987)
- 1986
- [b1]Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Grundlagen der Programmiersprachen. Teubner 1986, ISBN 3-519-02254-0
- [e3]Bernard Robinet, Reinhard Wilhelm (Eds.): ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings. Lecture Notes in Computer Science 213, Springer 1986, ISBN 3-540-16442-1
- 1984
- [c12]
- [c11]Ulrich Möncke, Beatrix Weisgerber, Reinhard Wilhelm: How to Implement a System for Manipulation of Attributed Trees. Fachtagung über Programmiersprachen 1984: 112-127
- 1983
- [j6]Reinhard Wilhelm: Symbolische Programmausführung - Das aktuelle Schlagwort. Informatik Spektrum 6(3): 170 (1983)
- 1982
- [j5]Jan Messerschmidt, Reinhard Wilhelm: Constructors for Composed Objects. Comput. Lang. 7(2): 53-59 (1982)
- [c10]Reinhard Wilhelm: Imperative, prädikative und funktionale Programmierung (Kurzfassung). GI Jahrestagung 1982: 188-193
- [c9]
- [c8]Harald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm: A Truly Generative Semantics-Directed Compiler Generator. SIGPLAN Symposium on Compiler Construction 1982: 172-184
- 1981
- [j4]Reinhard Wilhelm: A Modified Tree-to-Tree Correction Problem. Inf. Process. Lett. 12(3): 127-132 (1981)
- [c7]Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm: Invariance of Approximate Semantics with Respect to Program Transformations. GI Jahrestagung 1981: 1-10
- 1980
- [c6]Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm: OPTRAN, a Language for the Specification of Program Transformations. Fachtagung über Programmiersprachen 1980: 125-142
- [e2]Reinhard Wilhelm (Ed.): CAD-Fachgespräch, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Informatik-Fachberichte 34, Springer 1980, ISBN 3-540-10389-9
- [e1]Reinhard Wilhelm (Ed.): GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Informatik-Fachberichte 33, Springer 1980, ISBN 3-540-10388-0
1970 – 1979
- 1979
- [j3]Reinhard Wilhelm: Computation and Use of Data Flow Information in Optimizing Compilers. Acta Inf. 12: 209-225 (1979)
- [j2]
- 1978
- [j1]Robert Giegerich, Reinhard Wilhelm: Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars. Inf. Process. Lett. 7(6): 279-284 (1978)
- 1977
- [c5]Robert Giegerich, Reinhard Wilhelm: Implementierbarkeit attributierter Grammatiken. GI Jahrestagung 1977: 17-36
- [c4]Harald Ganzinger, Knut Ripken, Reinhard Wilhelm: Automatic Generation of Optimizing Multipass Compilers. IFIP Congress 1977: 535-540
- 1976
- [c3]Reinhard Wilhelm, Knut Ripken, Joachim Ciesinger, Harald Ganzinger, Walter Lahner, R. Nollmann: Design Evaluation of the Compiler Generating System MUGI. ICSE 1976: 571-576
- 1975
- [c2]Harald Ganzinger, Reinhard Wilhelm: Verschränkung von Compiler-Moduln. GI Jahrestagung 1975: 654-665
- 1974
- [c1]Reinhard Wilhelm: Code-Optimierung Mittels Attributierter Transformationsgrammatiken. GI Jahrestagung 1974: 257-266
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:59 CEST by the dblp team