dblp.uni-trier.dewww.uni-trier.de

Reinhard Wilhelm

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
131EEReinhard Wilhelm, Björn Wachter: Abstract Interpretation with Applications to Timing Validation. CAV 2008: 22-36
130EEE. 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
129EEDaniel 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
128 Reinhard Wilhelm: Architectural Influence on the Timing Predictability. MMB 2008: 11-12
127EESebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm: Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376
126EESascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm: Algorithm visualization using concrete and abstract shape graphs. SOFTVIS 2008: 33-36
125EEReinhard 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)
2007
124 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
123 Reinhard Wilhelm: 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
122EEChristoph M. Kirsch, Reinhard Wilhelm: Grand challenges in embedded software. EMSOFT 2007: 2-6
121EENicolas Fritz, Philipp Lucas, Reinhard Wilhelm: Exploiting SIMD Parallelism with the CGiSCompiler Framework. LCPC 2007: 246-260
120EEJörg Bauer, Reinhard Wilhelm: Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS 2007: 249-264
119EEGreta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm: Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1): (2007)
118EEJan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm: Timing predictability of cache replacement policies. Real-Time Systems 37(2): 99-122 (2007)
117EEBernd 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- (2007)
2006
116 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 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
115EEChristian 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
114EEPhilipp Lucas, Nicolas Fritz, Reinhard Wilhelm: The CGiS Compiler-A Tool Demonstration. CC 2006: 105-108
113 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
112EEPhilipp Lucas, Nicolas Fritz, Reinhard Wilhelm: The Development of the Data-Parallel GPU Programming Language CGiS. International Conference on Computational Science (4) 2006: 200-203
111EEWerner 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
110EEJörg Bauer, Reinhard Wilhelm: Abstract Interpretation of Graph Transformation. Simulation and Verification of Dynamic Systems 2006
109EEJörg Bauer, Reinhard Wilhelm: Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
108EESerge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper: Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006
107EEJan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker: A Definition and Classification of Timing Anomalies. WCET 2006
106EEEran 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)
2005
105EENoam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309
104EEDierk Johannes, Raimund Seidel, Reinhard Wilhelm: Algorithm animation using shape analysis: visualising abstract executions. SOFTVIS 2005: 17-26
103EENurit 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
102EEReinhard Wilhelm: 2005 WCET Preface - Message from the Workshop Chair. WCET 2005
101EEPaul 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)
2004
100 Lothar Thiele, Reinhard Wilhelm: Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003 IBFI, Schloss Dagstuhl, Germany 2004
99EEChristian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm: Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. ASWSD 2004: 1-14
98EEAbdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm: Component-Wise Instruction-Cache Behavior Prediction. ATVA 2004: 211-229
97EEThomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Static Program Analysis via 3-Valued Logic. CAV 2004: 15-30
96EELothar Thiele, Reinhard Wilhelm: Abstracts Collection. Design of Systems with Predictable Behaviour 2004
95EELothar Thiele, Reinhard Wilhelm: Design for Time-Predictability. Design of Systems with Predictable Behaviour 2004
94EEChristoph Berg, Jakob Engblom, Reinhard Wilhelm: Requirements for and Design of a Processor with Predictable Timing. Design of Systems with Predictable Behaviour 2004
93EEReinhard Wilhelm: Timing Analysis and Timing Predictability. FMCO 2004: 317-323
92EEReinhard Wilhelm: Formal Analysis of Processor Timing Models. SPIN 2004: 1-4
91EEReinhard Wilhelm: Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. VMCAI 2004: 309-322
90EELothar Thiele, Reinhard Wilhelm: Design for Timing Predictability. Real-Time Systems 28(2-3): 157-177 (2004)
2003
89EEStephan 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-
88EEEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
87EEReinhard Wilhelm: Run-Time Guarantees for Real-Time Systems. FORMATS 2003: 166-167
86 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
85 Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm: Convenient User Annotations for a WCET Tool. WCET 2003: 17-20
84 Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. WCET 2003: 39-43
83EEGreta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Logical Characterizations of Heap Abstractions CoRR cs.LO/0312014: (2003)
82 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)
2002
81 Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv: Shape Analysis and Applications. The Compiler Design Handbook 2002: 175-218
80EEShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. 24(3): 217-298 (2002)
2001
79 Reinhard Wilhelm: Informatics - 10 Years Back. 10 Years Ahead. Springer 2001
78 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 Springer 2001
77EEChristian 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
76EEReinhard Wilhelm, Tomasz Müldner, Raimund Seidel: Algorithm Explanation: Visualizing Abstract States and Invariants. Software Visualization 2001: 381-394
2000
75EEReinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps: Shape Analysis. CC 2000: 1-17
74EETal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38
73EEBeatrix Braune, Reinhard Wilhelm: Focusing in Algorithm Explanation. IEEE Trans. Vis. Comput. Graph. 6(1): 1-7 (2000)
72 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)
1999
71 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
70EEShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric Shape Analysis via 3-Valued Logic. POPL 1999: 105-118
69EEBeatrix Braune, Stephan Diehl, Andreas Kerren, Reinhard Wilhelm: Animation of the Generation and Computation of Finite Automata for Learning Software. WIA 1999: 39-47
68 Reinhard Wilhelm: Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction. Real-Time Systems 17(2-3): 127-129 (1999)
67 Christian Ferdinand, Reinhard Wilhelm: Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real-Time Systems 17(2-3): 131-181 (1999)
66 Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt: Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. 35(2): 163-189 (1999)
1998
65 Florian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand: Analysis of Loops. CC 1998: 80-94
64EEChristian Ferdinand, Reinhard Wilhelm: On Predicting Data Cache Behavior for Real-Time Systems. LCTES 1998: 16-30
63EEShmuel 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)
62EEShmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Program Flow Analysis. Acta Inf. 35(6): 457-504 (1998)
1997
61 Reinhard Wilhelm, Dieter Maurer: Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage Springer 1997
60 Reinhold Heckmann, Reinhard Wilhelm: A Functional Description of TEX's Formula Layout. J. Funct. Program. 7(5): 451-485 (1997)
59 Reinhard Wilhelm: Program Analysis: A Toolmaker's Perspective. SIGPLAN Notices 32(1): 120-121 (1997)
1996
58 Reinhard Wilhelm: Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993] Verlag C. H. Beck 1996
57 Reinhard Wilhelm, Martin Alt, Florian Martin, Martin Raber: Parallel Implementation of Functional Languages. LOMAPS 1996: 279-295
56EEShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL 1996: 16-31
55 Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm: Cache Behavior Prediction by Abstract Interpretation. SAS 1996: 52-66
54 Reinhard Wilhelm: Program Analysis - A Toolmaker's Perspective. ACM Comput. Surv. 28(4es): 177 (1996)
1995
53 Georg Sander, Martin Alt, Christian Ferdinand, Reinhard Wilhelm: CLaX - A Visualized Compiler. Graph Drawing 1995: 459-462
52 Thomas Rauber, Gudula Rünger, Reinhard Wilhelm: An application specific parallel programming paradigm. HPCN Europe 1995: 735-740
1994
51 Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster: Implementing 2DT on a Multiprocessor. CC 1994: 113-127
50 Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm: Tree Automata for Code Selection. Acta Inf. 31(8): 741-760 (1994)
49 Peter G. Bouillon, Georg Sander, Reinhard Wilhelm: Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. Inform., Forsch. Entwickl. 9(2): 72-81 (1994)
1993
48 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
47 Martin Alt, Georg Sander, Reinhard Wilhelm: Generation of Synchronization Code for Parallel Compilers. PLILP 1993: 420-421
46 Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm: Transformation Development: TrafoLa-H Subsystem. PROSPECTRA Book 1993: 539-576
45 Reinhard Wilhelm: Generische und generative Methoden. Perspektiven der Informatik 1993: 84-85
44 Reinhard Wilhelm, Hans Hagen: Programmiersprachen. Perspektiven der Informatik 1993: 86-90
43 Volker Claus, Reinhard Wilhelm: Einleitung. Perspektiven der Informatik 1993: 9-12
42 Reinhard Wilhelm, Otto Spaniol: Parallele und verteilte Systeme. Perspektiven der Informatik 1993: 90-94
1992
41 Reinhard Wilhelm, Dieter Maurer: Übersetzerbau - Theorie, Konstruktion, Generierung Springer 1992
1991
40 Ulrich Möncke, Reinhard Wilhelm: Grammar Flow Analysis. Attribute Grammars, Applications and Systems 1991: 151-186
39 Peter Lipps, Ulrich Möncke, Reinhard Wilhelm: An Overview of the OPTRAN System. Attribute Grammars, Applications and Systems 1991: 505-506
38 Reinhard Wilhelm: Attributive Reevaluation in OPTRAN. Attribute Grammars, Applications and Systems 1991: 507
37 Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm: Tree Automata for Code Selection. Code Generation 1991: 30-50
36EEJürgen Börstler, Ulrich Möncke, Reinhard Wilhelm: Table Compression for Tree Automata. ACM Trans. Program. Lang. Syst. 13(3): 295-314 (1991)
1990
35 Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Data Flow Analysis Problem. PLILP 1990: 277-292
34 Reinhard Wilhelm: Tree Tranformations, Functional Languages, and Attribute Grammars. WAGA 1990: 116-129
1989
33EEJacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Foundations of Programming Languages John Wiley 1989
32 Reinhard Wilhelm: Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag). Software-Entwicklung 1989: 156-165
31 Winfried Thome, Reinhard Wilhelm: Simulating Circular Attribute Grammars Through Attribute Reevaluation. Inf. Process. Lett. 33(2): 79-81 (1989)
30 Dieter Maurer, Reinhard Wilhelm: MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen. Inform., Forsch. Entwickl. 4(2): 67-88 (1989)
1988
29 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
28 Beatrix Weisgerber, Reinhard Wilhelm: Two Tree Pattern Matchers for Code Selection. CC 1988: 215-229
27 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
26 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
25 Gerhard Becker, Brigitte Kuhn, Dieter Maurer, Reinhard Wilhelm: SiATEX - eine interaktive Arbeitsumgeubng für TEX. Innovative Informations-Infrastrukturen 1988: 162-169
24 Peter Lipps, Ulrich Möncke, Matthias Olk, Reinhard Wilhelm: Attribute (Re)evaluation in OPTRAN. Acta Inf. 26(3): 213-239 (1988)
1987
23 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
22 Bernard Robinet, Reinhard Wilhelm: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings Springer 1986
21EEJacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Grundlagen der Programmiersprachen Teubner 1986
1984
20 Ulrich Möncke, Beatrix Weisgerber, Reinhard Wilhelm: How to Implement a System for Manipulation of Attributed Trees. Fachtagung über Programmiersprachen 1984: 112-127
19 Reinhard Wilhelm: Inverse Currying Transformation on Attribute Grammars. POPL 1984: 140-147
1983
18 Reinhard Wilhelm: Symbolische Programmausführung - Das aktuelle Schlagwort. Informatik Spektrum 6(3): 170 (1983)
1982
17 Reinhard Wilhelm: LL- and LR-Attributed Grammars. Fachtagung über Programmiersprachen 1982: 151-164
16 Reinhard Wilhelm: Imperative, prädikative und funktionale Programmierung (Kurzfassung). GI Jahrestagung 1982: 188-193
15EEHarald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm: A Truly Generative Semantics-Directed Compiler Generator. SIGPLAN Symposium on Compiler Construction 1982: 172-184
14 Jan Messerschmidt, Reinhard Wilhelm: Constructors for Composed Objects. Comput. Lang. 7(2): 53-59 (1982)
1981
13 Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm: Invariance of Approximate Semantics with Respect to Program Transformations. GI Jahrestagung 1981: 1-10
12 Reinhard Wilhelm: A Modified Tree-to-Tree Correction Problem. Inf. Process. Lett. 12(3): 127-132 (1981)
1980
11 Reinhard Wilhelm: GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings Springer 1980
10 Reinhard Wilhelm: CAD-Fachgespräch, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings Springer 1980
9 Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm: OPTRAN, a Language for the Specification of Program Transformations. Fachtagung über Programmiersprachen 1980: 125-142
1979
8 Reinhard Wilhelm: Computation and Use of Data Flow Information in Optimizing Compilers. Acta Inf. 12: 209-225 (1979)
7 Reinhard Wilhelm: Attributierte Grammatiken. Informatik Spektrum 2(3): 123-130 (1979)
1978
6 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
5 Robert Giegerich, Reinhard Wilhelm: Implementierbarkeit attributierter Grammatiken. GI Jahrestagung 1977: 17-36
4 Harald Ganzinger, Knut Ripken, Reinhard Wilhelm: Automatic Generation of Optimizing Multipass Compilers. IFIP Congress 1977: 535-540
1976
3 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
2 Harald Ganzinger, Reinhard Wilhelm: Verschränkung von Compiler-Moduln. GI Jahrestagung 1975: 654-665
1974
1 Reinhard Wilhelm: Code-Optimierung Mittels Attributierter Transformationsgrammatiken. GI Jahrestagung 1974: 257-266

Coauthor Index

1Luís Almeida [101]
2Martin Alt [46] [47] [53] [55] [57] [65] [66]
3Sebastian Altmeyer [127]
4Serge Autexier [108] [116]
5H.-J. Bach [26]
6M. Baston [26]
7Bernd Becker [107] [113] [117]
8Gerhard Becker [25]
9Yosi Ben-Asher [48] [51]
10Albert Benveniste [101]
11Christoph Berg [94] [118]
12Guillem Bernat [125]
13Jürgen Börstler [36]
14Peter G. Bouillon [49]
15Bruno Bouyssounouse [101]
16Beatrix Braune [69] [73]
17F. Warren Burton [23]
18Giorgio C. Buttazzo [101]
19Paul Caspi [101]
20Joachim Ciesinger [3]
21Volker Claus [43]
22Ivica Crnkovic [101]
23Werner Damm [101] [111] [117]
24Stephan Diehl [69]
25Nurit Dor [103]
26Friedrich Eisenbrand [111]
27Jochen Eisinger [107] [113]
28Jakob Engblom [84] [94] [101] [125]
29Andreas Ermedahl [125]
30Rolf Ernst [130]
31Alexander A. Evstiougov-Babaev [86]
32Christian Fecht [46]
33Christian Ferdinand [37] [46] [50] [53] [55] [64] [65] [66] [67] [71] [72] [77] [85] [86] [89] [99] [115] [125] [129]
34John Field [103]
35Gerhard Fohler [101]
36Frank Fontaine [86]
37Nissim Francez [35] [62]
38E. Frank [130]
39Martin Fränzle [117]
40Nicolas Fritz [86] [112] [114] [121]
41Harald Ganzinger [2] [3] [4] [15]
42Marisol García-Valls [101]
43Robert Giegerich [5] [6] [13] [15]
44Ingrid Glasner [9]
45Denis Gopan [103]
46Daniel Grund [118]
47Hans Hagen [44]
48Reinhold Heckmann [60] [77] [82] [85] [86] [89] [99] [115] [125] [129]
49Erwin Hoffmann [29]
50Niklas Holsti [125]
51Christian Humbert [127]
52Marek Jersak [129]
53Dierk Johannes [104]
54Daniel Kästner [71] [86] [129]
55Andreas Kerren [69]
56Christoph M. Kirsch (Christoph Meyer) [122] [124]
57Hermann Kopetz [101]
58Jörg Kreiker (Jörg Bauer) [105] [109] [110] [120]
59Brigitte Kuhn [25]
60Walter Lahner [3]
61Yassine Lakhnech [101]
62Marc Langenbach [71] [77] [82] [86] [89]
63François Laroussinie [101]
64Luciano Lavagno [101]
65Tal Lev-Ami [74] [103]
66Giuseppe Lipari [101]
67Peter Lipps [24] [27] [39]
68Björn Lisper [127]
69Jacques Loeckx [21] [33]
70Alexey Loginov [103]
71Philipp Lucas [112] [114] [121]
72A. Lucks-Baus [26]
73Roman Manevich [103]
74Florence Maraninchi [101]
75Florian Martin [55] [57] [65] [66] [71] [77] [86]
76Dieter Maurer [23] [25] [29] [30] [41] [61]
77Kurt Mehlhorn [21] [33]
78Stephan Merz [108] [116]
79Jan Messerschmidt [14]
80Alexander Metzner [111] [113]
81Tulika Mitra [125]
82Ulrich Möncke [9] [13] [15] [20] [24] [27] [36] [39] [40]
83Frank Mueller [125]
84Tomasz Müldner [76]
85Fritz Müller [26] [29]
86Marco Di Natale [130]
87R. Nollmann [3]
88Hans-Georg Oberhauser [23] [29]
89Ernst-Rüdiger Olderog [117]
90Matthias Olk [24]
91Sascha A. Parduhn [126]
92Oleg Parshin [98] [115]
93Philipp Peti [101]
94Markus Pister [129]
95Andreas Podelski [117]
96Ilia Polian [107] [113]
97Isabelle Puaut [125]
98Juan Antonio de la Puente [101]
99Peter P. Puschner [125]
100Martin Raber [29] [57]
101Abdur Rakib [98]
102G. Ramalingam (Ganesan Ramalingam) [103]
103Famantanantsoa Randimbivololona [89]
104Thomas Rauber [52]
105Jan Reineke [107] [118]
106Thomas Remmel [29]
107Christian Renz [115]
108Thomas W. Reps [56] [63] [70] [74] [75] [80] [81] [83] [88] [97] [103] [105] [106] [119]
109Kai Richter [129]
110Noam Rinetzky [103] [105]
111Knut Ripken [3] [4]
112Bernard Robinet [22]
113Michael Rodeh [35] [62]
114Gudula Rünger [48] [51] [52]
115Shmuel Sagiv (Mooly Sagiv) [35] [56] [62] [63] [70] [74] [75] [80] [81] [83] [88] [97] [103] [105] [106] [119]
116Georg Sander [47] [49] [53]
117Alberto L. Sangiovanni-Vincentelli [101] [130]
118Norman Scaife [101]
119Marc Schlickling [129]
120Michael Schmidt [71] [77] [86]
121Jörn Schneider [71]
122Assaf Schuster [48] [51]
123Raimund Seidel [76] [104] [126]
124Helmut Seidl [37] [50]
125Gennady Shmonin [111]
126Martin Sicks [86]
127Joseph Sifakis [101]
128Robert de Simone [101]
129Jean Souyris [89]
130Otto Spaniol [42]
131Jan Staschulat [125]
132Per Stenström [125]
133Henrik Theiling [71] [72] [77] [85] [86]
134Stephan Thesing [71] [77] [82] [84] [86] [89] [98] [107] [113] [125]
135Lothar Thiele [90] [95] [96] [100]
136Winfried Thome [31]
137Martin Törngren [101]
138Leendert W. N. van der Torre (Leendert van der Torre) [108] [116]
139Paulo Veríssimo [101]
140Björn Wachter [107] [131]
141Beatrix Weisgerber [20] [28]
142Andy J. Wellings [101]
143David B. Whalley [84] [125]
144Stephan Wilhelm [86]
145Tim A. C. Willemse [101]
146Sebastian Winkel [111]
147Hans-Jörg Wolff [115]
148Pierre Wolper [108] [116]
149Eran Yahav [88] [103] [106]
150Wang Yi [101]
151Greta Yorsh [83] [103] [119]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)