Search results for "Essays in Memory of Amir Pnueli"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Saddek Bensalem, Doron Peled, Joseph Sifakis	Knowledge Based Scheduling of Distributed Systems.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Howard Barringer, Dov M. Gabbay	Modal and Temporal Argumentation Networks.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Tony Hoare, Natarajan Shankar	Unraveling a Card Trick.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot, Laurent Mauborgne	A Scalable Segmented Decision Tree Abstract Domain.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Krishna V. Palem	The Arrow of Time through the Lens of Computing.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Zohar Manna, Amir Pnueli	Temporal Verification of Reactive Systems: Response.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	David Harel, Hillel Kugler	Some Thoughts on the Semantics of Biocharts.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Daniel Genkin, Nissim Francez, Michael Kaminski	Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Zohar Manna, Doron Peled (eds.)	Time for Verification, Essays in Memory of Amir Pnueli	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	An Automata-Theoretic Approach to Infinite-State Systems.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Robert P. Kurshan, Helmut Veith	The Localization Reduction and Counterexample-Guided Abstraction Refinement.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Oded Maler	On the Krohn-Rhodes Cascaded Decomposition Theorem.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Benny Godlin, Ofer Strichman	Inference Rules for Proving the Equivalence of Recursive Procedures.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna	Quantitative Simulation Games.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF

Publications at "Essays in Memory of Amir Pnueli"( http://dblp.L3S.de/Venues/Essays_in_Memory_of_Amir_Pnueli )