Essays in Memory of Amir Pnueli 2010

• Howard Barringer, Dov M. Gabbay:
  Modal and Temporal Argumentation Networks. 1-25
  
• Saddek Bensalem, Doron Peled, Joseph Sifakis:
  Knowledge Based Scheduling of Distributed Systems. 26-41
  
• Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
  Quantitative Simulation Games. 42-60
  
• Edmund M. Clarke, Robert P. Kurshan, Helmut Veith:
  The Localization Reduction and Counterexample-Guided Abstraction Refinement. 61-71
  
• Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
  A Scalable Segmented Decision Tree Abstract Domain. 72-95
  
• Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli:
  Towards Component Based Design of Hybrid Systems: Safety and Stability. 96-143
  
• Daniel Genkin, Nissim Francez, Michael Kaminski:
  Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars. 144-166
  
• Benny Godlin, Ofer Strichman:
  Inference Rules for Proving the Equivalence of Recursive Procedures. 167-184
  
• David Harel, Hillel Kugler:
  Some Thoughts on the Semantics of Biocharts. 185-194
  
• Tony Hoare, Natarajan Shankar:
  Unraveling a Card Trick. 195-201
  
• Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
  An Automata-Theoretic Approach to Infinite-State Systems. 202-259
  
• Oded Maler:
  On the Krohn-Rhodes Cascaded Decomposition Theorem. 260-278
  
• Zohar Manna, Amir Pnueli:
  Temporal Verification of Reactive Systems: Response. 279-361
  
• Krishna V. Palem:
  The Arrow of Time through the Lens of Computing. 362-369
  
• Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler:
  What Is in a Step: New Perspectives on a Classical Question. 370-399
  

Last update Tue May 22 23:23:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page