
	Where results make sense

Topic: Amir Pnueli

Related Topics

Adi Shamir

ACM Turing Award

List of open problems in computer science

William Kahan

Alan Kay

List of important publications in computer science

Edsger Dijkstra

Alan Turing

Model checking

David Parnas

Hebrew University of Jerusalem

Computational complexity theory

Marvin Minsky

Block cipher

Larry Brown

In the News (Wed 2 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Learn more about Amir Pnueli in the online encyclopedia. (Site not responding. Last check: 2007-10-12)
		Amir Pnueli (born April 22, 1941) is an Israeli computer scientist who received the Turing Award in 1996 "for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification".
		Born in Nahalal, Israel, Pneuli received a Bachelor's degree in Mathematics at the Technion in Haifa, and PhD in applied mathematics from the Weizmann Institute of Science.
		Pnueli has also founded two startup technology companies.
	www.onlineencyclopedia.org /a/am/amir_pnueli.html (229 words)

	Short biography of Amir Pnueli Harel
		Amir Pnueli was born in Nahalal, Israel, on Apr. 22, 1941.
		Pnueli moved to Tel-Aviv University, where he founded the Department of Computer Science and was its first chairman.
		Pnueli co-founded the software company Mini-Systems, which until 1982 was the sole software provider for Scitex, Israel, manufacturers of computer aided design systems in the color press and graphic printing areas.
	www.wisdom.weizmann.ac.il /~amir/shrtbio.html (610 words)

	6th Milton bender Lecture (Site not responding. Last check: 2007-10-12)
		Amir Pnueli, a Science Mathematician cum Computer Scientist of the Weizmann Institute of Science, Israel, he recently received the World's most prestigious Turing Award in Computer Science dubbed the "Nobel Prize in Computer Science".
		Pnueli uses a mathematical language to describe the desired specifications of a program, even before the system is built.
		Pnueli received his Ph.D at the Weizmann Institute in Israel and conducted research at Stanford University in U.S.A. He is also the founder of the Department of Computer Science at Tel Aviv University.
	www.cs.ait.ac.th /ai3/activities/05-MAR-98 (340 words)

	Conseil Scientifique International
		Born on April 22, 1941 in Nahalal (Israël), Amir PNUELI is a professor in computer science at the Weizmann Institute of Science in Rehovot.
		In 1973, Amir PNUELI, was appointed as a professor at the Tel Aviv University, in which he found the department of applied mathematics and is its first chairman.
		Amir PNUELI has been involved in industrial activities; he co-founded the company Mini-Systems in 1971 and AdCad company (today i-Logix) specialized in computed assisted software tools.
	www.grenoble-universites.org /csi/english/Emembres-cv12.html (234 words)

	ACM: Fellows Award / Amir Pnueli
		Amir Pnueli made a major breakthrough in the verification and certification of concurrent and reactive systems with his landmark 1977 paper "The Temporal Logic of Programs"(1) which was a crucial turning point in the progress of formal methods for such systems.
		Beyond his pure scientific achievements, Amir Pnueli, a Professor of Computer Science at the Weizmann Institute of Science in Israel, is also keenly aware of the problems of putting computer science methods into practice and has been instrumental in founding two Israeli software firms.
		By introducing temporal logic to computer science, Amir Pnueli has made a significant and lasting contribution which has been instrumental in shaping the study of concurrent systems.
	awards.acm.org /citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING (443 words)

	[No title] (Site not responding. Last check: 2007-10-12)
		Amir Pnueli received his Ph.D. degree in Applied Mathematics at the Weizmann Institute of Science, Rehovot, Israel where, since 1981, he has been a Professor of Computer Science, and since 1998 head of the "Minerva Center for Verification of Reactive Systems." Since 1999 he is a professor of Computer Science at NYU.
		Pnueli is mainly known for the introduction of temporal logic into Computer Science and his work on the application of temporal logic to the specification and verification of reactive systems.
		Together with David Harel, Pnueli worked on the semantics and implementation of Statecharts, a visual language for the specification, modeling, and prototyping of reactive systems, applied to avionics, transport, and electronic hardware systems.
	www.cs.wisc.edu /dbworld/messages/2004-10/1098192430.html (872 words)

	dar seminar - Amir Pnueli, Friday 11am in CS seminar room (Site not responding. Last check: 2007-10-12)
		Amir Pnueli, winer of the 1996 Turing Award.
		Pnueli will be visiting us as the speaker at our distinguished lectuer's series on Friday (at 2pm in Harriman Hall 108---see his talk abstract below).
		Pnueli has been an invited speaker at many conferences and occasions.
	www.cs.sunysb.edu /~liu/darseminar/msg00010.html (324 words)

	DBLP: Amir Pnueli
		Venkatesh Mysore, Amir Pnueli: Refining the Undecidability Frontier of Hybrid Automata.
		Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari: Formal Verification of the Ricart-Agrawala Algorithm.
		Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis.
	www.acm.org /sigs/sigmod/dblp/db/indices/a-tree/p/Pnueli:Amir.html (3125 words)

	The Association for Computing Machinery(ACM) announced today that the ACM A (Site not responding. Last check: 2007-10-12)
		The award, considered the Nobel Prize of computing, will be presented to Pnueli during the ACM awards banquet Mar.2, 1997 which will be held in conjunction with "ACM97:The Next 50 Years of Computing," a world-wide interactive event on the long-term impact of information technology.
		Pnueli is honored "for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification."
		Pnueli, professor of computer science at the Weizmann Institute of Science, is aware of the problems of putting computer science methods into practice.
	www.acm.org /announcements/pr/turing.html (333 words)

	Amir Pneuli's Biodata
		Together with Zohar Manna, he is the author of a 3-volumes textbook on Temporal Logic and its application to Reactive Systems of which the first two volumes are: Z.
		Amir Pnueli is a member of the steering committees of the conferences CAV (Computer Aided Verification), FTRTFT (Formal Techniques for Real-Time and Fault-Tolerant Systems), and ICTL (International Conference on Temporal Logic).
		Pnueli is a member of the IFIP's WG2.2 working group on Formal Description of Programming.
	www.podc.org /podc97/pnueli.html (590 words)

	amir : Results 31 - 40 : LemmeFind.co.uk(sm) (Site not responding. Last check: 2007-10-12)
		Amir H. Hoveyda is the Joseph T. and Patricia Vanderslice Millennium Professor of Chemistry...
		Amir Strikes A Blow For The Sake Of The Children (from This Is TEENAGE boxing sensation Amir Khan is pulling no punches in his latest role - as...
		Amir said it was "an honour" to take up the ambassador's role,...
	www.lemmefind.co.uk /search.php?p=4&t=amir (255 words)

	DBLP: Lenore D. Zuck
		Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck: Monitoring Interfaces for Faults.
		Amir Pnueli, Jessie Xu, Lenore D. Zuck: Liveness with (0, 1, infty)-Counter Abstraction.
		Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck: Automatic Deductive Verification with Invisible Invariants.
	www.informatik.uni-trier.de /~ley/db/indices/a-tree/z/Zuck:Lenore_D=.html (898 words)

	Indiana State University : Department of Mathematics and Computer Science
		Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar, "Symbolic Model Checking with Rich Assertional Languages", Proc.
		Monica Marcus and Amir Pnueli, "Using Ghost Variables to Prove Refinement", Proc.
		Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar, "Symbolic Model Checking with Rich Assertional Languages", Theor.
	math.indstate.edu /FacultyDetails.aspx?id=20 (274 words)

	Lenore Zuck, Publications On-Line (Site not responding. Last check: 2007-10-12)
		Zuck, A. Pnueli, Y.Fang, B. Goldberg, and Y.Hu.
		Zuck, A. Pnueli, B. Goldberg, C. Barrett, Y.Fang, and Y.Hu.
		Yi Fang, Nir Piterman, A. Pnueli and L. Zuck.
	www.cs.uic.edu /~lenore/pubs (173 words)

	TECS Week (Site not responding. Last check: 2007-10-12)
		Amir Pnueli, who delivered the TRDDC distinguished lecture, being felicitated by
		On 6 January 2005, Professor Amir Pnueli, (New York University and Weizmann Institute of Science) gave a TRDDC Distinguished lecture on “Taming the Infinite: Verification of Infinite –State Systems”.
		According to him, the main obstacle to entrusting computers with more sensitive tasks is not the speed or reliability of the hardware but rather the trustworthiness of the software.
	www.tcs-trddc.com /tecs/2005-tecsweek.htm (451 words)

	Special Seminar: Reactive Systems (Site not responding. Last check: 2007-10-12)
		Reactive systems: Semantics and Verification Seminar in the Honor of Amir Pnueli Organized by Verimag/IMAG Grenoble 17/12/98 Prof.
		Amir Pnueli will receive the title Doctor Honoris Causa from Université Joseph Fourier, Grenoble on 18/12/98.
		On that occasion a one-day seminar "Reactive systems: Semantics and Verification" is organized by Verimag.
	www.amast.org /archive/amast/mail/1998/msg00268.html (115 words)

	Amazon.com: "Amir Pnueli": Key Phrase page (Site not responding. Last check: 2007-10-12)
		See all pages with references to Amir Pnueli.
		My co-organizers are thanked for their help in converting Ben's idea into reality.
		Amir Pnueli gave his support in drafting the call for papers, and helped with the composition of a representative list of lecturers,...
	www.amazon.com /phrase/Amir-Pnueli (625 words)

	Fair Synchronous Transition Systems and their Liveness Proofs
		by Amir Pnueli, Natarajan Shankar and Eli Singerman
		The fair synchronous transitions systems (FSTS) model we introduce in this paper extends the basic ASTS model of Kesten and Pnueli by introducing operations for parallel composition, for the restriction of variables, and by addressing fairness.
		We present an extended version of linear time temporal logic (ELTL) for expressing and proving safety and liveness properties of synchronous specifications, and provide a sound and compositional proof system for it.
	www.csl.sri.com /papers/csl-98-2 (198 words)

	DBLP: Michael Siegel
		Stéphane Bressan, Cheng Hian Goh, Natalia Levina, Stuart E. Madnick, Ahmed Shah, Michael Siegel: Context Knowledge Representation and Reasoning in the Context Interchange System.
		Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations.
		Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts.
	dblp.uni-trier.de /db/indices/a-tree/s/Siegel:Michael.html (813 words)

	Amir Pnueli (Site not responding. Last check: 2007-10-12)
		Thomas A. Henzinger, Zohar Manna, and Amir Pnueli.
		Kesten, A. Pnueli, J. Sifakis, and S. Yovine.
		Final manuscript received for publication October 16, 1998.
	theory.lcs.mit.edu /~iandc/Authors/pnueliamir.html (24 words)

	FLoC: CAV
		The program also includes invited lectures by Michael Rabin and Bill Roscoe, FLoC plenary addresses by Robin Milner and John Rushby, an after-dinner speech by Amir Pnueli, and a morning session with six invited talks by representatives from industry.
		Student registration at CAV '96 is subsidized due to financial support from Cadence Berkeley Labs, Lucent Technologies, and Siemens Corporate Research and Development.
		Dinner speech by Amir Pnueli (Weizmann Institute, Israel), ``The Potential and Sensible Scopes of Formal Methods.''
	homepages.inf.ed.ac.uk /als/lics/floc96/cav.html (1126 words)

	HT: ECHT '92, Hyperdocuments as automata: trace-based ...
		2 Howard Barringer, Ruurd Kuiper, Amir Pnueli, Now you may compose temporal logic specifications, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.51-63, December 1984
		4 Mordechai Ben-Ari, Zohar Manna, Amir Pnueli, The temporal logic of branching time, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.164-176, January 26-28, 1981, Williamsburg, Virginia
		15 Dov Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi, On the temporal analysis of fairness, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.163-173, January 28-30, 1980, Las Vegas, Nevada
	widit.slis.indiana.edu /irpub/HT/1992/cite31.htm (1134 words)

	The Mathematics Genealogy Project - Amir Pnueli (Site not responding. Last check: 2007-10-12)
		Click here to see the students listed in chronological order.
		According to our current on-line database, Amir Pnueli has 13 students and 18 descendants.
		If you have additional information or corrections regarding this mathematician, please use the update form.
	genealogy.math.ndsu.nodak.edu /html/id.phtml?id=18997 (78 words)

	Bibliography doron (Site not responding. Last check: 2007-10-12)
		Doron Peled and Amir Pnueli, Proving Partial Order Liveness Properties, Proceedings ICALP 90, Ed.
		Doron Peled and Shmuel Katz and Amir Pnueli, Specifying and Proving Serializability in Temporal Logic, IEEE Symposium on Logic in Computer Science, pp.
		Doron Peled and Amir Pnueli, Proving Partial Order Properties, Theoretical Computer Science, Vol.
	cm.bell-labs.com /cm/cs/bib2html/doron.html (1508 words)

	CITIDEL: Viewing 'On the temporal analysis of fairness' (Site not responding. Last check: 2007-10-12)
		By Dov Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi
		The use of the temporal logic formalism for program reasoning is reviewed.
		[P1] - Pnueli, A.: "The Temporal Logic of Programs", 19th Annual Symp.
	www.citidel.org /?op=getobj&identifier=oai:ACMDL:articles.567462 (353 words)

	DBLP: Zohar Manna
		Zohar Manna, Richard J. Waldinger: How to Clear a Block: A Theory of Plans.
		Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski: A Hardware Semantics Based on Temporal Intervals.
		Zohar Manna, Jean Vuillemin: Fixpoint Approach to the Theory of Computation.
	sunsite.informatik.rwth-aachen.de /dblp/db/indices/a-tree/m/Manna:Zohar.html (1969 words)

	dar seminar - Pnueli: Verifying Parameterized Systems with Invisible Inv (Site not responding. Last check: 2007-10-12)
		Subject: dar seminar - Pnueli: Verifying Parameterized Systems with Invisible Invariants
		We will illustrate the application of this method on a cache protocol provided by Steve German.
		Prev: dar seminar - Amir Pnueli, Friday 11am in CS seminar room
	www.cs.sunysb.edu /~liu/darseminar/msg00011.html (245 words)

	Prof. Amir Pnueli Lecture
		On March 6th, 1998, Professor Amir Pnueli on "Verifying Out-of-Order Execution".
		The Lecture took place in RCC auditorium, the room can host 90 persons.
		Public addressed monitors used at the video control place to view the image from each camera, before they can be send to the computers.
	www.cs.ait.ac.th /ai3/activities/06-MAR-98 (438 words)

	Zohar Manna's on-line papers
		Arjun Kapur, Thomas A. Henzinger, Zohar Manna and Amir Pnueli.
		A shorter version appeared in the 18th Annual ACM Symposium on Principles of Programming Languages, pp.
		In REX workshop Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, pp.
	theory.stanford.edu /~zm/papers.html (836 words)

	[No title]
		A shorter version appeared in the 18th Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida (January 1991), pp.
		In 19th International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science 623, Springer-Verlag, 1992, pp.
		In REX workshop Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, 1992, pp.
	ftp.cs.stanford.edu /cs/theory/luca/zmpapers.html (642 words)

Try your search on: Qwika (all wikis)