Essays in Memory of Amir Pnueli

Keyphrases

Publications

2010

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

volume 6200, 2010

Time for Verification, Essays in Memory of Amir Pnueli Essays in Memory of Amir Pnueli 6200 (2010)