default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReinhard Wilhelm
Person information
- affiliation: Saarland University, Compiler Design Lab, Germany
- affiliation: Schloss Dagstuhl - Leibniz Center for Informatics, Germany
- award (2020): TCRTS Outstanding Technical Achievement and Leadership Award
- award (2010): ACM Distinguished Service Award
- award (2009): Konrad Zuse Medal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c106]Reinhard Wilhelm, Jan Reineke:
Sound WCET Analysis, Explanation of the Method and of the Results. ERSA@RTSS 2024: 1-5- 2023
- [c105]Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand:
Abstract Interpretation in Industry - Experience and Lessons Learned. SAS 2023: 10-27 - 2022
- [b14]Reinhard Wilhelm:
Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten eines Informatikers von geringem Verstande. Amazon / Via tolino media 2022, ISBN 9783754675946 - [j48]Reinhard Wilhelm
:
Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm. Formal Aspects Comput. 34(2): 1-3 (2022) - 2021
- [j47]Reinhard Wilhelm:
Foundations of programming languages. Formal Aspects Comput. 33(6): 1279-1280 (2021) - [c104]Reinhard Wilhelm, Markus Pister, Gernot Gebhard, Daniel Kästner:
Testing Implementation Soundness of a WCET Analysis Tool. A Journey of Embedded and Cyber-Physical Systems 2021: 5-17 - [i63]Reinhard Wilhelm:
Software und das 8. Gebot - Glosse. Inform. Spektrum 44(1): 67-68 (2021) - [i62]Reinhard Wilhelm:
Verifizierter Interessenskonflikt - Glosse. Inform. Spektrum 44(2): 136-137 (2021) - [i61]Reinhard Wilhelm:
Kreisläufe des Lebens. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i60]Reinhard Wilhelm:
Das Glück, Heribert zu heißen. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i59]Reinhard Wilhelm:
Den Kontrolleur kontrollieren. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i58]Reinhard Wilhelm:
TechnoKing Elon Musk und risikomaximierter Minister Andi Scheuer. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i57]Reinhard Wilhelm:
Geadeltes Gemüse. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i56]Reinhard Wilhelm:
Fucking Bitche. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i55]Reinhard Wilhelm:
Das kleine und das große Geschäft bei Amazon. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i54]Reinhard Wilhelm:
Graduelle Mitgliedschaft. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i53]Reinhard Wilhelm:
Eine Bahnfahrt, die ist lustig, eine Bahnfahrt, die ist schön! Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i52]Reinhard Wilhelm:
Standardisierung und Kommunikation. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i51]Reinhard Wilhelm:
Open Access to the University Cash Box. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i50]Reinhard Wilhelm:
Taliban in Wikipedia. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i49]Reinhard Wilhelm:
Weiche oder harte Wegbiegung. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i48]Reinhard Wilhelm:
Die Automatisierung nachgeordneter Prozesse. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i47]Reinhard Wilhelm:
Der Niedergang des Schlapphütefilms. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i46]Reinhard Wilhelm:
Trekking oder Tracking, das ist hier die Frage. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - 2020
- [b13]Reinhard Wilhelm:
Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum. Springer 2020, ISBN 978-3-658-28385-8 - [j46]Reinhard Wilhelm:
Real time spent on real time. Commun. ACM 63(10): 54-60 (2020) - [j45]Reinhard Wilhelm:
Determining Reliable and Precise Execution Time Bounds of Real-Time Software. IT Prof. 22(3): 64-69 (2020) - [c103]Reinhard Wilhelm:
Real Time Spent on Real Time. RTSS 2020: 1-2 - [i45]Reinhard Wilhelm:
Geladen bis zum Limit - Glosse. Inform. Spektrum 42(6): 453-454 (2020) - [i44]Reinhard Wilhelm:
Bär, Bulle, Dachs und Co - Glosse. Inform. Spektrum 43(1): 63-64 (2020) - [i43]Reinhard Wilhelm:
Google, übersetze! - Glosse. Inform. Spektrum 43(2): 164-165 (2020) - [i42]Reinhard Wilhelm:
Die Bahn gewährt eine Freifahrt - Glosse. Inform. Spektrum 43(3): 232-233 (2020) - [i41]Reinhard Wilhelm:
Daten- und Personenpfade - Glosse. Inform. Spektrum 43(4): 308-309 (2020) - [i40]Reinhard Wilhelm:
Die Seuche am Hals - Glosse. Inform. Spektrum 43(5): 356-357 (2020) - [i39]Reinhard Wilhelm:
Tiefes Leid und enorme Großzügigkeit - Glosse. Inform. Spektrum 43(6): 444-445 (2020)
2010 – 2019
- 2019
- [j44]Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm:
Benchmarking static code analyzers. Reliab. Eng. Syst. Saf. 188: 336-346 (2019) - [c102]Volker Claus, Stefan Jähnichen, Reinhard Wilhelm:
GI 50 - und wie geht es weiter? GI-Jahrestagung 2019: 25 - [i38]Reinhard Wilhelm:
Der rollende Fortschritt - Glosse. Inform. Spektrum 42(1): 67 (2019) - [i37]Reinhard Wilhelm:
Autonom gefahren - Glosse. Inform. Spektrum 42(2): 148 (2019) - [i36]Reinhard Wilhelm:
Im goldenen Zeitalter der Kommunikation - Glosse. Inform. Spektrum 42(3): 220-221 (2019) - [i35]Reinhard Wilhelm:
Letzte Rätsel - Glosse. Inform. Spektrum 42(4): 310-312 (2019) - [i34]Reinhard Wilhelm:
Au, Toren schafft Autorenschaft - Glosse. Inform. Spektrum 42(5): 370-371 (2019) - 2018
- [c101]Reinhard Wilhelm:
On the Road to Conviction: An Email Exchange with Edward Lee. Principles of Modeling 2018: 524-537 - [c100]Reinhard Wilhelm:
Mixed Feelings About Mixed Criticality (Invited Paper). WCET 2018: 1:1-1:9 - [p5]Reinhard Wilhelm, Jan Reineke, Simon Wegener:
Keeping up with Real Time. Advances in Aeronautical Informatics 2018: 121-133 - [i33]Reinhard Wilhelm:
Gesund oder ungesund, das ist hier die Frage - Glosse. Inform. Spektrum 41(1): 67-68 (2018) - [i32]Reinhard Wilhelm:
Autonomer Optimismus - Glosse. Inform. Spektrum 41(2): 149-150 (2018) - [i31]Reinhard Wilhelm:
Die Individualisierung des Nutzen - Glosse. Inform. Spektrum 41(6): 449 (2018) - 2017
- [c99]Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm:
Benchmarking Static Code Analyzers. SAFECOMP 2017: 197-212 - [i30]Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger:
Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports 7(7): 72-87 (2017) - [i29]Reinhard Wilhelm:
Künstliche Begeisterung und abgrundtiefes Lernen - Glosse. Inform. Spektrum 40(2): 225-226 (2017) - [i28]Reinhard Wilhelm:
Mit besten Empfehlungen - Glosse. Inform. Spektrum 40(6): 612 (2017) - 2016
- [j43]Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi:
A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. 3(1): 05:1-05:48 (2016) - [c98]Jan Reineke, Reinhard Wilhelm:
Static Timing Analysis - What is Special? Semantics, Logics, and Calculi 2016: 74-87 - [i27]Reinhard Wilhelm:
Revolutionäre bibliometrische Maße - Glosse. Inform. Spektrum 39(3): 250-251 (2016) - [i26]Reinhard Wilhelm:
GLOSSE 4.0 - Glosse. Inform. Spektrum 39(5): 407 (2016) - [i25]Reinhard Wilhelm:
Das WissPersPlan-Problem - Glosse. Inform. Spektrum 39(6): 486-487 (2016) - 2015
- [j42]Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
Towards compositionality in execution time analysis: definition and challenges. SIGBED Rev. 12(1): 28-36 (2015) - [c97]Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
Toward Compact Abstractions for Processor Pipelines. Correct System Design 2015: 205-220 - [i24]Reinhard Wilhelm, Otto Spaniol:
Die Energiewende in ihrem Lauf, ... - Glosse. Inform. Spektrum 38(2): 163-164 (2015) - [i23]Reinhard Wilhelm:
Der Algorithmus - eine moderne Menschheitsplage - Glosse. Inform. Spektrum 38(4): 330-331 (2015) - [i22]Reinhard Wilhelm:
Kluge Elterei - Glosse. Inform. Spektrum 38(5): 433-434 (2015) - [i21]Reinhard Wilhelm:
Bedienhilfen - Glosse. Inform. Spektrum 38(6): 577-578 (2015) - 2014
- [j41]Reinhard Wilhelm, Daniel Grund:
Computation takes time, but how much? Commun. ACM 57(2): 94-103 (2014) - [j40]Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi:
Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 13(4): 82:1-82:37 (2014) - [c96]Reinhard Wilhelm:
Keller im Übersetzerbau. Keller, Stack und automatisches Gedächtnis 2014: 43-53 - [c95]Jan Reineke, Reinhard Wilhelm:
Impact of resource sharing on performance and performance prediction. DATE 2014: 1-2 - [c94]Reinhard Wilhelm:
Software Quality Assurance by Static Program Analysis. SWQD 2014: 1-11 - [i20]Reinhard Wilhelm:
Die Differenzierung der Mail-Halde - Glosse. Inform. Spektrum 37(1): 67-68 (2014) - [i19]Reinhard Wilhelm:
Reisen ins Unwesentliche - Glosse. Inform. Spektrum 37(5): 509-510 (2014) - [i18]Reinhard Wilhelm:
Gespritzt, bestrahlt, gepumpt, aber nicht verifiziert - Glosse. Inform. Spektrum 37(6): 610-611 (2014) - 2013
- [b12]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 - [j39]Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm:
Introduction to the special section on rigorous embedded systems design. ACM Trans. Embed. Comput. Syst. 12(1s): 41:1-41:2 (2013) - [c93]Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm:
Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics 2013: 1-18 - [c92]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 - [c91]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 - [i17]Reinhard Wilhelm:
Müll und Metamüll - Glosse. Inform. Spektrum 36(1): 118 (2013) - [i16]Reinhard Wilhelm:
Zwitschernd in den Untergang - Glosse. Inform. Spektrum 36(3): 335 (2013) - [i15]Reinhard Wilhelm:
Achtung Satire: Wasserdampf ade - Glosse. Inform. Spektrum 36(6): 577 (2013) - 2012
- [b11]Helmut Seidl, Reinhard Wilhelm, Sebastian Hack:
Compiler Design - Analysis and Transformation. Springer 2012, ISBN 978-3-642-17547-3, pp. I-XII, 1-177 - [j38]Ernst-Rüdiger Olderog, Reinhard Wilhelm:
Turing und die Verifikation. Inform. Spektrum 35(4): 271-279 (2012) - [c90]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 - [c89]Reinhard Wilhelm, Jan Reineke:
Embedded systems: Many cores - Many problems. SIES 2012: 176-180 - [e13]Reinhard Wilhelm, Heiko Falk, Wang Yi:
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 [contents] - [i14]Reinhard Wilhelm:
Sehr zu empfehlen - Glosse. Inform. Spektrum 35(2): 157-158 (2012) - [i13]Reinhard Wilhelm:
Paradies 2.0 - Glosse. Inform. Spektrum 35(3): 232 (2012) - [i12]Reinhard Wilhelm:
"Von Scheiße befreit", Frei nach Goethe, Faust I - Glosse. Inform. Spektrum 35(5): 376 (2012) - [i11]Reinhard Wilhelm:
The International Swabian Rim Workshop on Extremely Agile Goal-Oriented Insightbased System Engineering - Glosse. Inform. Spektrum 35(6): 468 (2012) - 2011
- [j37]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) - [c88]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:
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 [contents] - [i10]Reinhard Wilhelm:
Usability considered harmful - Glosse. Inform. Spektrum 34(2): 228-229 (2011) - [i9]Reinhard Wilhelm:
Brad Bit and Juliette Binom - Glosse. Inform. Spektrum 34(3): 325-326 (2011) - [i8]Reinhard Wilhelm:
Auf ewig sicher !? - Glosse. Inform. Spektrum 34(4): 420-421 (2011) - [i7]Reinhard Wilhelm:
Die Freuden der rechnergestützten Lebensführung - Glosse. Inform. Spektrum 34(6): 628-629 (2011) - 2010
- [b10]Reinhard Wilhelm, Helmut Seidl:
Compiler Design - Virtual Machines. Springer 2010, ISBN 978-3-642-14908-5, pp. I-XIII, 1-187 - [c87]Reinhard Wilhelm, Matteo Maffei:
Ubiquitous Verification of Ubiquitous Systems. SEUS 2010: 47-58 - [c86]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. Des. Autom. Embed. Syst. 13(1-2): 3-4 (2009) - [j35]Roswitha Bardohl, Christian Lindig, Angelika Müller-von Brochowski, Reinhard Wilhelm:
Editorial. Comput. Sci. Res. Dev. 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. Comput. Aided Des. Integr. Circuits Syst. 28(7): 966-978 (2009) - [c85]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 - [c84]Thomas Heinz, Reinhard Wilhelm:
Towards device emulation code generation. LCTES 2009: 109-118 - [c83]Lili Tan, Björn Wachter, Philipp Lucas, Reinhard Wilhelm:
Improving Timing Analysis for Matlab Simulink/Stateflow. ACES-MB@MoDELS 2009 - [c82]Reinhard Wilhelm:
The PROMPT design principles for predictable multi-core architectures. SCOPES 2009: 31-32 - [c81]Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm:
Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET 2009 - [p4]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. Embed. Comput. Syst. 7(3): 36:1-36:53 (2008) - [c80]Reinhard Wilhelm, Björn Wachter:
Abstract Interpretation with Applications to Timing Validation. CAV 2008: 22-36 - [c79]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 - [c78]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 - [c77]Reinhard Wilhelm:
Architectural Influence on the Timing Predictability. MMB 2008: 11-12 - [c76]Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm:
Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376 - [c75]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 Inf. Technol. 49(2): 118-126 (2007) - [j31]Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm:
Timing predictability of cache replacement policies. Real Time Syst. 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): 5 (2007) - [c74]Christoph M. Kirsch, Reinhard Wilhelm:
Grand challenges in embedded software. EMSOFT 2007: 2-6 - [c73]Nicolas Fritz, Philipp Lucas, Reinhard Wilhelm:
Exploiting SIMD Parallelism with the CGiSCompiler Framework. LCPC 2007: 246-260 - [c72]Jörg Bauer, Reinhard Wilhelm:
Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS 2007: 249-264 - [p3]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:
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 [contents] - [e10]Reinhard Wilhelm:
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 [contents] - 2006
- [j29]Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic. Log. J. IGPL 14(5): 755-783 (2006) - [c71]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 - [c70]Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm:
The CGiS Compiler-A Tool Demonstration. CC 2006: 105-108 - [c69]Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper:
Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006 - [c68]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 - [c67]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 - [c66]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 - [c65]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:
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 [contents] - [i6]Jörg Bauer, Reinhard Wilhelm:
Abstract Interpretation of Graph Transformation. Simulation and Verification of Dynamic Systems 2006 - [i5]Jörg Bauer, Reinhard Wilhelm:
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Software Verification: Infinite-State Model Checking and Static Program Analysis 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. Embed. Comput. Syst. 4(3): 587-611 (2005) - [c64]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 - [c63]Dierk Johannes, Raimund Seidel, Reinhard Wilhelm:
Algorithm animation using shape analysis: visualising abstract executions. SOFTVIS 2005: 17-26 - [c62]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 - [c61]Reinhard Wilhelm:
2005 WCET Preface - Message from the Workshop Chair. WCET 2005 - [r1]Reinhard Wilhelm:
Determining Bounds on Execution Times. Embedded Systems Handbook 2005 - 2004
- [j27]Lothar Thiele, Reinhard Wilhelm:
Design for Timing Predictability. Real Time Syst. 28(2-3): 157-177 (2004) - [c60]Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm:
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. ASWSD 2004: 1-14 - [c59]Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm:
Component-Wise Instruction-Cache Behavior Prediction. ATVA 2004: 211-229 - [c58]Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Static Program Analysis via 3-Valued Logic. CAV 2004: 15-30 - [c57]Reinhard Wilhelm:
Timing Analysis and Timing Predictability. FMCO 2004: 317-323 - [c56]Reinhard Wilhelm:
Formal Analysis of Processor Timing Models. SPIN 2004: 1-4 - [c55]Reinhard Wilhelm:
Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. VMCAI 2004: 309-322 - [e8]Lothar Thiele, Reinhard Wilhelm:
Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003. Dagstuhl Seminar Proceedings 03471, IBFI, Schloss Dagstuhl, Germany 2004 [contents] - [i4]Christoph Berg, Jakob Engblom, Reinhard Wilhelm:
Requirements for and Design of a Processor with Predictable Timing. Design of Systems with Predictable Behaviour 2004 - [i3]Lothar Thiele, Reinhard Wilhelm:
Abstracts Collection. Design of Systems with Predictable Behaviour 2004 - [i2]Lothar Thiele, Reinhard Wilhelm:
Design for Time-Predictability. Design of Systems with Predictable Behaviour 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. Proc. IEEE 91(7): 1038-1054 (2003) - [c54]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 - [c53]Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222 - [c52]Reinhard Wilhelm:
Run-Time Guarantees for Real-Time Systems. FORMATS 2003: 166-167 - [c51]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 - [c50]Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm:
Convenient User Annotations for a WCET Tool. WCET 2003: 17-20 - [c49]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) - [p2]Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv:
Shape Analysis and Applications. The Compiler Design Handbook 2002: 175-218 - 2001
- [c48]Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel:
Algorithm Explanation: Visualizing Abstract States and Invariants. Software Visualization 2001: 381-394 - [c47]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:
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 [contents] - [e6]Reinhard Wilhelm:
Informatics - 10 Years Back. 10 Years Ahead. Lecture Notes in Computer Science 2000, Springer 2001, ISBN 3-540-41635-8 [contents] - 2000
- [j24]Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm:
Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real Time Syst. 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) - [c46]Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps:
Shape Analysis. CC 2000: 1-17 - [c45]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 Syst. 17(2-3): 127-129 (1999) - [j21]Christian Ferdinand, Reinhard Wilhelm:
Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real Time Syst. 17(2-3): 131-181 (1999) - [j20]Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Helmut Alt:
Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. 35(2): 163-189 (1999) - [c44]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 - [c43]Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm:
Parametric Shape Analysis via 3-Valued Logic. POPL 1999: 105-118 - [c42]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:
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 [contents] - 1998
- [j19]Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm:
A Logic-Based Approach to Program Flow Analysis. Acta Informatica 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) - [c41]Florian Martin, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand:
Analysis of Loops. CC 1998: 80-94 - [c40]Christian Ferdinand, Reinhard Wilhelm:
On Predicting Data Cache Behavior for Real-Time Systems. LCTES 1998: 16-30 - 1997
- [b9]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. ACM SIGPLAN Notices 32(1): 120-121 (1997) - 1996
- [b8]Reinhard Wilhelm:
Informatik - Grundlagen, Anwendungen, Perspektiven. Beck'sche Reihe 2038, Beck 1996, ISBN 978-3-406-40338-5, pp. 1-143 - [b7]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) - [c39]Reinhard Wilhelm, Martin Helmut Alt, Florian Martin, Martin Raber:
Parallel Implementation of Functional Languages. LOMAPS 1996: 279-295 - [c38]Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm:
Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL 1996: 16-31 - [c37]Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm:
Cache Behavior Prediction by Abstract Interpretation. SAS 1996: 52-66 - [e4]Reinhard Wilhelm:
Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993]. Verlag C. H. Beck 1996, ISBN 3-406-40338-7 [contents] - 1995
- [b6]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. Int. J. Parallel Program. 23(5): 389-422 (1995) - [c36]Georg Sander, Martin Helmut Alt, Christian Ferdinand, Reinhard Wilhelm:
CLaX - A Visualized Compiler. GD 1995: 459-462 - [c35]Thomas Rauber, Gudula Rünger, Reinhard Wilhelm:
An application specific parallel programming paradigm. HPCN Europe 1995: 735-740 - 1994
- [b5]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 Informatica 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) - [c34]Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster:
Implementing 2DT on a Multiprocessor. CC 1994: 113-127 - 1993
- [c33]Volker Claus, Reinhard Wilhelm:
Einleitung. Perspektiven der Informatik 1993: 9-12 - [c32]Reinhard Wilhelm:
Generische und generative Methoden. Perspektiven der Informatik 1993: 84-85 - [c31]Reinhard Wilhelm, Hans Hagen:
Programmiersprachen. Perspektiven der Informatik 1993: 86-90 - [c30]Reinhard Wilhelm, Otto Spaniol:
Parallele und verteilte Systeme. Perspektiven der Informatik 1993: 90-94 - [c29]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 - [c28]Martin Helmut Alt, Georg Sander, Reinhard Wilhelm:
Generation of Synchronization Code for Parallel Compilers. PLILP 1993: 420-421 - [c27]Martin Helmut Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm:
Transformation Development: TrafoLa-H Subsystem. PROSPECTRA Book 1993: 539-576 - 1992
- [b4]Reinhard Wilhelm, Dieter Maurer:
Übersetzerbau - Theorie, Konstruktion, Generierung. Springer 1992, ISBN 3-540-55704-0 - [p1]Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm:
Baumautomaten zur Codeselektion. Informatik 1992: 121-144 - 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) - [c26]Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm:
Tree Automata for Code Selection. Code Generation 1991: 30-50 - [c25]Ulrich Möncke, Reinhard Wilhelm:
Grammar Flow Analysis. Attribute Grammars, Applications and Systems 1991: 151-186 - [c24]Peter Lipps, Ulrich Möncke, Reinhard Wilhelm:
An Overview of the OPTRAN System. Attribute Grammars, Applications and Systems 1991: 505-506 - [c23]Reinhard Wilhelm:
Attributive Reevaluation in OPTRAN. Attribute Grammars, Applications and Systems 1991: 507 - 1990
- [c22]Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm:
A Logic-Based Approach to Data Flow Analysis Problem. PLILP 1990: 277-292 - [c21]Reinhard Wilhelm:
Tree Tranformations, Functional Languages, and Attribute Grammars. WAGA 1990: 116-129
1980 – 1989
- 1989
- [b3]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) - [c20]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 Informatica 26(3): 213-239 (1988) - [c19]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 - [c18]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 - [c17]Beatrix Weisgerber, Reinhard Wilhelm:
Two Tree Pattern Matchers for Code Selection. CC 1988: 215-229 - [c16]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 - [c15]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
- [b2]Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm:
Grundlagen der Programmiersprachen. Teubner 1986, ISBN 3-519-02254-0 - [e3]Bernard J. Robinet, Reinhard Wilhelm:
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 [contents] - 1984
- [c14]Reinhard Wilhelm:
Inverse Currying Transformation on Attribute Grammars. POPL 1984: 140-147 - [c13]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. Inform. Spektrum 6(3): 170 (1983) - 1982
- [j5]Jan Messerschmidt, Reinhard Wilhelm:
Constructors for Composed Objects. Comput. Lang. 7(2): 53-59 (1982) - [c12]Reinhard Wilhelm:
Imperative, prädikative und funktionale Programmierung (Kurzfassung). GI Jahrestagung 1982: 188-193 - [c11]Reinhard Wilhelm:
LL- and LR-Attributed Grammars. Fachtagung über Programmiersprachen 1982: 151-164 - [c10]Harald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm:
A Truly Generative Semantics-Directed Compiler Generator. SIGPLAN Symposium on Compiler Construction 1982: 172-184 - [c9]Ulrich Möncke, Reinhard Wilhelm:
Iterative Algorithms on Grammar Graphs. WG 1982: 177-194 - 1981
- [j4]Reinhard Wilhelm:
A Modified Tree-to-Tree Correction Problem. Inf. Process. Lett. 12(3): 127-132 (1981) - [c8]Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm:
Invariance of Approximate Semantics with Respect to Program Transformations. GI Jahrestagung 1981: 1-10 - 1980
- [c7]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:
CAD-Fachgespräch, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Informatik-Fachberichte 34, Springer 1980, ISBN 3-540-10389-9 [contents] - [e1]Reinhard Wilhelm:
GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Informatik-Fachberichte 33, Springer 1980, ISBN 3-540-10388-0 [contents]
1970 – 1979
- 1979
- [j3]Reinhard Wilhelm:
Computation and Use of Data Flow Information in Optimizing Compilers. Acta Informatica 12: 209-225 (1979) - [j2]Reinhard Wilhelm:
Attributierte Grammatiken. Inform. Spektrum 2(3): 123-130 (1979) - 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
- [b1]Reinhard Wilhelm:
Baum-Transformatoren: ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung. Technical University of Munich, Germany, 1977, pp. 1-99 - [c6]Robert Giegerich, Reinhard Wilhelm:
Implementierbarkeit attributierter Grammatiken. GI Jahrestagung 1977: 17-36 - [c5]Harald Ganzinger, Knut Ripken, Reinhard Wilhelm:
Automatic Generation of Optimizing Multipass Compilers. IFIP Congress 1977: 535-540 - 1976
- [c4]Harald Ganzinger, Knut Ripken, Reinhard Wilhelm:
MUG1 - an incremental compiler-compiler. ACM Annual Conference 1976: 415-418 - [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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
