Conferences in DBLP

Birthday ... (birthday)
2006 (conf/birthday/2006wilhelm)

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