Reinhard Wilhelm
Orcid: 0000-0002-5599-7560Affiliations:
- Saarland University, Compiler Design Lab, Germany
- Schloss Dagstuhl - Leibniz Center for Informatics, Germany
According to our database1,
Reinhard Wilhelm
authored at least 228 papers
between 1974 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2000, "For important contributions in the field of compilers, particularly code-generator generators and program analysis, and for outstanding service as Scientific Director of Schloss Dagstuhl.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on gi.de
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 3rd International Workshop on Explainability of Real-time Systems and their Analysis at the IEEE Real-Time Systems Symposium, 2024
2023
Proceedings of the Static Analysis - 30th International Symposium, 2023
2022
Principles of Abstract Interpretation: <i>By Patrick Cousot</i> MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm.
Formal Aspects Comput., 2022
Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten eines Informatikers von geringem Verstande.
Amazon / Via tolino media, ISBN: 979-8-8201-4268-0, 2022
2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Neue Einsichten eines Informatikers von geringem Verstande, 2021
Proceedings of the A Journey of Embedded and Cyber-Physical Systems, 2021
2020
IT Prof., 2020
Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum
Springer, ISBN: 978-3-658-28386-5, 2020
2019
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik, 2019
2018
Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018
Proceedings of the Principles of Modeling, 2018
Proceedings of the Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018
2017
2016
Leibniz Trans. Embed. Syst., 2016
Proceedings of the Semantics, Logics, and Calculi, 2016
2015
SIGBED Rev., 2015
Proceedings of the Correct System Design, 2015
2014
Inform. Spektrum, 2014
Proceedings of the Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Keller, Stack und automatisches Gedächtnis, 2014
2013
ACM Trans. Embed. Comput. Syst., 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013
Springer, ISBN: 978-3-642-17539-8, 2013
2012
The International Swabian Rim Workshop on Extremely Agile Goal-Oriented Insightbased System Engineering - Glosse.
Inform. Spektrum, 2012
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012
Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012
Springer, ISBN: 978-3-642-17547-3, 2012
2011
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).
Dagstuhl Manifestos, 2011
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011
2010
Proceedings of the Verification, 2010
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010
2009
Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009
Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009
Proceedings of the Efficient Algorithms, 2009
Proceedings of the Embedded Systems Design and Verification, 2009
2008
ACM Trans. Embed. Comput. Syst., 2008
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008
Architectural Influence on the Timing Predictability.
Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
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., 2007
Proceedings of the Static Analysis, 14th International Symposium, 2007
Proceedings of the Languages and Compilers for Parallel Computing, 2007
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007
Shape Analysis and Applications.
Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007
2006
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006
Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the Computational Science, 2006
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.
Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006
Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006
Proceedings of the Workshop "Trustworthy Software" 2006, 2006
Proceedings of the Compiler Construction, 15th International Conference, 2006
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006
2005
Proceedings of the Embedded Systems Handbook., 2005
ACM Trans. Embed. Comput. Syst., 2005
Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
2004
Proceedings of the Verification, 2004
Proceedings of the Model Checking Software, 2004
Proceedings of the Formal Methods for Components and Objects, 2004
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.
Proceedings of the Automotive Software, 2004
2003
Proc. IEEE, 2003
Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003
Convenient User Annotations for a WCET Tool.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
2002
Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002
2001
Proceedings of the Embedded Software, First International Workshop, 2001
Proceedings of the Software Visualization, 2001
2000
Real Time Syst., 2000
Proceedings of the International Symposium on Software Testing and Analysis, 2000
Proceedings of the Compiler Construction, 9th International Conference, 2000
1999
Real Time Syst., 1999
Real Time Syst., 1999
Animation of the Generation and Computation of Finite Automata for Learning Software.
Proceedings of the Automata Implementation, 1999
Proceedings of the Informatik '99, 1999
1998
ACM Trans. Program. Lang. Syst., 1998
Proceedings of the Languages, 1998
Proceedings of the Compiler Construction, 7th International Conference, 1998
1997
Springer, ISBN: 3-540-61692-6, 1997
1996
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996
Grundlagen der Dokumentenverarbeitung.
Addison-Wesley, ISBN: 978-3-89319-877-1, 1996
Informatik - Grundlagen, Anwendungen, Perspektiven.
Beck'sche Reihe 2038, Beck, ISBN: 978-3-406-40338-5, 1996
1995
Int. J. Parallel Program., 1995
Proceedings of the High-Performance Computing and Networking, 1995
Proceedings of the Graph Drawing, Symposium on Graph Drawing, 1995
Compiler design.
Addison-Wesley, ISBN: 978-0-201-42290-0, 1995
1994
Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung.
Inform. Forsch. Entwickl., 1994
Proceedings of the Compiler Construction, 5th International Conference, 1994
Les compilateurs - théorie, construction, génération.
Masson, ISBN: 978-2-225-84615-1, 1994
1993
Proceedings of the Program Development by Specification and Transformation, 1993
Proceedings of the Programming Language Implementation and Logic Programming, 1993
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks.
Proceedings of the PARLE '93, 1993
Parallele und verteilte Systeme.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993
Programmiersprachen.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993
Generische und generative Methoden.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993
Einleitung.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993
1992
Übersetzerbau - Theorie, Konstruktion, Generierung
Springer, ISBN: 3-540-55704-0, 1992
Proceedings of the Informatik, Festschrift zum 60. Geburtstag von Günter Hotz, 1992
1991
1990
Proceedings of the Attribute Grammars and their Applications, 1990
Proceedings of the Programming Language Implementation and Logic Programming, 1990
1989
Inf. Process. Lett., 1989
MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen.
Inform. Forsch. Entwickl., 1989
Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag).
Proceedings of the Software-Entwicklung: Konzepte, 1989
1988
Proceedings of the Innovative Informations-Infrastrukturen, 1988
Proceedings of the Innovative Informations-Infrastrukturen, 1988
Proceedings of the Compiler Compilers and High Speed Compilation, 1988
OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences.
Proceedings of the Compiler Compilers and High Speed Compilation, 1988
Proceedings of the Architektur und Betrieb vpn Rechensystemen, 1988
1987
1986
1984
Proceedings of the Programmiersprachen und Programmentwicklung, 1984
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
1983
Symbolische Programmausführung - Das aktuelle Schlagwort.
Inform. Spektrum, 1983
1982
Iterative Algorithms on Grammar Graphs.
Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982
Proceedings of the Programmiersprachen und Programmentwicklung, 1982
Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982
1981
Proceedings of the GI, 1981
1980
Proceedings of the Programmiersprachen und Programmentwicklung, 1980
1979
Attributierte Grammatiken.
Inform. Spektrum, 1979
Acta Informatica, 1979
1978
Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars.
Inf. Process. Lett., 1978
1977
Baum-Transformatoren: ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung.
PhD thesis, 1977
Automatic Generation of Optimizing Multipass Compilers.
Proceedings of the Information Processing, 1977
Proceedings of the GI - 7. Jahrestagung, Nürnberg, 26.-28. September 1977, Proceedings, 1977
1976
Proceedings of the 2nd International Conference on Software Engineering, 1976
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976
1975
Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975
1974
Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974