Amir Pnueli
New York University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Embedded Systems Design Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → The temporal logic of programs(1977)5,613 cited
- → The Temporal Logic of Reactive and Concurrent Systems(1992)2,953 cited
- → On the synthesis of a reactive module(1989)1,434 cited
- The Temporal Logic of Reactive and Concurrent Systems: Specification(1991)
- → STATEMATE: a working environment for the development of complex reactive systems(1990)1,118 cited
- Temporal Verification of Reactive Systems: Safety(1995)
- → On the Development of Reactive Systems(1985)832 cited
- → Temporal Verification of Reactive Systems(1995)810 cited