Amir Pnueli
According to our database^{1},
Amir Pnueli
authored at least 262 papers
between 1969 and 2019.
Collaborative distances:
Collaborative distances:
Awards
Turing Prize recipient
Turing Prize 1996, "For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems formal verificationverification.".
ACM Fellow
ACM Fellow 2007, "For contributions to program and system verification.".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on viaf.org

on id.loc.gov

on dnb.info

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2019
J. ACM, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
2012
J. Comput. Syst. Sci., 2012
J. Comput. Syst. Sci., 2012
J. Comput. Syst. Sci., 2012
Inf. Comput., 2012
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
2010
Proceedings of the Hardware and Software: Verification and Testing, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Time for Verification, 2010
Proceedings of the Time for Verification, 2010
Proceedings of the Concurrency, 2010
2009
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
Log. J. IGPL, 2008
Proceedings of the Verification, 2008
Proceedings of the 25 Years of Model Checking  History, Achievements, Perspectives, 2008
Proceedings of the 8th ACM SIGPLANSIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008
Proceedings of the FM 2008: Formal Methods, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
Mechanical Verification of Transactional Memories with Nontransactional Memory Accesses.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
Proceedings of the Pillars of Computer Science, 2008
Proceedings of the 15th AsiaPacific Software Engineering Conference (APSEC 2008), 2008
2007
Int. J. Found. Comput. Sci., 2007
Electron. Notes Theor. Comput. Sci., 2007
Proceedings of the Verification, 2007
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2007
Proceedings of the Formal Methods in ComputerAided Design, 7th International Conference, 2007
Interactive presentation: Automatic hardware synthesis from specifications: a case study.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Int. J. Softw. Tools Technol. Transf., 2006
Formal Methods Syst. Des., 2006
Electron. Notes Theor. Comput. Sci., 2006
Electron. Notes Theor. Comput. Sci., 2006
Proceedings of the Verification, 2006
Proceedings of the Verification, 2006
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
Proceedings of the FM 2006: Formal Methods, 2006
2005
Theor. Comput. Sci., 2005
A discretetime UML semantics for concurrency and communication in safetycritical applications.
Sci. Comput. Program., 2005
Inf. Comput., 2005
Formal Methods Syst. Des., 2005
Electron. Notes Theor. Comput. Sci., 2005
Proceedings of the Verification, 2005
Proceedings of the Verification, 2005
Separating Fairness and WellFoundedness for the Analysis of Fair Discrete Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Verification of Procedural Programs.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005
Synthesis Revisited: Generating Statechart Models from ScenarioBased Requirements.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
Proceedings of the Automated Technology for Verification and Analysis, 2005
2004
Comput. Lang. Syst. Struct., 2004
Proceedings of the «UML» 2004, 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
J. Univers. Comput. Sci., 2003
Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279293).
Inf. Comput., 2003
Proceedings of the Verification, 2003
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
Proceedings of the Verification: Theory and Practice, 2003
2002
J. Log. Comput., 2002
Inf. Comput., 2002
Electron. Notes Theor. Comput. Sci., 2002
Electron. Notes Theor. Comput. Sci., 2002
Constraints An Int. J., 2002
Proceedings of the Verification, 2002
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 2002
Understanding UML: A Formal Semantics of Concurrency and Communication in RealTime UML.
Proceedings of the Formal Methods for Components and Objects, 2002
Proceedings of the Formal Methods in ComputerAided Design, 4th International Conference, 2002
Proceedings of the Embedded Software, Second International Conference, 2002
Proceedings of the CONCUR 2002, 2002
Proceedings of the CONCUR 2002, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the International Conference on Compilers, 2002
2001
ACM Trans. Program. Lang. Syst., 2001
Theor. Comput. Sci., 2001
J. Comput. Syst. Sci., 2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
Int. J. Softw. Tools Technol. Transf., 2000
Proc. IEEE, 2000
Log. J. IGPL, 2000
Inf. Comput., 2000
Acta Informatica, 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
Proceedings of the 2000 International Conference on Compilers, 2000
1999
Inf. Comput., 1999
Distributed Comput., 1999
Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999
Proceedings of the 20th IEEE RealTime Systems Symposium, 1999
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify RealLife Software.
Proceedings of the FM'99  Formal Methods, 1999
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
Proceedings of the Correct System Design, 1999
1998
Int. J. Softw. Tools Technol. Transf., 1998
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 1998
Proceedings of the Formal Methods in ComputerAided Design, 1998
Proceedings of the Applied Formal Methods, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
Deductive vs. ModelTheoretic Approaches to Formal Verification (Abstract of Invited Talk).
Proceedings of the Automated Deduction, 1998
A Fast Algorithm for Scheduling TimeConstrained Instructions on Processors with ILP.
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998
1997
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997
Proceedings of the Hybrid and RealTime Systems, 1997
Proceedings of the Hybrid and RealTime Systems, 1997
Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 1997
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997
Verifying outoforder executions.
Proceedings of the Advances in Hardware Design and Verification, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
Inf. Comput., May, 1995
Theor. Comput. Sci., 1995
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract).
Proceedings of the STACS 95, 1995
Proceedings of the Proceedings, 1995
Proceedings of the Proceedings, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
Proceedings of the Correct Hardware Design and Verification Methods, 1995
Temporal verification of reactive systems  safety.
Springer, ISBN: 9780387944593, 1995
1994
Inf. Comput., August, 1994
Theor. Comput. Sci., 1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the Hybrid Systems II, 1994
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
1993
Inf. Comput., March, 1993
Acta Informatica, 1993
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
Verification of parameterized programs.
Proceedings of the Specification and validation methods, 1993
1992
Proceedings of the Future Tendencies in Computer Science, 1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Proceedings of the Hybrid Systems, 1992
Proceedings of the Hybrid Systems, 1992
Proceedings of the Hybrid Systems, 1992
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 1992
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract).
Proceedings of the CONCUR '92, 1992
Springer, ISBN: 9781461209317, 1992
1991
Theor. Comput. Sci., 1991
Proceedings of the Theoretical Aspects of Computer Software, 1991
Proceedings of the RealTime: Theory in Practice, 1991
Proceedings of the RealTime: Theory in Practice, 1991
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991
1990
IEEE Trans. Software Eng., 1990
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
1989
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
Proceedings of the 1989 IEEE International Conference on ComputerAided Design, 1989
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
Learning omegaRegular Languages from Queries and CounterExamples (A Preliminary Report).
Proceedings of the Analogical and Inductive Inference, 1989
1988
Comput. Vis. Graph. Image Process., 1988
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
Proceedings of the Proceedings, 1988
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 1988
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
IEEE Trans. Software Eng., 1987
Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach.
Proceedings of the STACS 87, 1987
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987
On the Formal Semantics of Statecharts (Extended Abstract)
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
1986
Distributed Comput., 1986
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986
A Choppy Logic
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
Probabilistic Verification by Tableaux
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
Specification and Development of Reactive Systems (Invited Paper).
Proceedings of the Information Processing 86, 1986
Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986
1985
Checking That Finite State Concurrent Programs Satisfy Their Linear Specification.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985
Proceedings of the Logics of Programs, 1985
Proceedings of the Logics of Programs, 1985
Proceedings of the Automata, 1985
1984
IEEE Trans. Syst. Man Cybern., 1984
Theor. Comput. Sci., 1984
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System.
Theor. Comput. Sci., 1984
Theor. Comput. Sci., 1984
Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL.
SIAM J. Comput., 1984
SIAM J. Comput., 1984
Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs.
Sci. Comput. Program., 1984
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
Proceedings of the Logics and Models of Concurrent Systems, 1984
Proceedings of the Logics and Models of Concurrent Systems, 1984
Proceedings of the Automata, 1984
Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984
1983
IEEE Trans. Software Eng., 1983
ACM Trans. Program. Lang. Syst., 1983
J. Comput. Syst. Sci., 1983
Acta Informatica, 1983
Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983
Proceedings of the Logics of Programs, 1983
Proceedings of the Automata, 1983
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract).
Proceedings of the Automata, 1983
Proceedings of the Analysis of Concurrent Systems, 1983
1982
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.
J. Comput. Syst. Sci., 1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982
Proceedings of the AdaTEC Conference on Ada, 1982
1981
Theor. Comput. Sci., 1981
SIAM J. Comput., 1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
Proceedings of the Automata, 1981
Proceedings of the Automata, 1981
Proceedings of the Automata, 1981
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981
1980
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980
1979
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development.
ACM Trans. Program. Lang. Syst., 1979
Proceedings of the Automata, 1979
1978
Acta Informatica, 1978
1977
Theor. Comput. Sci., 1977
Acta Informatica, 1977
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977
Proceedings of the Automata, 1977
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977
1974
Acta Informatica, 1974
1973
J. ACM, 1973
1972
J. ACM, 1972
1971
J. Comput. Syst. Sci., 1971
1970
J. ACM, 1970
1969
Proceedings of the 1st Annual ACM Symposium on Theory of Computing, 1969