A. Pnueli
19 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.
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler and others (2008) · Springer Berlin Heidelberg
On the Merits of Temporal Testers
A. Pnueli and others (2008) · 25 Years of Model Checking · Springer Berlin Heidelberg
Specify, Compile, Run: Hardware from PSL
R. Bloem and others (2007) · Elsevier BV
From MITL to Timed Automata
O. Maler and others (2006) · Springer Berlin Heidelberg
Synthesis of Reactive(1) Designs
N. Piterman and others (2006) · Springer Berlin Heidelberg
PSL Model Checking and Run-Time Verification Via Testers
A. Pnueli and others (2006) · Springer Berlin Heidelberg
A Compositional Approach to CTL ∗ Verification
Y. Kesten and others (2005) · Theoretical Computer Science 331
Algorithmic verification of linear temporal logic specifications
Y. Kesten and others (1998) · Springer Berlin Heidelberg
Symbolic controller synthesis for discrete and timed systems
E. Asarin and others (1995) · Springer Berlin Heidelberg
On the synthesis of discrete controllers for timed systems
O. Maler and others (1995) · Springer Berlin Heidelberg
Timing analysis of asynchronous circuits using timed automata
O. Maler and others (1995) · Springer Berlin Heidelberg
Temporal verification of simulation and refinement
Y. Kesten and others (1994) · Springer Berlin Heidelberg
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
A. Pnueli (1986) · Current Trends in Concurrency · Springer Berlin Heidelberg
In Transition From Global to Modular Temporal Reasoning about Programs
A. Pnueli (1985) · Springer Berlin Heidelberg
Fair termination revisited - with delay
K. R. Apt and others (1982) · Proceedings of the 2nd Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore
The temporal logic of branching time
M. Ben-Ari and others (1981) · ACM Press
Verification of concurrent programs: the temporal framework
Z. Manna and others (1981) · The Correctness Problem in Computer Science
Completeness issues for inductive assertions and Hoare's method
D. Harel and others (1976) · Tech. Rep
Axiomatic approach to total correctness of programs
Z. Manna and others (1974) · Acta Inf. 3 (1974)