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

Reinhard Wilhelm Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page - Biographical Citations

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)