Amir Pnueli
20 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Automatic Hardware Synthesis from Specifications: A Case Study
Roderick Bloem and others (2007) · Design, Automation, and Test in Europe
On Synthesizing Controllers from Bounded-Response Properties
Oded Maler and others (2007) · Lecture notes in computer science · Springer Science+Business Media
Faster Solutions of Rabin and Streett Games
Nir Piterman and others (2006) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers
Real Time Temporal Logic: Past, Present, Future
Oded Maler and others (2005) · Lecture notes in computer science · Springer Science+Business Media
On Recognizable Timed Languages
Oded Maler and others (2004) · Lecture notes in computer science · Springer Science+Business Media
Controller Synthesis for Timed Automata 1
Eugene Asarin and others (1998) · IFAC Proceedings Volumes · Elsevier BV
Temporal Verification of Reactive Systems: Safety
Zohar Manna and others (1995) · Springer Nature
From timed to hybrid systems
Oded Maler and others (1992) · Lecture notes in computer science · Springer Science+Business Media
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna and others (1992) · Springer New York
Tight bounds on the complexity of cascaded decomposition of automata
Oded Maler and others (1990) · Annual Symposium on Foundations of Computer Science · Institute of Electrical and Electronics Engineers
On the synthesis of a reactive module
Amir Pnueli and others (1989) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Checking that finite state concurrent programs satisfy their linear specification
Orna Lichtenstein and others (1985) · ACM Press
The glory of the past
Orna Lichtenstein and others (1985) · Lecture notes in computer science · Springer Science+Business Media
Deterministic propositional dynamic logic: Finite models, complexity, and completeness
Mordechai Ben‐Ari and others (1982) · Journal of Computer and System Sciences · Elsevier BV
Impartiality, justice and fairness: The ethics of concurrent termination
Daniel J. Lehmann and others (1981) · Lecture notes in computer science · Springer Science+Business Media
The temporal semantics of concurrent programs
Amir Pnueli (1981) · Theoretical Computer Science · Elsevier BV
The Modal Logic of Programs
Zohar Manna and others (1979) · Defense Technical Information Center
The temporal logic of programs
Amir Pnueli (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
Decidable Properties of Monadic Functional Schemas
Edward A. Ashcroft and others (1973) · Journal of the ACM · Association for Computing Machinery
Formalization of Properties of Functional Programs
Zohar Manna and others (1970) · Journal of the ACM · Association for Computing Machinery (ACM)