Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Reinhard Wilhelm , 2006
- Thomas W. Reps, Mooly Sagiv, Jörg Bauer:
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
An Appreciation
- Thomas W. Reps, Mooly Sagiv, Jörg Bauer:
An Appreciation of the Work of Reinhard Wilhelm. 1-11
Technical Papers
- Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann:
New Developments in WCET Analysis. 12-52 - Steffen Knapp, Wolfgang J. Paul:
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. 53-81 - Dieter Maurer:
Lazy Execution of Boolean Queries. 82-96 - Helmut Seidl, Kumar Neeraj Verma:
Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses. 97-119 - Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer:
Infering Ownership Types for Encapsulated Object-Oriented Program Components. 120-144 - Tiziana Margaria
, Oliver Rüthing, Bernhard Steffen:
ViDoC - Visual Design of Optimizing Compilers. 145-159 - Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Abstract Interpretation for Worst and Average Case Analysis. 160-174 - Patrick Cousot, Radhia Cousot:
Grammar Analysis and Parsing by Abstract Interpretation. 175-200 - Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
Ensuring Properties of Interaction Systems. 201-224 - Werner Damm, Tobe Toben, Bernd Westphal:
On the Expressive Power of Live Sequence Charts. 225-246 - Alexey Loginov, Thomas W. Reps, Mooly Sagiv:
Refinement-Based Verification for Possibly-Cyclic Lists. 247-272 - Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv:
Abstract Counterexample-Based Refinement for Powerset Domains. 273-292 - Flemming Nielson, Hanne Riis Nielson:
Types from Control Flow Analysis. 293-310 - Hanne Riis Nielson, Flemming Nielson:
Data Flow Analysis for CCS. 311-327 - Yosi Ben-Asher, Danny Meisler:
Towards a Source Level Compiler: Source Level Modulo Scheduling. 328-360
a service of 
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.
last updated on 2024-04-17 20:29 CEST 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:
