Abstract is missing.
- An Appreciation of the Work of Reinhard WilhelmThomas W. Reps, Mooly Sagiv, Jörg Bauer. 1-11 [doi]
- New Developments in WCET AnalysisChristian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann. 12-52 [doi]
- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System VerificationSteffen Knapp, Wolfgang J. Paul. 53-81 [doi]
- Lazy Execution of Boolean QueriesDieter Maurer. 82-96 [doi]
- Cryptographic Protocol Verification Using Tractable Classes of Horn ClausesHelmut Seidl, Kumar Neeraj Verma. 97-119 [doi]
- Infering Ownership Types for Encapsulated Object-Oriented Program ComponentsArnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer. 120-144 [doi]
- ViDoC - Visual Design of Optimizing CompilersTiziana Margaria, Oliver Rüthing, Bernhard Steffen. 145-159 [doi]
- Abstract Interpretation for Worst and Average Case AnalysisAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky. 160-174 [doi]
- Grammar Analysis and Parsing by Abstract InterpretationPatrick Cousot, Radhia Cousot. 175-200 [doi]
- Ensuring Properties of Interaction SystemsGregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis. 201-224 [doi]
- On the Expressive Power of Live Sequence ChartsWerner Damm, Tobe Toben, Bernd Westphal. 225-246 [doi]
- Refinement-Based Verification for Possibly-Cyclic ListsAlexey Loginov, Thomas W. Reps, Mooly Sagiv. 247-272 [doi]
- Abstract Counterexample-Based Refinement for Powerset DomainsRoman Manevich, John Field, Thomas A. Henzinger, Ganesan Ramalingam, Mooly Sagiv. 273-292 [doi]
- Types from Control Flow AnalysisFlemming Nielson, Hanne Riis Nielson. 293-310 [doi]
- Data Flow Analysis for CCSHanne Riis Nielson, Flemming Nielson. 311-327 [doi]
- Towards a Source Level Compiler: Source Level Modulo SchedulingYosi Ben-Asher, Danny Meisler. 328-360 [doi]