60. Birthday: Reinhard Wilhelm, 2006

Thomas W. Reps, Mooly Sagiv, Jörg Bauer (Eds.): Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 4444 Springer 2007, ISBN 978-3-540-71315-9 BibTeX

An Appreciation

Thomas W. Reps, Mooly Sagiv, Jörg Bauer:
An Appreciation of the Work of Reinhard Wilhelm. 1-11
Electronic Edition (link) BibTeX

Technical Papers

Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann:
New Developments in WCET Analysis. 12-52
Electronic Edition (link) BibTeX
Steffen Knapp, Wolfgang J. Paul:
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. 53-81
Electronic Edition (link) BibTeX
Dieter Maurer:
Lazy Execution of Boolean Queries. 82-96
Electronic Edition (link) BibTeX
Helmut Seidl, Kumar Neeraj Verma:
Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses. 97-119
Electronic Edition (link) BibTeX
Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer:
Infering Ownership Types for Encapsulated Object-Oriented Program Components. 120-144
Electronic Edition (link) BibTeX
Tiziana Margaria, Oliver Rüthing, Bernhard Steffen:
ViDoC - Visual Design of Optimizing Compilers. 145-159
Electronic Edition (link) BibTeX
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Abstract Interpretation for Worst and Average Case Analysis. 160-174
Electronic Edition (link) BibTeX
Patrick Cousot, Radhia Cousot:
Grammar Analysis and Parsing by Abstract Interpretation. 175-200
Electronic Edition (link) BibTeX
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
Ensuring Properties of Interaction Systems. 201-224
Electronic Edition (link) BibTeX
Werner Damm, Tobe Toben, Bernd Westphal:
On the Expressive Power of Live Sequence Charts. 225-246
Electronic Edition (link) BibTeX
Alexey Loginov, Thomas W. Reps, Mooly Sagiv:
Refinement-Based Verification for Possibly-Cyclic Lists. 247-272
Electronic Edition (link) BibTeX
Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv:
Abstract Counterexample-Based Refinement for Powerset Domains. 273-292
Electronic Edition (link) BibTeX
Flemming Nielson, Hanne Riis Nielson:
Types from Control Flow Analysis. 293-310
Electronic Edition (link) BibTeX
Hanne Riis Nielson, Flemming Nielson:
Data Flow Analysis for CCS. 311-327
Electronic Edition (link) BibTeX
Yosi Ben-Asher, Danny Meisler:
Towards a Source Level Compiler: Source Level Modulo Scheduling. 328-360
Electronic Edition (link) BibTeX