Researcher Next
Create account
← Back to directory

Amir Pnueli

Researcher Next ID · RN-010950

Researcher · Computer Science

Weizmann Institute of Science

, Israel

Sign in to saveSign in to claim
Not currently recruitingFunding unknown
Works count
375
Citation count
38,846
H-index
88
i10-index
243

Research interests

Computer Science
Formal Methods in Verification
Logic, programming, and type systems
Model-Driven Software Engineering Techniques
Embedded Systems Design Techniques
Logic, Reasoning, and Knowledge

Publications

  • The Temporal Logic of Reactive and Concurrent Systems

    Journal · 1992 · 10.1007/978-1-4612-0931-7

  • The Temporal Logic of Reactive and Concurrent Systems: Specification

    Journal · 1991

  • STATEMATE: a working environment for the development of complex reactive systems

    IEEE Transactions on Software Engineering · 1990 · 10.1109/32.54292

  • On the synthesis of a reactive module

    Journal · 1989 · 10.1145/75277.75293

  • The temporal logic of programs

    Journal · 1977 · 10.1109/sfcs.1977.32

Current projects

    No projects listed.