publications:
- title: "A Hierarchy of Temporal Properties (Abstract)"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1987"
  researchr: "https://researchr.org/publication/MannaP87%3A0"
  cites: 0
  citedby: 0
  pages: "205"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "MannaP87:0"
- title: "How to Cook a Temporal Proof System for Your Pet Language"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1983"
  researchr: "https://researchr.org/publication/MannaP83%3A0"
  cites: 0
  citedby: 0
  pages: "141-154"
  booktitle: "Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages"
  kind: "inproceedings"
  key: "MannaP83:0"
- title: "Using Abstraction to Verify Arbitrary Temporal Properties"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/APSEC.2008.76"
  links:
    doi: "http://dx.doi.org/10.1109/APSEC.2008.76"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/Pnueli08"
  cites: 0
  citedby: 0
  pages: "3"
  booktitle: "15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China"
  publisher: "IEEE"
  isbn: "978-0-7695-3446-6"
  kind: "inproceedings"
  key: "Pnueli08"
- title: "Parameterized Verification by Probabilistic Abstraction"
  author:
  - name: "Tamarah Arons"
    link: "https://researchr.org/alias/tamarah-arons"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2620/26200087.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2620/26200087.htm"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/AronsPZ03"
  cites: 0
  citedby: 0
  pages: "87-102"
  booktitle: "Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings"
  editor:
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  volume: "2620"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00897-7"
  kind: "inproceedings"
  key: "AronsPZ03"
- title: "Completing the Temporal Picture"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1989"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/MannaP89%3A0"
  cites: 0
  citedby: 0
  pages: "534-558"
  booktitle: "Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings"
  editor:
  - name: "Giorgio Ausiello"
    link: "https://researchr.org/alias/giorgio-ausiello"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  volume: "372"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51371-X"
  kind: "inproceedings"
  key: "MannaP89:0"
- title: "Verification Engineering: A Future Profession (A. M. Turing Award Lecture)"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1997"
  researchr: "https://researchr.org/publication/Pnueli97%3A1"
  cites: 0
  citedby: 0
  pages: "7"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "Pnueli97:1"
- title: "Timed and Hybrid Statecharts and Their Textual Representation"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1992"
  researchr: "https://researchr.org/publication/KestenP92"
  cites: 0
  citedby: 0
  pages: "591-620"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings"
  editor:
  - name: "Jan Vytopil"
    link: "https://researchr.org/alias/jan-vytopil"
  volume: "571"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55092-5"
  kind: "inproceedings"
  key: "KestenP92"
- title: "STATEMATE; A Working Environment for the Development of Complex Reactive Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hagi Lachover"
    link: "https://researchr.org/alias/hagi-lachover"
  - name: "Amnon Naamad"
    link: "https://researchr.org/alias/amnon-naamad"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Michal Politi"
    link: "https://researchr.org/alias/michal-politi"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  - name: "Aharon Shtull-Trauring"
    link: "https://researchr.org/alias/aharon-shtull-trauring"
  year: "1988"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HarelLNPPSS88"
  cites: 0
  citedby: 0
  pages: "396-406"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "HarelLNPPSS88"
- title: "Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach"
  author:
  - name: "S. Kaplan"
    link: "https://researchr.org/alias/s.-kaplan"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1987"
  tags:
  - "data-flow"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KaplanP87"
  cites: 0
  citedby: 0
  pages: "220-244"
  booktitle: "STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings"
  editor:
  - name: "Franz-Josef Brandenburg"
    link: "https://researchr.org/alias/franz-josef-brandenburg"
  - name: "Guy Vidal-Naquet"
    link: "https://researchr.org/alias/guy-vidal-naquet"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  volume: "247"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17219-X"
  kind: "inproceedings"
  key: "KaplanP87"
- title: "CoVaC: Compiler Validation by Program Analysis of the Cross-Product"
  author:
  - name: "Anna Zaks"
    link: "https://researchr.org/alias/anna-zaks"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68237-0_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-68237-0_5"
  tags:
  - "program analysis"
  - "analysis"
  - "compiler"
  researchr: "https://researchr.org/publication/ZaksP08%3A0"
  cites: 0
  citedby: 0
  pages: "35-51"
  booktitle: "FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings"
  editor:
  - name: "Jorge Cuéllar"
    link: "https://researchr.org/alias/jorge-cu%C3%A9llar"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  - name: "Kaisa Sere"
    link: "https://researchr.org/alias/kaisa-sere"
  volume: "5014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-68235-6"
  kind: "inproceedings"
  key: "ZaksP08:0"
- title: "Propositional Dynamic Logic of Nonregular Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1983"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HarelPS83"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "26"
  number: "2"
  pages: "222-243"
  kind: "article"
  key: "HarelPS83"
- title: "Interactive presentation: Automatic hardware synthesis from specifications: a case study"
  author:
  - name: "Roderick Bloem"
    link: "https://researchr.org/alias/roderick-bloem"
  - name: "Stefan Galler"
    link: "https://researchr.org/alias/stefan-galler"
  - name: "Barbara Jobstmann"
    link: "https://researchr.org/alias/barbara-jobstmann"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Martin Weiglhofer"
    link: "https://researchr.org/alias/martin-weiglhofer"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1266366.1266622"
  links:
    doi: "http://doi.acm.org/10.1145/1266366.1266622"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/BloemGJPPW07"
  cites: 0
  citedby: 0
  pages: "1188-1193"
  booktitle: "2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France"
  editor:
  - name: "Rudy Lauwereins"
    link: "https://researchr.org/alias/rudy-lauwereins"
  - name: "Jan Madsen"
    link: "https://researchr.org/alias/jan-madsen"
  publisher: "ACM"
  isbn: "978-3-9810801-2-4"
  kind: "inproceedings"
  key: "BloemGJPPW07"
- title: "Ranking Abstraction as a Companion to Predicate Abstraction, "
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11562948_1"
  links:
    doi: "http://dx.doi.org/10.1007/11562948_1"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/Pnueli05"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings"
  editor:
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Yih-Kuen Tsay"
    link: "https://researchr.org/alias/yih-kuen-tsay"
  volume: "3707"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29209-8"
  kind: "inproceedings"
  key: "Pnueli05"
- title: "Proving Precedence Properties: The Temporal Way"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1983"
  researchr: "https://researchr.org/publication/MannaP83"
  cites: 0
  citedby: 0
  pages: "491-512"
  booktitle: "Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings"
  editor:
  - name: "Josep Díaz"
    link: "https://researchr.org/alias/josep-d%C3%ADaz"
  volume: "154"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-12317-2"
  kind: "inproceedings"
  key: "MannaP83"
- title: "On Recognizable Timed Languages"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2987&spage=348"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2987&spage=348"
  researchr: "https://researchr.org/publication/MalerP04"
  cites: 0
  citedby: 0
  pages: "348-362"
  booktitle: "Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings"
  editor:
  - name: "Igor Walukiewicz"
    link: "https://researchr.org/alias/igor-walukiewicz"
  volume: "2987"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21298-1"
  kind: "inproceedings"
  key: "MalerP04"
- title: "Herbrand Automata for Hardware Verification"
  author:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Sitvanit Ruah"
    link: "https://researchr.org/alias/sitvanit-ruah"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660067.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660067.htm"
  researchr: "https://researchr.org/publication/DammPR98"
  cites: 0
  citedby: 0
  pages: "67-83"
  booktitle: "CONCUR  98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings"
  editor:
  - name: "Davide Sangiorgi"
    link: "https://researchr.org/alias/davide-sangiorgi"
  - name: "Robert de Simone"
    link: "https://researchr.org/alias/robert-de-simone"
  volume: "1466"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64896-8"
  kind: "inproceedings"
  key: "DammPR98"
- title: "Bridging the Gap between Fair Simulation and Trace Inclusion"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=381"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=381"
  researchr: "https://researchr.org/publication/KestenPP03"
  cites: 0
  citedby: 0
  pages: "381-393"
  booktitle: "Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings"
  editor:
  - name: "Warren A. Hunt Jr."
    link: "https://researchr.org/alias/warren-a.-hunt-jr."
  - name: "Fabio Somenzi"
    link: "https://researchr.org/alias/fabio-somenzi"
  volume: "2725"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40524-0"
  kind: "inproceedings"
  key: "KestenPP03"
- title: "Verifying Clocked Transition Systems"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1995"
  researchr: "https://researchr.org/publication/KestenMP95"
  cites: 0
  citedby: 0
  pages: "13-40"
  booktitle: "Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA"
  editor:
  - name: "Rajeev Alur"
    link: "https://researchr.org/alias/rajeev-alur"
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Eduardo D. Sontag"
    link: "https://researchr.org/alias/eduardo-d.-sontag"
  volume: "1066"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61155-X"
  kind: "inproceedings"
  key: "KestenMP95"
- title: "Realizing an Equational Specification"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "R. Zarhi"
    link: "https://researchr.org/alias/r.-zarhi"
  year: "1981"
  researchr: "https://researchr.org/publication/PnueliZ81"
  cites: 0
  citedby: 0
  pages: "459-478"
  booktitle: "Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings"
  editor:
  - name: "Shimon Even"
    link: "https://researchr.org/alias/shimon-even"
  - name: "Oded Kariv"
    link: "https://researchr.org/alias/oded-kariv"
  volume: "115"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10843-2"
  kind: "inproceedings"
  key: "PnueliZ81"
- title: "A Complete Axiomatic System for Proving Deductions about Recursive Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1977"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/HarelPS77"
  cites: 0
  citedby: 0
  pages: "249-260"
  booktitle: "Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, 2-4 May 1977, Boulder, Colorado, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "HarelPS77"
- title: "On the Temporal Basis of Fairness"
  author:
  - name: "Dov M. Gabbay"
    link: "https://researchr.org/alias/dov-m.-gabbay"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Saharon Shelah"
    link: "https://researchr.org/alias/saharon-shelah"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1980"
  researchr: "https://researchr.org/publication/GabbayPSS80"
  cites: 0
  citedby: 0
  pages: "163-173"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "GabbayPSS80"
- title: "A Decision Algorithm for Full Propositional Temporal Logic"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Hugh McGuire"
    link: "https://researchr.org/alias/hugh-mcguire"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1993"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/KestenMMP93"
  cites: 0
  citedby: 0
  pages: "97-109"
  booktitle: "Computer Aided Verification, 5th International Conference, CAV  93, Elounda, Greece, June 28 - July 1, 1993, Proceedings"
  editor:
  - name: "Costas Courcoubetis"
    link: "https://researchr.org/alias/costas-courcoubetis"
  volume: "697"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56922-7"
  kind: "inproceedings"
  key: "KestenMMP93"
- title: "Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL"
  author:
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1984"
  tags:
  - "translation"
  - "logic"
  researchr: "https://researchr.org/publication/ShermanPH84"
  cites: 0
  citedby: 0
  journal: "SIAM Journal on Computing"
  volume: "13"
  number: "4"
  pages: "825-839"
  kind: "article"
  key: "ShermanPH84"
- title: "Abstraction for Liveness"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3385&spage=146"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3385&spage=146"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/Pnueli05%3A1"
  cites: 0
  citedby: 0
  pages: "146"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings"
  editor:
  - name: "Radhia Cousot"
    link: "https://researchr.org/alias/radhia-cousot"
  volume: "3385"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24297-X"
  kind: "inproceedings"
  key: "Pnueli05:1"
- title: "A Proof Method for Cyclic Programs"
  author:
  - name: "Nissim Francez"
    link: "https://researchr.org/alias/nissim-francez"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1978"
  researchr: "https://researchr.org/publication/FrancezP78"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "9"
  pages: "133-157"
  kind: "article"
  key: "FrancezP78"
- title: "Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk)"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1421/14210301.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1421/14210301.htm"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Pnueli98"
  cites: 0
  citedby: 0
  pages: "301"
  booktitle: "Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings"
  editor:
  - name: "Claude Kirchner"
    link: "https://researchr.org/alias/claude-kirchner"
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  volume: "1421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64675-2"
  kind: "inproceedings"
  key: "Pnueli98"
- title: "Verification of Clocked and Hybrid Systems"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/00236/bibs/0036011/00360837.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00236/bibs/0036011/00360837.htm"
  researchr: "https://researchr.org/publication/KestenMP00"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "36"
  number: "11"
  pages: "837-912"
  kind: "article"
  key: "KestenMP00"
- title: "Decidable Properties of Monadic Functional Schemas"
  author:
  - name: "Edward A. Ashcroft"
    link: "https://researchr.org/alias/edward-a.-ashcroft"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1973"
  doi: "db/journals/jacm/AshcroftMP73.html"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/AshcroftMP73"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "20"
  number: "3"
  pages: "489-499"
  kind: "article"
  key: "AshcroftMP73"
- title: " Don t Care  Modeling: A Logical Framework for Developing Predictive System Models"
  author:
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Michael J. Stern"
    link: "https://researchr.org/alias/michael-j.-stern"
  - name: "E. Jane Albert Hubbard"
    link: "https://researchr.org/alias/e.-jane-albert-hubbard"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_27"
  tags:
  - "meta-model"
  - "modeling"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KuglerPSH07"
  cites: 0
  citedby: 0
  pages: "343-357"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi"
  editor:
  - name: "Orna Grumberg"
    link: "https://researchr.org/alias/orna-grumberg"
  - name: "Michael Huth"
    link: "https://researchr.org/alias/michael-huth"
  volume: "4424"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71208-4"
  kind: "inproceedings"
  key: "KuglerPSH07"
- title: "Deciding Equality Formulas by Small Domains Instantiations"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yoav Rodeh"
    link: "https://researchr.org/alias/yoav-rodeh"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  - name: "Michael Siegel"
    link: "https://researchr.org/alias/michael-siegel"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1633/16330455.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1633/16330455.htm"
  researchr: "https://researchr.org/publication/PnueliRSS99"
  cites: 0
  citedby: 0
  pages: "455-469"
  booktitle: "Computer Aided Verification, 11th International Conference, CAV  99, Trento, Italy, July 6-10, 1999, Proceedings"
  editor:
  - name: "Nicolas Halbwachs"
    link: "https://researchr.org/alias/nicolas-halbwachs"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  volume: "1633"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66202-2"
  kind: "inproceedings"
  key: "PnueliRSS99"
- title: "Verifying Hybrid Systems"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1992"
  researchr: "https://researchr.org/publication/MannaP92"
  cites: 0
  citedby: 0
  pages: "4-35"
  booktitle: "Hybrid Systems"
  editor:
  - name: "Robert L. Grossman"
    link: "https://researchr.org/alias/robert-l.-grossman"
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Anders P. Ravn"
    link: "https://researchr.org/alias/anders-p.-ravn"
  - name: "Hans Rischel"
    link: "https://researchr.org/alias/hans-rischel"
  volume: "736"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57318-6"
  kind: "inproceedings"
  key: "MannaP92"
- title: "The Modal Logic of Programs"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1979"
  tags:
  - "modal logic"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/MannaP79"
  cites: 0
  citedby: 0
  pages: "385-409"
  booktitle: "Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings"
  editor:
  - name: "Hermann A. Maurer"
    link: "https://researchr.org/alias/hermann-a.-maurer"
  volume: "71"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-09510-1"
  kind: "inproceedings"
  key: "MannaP79"
- title: "A Really Abstract Concurrent Model and its Temporal Logic"
  author:
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Ruurd Kuiper"
    link: "https://researchr.org/alias/ruurd-kuiper"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1986"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BarringerKP86"
  cites: 0
  citedby: 0
  pages: "173-183"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "BarringerKP86"
- title: "Ranking Abstraction of Recursive Programs"
  author:
  - name: "Ittai Balaban"
    link: "https://researchr.org/alias/ittai-balaban"
  - name: "Ariel Cohen 0002"
    link: "https://researchr.org/alias/ariel-cohen-0002"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11609773_18"
  links:
    doi: "http://dx.doi.org/10.1007/11609773_18"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/BalabanCP06"
  cites: 0
  citedby: 0
  pages: "267-281"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings"
  editor:
  - name: "E. Allen Emerson"
    link: "https://researchr.org/alias/e.-allen-emerson"
  - name: "Kedar S. Namjoshi"
    link: "https://researchr.org/alias/kedar-s.-namjoshi"
  volume: "3855"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-31139-4"
  kind: "inproceedings"
  key: "BalabanCP06"
- title: "Translation Validation: From DC+ to C*"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  - name: "Michael Siegel"
    link: "https://researchr.org/alias/michael-siegel"
  year: "1998"
  tags:
  - "translation"
  - "C++"
  researchr: "https://researchr.org/publication/PnueliSS98"
  cites: 0
  citedby: 0
  pages: "137-150"
  booktitle: "Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings"
  editor:
  - name: "Dieter Hutter"
    link: "https://researchr.org/alias/dieter-hutter"
  - name: "Werner Stephan"
    link: "https://researchr.org/alias/werner-stephan"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  - name: "Markus Ullmann"
    link: "https://researchr.org/alias/markus-ullmann"
  volume: "1641"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66462-9"
  kind: "inproceedings"
  key: "PnueliSS98"
- title: "A Framework for Scheduler Synthesis"
  author:
  - name: "Karine Altisen"
    link: "https://researchr.org/alias/karine-altisen"
  - name: "Gregor Gößler"
    link: "https://researchr.org/alias/gregor-g%C3%B6%C3%9Fler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/joseph-sifakis"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1999"
  doi: "http://www.computer.org/proceedings/rtss/0475/04750154abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/rtss/0475/04750154abs.htm"
  researchr: "https://researchr.org/publication/AltisenGPSTY99"
  cites: 0
  citedby: 0
  pages: "154-163"
  booktitle: "IEEE Real-Time Systems Symposium"
  kind: "inproceedings"
  key: "AltisenGPSTY99"
- title: "Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development"
  author:
  - name: "Noah S. Prywes"
    link: "https://researchr.org/alias/noah-s.-prywes"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "S. Shastry"
    link: "https://researchr.org/alias/s.-shastry"
  year: "1979"
  doi: "http://doi.acm.org/10.1145/357073.357076"
  links:
    doi: "http://doi.acm.org/10.1145/357073.357076"
  tags:
  - "programming languages"
  researchr: "https://researchr.org/publication/PrywesPS79"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "1"
  number: "2"
  pages: "196-217"
  kind: "article"
  key: "PrywesPS79"
- title: "On Discretization of Delays in Timed Automata and Digital Circuits"
  author:
  - name: "Eugene Asarin"
    link: "https://researchr.org/alias/eugene-asarin"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660470.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660470.htm"
  researchr: "https://researchr.org/publication/AsarinMP98"
  cites: 0
  citedby: 0
  pages: "470-484"
  booktitle: "CONCUR  98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings"
  editor:
  - name: "Davide Sangiorgi"
    link: "https://researchr.org/alias/davide-sangiorgi"
  - name: "Robert de Simone"
    link: "https://researchr.org/alias/robert-de-simone"
  volume: "1466"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64896-8"
  kind: "inproceedings"
  key: "AsarinMP98"
- title: "Fair Termination Revisited-With Delay"
  author:
  - name: "Krzysztof R. Apt"
    link: "https://researchr.org/alias/krzysztof-r.-apt"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1984"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/AptPS84"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "33"
  pages: "65-84"
  kind: "article"
  key: "AptPS84"
- title: "Ranking Abstraction as Companion to Predicate Abstraction"
  author:
  - name: "Ittai Balaban"
    link: "https://researchr.org/alias/ittai-balaban"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11562436_1"
  links:
    doi: "http://dx.doi.org/10.1007/11562436_1"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/BalabanPZ05%3A0"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings"
  editor:
  - name: "Farn Wang"
    link: "https://researchr.org/alias/farn-wang"
  volume: "3731"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29189-X"
  kind: "inproceedings"
  key: "BalabanPZ05:0"
- title: "Very High Level Concurrent Programming"
  author:
  - name: "Yuan Shi"
    link: "https://researchr.org/alias/yuan-shi"
  - name: "Noah S. Prywes"
    link: "https://researchr.org/alias/noah-s.-prywes"
  - name: "Boleslaw K. Szymanski"
    link: "https://researchr.org/alias/boleslaw-k.-szymanski"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1987"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/ShiPSP87"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "13"
  number: "9"
  pages: "1038-1046"
  kind: "article"
  key: "ShiPSP87"
- title: "Now You May Compose Temporal Logic Specifications"
  author:
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Ruurd Kuiper"
    link: "https://researchr.org/alias/ruurd-kuiper"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1984"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BarringerKP84"
  cites: 0
  citedby: 0
  pages: "51-63"
  booktitle: "Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, 1984, Washington, D.C., USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "BarringerKP84"
- title: "Controller Synthesis from LSC Requirements"
  author:
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Cory Plock"
    link: "https://researchr.org/alias/cory-plock"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_6"
  researchr: "https://researchr.org/publication/KuglerPP09"
  cites: 0
  citedby: 0
  pages: "79-93"
  booktitle: "Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings"
  editor:
  - name: "Marsha Chechik"
    link: "https://researchr.org/alias/marsha-chechik"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  volume: "5503"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00592-3"
  kind: "inproceedings"
  key: "KuglerPP09"
- title: "Reduced Functional Consistency of Uninterpreted Functions"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.006"
  tags:
  - "consistency"
  researchr: "https://researchr.org/publication/PnueliS06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "144"
  number: "2"
  pages: "53-65"
  kind: "article"
  key: "PnueliS06"
- title: "Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System"
  author:
  - name: "Shimon Cohen"
    link: "https://researchr.org/alias/shimon-cohen"
  - name: "Daniel J. Lehmann"
    link: "https://researchr.org/alias/daniel-j.-lehmann"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1984"
  researchr: "https://researchr.org/publication/CohenLP84"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "34"
  pages: "215-225"
  kind: "article"
  key: "CohenLP84"
- title: "In and Out of Temporal Logic"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "1993"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PnueliZ93"
  cites: 0
  citedby: 0
  pages: "124-135"
  booktitle: "Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "PnueliZ93"
- title: "Refining the Undecidability Frontier of Hybrid Automata"
  author:
  - name: "Venkatesh Mysore"
    link: "https://researchr.org/alias/venkatesh-mysore"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11590156_21"
  links:
    doi: "http://dx.doi.org/10.1007/11590156_21"
  researchr: "https://researchr.org/publication/MysoreP05"
  cites: 0
  citedby: 0
  pages: "261-272"
  booktitle: "FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings"
  editor:
  - name: "Ramaswamy Ramanujam"
    link: "https://researchr.org/alias/ramaswamy-ramanujam"
  - name: "Sandeep Sen"
    link: "https://researchr.org/alias/sandeep-sen"
  volume: "3821"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30495-9"
  kind: "inproceedings"
  key: "MysoreP05"
- title: "Smart Play-Out Extended: Time and Forbidden Elements"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/qsic/2004/2207/00/22070002abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/qsic/2004/2207/00/22070002abs.htm"
  researchr: "https://researchr.org/publication/HarelKP04"
  cites: 0
  citedby: 0
  pages: "2-10"
  booktitle: "4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2207-6"
  kind: "inproceedings"
  key: "HarelKP04"
- title: "IIV: An Invisible Invariant Verifier"
  author:
  - name: "Ittai Balaban"
    link: "https://researchr.org/alias/ittai-balaban"
  - name: "Yi Fang"
    link: "https://researchr.org/alias/yi-fang"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11513988_39"
  links:
    doi: "http://dx.doi.org/10.1007/11513988_39"
  researchr: "https://researchr.org/publication/BalabanFPZ05"
  cites: 0
  citedby: 0
  pages: "408-412"
  booktitle: "Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings"
  editor:
  - name: "Kousha Etessami"
    link: "https://researchr.org/alias/kousha-etessami"
  - name: "Sriram K. Rajamani"
    link: "https://researchr.org/alias/sriram-k.-rajamani"
  volume: "3576"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-27231-3"
  kind: "inproceedings"
  key: "BalabanFPZ05"
- title: "Model Checking with Strong Fairness"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Li-on Raviv"
    link: "https://researchr.org/alias/li-on-raviv"
  - name: "Elad Shahar"
    link: "https://researchr.org/alias/elad-shahar"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10703-006-4342-y"
  links:
    doi: "http://dx.doi.org/10.1007/s10703-006-4342-y"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KestenPRS06"
  cites: 0
  citedby: 0
  journal: "Formal Methods in System Design"
  volume: "28"
  number: "1"
  pages: "57-84"
  kind: "article"
  key: "KestenPRS06"
- title: "STATEMATE: A Working Environment for the Development of Complex Reactive Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hagi Lachover"
    link: "https://researchr.org/alias/hagi-lachover"
  - name: "Amnon Naamad"
    link: "https://researchr.org/alias/amnon-naamad"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Michal Politi"
    link: "https://researchr.org/alias/michal-politi"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  - name: "Aharon Shtull-Trauring"
    link: "https://researchr.org/alias/aharon-shtull-trauring"
  - name: "Mark B. Trakhtenbrot"
    link: "https://researchr.org/alias/mark-b.-trakhtenbrot"
  year: "1990"
  doi: "http://www.computer.org/tse/ts1990/e0403abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1990/e0403abs.htm"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HarelLNPPSST90"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "16"
  number: "4"
  pages: "403-414"
  kind: "article"
  key: "HarelLNPPSST90"
- title: "Algorithmic Verification of Linear Temporal Logic Specifications"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Li-on Raviv"
    link: "https://researchr.org/alias/li-on-raviv"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430001.htm"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/KestenPR98"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  volume: "1443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64781-3"
  kind: "inproceedings"
  key: "KestenPR98"
- title: "From Falsification to Verification"
  author:
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450292.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450292.htm"
  researchr: "https://researchr.org/publication/PeledPZ01"
  cites: 0
  citedby: 0
  pages: "292-304"
  booktitle: "FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings"
  editor:
  - name: "Ramesh Hariharan"
    link: "https://researchr.org/alias/ramesh-hariharan"
  - name: "Madhavan Mukund"
    link: "https://researchr.org/alias/madhavan-mukund"
  - name: "V. Vinay"
    link: "https://researchr.org/alias/v.-vinay"
  volume: "2245"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43002-4"
  kind: "inproceedings"
  key: "PeledPZ01"
- title: "Proving Partial Order Properties"
  author:
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1994"
  researchr: "https://researchr.org/publication/PeledP94"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "126"
  number: "2"
  pages: "143-182"
  kind: "article"
  key: "PeledP94"
- title: "From Timed to Hybrid Systems"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1991"
  researchr: "https://researchr.org/publication/MalerMP91"
  cites: 0
  citedby: 0
  pages: "447-484"
  booktitle: "Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Cornelis Huizing"
    link: "https://researchr.org/alias/cornelis-huizing"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "600"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55564-1"
  kind: "inproceedings"
  key: "MalerMP91"
- title: "Symbolic Controller Synthesis for Discrete and Timed Systems"
  author:
  - name: "Eugene Asarin"
    link: "https://researchr.org/alias/eugene-asarin"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1994"
  researchr: "https://researchr.org/publication/AsarinMP94"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "Hybrid Systems II"
  editor:
  - name: "Panos J. Antsaklis"
    link: "https://researchr.org/alias/panos-j.-antsaklis"
  - name: "Wolf Kohn"
    link: "https://researchr.org/alias/wolf-kohn"
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Shankar Sastry"
    link: "https://researchr.org/alias/shankar-sastry"
  volume: "999"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60472-3"
  kind: "inproceedings"
  key: "AsarinMP94"
- title: "Verifying Correctness of Transactional Memories"
  author:
  - name: "Ariel Cohen 0002"
    link: "https://researchr.org/alias/ariel-cohen-0002"
  - name: "John W. O Leary"
    link: "https://researchr.org/alias/john-w.-o-leary"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Mark R. Tuttle"
    link: "https://researchr.org/alias/mark-r.-tuttle"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.39"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.39"
  researchr: "https://researchr.org/publication/0002OPTZ07"
  cites: 0
  citedby: 0
  pages: "37-44"
  booktitle: "Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "0002OPTZ07"
- title: "Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract)"
  author:
  - name: "Shimon Cohen"
    link: "https://researchr.org/alias/shimon-cohen"
  - name: "Daniel J. Lehmann"
    link: "https://researchr.org/alias/daniel-j.-lehmann"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1983"
  researchr: "https://researchr.org/publication/CohenLP83"
  cites: 0
  citedby: 0
  pages: "128-136"
  booktitle: "Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings"
  editor:
  - name: "Josep Díaz"
    link: "https://researchr.org/alias/josep-d%C3%ADaz"
  volume: "154"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-12317-2"
  kind: "inproceedings"
  key: "CohenLP83"
- title: "TLPVS: A PVS-Based LTL Verification System"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Tamarah Arons"
    link: "https://researchr.org/alias/tamarah-arons"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2772&spage=598"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2772&spage=598"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/PnueliA03"
  cites: 0
  citedby: 0
  pages: "598-625"
  booktitle: "Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday"
  editor:
  - name: "Nachum Dershowitz"
    link: "https://researchr.org/alias/nachum-dershowitz"
  volume: "2772"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21002-4"
  kind: "inproceedings"
  key: "PnueliA03"
- title: "Scheduling time-constrained instructions on pipelined processors"
  author:
  - name: "Allen Leung"
    link: "https://researchr.org/alias/allen-leung"
  - name: "Krishna V. Palem"
    link: "https://researchr.org/alias/krishna-v.-palem"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/383721.383733"
  links:
    doi: "http://doi.acm.org/10.1145/383721.383733"
  researchr: "https://researchr.org/publication/LeungPP01"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "23"
  number: "1"
  pages: "73-103"
  kind: "article"
  key: "LeungPP01"
- title: "On the Faithfulness of Formal Models"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1991"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/MannaP91"
  cites: 0
  citedby: 0
  pages: "28-42"
  booktitle: "Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings"
  editor:
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  volume: "520"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54345-7"
  kind: "inproceedings"
  key: "MannaP91"
- title: "Range Allocation for Separation Logic"
  author:
  - name: "Muralidhar Talupur"
    link: "https://researchr.org/alias/muralidhar-talupur"
  - name: "Nishant Sinha"
    link: "https://researchr.org/alias/nishant-sinha"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=148"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=148"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/TalupurSSP04"
  cites: 0
  citedby: 0
  pages: "148-161"
  booktitle: "Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings"
  editor:
  - name: "Rajeev Alur"
    link: "https://researchr.org/alias/rajeev-alur"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  volume: "3114"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22342-8"
  kind: "inproceedings"
  key: "TalupurSSP04"
- title: "The Temporal Logic of Programs"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1977"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/Pnueli77"
  cites: 0
  citedby: 0
  pages: "46-57"
  booktitle: "18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "Pnueli77"
- title: "Temporal Proof Methodologies for Timed Transition Systems"
  author:
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1994"
  month: "August"
  researchr: "https://researchr.org/publication/HenzingerMP94"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "112"
  number: "2"
  pages: "273-337"
  kind: "article"
  key: "HenzingerMP94"
- title: "TVOC: A Translation Validator for Optimizing Compilers"
  author:
  - name: "Clark W. Barrett"
    link: "https://researchr.org/alias/clark-w.-barrett"
  - name: "Yi Fang"
    link: "https://researchr.org/alias/yi-fang"
  - name: "Benjamin Goldberg"
    link: "https://researchr.org/alias/benjamin-goldberg"
  - name: "Ying Hu"
    link: "https://researchr.org/alias/ying-hu"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11513988_29"
  links:
    doi: "http://dx.doi.org/10.1007/11513988_29"
  tags:
  - "optimization"
  - "translation"
  - "compiler"
  researchr: "https://researchr.org/publication/BarrettFGHPZ05"
  cites: 0
  citedby: 0
  pages: "291-295"
  booktitle: "Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings"
  editor:
  - name: "Kousha Etessami"
    link: "https://researchr.org/alias/kousha-etessami"
  - name: "Sriram K. Rajamani"
    link: "https://researchr.org/alias/sriram-k.-rajamani"
  volume: "3576"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-27231-3"
  kind: "inproceedings"
  key: "BarrettFGHPZ05"
- title: "Formal Verification of the Ricart-Agrawala Algorithm"
  author:
  - name: "Ekaterina Sedletsky"
    link: "https://researchr.org/alias/ekaterina-sedletsky"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Mordechai Ben-Ari"
    link: "https://researchr.org/alias/mordechai-ben-ari"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1974/19740325.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1974/19740325.htm"
  researchr: "https://researchr.org/publication/SedletskyPB00"
  cites: 0
  citedby: 0
  pages: "325-335"
  booktitle: "Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings"
  editor:
  - name: "Sanjiv Kapoor"
    link: "https://researchr.org/alias/sanjiv-kapoor"
  - name: "Sanjiva Prasad"
    link: "https://researchr.org/alias/sanjiva-prasad"
  volume: "1974"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41413-4"
  kind: "inproceedings"
  key: "SedletskyPB00"
- title: "Shape Analysis by Predicate Abstraction"
  author:
  - name: "Ittai Balaban"
    link: "https://researchr.org/alias/ittai-balaban"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3385&spage=164"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3385&spage=164"
  tags:
  - "analysis"
  - "abstraction"
  researchr: "https://researchr.org/publication/BalabanPZ05"
  cites: 0
  citedby: 0
  pages: "164-180"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings"
  editor:
  - name: "Radhia Cousot"
    link: "https://researchr.org/alias/radhia-cousot"
  volume: "3385"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24297-X"
  kind: "inproceedings"
  key: "BalabanPZ05"
- title: "Formalization of Properties of Recursively Defined Functions"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1969"
  researchr: "https://researchr.org/publication/MannaP69"
  cites: 0
  citedby: 0
  pages: "201-210"
  booktitle: "Conference Record of ACM Symposium on Theory of Computing, 5-7 May 1969, Marina del Rey, California, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "MannaP69"
- title: "Specification and Verification of Concurrent Programs By Forall-Automata"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1987"
  tags:
  - "program verification"
  researchr: "https://researchr.org/publication/MannaP87"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "MannaP87"
- title: "Propositional Dynamic Logic of Context-Free Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1981"
  tags:
  - "logic programming"
  - "context-aware"
  - "logic"
  researchr: "https://researchr.org/publication/HarelPS81"
  cites: 0
  citedby: 0
  pages: "310-321"
  booktitle: "22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "HarelPS81"
- title: "Specify, Compile, Run: Hardware from PSL"
  author:
  - name: "Roderick Bloem"
    link: "https://researchr.org/alias/roderick-bloem"
  - name: "Stefan Galler"
    link: "https://researchr.org/alias/stefan-galler"
  - name: "Barbara Jobstmann"
    link: "https://researchr.org/alias/barbara-jobstmann"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Martin Weiglhofer"
    link: "https://researchr.org/alias/martin-weiglhofer"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.09.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.09.004"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/BloemGJPPW07%3A0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "190"
  number: "4"
  pages: "3-16"
  kind: "article"
  key: "BloemGJPPW07:0"
- title: "VOC: A Methodology for the Translation Validation of OptimizingCompilers"
  author:
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Benjamin Goldberg"
    link: "https://researchr.org/alias/benjamin-goldberg"
  year: "2003"
  doi: "http://www.jucs.org/jucs_9_3/voc_a_methodology_for"
  links:
    doi: "http://www.jucs.org/jucs_9_3/voc_a_methodology_for"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/ZuckPG03"
  cites: 0
  citedby: 0
  journal: "J. UCS"
  volume: "9"
  number: "3"
  pages: "223-247"
  kind: "article"
  key: "ZuckPG03"
- title: "Liveness with (0, 1, infty)-Counter Abstraction"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jessie Xu"
    link: "https://researchr.org/alias/jessie-xu"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2404/24040107.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2404/24040107.htm"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/PnueliXZ02"
  cites: 0
  citedby: 0
  pages: "107-122"
  booktitle: "Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings"
  editor:
  - name: "Ed Brinksma"
    link: "https://researchr.org/alias/ed-brinksma"
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  volume: "2404"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43997-8"
  kind: "inproceedings"
  key: "PnueliXZ02"
- title: "On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/joseph-sifakis"
  year: "1995"
  researchr: "https://researchr.org/publication/MalerPS95"
  cites: 0
  citedby: 0
  pages: "229-242"
  booktitle: "STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings"
  editor:
  - name: "Ernst W. Mayr"
    link: "https://researchr.org/alias/ernst-w.-mayr"
  - name: "Claude Puech"
    link: "https://researchr.org/alias/claude-puech"
  volume: "900"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59042-0"
  kind: "inproceedings"
  key: "MalerPS95"
- title: "A Sound and Complete Deductive System for CTL* Verification"
  author:
  - name: "Dov M. Gabbay"
    link: "https://researchr.org/alias/dov-m.-gabbay"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2008"
  doi: "http://dx.doi.org/10.1093/jigpal/jzn018"
  links:
    doi: "http://dx.doi.org/10.1093/jigpal/jzn018"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/GabbayP08"
  cites: 0
  citedby: 0
  journal: "Logic Journal of the IGPL"
  volume: "16"
  number: "6"
  pages: "499-536"
  kind: "article"
  key: "GabbayP08"
- title: "Compilation of Nonprocedural Specifications into Computer Programs"
  author:
  - name: "Noah S. Prywes"
    link: "https://researchr.org/alias/noah-s.-prywes"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1983"
  researchr: "https://researchr.org/publication/PrywesP83"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "9"
  number: "3"
  pages: "267-279"
  kind: "article"
  key: "PrywesP83"
- title: "Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1986"
  tags:
  - "survey"
  - "logic"
  researchr: "https://researchr.org/publication/Pnueli86"
  cites: 0
  citedby: 0
  pages: "510-584"
  booktitle: "Current Trends in Concurrency, Overviews and Tutorials"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "224"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16488-X"
  kind: "incollection"
  key: "Pnueli86"
- title: "The Temporal Logic of Branching Time"
  author:
  - name: "Mordechai Ben-Ari"
    link: "https://researchr.org/alias/mordechai-ben-ari"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  year: "1983"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Ben-AriPM83"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "20"
  pages: "207-226"
  kind: "article"
  key: "Ben-AriPM83"
- title: "Applications of Temporal Logic to the Specification of Real-time Systems"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Eyal Harel"
    link: "https://researchr.org/alias/eyal-harel"
  year: "1988"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PnueliH88"
  cites: 0
  citedby: 0
  pages: "84-98"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988"
  editor:
  - name: "Mathai Joseph"
    link: "https://researchr.org/alias/mathai-joseph"
  volume: "331"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-50302-1"
  kind: "inproceedings"
  key: "PnueliH88"
- title: "PSL Model Checking and Run-Time Verification Via Testers"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Aleksandr Zaks"
    link: "https://researchr.org/alias/aleksandr-zaks"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11813040_38"
  links:
    doi: "http://dx.doi.org/10.1007/11813040_38"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PnueliZ06"
  cites: 0
  citedby: 0
  pages: "573-586"
  booktitle: "FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings"
  editor:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  - name: "Emil Sekerinski"
    link: "https://researchr.org/alias/emil-sekerinski"
  volume: "4085"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37215-6"
  kind: "inproceedings"
  key: "PnueliZ06"
- title: "Verification of Procedural Programs"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  tags:
  - "program verification"
  researchr: "https://researchr.org/publication/Pnueli05%3A0"
  cites: 0
  citedby: 0
  pages: "543-590"
  booktitle: "We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two"
  editor:
  - name: "Sergei N. Artëmov"
    link: "https://researchr.org/alias/sergei-n.-art%C3%ABmov"
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Artur S. d Avila Garcez"
    link: "https://researchr.org/alias/artur-s.-d-avila-garcez"
  - name: "Luís C. Lamb"
    link: "https://researchr.org/alias/lu%C3%ADs-c.-lamb"
  - name: "John Woods"
    link: "https://researchr.org/alias/john-woods"
  publisher: "College Publications"
  isbn: "1-904987-26-5"
  kind: "inproceedings"
  key: "Pnueli05:0"
- title: "TimeC: A Time Constraint Language for ILP Processor Compilation"
  author:
  - name: "Allen Leung"
    link: "https://researchr.org/alias/allen-leung"
  - name: "Krishna V. Palem"
    link: "https://researchr.org/alias/krishna-v.-palem"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2002"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/LeungPP02"
  cites: 0
  citedby: 0
  journal: "Constraints"
  volume: "7"
  number: "2"
  pages: "75-115"
  kind: "article"
  key: "LeungPP02"
- title: "Development of Hybrid Systems"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1994"
  researchr: "https://researchr.org/publication/Pnueli94"
  cites: 0
  citedby: 0
  pages: "77-85"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings"
  editor:
  - name: "Hans Langmaack"
    link: "https://researchr.org/alias/hans-langmaack"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Jan Vytopil"
    link: "https://researchr.org/alias/jan-vytopil"
  volume: "863"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58468-4"
  kind: "inproceedings"
  key: "Pnueli94"
- title: "A Choppy Logic"
  author:
  - name: "Roni Rosner"
    link: "https://researchr.org/alias/roni-rosner"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1986"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/RosnerP86"
  cites: 0
  citedby: 0
  pages: "306-313"
  booktitle: "Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "RosnerP86"
- title: "Checking That Finite State Concurrent Programs Satisfy Their Linear Specification"
  author:
  - name: "Orna Lichtenstein"
    link: "https://researchr.org/alias/orna-lichtenstein"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1985"
  researchr: "https://researchr.org/publication/LichtensteinP85"
  cites: 0
  citedby: 0
  pages: "97-107"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "LichtensteinP85"
- title: "Checking Temporal Properties of Discrete, Timed and Continuous Behaviors"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Dejan Nickovic"
    link: "https://researchr.org/alias/dejan-nickovic"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78127-1_26"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78127-1_26"
  researchr: "https://researchr.org/publication/MalerNP08"
  cites: 0
  citedby: 0
  pages: "475-505"
  booktitle: "Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday"
  editor:
  - name: "Arnon Avron"
    link: "https://researchr.org/alias/arnon-avron"
  - name: "Nachum Dershowitz"
    link: "https://researchr.org/alias/nachum-dershowitz"
  - name: "Alexander Rabinovich"
    link: "https://researchr.org/alias/alexander-rabinovich"
  volume: "4800"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78126-4"
  kind: "inproceedings"
  key: "MalerNP08"
- title: "Modular Ranking Abstraction"
  author:
  - name: "Ittai Balaban"
    link: "https://researchr.org/alias/ittai-balaban"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2007"
  doi: "http://dx.doi.org/10.1142/S0129054107004553"
  links:
    doi: "http://dx.doi.org/10.1142/S0129054107004553"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/BalabanPZ07%3A0"
  cites: 0
  citedby: 0
  journal: "Int. J. Found. Comput. Sci."
  volume: "18"
  number: "1"
  pages: "5-44"
  kind: "article"
  key: "BalabanPZ07:0"
- title: "Discriminative Model Checking"
  author:
  - name: "Peter Niebert"
    link: "https://researchr.org/alias/peter-niebert"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_48"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_48"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/NiebertPP08"
  cites: 0
  citedby: 0
  pages: "504-516"
  booktitle: "Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings"
  editor:
  - name: "Aarti Gupta"
    link: "https://researchr.org/alias/aarti-gupta"
  - name: "Sharad Malik"
    link: "https://researchr.org/alias/sharad-malik"
  volume: "5123"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70543-7"
  kind: "inproceedings"
  key: "NiebertPP08"
- title: "Validating the Translation of an Industrial Optimizing Compiler"
  author:
  - name: "I. Gordin"
    link: "https://researchr.org/alias/i.-gordin"
  - name: "Raya Leviathan"
    link: "https://researchr.org/alias/raya-leviathan"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3299&spage=230"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3299&spage=230"
  tags:
  - "optimization"
  - "translation"
  - "compiler"
  researchr: "https://researchr.org/publication/GordinLP04"
  cites: 0
  citedby: 0
  pages: "230-247"
  booktitle: "Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings"
  editor:
  - name: "Farn Wang"
    link: "https://researchr.org/alias/farn-wang"
  volume: "3299"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23610-4"
  kind: "inproceedings"
  key: "GordinLP04"
- title: "Simple Programs and Their Decision Problems"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Giora Slutzki"
    link: "https://researchr.org/alias/giora-slutzki"
  year: "1977"
  researchr: "https://researchr.org/publication/PnueliS77"
  cites: 0
  citedby: 0
  pages: "380-390"
  booktitle: "Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings"
  editor:
  - name: "Arto Salomaa"
    link: "https://researchr.org/alias/arto-salomaa"
  - name: "Magnus Steinby"
    link: "https://researchr.org/alias/magnus-steinby"
  volume: "52"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-08342-1"
  kind: "inproceedings"
  key: "PnueliS77"
- title: "Liveness and Acceleration in Parameterized Verification"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Elad Shahar"
    link: "https://researchr.org/alias/elad-shahar"
  year: "2000"
  researchr: "https://researchr.org/publication/PnueliS00"
  cites: 0
  citedby: 0
  pages: "328-343"
  booktitle: "Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings"
  editor:
  - name: "E. Allen Emerson"
    link: "https://researchr.org/alias/e.-allen-emerson"
  - name: "A. Prasad Sistla"
    link: "https://researchr.org/alias/a.-prasad-sistla"
  volume: "1855"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67770-4"
  kind: "inproceedings"
  key: "PnueliS00"
- title: "Verification of Probabilistic Programs"
  author:
  - name: "Micha Sharir"
    link: "https://researchr.org/alias/micha-sharir"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Sergiu Hart"
    link: "https://researchr.org/alias/sergiu-hart"
  year: "1984"
  tags:
  - "program verification"
  researchr: "https://researchr.org/publication/SharirPH84"
  cites: 0
  citedby: 0
  journal: "SIAM Journal on Computing"
  volume: "13"
  number: "2"
  pages: "292-314"
  kind: "article"
  key: "SharirPH84"
- title: "Model checking and abstraction to the aid of parameterized systems (a survey)"
  author:
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.cl.2004.02.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.cl.2004.02.006"
  tags:
  - "model checking"
  - "meta-model"
  - "survey"
  - "abstraction"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/ZuckP04"
  cites: 0
  citedby: 0
  journal: "Computer Languages, Systems \\& Structures"
  volume: "30"
  number: "3-4"
  pages: "139-169"
  kind: "article"
  key: "ZuckP04"
- title: "The Small Model Property: How Small Can It Be?"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yoav Rodeh"
    link: "https://researchr.org/alias/yoav-rodeh"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  - name: "Michael Siegel"
    link: "https://researchr.org/alias/michael-siegel"
  year: "2002"
  doi: "http://dx.doi.org/10.1006/inco.2002.3175"
  links:
    doi: "http://dx.doi.org/10.1006/inco.2002.3175"
  researchr: "https://researchr.org/publication/PnueliRSS02"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "178"
  number: "1"
  pages: "279-293"
  kind: "article"
  key: "PnueliRSS02"
- title: "Two Decades of Temporal Logic: Achievements and Challenges (Abstract)"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1997"
  doi: "http://computer.org/proceedings/focs/8197/81970078abs.htm"
  links:
    doi: "http://computer.org/proceedings/focs/8197/81970078abs.htm"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Pnueli97%3A0"
  cites: 0
  citedby: 0
  pages: "78"
  booktitle: "FOCS"
  kind: "inproceedings"
  key: "Pnueli97:0"
- title: "What Good Are Digital Clocks?"
  author:
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1992"
  researchr: "https://researchr.org/publication/HenzingerMP92"
  cites: 0
  citedby: 0
  pages: "545-558"
  booktitle: "Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings"
  editor:
  - name: "Werner Kuich"
    link: "https://researchr.org/alias/werner-kuich"
  volume: "623"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55719-9"
  kind: "inproceedings"
  key: "HenzingerMP92"
- title: "How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract)"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1992"
  researchr: "https://researchr.org/publication/Pnueli92"
  cites: 0
  citedby: 0
  pages: "162-175"
  booktitle: "CONCUR  92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August  24-27, 1992, Proceedings"
  editor:
  - name: "Rance Cleaveland"
    link: "https://researchr.org/alias/rance-cleaveland"
  volume: "630"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55822-5"
  kind: "inproceedings"
  key: "Pnueli92"
- title: "Verification of Concurrent Programs: Temporal Proof Principles"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1981"
  tags:
  - "program verification"
  - "principles"
  researchr: "https://researchr.org/publication/MannaP81"
  cites: 0
  citedby: 0
  pages: "200-252"
  booktitle: "Logics of Programs, Workshop, Yorktown Heights, New York, May 1981"
  editor:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  volume: "131"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-11212-X"
  kind: "inproceedings"
  key: "MannaP81"
- title: "From MITL to Timed Automata"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Dejan Nickovic"
    link: "https://researchr.org/alias/dejan-nickovic"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11867340_20"
  links:
    doi: "http://dx.doi.org/10.1007/11867340_20"
  researchr: "https://researchr.org/publication/MalerNP06"
  cites: 0
  citedby: 0
  pages: "274-289"
  booktitle: "Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings"
  editor:
  - name: "Eugene Asarin"
    link: "https://researchr.org/alias/eugene-asarin"
  - name: "Patricia Bouyer"
    link: "https://researchr.org/alias/patricia-bouyer"
  volume: "4202"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-45026-2"
  kind: "inproceedings"
  key: "MalerNP06"
- title: "Rigorous development of embedded systems"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2000"
  doi: "http://portal.acm.org/citation.cfm?id=354880.354881"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=354880.354881"
  researchr: "https://researchr.org/publication/Pnueli00%3A0"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "CASES"
  kind: "inproceedings"
  key: "Pnueli00:0"
- title: "Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Tamarah Arons"
    link: "https://researchr.org/alias/tamarah-arons"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1522/15220351.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1522/15220351.htm"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/PnueliA98"
  cites: 0
  citedby: 0
  pages: "351-368"
  booktitle: "Formal Methods in Computer-Aided Design, Second International Conference, FMCAD  98, Palo Alto, California, USA, November 4-6, 1998, Proceedings"
  editor:
  - name: "Ganesh Gopalakrishnan"
    link: "https://researchr.org/alias/ganesh-gopalakrishnan"
  - name: "Phillip J. Windley"
    link: "https://researchr.org/alias/phillip-j.-windley"
  volume: "1522"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65191-8"
  kind: "inproceedings"
  key: "PnueliA98"
- title: "On the Learnability of Infinitary Regular Sets"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1995"
  month: "May"
  researchr: "https://researchr.org/publication/MalerP95"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "118"
  number: "2"
  pages: "316-326"
  kind: "article"
  key: "MalerP95"
- title: "Integration Graphs: A Class of Decidable Hybrid Systems"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/joseph-sifakis"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1992"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KestenPSY92"
  cites: 0
  citedby: 0
  pages: "179-208"
  booktitle: "Hybrid Systems"
  editor:
  - name: "Robert L. Grossman"
    link: "https://researchr.org/alias/robert-l.-grossman"
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Anders P. Ravn"
    link: "https://researchr.org/alias/anders-p.-ravn"
  - name: "Hans Rischel"
    link: "https://researchr.org/alias/hans-rischel"
  volume: "736"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57318-6"
  kind: "inproceedings"
  key: "KestenPSY92"
- title: "Orthogonal Polyhedra: Representation and Computation"
  author:
  - name: "Olivier Bournez"
    link: "https://researchr.org/alias/olivier-bournez"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1569/15690046.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1569/15690046.htm"
  researchr: "https://researchr.org/publication/BournezMP99"
  cites: 0
  citedby: 0
  pages: "46-60"
  booktitle: "Hybrid Systems: Computation and Control, Second International Workshop, HSCC 99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings"
  editor:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Jan H. van Schuppen"
    link: "https://researchr.org/alias/jan-h.-van-schuppen"
  volume: "1569"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65734-7"
  kind: "inproceedings"
  key: "BournezMP99"
- title: "Using Ghost Variables to Prove Refinement"
  author:
  - name: "Monica Marcus"
    link: "https://researchr.org/alias/monica-marcus"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1996"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/MarcusP96"
  cites: 0
  citedby: 0
  pages: "226-240"
  booktitle: "Algebraic Methodology and Software Technology, 5th International Conference, AMAST  96, Munich, Germany, July 1-5, 1996, Proceedings"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  volume: "1101"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61463-X"
  kind: "inproceedings"
  key: "MarcusP96"
- title: "A Framework for the Synthesis of Reactive Modules"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Roni Rosner"
    link: "https://researchr.org/alias/roni-rosner"
  year: "1988"
  researchr: "https://researchr.org/publication/PnueliR88"
  cites: 0
  citedby: 0
  pages: "4-17"
  booktitle: "Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings"
  editor:
  - name: "Friedrich H. Vogt"
    link: "https://researchr.org/alias/friedrich-h.-vogt"
  volume: "335"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-50403-6"
  kind: "inproceedings"
  key: "PnueliR88"
- title: "Proving Partial Order Liveness Properties"
  author:
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1990"
  researchr: "https://researchr.org/publication/PeledP90"
  cites: 0
  citedby: 0
  pages: "553-571"
  booktitle: "Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings"
  editor:
  - name: "Mike Paterson"
    link: "https://researchr.org/alias/mike-paterson"
  volume: "443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52826-1"
  kind: "inproceedings"
  key: "PeledP90"
- title: "Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML"
  author:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Bernhard Josko"
    link: "https://researchr.org/alias/bernhard-josko"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Angelika Votintseva"
    link: "https://researchr.org/alias/angelika-votintseva"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=71"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=71"
  tags:
  - "semantics"
  - "formal semantics"
  - "UML"
  researchr: "https://researchr.org/publication/DammJPV02"
  cites: 0
  citedby: 0
  pages: "71-98"
  booktitle: "Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  volume: "2852"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20303-6"
  kind: "inproceedings"
  key: "DammJPV02"
- title: "Sticks and stones: a coding scheme for parameterized verification"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/383962.383971"
  links:
    doi: "http://doi.acm.org/10.1145/383962.383971"
  researchr: "https://researchr.org/publication/Pnueli01"
  cites: 0
  citedby: 0
  pages: "14"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "Pnueli01"
- title: "A Linear History Semantics for Distributed Languages (Extended Abstract)"
  author:
  - name: "Nissim Francez"
    link: "https://researchr.org/alias/nissim-francez"
  - name: "Daniel J. Lehmann"
    link: "https://researchr.org/alias/daniel-j.-lehmann"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1980"
  tags:
  - "semantics"
  - "history"
  researchr: "https://researchr.org/publication/FrancezLP80"
  cites: 0
  citedby: 0
  pages: "143-151"
  booktitle: "21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "FrancezLP80"
- title: "Translation Validation"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Michael Siegel"
    link: "https://researchr.org/alias/michael-siegel"
  - name: "Eli Singerman"
    link: "https://researchr.org/alias/eli-singerman"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1384/13840151.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1384/13840151.htm"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/PnueliSS98%3A2"
  cites: 0
  citedby: 0
  pages: "151-166"
  booktitle: "Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS  98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceeding"
  editor:
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "1384"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64356-7"
  kind: "inproceedings"
  key: "PnueliSS98:2"
- title: "Model-Checking and Abstraction to the Aid of Parameterized Systems"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2575/25750004.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2575/25750004.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "abstraction"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PnueliZ03"
  cites: 0
  citedby: 0
  pages: "4"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings"
  editor:
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  - name: "Paul C. Attie"
    link: "https://researchr.org/alias/paul-c.-attie"
  - name: "Agostino Cortesi"
    link: "https://researchr.org/alias/agostino-cortesi"
  - name: "Supratik Mukhopadhyay"
    link: "https://researchr.org/alias/supratik-mukhopadhyay"
  volume: "2575"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00348-7"
  kind: "inproceedings"
  key: "PnueliZ03"
- title: "Temporal Verification of Simulation and Refinement"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1993"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/KestenMP93"
  cites: 0
  citedby: 0
  pages: "273-346"
  booktitle: "A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "803"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58043-3"
  kind: "inproceedings"
  key: "KestenMP93"
- title: "Temporal Proof Methodologies for Real-time Systems"
  author:
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1991"
  researchr: "https://researchr.org/publication/HenzingerMP91%3A0"
  cites: 0
  citedby: 0
  pages: "353-366"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "HenzingerMP91:0"
- title: "Symbolic Model Checking with Rich ssertional Languages"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Monica Marcus"
    link: "https://researchr.org/alias/monica-marcus"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Elad Shahar"
    link: "https://researchr.org/alias/elad-shahar"
  year: "1997"
  tags:
  - "model checking"
  - "meta-model"
  - "modeling language"
  - "language modeling"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KestenMMPS97"
  cites: 0
  citedby: 0
  pages: "424-435"
  booktitle: "Computer Aided Verification, 9th International Conference, CAV  97, Haifa, Israel, June 22-25, 1997, Proceedings"
  editor:
  - name: "Orna Grumberg"
    link: "https://researchr.org/alias/orna-grumberg"
  volume: "1254"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63166-6"
  kind: "inproceedings"
  key: "KestenMMPS97"
- title: "On Synthesizing Controllers from Bounded-Response Properties"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Dejan Nickovic"
    link: "https://researchr.org/alias/dejan-nickovic"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_12"
  researchr: "https://researchr.org/publication/MalerNP07"
  cites: 0
  citedby: 0
  pages: "95-107"
  booktitle: "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings"
  editor:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  volume: "4590"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73367-6"
  kind: "inproceedings"
  key: "MalerNP07"
- title: "Erratum ( The small model property: how small can it be?  Volume 178, Number 1 [2002], pages 279-293)"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yoav Rodeh"
    link: "https://researchr.org/alias/yoav-rodeh"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  - name: "Michael Siegel"
    link: "https://researchr.org/alias/michael-siegel"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0890-5401(03)00117-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0890-5401(03)00117-2"
  researchr: "https://researchr.org/publication/PnueliRSS03"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "184"
  number: "1"
  pages: "227"
  kind: "article"
  key: "PnueliRSS03"
- title: "Fair Synchronous Transition Systems and Their Liveness Proofs"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Natarajan Shankar"
    link: "https://researchr.org/alias/natarajan-shankar"
  - name: "Eli Singerman"
    link: "https://researchr.org/alias/eli-singerman"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1486/14860198.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1486/14860198.htm"
  researchr: "https://researchr.org/publication/PnueliSS98%3A1"
  cites: 0
  citedby: 0
  pages: "198-209"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings"
  editor:
  - name: "Anders P. Ravn"
    link: "https://researchr.org/alias/anders-p.-ravn"
  - name: "Hans Rischel"
    link: "https://researchr.org/alias/hans-rischel"
  volume: "1486"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65003-2"
  kind: "inproceedings"
  key: "PnueliSS98:1"
- title: "Liveness by Invisible Invariants"
  author:
  - name: "Yi Fang"
    link: "https://researchr.org/alias/yi-fang"
  - name: "Kenneth L. McMillan"
    link: "https://researchr.org/alias/kenneth-l.-mcmillan"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11888116_26"
  links:
    doi: "http://dx.doi.org/10.1007/11888116_26"
  researchr: "https://researchr.org/publication/FangMPZ06"
  cites: 0
  citedby: 0
  pages: "356-371"
  booktitle: "Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006"
  editor:
  - name: "Elie Najm"
    link: "https://researchr.org/alias/elie-najm"
  - name: "Jean-François Pradat-Peyre"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-pradat-peyre"
  - name: "Véronique Donzeau-Gouge"
    link: "https://researchr.org/alias/v%C3%A9ronique-donzeau-gouge"
  volume: "4229"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-46219-8"
  kind: "inproceedings"
  key: "FangMPZ06"
- title: "Data-Structures for the Verification of Timed Automata"
  author:
  - name: "Eugene Asarin"
    link: "https://researchr.org/alias/eugene-asarin"
  - name: "Marius Bozga"
    link: "https://researchr.org/alias/marius-bozga"
  - name: "Alain Kerbrat"
    link: "https://researchr.org/alias/alain-kerbrat"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Anne Rasse"
    link: "https://researchr.org/alias/anne-rasse"
  year: "1997"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/AsarinBKMPR97"
  cites: 0
  citedby: 0
  pages: "346-360"
  booktitle: "Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings"
  editor:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  volume: "1201"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62600-X"
  kind: "inproceedings"
  key: "AsarinBKMPR97"
- title: "Impartiality, Justice and Fairness: The Ethics of Concurrent Termination"
  author:
  - name: "Daniel J. Lehmann"
    link: "https://researchr.org/alias/daniel-j.-lehmann"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1981"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/LehmannPS81"
  cites: 0
  citedby: 0
  pages: "264-277"
  booktitle: "Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings"
  editor:
  - name: "Shimon Even"
    link: "https://researchr.org/alias/shimon-even"
  - name: "Oded Kariv"
    link: "https://researchr.org/alias/oded-kariv"
  volume: "115"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10843-2"
  kind: "inproceedings"
  key: "LehmannPS81"
- title: "Monitoring Interfaces for Faults"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Aleksandr Zaks"
    link: "https://researchr.org/alias/aleksandr-zaks"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.005"
  researchr: "https://researchr.org/publication/PnueliZZ06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "144"
  number: "4"
  pages: "73-89"
  kind: "article"
  key: "PnueliZZ06"
- title: "Communication with Directed Logic Variables"
  author:
  - name: "Alon Kleinman"
    link: "https://researchr.org/alias/alon-kleinman"
  - name: "Yael Moscowitz"
    link: "https://researchr.org/alias/yael-moscowitz"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Ehud Y. Shapiro"
    link: "https://researchr.org/alias/ehud-y.-shapiro"
  year: "1991"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/KleinmanMPS91"
  cites: 0
  citedby: 0
  pages: "221-232"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "KleinmanMPS91"
- title: "Probabilistic Verification by Tableaux"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "1986"
  researchr: "https://researchr.org/publication/PnueliZ86%3A0"
  cites: 0
  citedby: 0
  pages: "322-331"
  booktitle: "Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "PnueliZ86:0"
- title: "Translation Validation for Synchronous Languages"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  - name: "Michael Siegel"
    link: "https://researchr.org/alias/michael-siegel"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430235.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430235.htm"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/PnueliSS98%3A0"
  cites: 0
  citedby: 0
  pages: "235-246"
  booktitle: "Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  volume: "1443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64781-3"
  kind: "inproceedings"
  key: "PnueliSS98:0"
- title: "A Direct Algorithm for Checking Equivalence of LL::::(k):::: Grammars"
  author:
  - name: "Tmima Olshansky"
    link: "https://researchr.org/alias/tmima-olshansky"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1977"
  tags:
  - "grammar"
  researchr: "https://researchr.org/publication/OlshanskyP77"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "4"
  number: "3"
  pages: "321-349"
  kind: "article"
  key: "OlshanskyP77"
- title: "What is in a Step: On the Semantics of Statecharts"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "M. Shalev"
    link: "https://researchr.org/alias/m.-shalev"
  year: "1991"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/PnueliS91"
  cites: 0
  citedby: 0
  pages: "244-264"
  booktitle: "Theoretical Aspects of Computer Software, International Conference TACS  91, Sendai, Japan, September 24-27, 1991, Proceedings"
  editor:
  - name: "Takayasu Ito"
    link: "https://researchr.org/alias/takayasu-ito"
  - name: "Albert R. Meyer"
    link: "https://researchr.org/alias/albert-r.-meyer"
  volume: "526"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54415-1"
  kind: "inproceedings"
  key: "PnueliS91"
- title: "Proving Refinement Using Transduction"
  author:
  - name: "Bengt Jonsson"
    link: "https://researchr.org/alias/bengt-jonsson"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Camilla Rump"
    link: "https://researchr.org/alias/camilla-rump"
  year: "1999"
  doi: "http://link.springer.de/link/service/journals/00446/bibs/9012002/90120129.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00446/bibs/9012002/90120129.htm"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/JonssonPR99"
  cites: 0
  citedby: 0
  journal: "Distributed Computing"
  volume: "12"
  number: "2-3"
  pages: "129-149"
  kind: "article"
  key: "JonssonPR99"
- title: "There Exit Decidable Context Free Propositional Dynamic Logics"
  author:
  - name: "Tmima Koren"
    link: "https://researchr.org/alias/tmima-koren"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1983"
  tags:
  - "context-aware"
  - "logic"
  researchr: "https://researchr.org/publication/KorenP83"
  cites: 0
  citedby: 0
  pages: "290-312"
  booktitle: "Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings"
  editor:
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  volume: "164"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-12896-4"
  kind: "inproceedings"
  key: "KorenP83"
- title: "System Specification and Refinement in Temporal Logic"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1992"
  tags:
  - "refinement"
  - "logic"
  researchr: "https://researchr.org/publication/Pnueli92%3A0"
  cites: 0
  citedby: 0
  pages: "1-38"
  booktitle: "Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings"
  editor:
  - name: "R. K. Shyamasundar"
    link: "https://researchr.org/alias/r.-k.-shyamasundar"
  volume: "652"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56287-7"
  kind: "inproceedings"
  key: "Pnueli92:0"
- title: "Shape Analysis of Single-Parent Heaps"
  author:
  - name: "Ittai Balaban"
    link: "https://researchr.org/alias/ittai-balaban"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-69738-1_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69738-1_7"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BalabanPZ07"
  cites: 0
  citedby: 0
  pages: "91-105"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings"
  editor:
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Andreas Podelski"
    link: "https://researchr.org/alias/andreas-podelski"
  volume: "4349"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69735-0"
  kind: "inproceedings"
  key: "BalabanPZ07"
- title: "On the Synthesis of an Asynchronous Reactive Module"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Roni Rosner"
    link: "https://researchr.org/alias/roni-rosner"
  year: "1989"
  researchr: "https://researchr.org/publication/PnueliR89"
  cites: 0
  citedby: 0
  pages: "652-671"
  booktitle: "Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings"
  editor:
  - name: "Giorgio Ausiello"
    link: "https://researchr.org/alias/giorgio-ausiello"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  volume: "372"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51371-X"
  kind: "inproceedings"
  key: "PnueliR89"
- title: "A Complete Proof Systems for QPTL"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1995"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/KestenP95"
  cites: 0
  citedby: 0
  pages: "2-12"
  booktitle: "Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "KestenP95"
- title: "Tight Bounds on the Complexity of Cascaded Decomposition of Automata"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1990"
  researchr: "https://researchr.org/publication/MalerP90"
  cites: 0
  citedby: 0
  pages: "672-682"
  booktitle: "31st Annual Symposium on Foundations of Computer Science, 22-24 October 1990, St. Louis, Missouri, USA"
  volume: "II"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "MalerP90"
- title: "Reachability Analysis of Planar Multi-limear Systems"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1993"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/MalerP93"
  cites: 0
  citedby: 0
  pages: "194-209"
  booktitle: "Computer Aided Verification, 5th International Conference, CAV  93, Elounda, Greece, June 28 - July 1, 1993, Proceedings"
  editor:
  - name: "Costas Courcoubetis"
    link: "https://researchr.org/alias/costas-courcoubetis"
  volume: "697"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56922-7"
  kind: "inproceedings"
  key: "MalerP93"
- title: "Time for Concurrency"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1992"
  researchr: "https://researchr.org/publication/MannaP92%3A0"
  cites: 0
  citedby: 0
  pages: "129-153"
  booktitle: "Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992, Proceedings"
  editor:
  - name: "Alain Bensoussan"
    link: "https://researchr.org/alias/alain-bensoussan"
  - name: "Jean-Pierre Verjus"
    link: "https://researchr.org/alias/jean-pierre-verjus"
  volume: "653"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56320-2"
  kind: "inproceedings"
  key: "MannaP92:0"
- title: "VOC: A Translation Validator for Optimizing Compilers"
  author:
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yi Fang"
    link: "https://researchr.org/alias/yi-fang"
  - name: "Benjamin Goldberg"
    link: "https://researchr.org/alias/benjamin-goldberg"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/117/25/show/Products/notes/index.htt#002"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/117/25/show/Products/notes/index.htt#002"
  tags:
  - "optimization"
  - "translation"
  - "compiler"
  researchr: "https://researchr.org/publication/ZuckPFG02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "65"
  number: "2"
  pages: "2-18"
  kind: "article"
  key: "ZuckPFG02"
- title: "Explicit Clock Temporal Logic"
  author:
  - name: "Eyal Harel"
    link: "https://researchr.org/alias/eyal-harel"
  - name: "Orna Lichtenstein"
    link: "https://researchr.org/alias/orna-lichtenstein"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1990"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelLP90"
  cites: 0
  citedby: 0
  pages: "402-413"
  booktitle: "Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "HarelLP90"
- title: "On the scope of static checking in definitional languages"
  author:
  - name: "Boleslaw K. Szymanski"
    link: "https://researchr.org/alias/boleslaw-k.-szymanski"
  - name: "Noah S. Prywes"
    link: "https://researchr.org/alias/noah-s.-prywes"
  - name: "Evan D. Lock"
    link: "https://researchr.org/alias/evan-d.-lock"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1984"
  doi: "http://doi.acm.org/10.1145/800171.809622"
  links:
    doi: "http://doi.acm.org/10.1145/800171.809622"
  researchr: "https://researchr.org/publication/SzymanskiPLP84"
  cites: 0
  citedby: 0
  pages: "197-207"
  booktitle: "Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984"
  editor:
  - name: "Richard L. Muller"
    link: "https://researchr.org/alias/richard-l.-muller"
  - name: "James J. Pottmyer"
    link: "https://researchr.org/alias/james-j.-pottmyer"
  publisher: "ACM"
  isbn: "0-89791-144-X"
  kind: "inproceedings"
  key: "SzymanskiPLP84"
- title: "Temporal Logic for Scenario-Based Specifications"
  author:
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yuan Lu"
    link: "https://researchr.org/alias/yuan-lu"
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=445"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=445"
  tags:
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/KuglerHPLB05"
  cites: 0
  citedby: 0
  pages: "445-460"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Nicolas Halbwachs"
    link: "https://researchr.org/alias/nicolas-halbwachs"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  volume: "3440"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25333-5"
  kind: "inproceedings"
  key: "KuglerHPLB05"
- title: "Towards Refining Temporal Specifications into Hybrid Systems"
  author:
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1992"
  researchr: "https://researchr.org/publication/HenzingerMP92%3A0"
  cites: 0
  citedby: 0
  pages: "60-76"
  booktitle: "Hybrid Systems"
  editor:
  - name: "Robert L. Grossman"
    link: "https://researchr.org/alias/robert-l.-grossman"
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Anders P. Ravn"
    link: "https://researchr.org/alias/anders-p.-ravn"
  - name: "Hans Rischel"
    link: "https://researchr.org/alias/hans-rischel"
  volume: "736"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57318-6"
  kind: "inproceedings"
  key: "HenzingerMP92:0"
- title: "Verification by Augmented Finitary Abstraction"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2000"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/KestenP00%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "163"
  number: "1"
  pages: "203-243"
  kind: "article"
  key: "KestenP00:0"
- title: "Proving Termination of Prolog Programs"
  author:
  - name: "Nissim Francez"
    link: "https://researchr.org/alias/nissim-francez"
  - name: "Orna Grumberg"
    link: "https://researchr.org/alias/orna-grumberg"
  - name: "Shmuel Katz"
    link: "https://researchr.org/alias/shmuel-katz"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1985"
  tags:
  - "Prolog"
  - "termination"
  researchr: "https://researchr.org/publication/FrancezGKP85"
  cites: 0
  citedby: 0
  pages: "89-105"
  booktitle: "Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings"
  editor:
  - name: "Rohit Parikh"
    link: "https://researchr.org/alias/rohit-parikh"
  volume: "193"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15648-8"
  kind: "inproceedings"
  key: "FrancezGKP85"
- title: "A Hardware Implementation of the CSP Primitives and its Verification"
  author:
  - name: "Dorit Ron"
    link: "https://researchr.org/alias/dorit-ron"
  - name: "Flavia Rosemberg"
    link: "https://researchr.org/alias/flavia-rosemberg"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1984"
  researchr: "https://researchr.org/publication/RonRP84"
  cites: 0
  citedby: 0
  pages: "423-435"
  booktitle: "Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings"
  editor:
  - name: "Jan Paredaens"
    link: "https://researchr.org/alias/jan-paredaens"
  volume: "172"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-13345-3"
  kind: "inproceedings"
  key: "RonRP84"
- title: "Formal Modeling of C. elegans Development: A Scenario-Based Approach"
  author:
  - name: "Na aman Kam"
    link: "https://researchr.org/alias/na-aman-kam"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "E. Jane Albert Hubbard"
    link: "https://researchr.org/alias/e.-jane-albert-hubbard"
  - name: "Michael J. Stern"
    link: "https://researchr.org/alias/michael-j.-stern"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm"
  tags:
  - "rule-based"
  - "meta-model"
  - "modeling"
  - "model-driven development"
  - "C++"
  - "Meta-Environment"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KamHKMPHS03"
  cites: 0
  citedby: 0
  pages: "4-20"
  booktitle: "Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings"
  editor:
  - name: "Corrado Priami"
    link: "https://researchr.org/alias/corrado-priami"
  volume: "2602"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00605-2"
  kind: "inproceedings"
  key: "KamHKMPHS03"
- title: "Parameterized Verification with Automatically Computed Inductive Assertions"
  author:
  - name: "Tamarah Arons"
    link: "https://researchr.org/alias/tamarah-arons"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Sitvanit Ruah"
    link: "https://researchr.org/alias/sitvanit-ruah"
  - name: "Jiazhao Xu"
    link: "https://researchr.org/alias/jiazhao-xu"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020221.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020221.htm"
  researchr: "https://researchr.org/publication/AronsPRXZ01"
  cites: 0
  citedby: 0
  pages: "221-234"
  booktitle: "Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings"
  editor:
  - name: "Gérard Berry"
    link: "https://researchr.org/alias/g%C3%A9rard-berry"
  - name: "Hubert Comon"
    link: "https://researchr.org/alias/hubert-comon"
  - name: "Alain Finkel"
    link: "https://researchr.org/alias/alain-finkel"
  volume: "2102"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42345-1"
  kind: "inproceedings"
  key: "AronsPRXZ01"
- title: "Smart Play-out of Behavioral Requirements"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2517/25170378.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2517/25170378.htm"
  researchr: "https://researchr.org/publication/HarelKMP02"
  cites: 0
  citedby: 0
  pages: "378-398"
  booktitle: "Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings"
  editor:
  - name: "Mark Aagaard"
    link: "https://researchr.org/alias/mark-aagaard"
  - name: "John W. O Leary"
    link: "https://researchr.org/alias/john-w.-o-leary"
  volume: "2517"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00116-6"
  kind: "inproceedings"
  key: "HarelKMP02"
- title: "Range Allocation for Equivalence Logic"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yoav Rodeh"
    link: "https://researchr.org/alias/yoav-rodeh"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450317.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450317.htm"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PnueliRS01"
  cites: 0
  citedby: 0
  pages: "317-333"
  booktitle: "FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings"
  editor:
  - name: "Ramesh Hariharan"
    link: "https://researchr.org/alias/ramesh-hariharan"
  - name: "Madhavan Mukund"
    link: "https://researchr.org/alias/madhavan-mukund"
  - name: "V. Vinay"
    link: "https://researchr.org/alias/v.-vinay"
  volume: "2245"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43002-4"
  kind: "inproceedings"
  key: "PnueliRS01"
- title: "Synthesizing reactive systems from LSC requirements using the play-engine"
  author:
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Cory Plock"
    link: "https://researchr.org/alias/cory-plock"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297846.1297895"
  links:
    doi: "http://doi.acm.org/10.1145/1297846.1297895"
  researchr: "https://researchr.org/publication/KuglerPP07"
  cites: 0
  citedby: 0
  pages: "801-802"
  booktitle: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada"
  editor:
  - name: "Richard P. Gabriel"
    link: "http://www.dreamsongs.com/RPG.html"
  - name: "David F. Bacon"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html"
  - name: "Cristina Videira  Lopes"
    link: "http://www.ics.uci.edu/~lopes/"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "978-1-59593-865-7"
  kind: "inproceedings"
  key: "KuglerPP07"
- title: "Verifying Liveness Properties of Reactive Systems (Tutorial Abstract)"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1997"
  researchr: "https://researchr.org/publication/Pnueli97"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings"
  editor:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  volume: "1201"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62600-X"
  kind: "inproceedings"
  key: "Pnueli97"
- title: "Compositional Verification of Real-Time Systems"
  author:
  - name: "Edward Y. Chang"
    link: "https://researchr.org/alias/edward-y.-chang"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1994"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/ChangMP94"
  cites: 0
  citedby: 0
  pages: "458-465"
  booktitle: "Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "ChangMP94"
- title: "On the Extremely Fair Treatment of Probabilistic Algorithms"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1983"
  researchr: "https://researchr.org/publication/Pnueli83%3A0"
  cites: 0
  citedby: 0
  pages: "278-290"
  booktitle: "Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, 25-27 April 1983, Boston, Massachusetts, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Pnueli83:0"
- title: "On the Learnability of Infinitary Regular Sets"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1991"
  doi: "http://portal.acm.org/citation.cfm?id=114836.114848"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=114836.114848"
  researchr: "https://researchr.org/publication/MalerP91"
  cites: 0
  citedby: 0
  pages: "128-136"
  booktitle: "COLT"
  kind: "inproceedings"
  key: "MalerP91"
- title: "Automatic Verification of Probabilistic Free Choice"
  author:
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2294/22940208.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2294/22940208.htm"
  researchr: "https://researchr.org/publication/ZuckPK02"
  cites: 0
  citedby: 0
  pages: "208-224"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers"
  editor:
  - name: "Agostino Cortesi"
    link: "https://researchr.org/alias/agostino-cortesi"
  volume: "2294"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43631-6"
  kind: "inproceedings"
  key: "ZuckPK02"
- title: "Smart play-out"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/949344.949353"
  links:
    doi: "http://doi.acm.org/10.1145/949344.949353"
  researchr: "https://researchr.org/publication/HarelKMP03"
  cites: 0
  citedby: 0
  pages: "68-69"
  booktitle: "Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA"
  editor:
  - name: "Ron Crocker"
    link: "https://researchr.org/alias/ron-crocker"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "1-58113-751-6"
  kind: "inproceedings"
  key: "HarelKMP03"
- title: "Some Progress in the Symbolic Verification of Timed Automata"
  author:
  - name: "Marius Bozga"
    link: "https://researchr.org/alias/marius-bozga"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1997"
  researchr: "https://researchr.org/publication/BozgaMPY97"
  cites: 0
  citedby: 0
  pages: "179-190"
  booktitle: "Computer Aided Verification, 9th International Conference, CAV  97, Haifa, Israel, June 22-25, 1997, Proceedings"
  editor:
  - name: "Orna Grumberg"
    link: "https://researchr.org/alias/orna-grumberg"
  volume: "1254"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63166-6"
  kind: "inproceedings"
  key: "BozgaMPY97"
- title: "Models for Reactivity"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1993"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/MannaP93"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "30"
  number: "7"
  pages: "609-678"
  kind: "article"
  key: "MannaP93"
- title: "A Comparison of Two Verification Methods for Speculative Instruction Execution"
  author:
  - name: "Tamarah Arons"
    link: "https://researchr.org/alias/tamarah-arons"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1785/17850487.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1785/17850487.htm"
  researchr: "https://researchr.org/publication/AronsP00"
  cites: 0
  citedby: 0
  pages: "487-502"
  booktitle: "Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi"
  editor:
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "1785"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67282-6"
  kind: "inproceedings"
  key: "AronsP00"
- title: "Termination of Probabilistic Concurrent Program"
  author:
  - name: "Sergiu Hart"
    link: "https://researchr.org/alias/sergiu-hart"
  - name: "Micha Sharir"
    link: "https://researchr.org/alias/micha-sharir"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1983"
  doi: "http://doi.acm.org/10.1145/2166.357214"
  links:
    doi: "http://doi.acm.org/10.1145/2166.357214"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/HartSP83"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "5"
  number: "3"
  pages: "356-380"
  kind: "article"
  key: "HartSP83"
- title: "Prooving Safety Properties of Hybrid Systems"
  author:
  - name: "Arjun Kapur"
    link: "https://researchr.org/alias/arjun-kapur"
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1994"
  researchr: "https://researchr.org/publication/KapurHMP94"
  cites: 0
  citedby: 0
  pages: "431-454"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings"
  editor:
  - name: "Hans Langmaack"
    link: "https://researchr.org/alias/hans-langmaack"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Jan Vytopil"
    link: "https://researchr.org/alias/jan-vytopil"
  volume: "863"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58468-4"
  kind: "inproceedings"
  key: "KapurHMP94"
- title: "The Glory of the Past"
  author:
  - name: "Orna Lichtenstein"
    link: "https://researchr.org/alias/orna-lichtenstein"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "1985"
  researchr: "https://researchr.org/publication/LichtensteinPZ85"
  cites: 0
  citedby: 0
  pages: "196-218"
  booktitle: "Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings"
  editor:
  - name: "Rohit Parikh"
    link: "https://researchr.org/alias/rohit-parikh"
  volume: "193"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15648-8"
  kind: "inproceedings"
  key: "LichtensteinPZ85"
- title: "Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL"
  author:
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1982"
  tags:
  - "translation"
  - "logic"
  researchr: "https://researchr.org/publication/ShermanPH82"
  cites: 0
  citedby: 0
  pages: "347-360"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "ShermanPH82"
- title: "Network Invariants in Action"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Elad Shahar"
    link: "https://researchr.org/alias/elad-shahar"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210101.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210101.htm"
  researchr: "https://researchr.org/publication/KestenPSZ02"
  cites: 0
  citedby: 0
  pages: "101-115"
  booktitle: "CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings"
  editor:
  - name: "Lubos Brim"
    link: "https://researchr.org/alias/lubos-brim"
  - name: "Petr Jancar"
    link: "https://researchr.org/alias/petr-jancar"
  - name: "Mojmír Kretínský"
    link: "https://researchr.org/alias/mojm%C3%ADr-kret%C3%ADnsk%C3%BD"
  - name: "Antonín Kucera"
    link: "https://researchr.org/alias/anton%C3%ADn-kucera"
  volume: "2421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44043-7"
  kind: "inproceedings"
  key: "KestenPSZ02"
- title: "Validating software pipelining optimizations"
  author:
  - name: "Raya Leviathan"
    link: "https://researchr.org/alias/raya-leviathan"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581630.581676"
  links:
    doi: "http://doi.acm.org/10.1145/581630.581676"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/LeviathanP02"
  cites: 0
  citedby: 0
  pages: "280-287"
  booktitle: "Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2002, Greenoble, France, October 8-11, 2002"
  editor:
  - name: "Shuvra S. Bhattacharyya"
    link: "https://researchr.org/alias/shuvra-s.-bhattacharyya"
  - name: "Trevor N. Mudge"
    link: "https://researchr.org/alias/trevor-n.-mudge"
  - name: "Wayne Wolf"
    link: "https://researchr.org/alias/wayne-wolf"
  - name: "Ahmed Amine Jerraya"
    link: "https://researchr.org/alias/ahmed-amine-jerraya"
  publisher: "ACM"
  isbn: "1-58113-575-0"
  kind: "inproceedings"
  key: "LeviathanP02"
- title: "Symbolic model checking with rich assertional languages"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Monica Marcus"
    link: "https://researchr.org/alias/monica-marcus"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Elad Shahar"
    link: "https://researchr.org/alias/elad-shahar"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00103-1"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(00)00103-1"
  tags:
  - "model checking"
  - "meta-model"
  - "modeling language"
  - "language modeling"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KestenMMPS01"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "256"
  number: "1-2"
  pages: "93-112"
  kind: "article"
  key: "KestenMMPS01"
- title: "Solutions to Problem No.2"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1983"
  researchr: "https://researchr.org/publication/Pnueli83"
  cites: 0
  citedby: 0
  pages: "365-383"
  booktitle: "The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings"
  editor:
  - name: "B. Tim Denvir"
    link: "https://researchr.org/alias/b.-tim-denvir"
  - name: "W. T. Harwood"
    link: "https://researchr.org/alias/w.-t.-harwood"
  - name: "M. I. Jackson"
    link: "https://researchr.org/alias/m.-i.-jackson"
  - name: "M. J. Wray"
    link: "https://researchr.org/alias/m.-j.-wray"
  volume: "207"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16047-7"
  kind: "inproceedings"
  key: "Pnueli83"
- title: "Temporal Verification of Carrier-Sense Local Area Network Protocols"
  author:
  - name: "Dennis Shasha"
    link: "https://researchr.org/alias/dennis-shasha"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "W. Ewald"
    link: "https://researchr.org/alias/w.-ewald"
  year: "1984"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/ShashaPE84"
  cites: 0
  citedby: 0
  pages: "54-65"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "ShashaPE84"
- title: "A Linear-History Semantics for Languages for Distributed Programming"
  author:
  - name: "Nissim Francez"
    link: "https://researchr.org/alias/nissim-francez"
  - name: "Daniel J. Lehmann"
    link: "https://researchr.org/alias/daniel-j.-lehmann"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1984"
  tags:
  - "programming languages"
  - "semantics"
  - "programming"
  - "history"
  researchr: "https://researchr.org/publication/FrancezLP84"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "32"
  pages: "25-46"
  kind: "article"
  key: "FrancezLP84"
- title: "Verifying Liveness by Augmented Abstraction"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1999"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/KestenP99"
  cites: 0
  citedby: 0
  pages: "141-156"
  booktitle: "Computer Science Logic, 13th International Workshop, CSL  99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings"
  editor:
  - name: "Jörg Flum"
    link: "https://researchr.org/alias/j%C3%B6rg-flum"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "1683"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66536-6"
  kind: "inproceedings"
  key: "KestenP99"
- title: "Faster Solutions of Rabin and Streett Games"
  author:
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2006.23"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2006.23"
  researchr: "https://researchr.org/publication/PitermanP06"
  cites: 0
  citedby: 0
  pages: "275-284"
  booktitle: "21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "PitermanP06"
- title: "The Code Validation Tool CVT: Automatic Verification of a Compilation Process"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  - name: "Michael Siegel"
    link: "https://researchr.org/alias/michael-siegel"
  year: "1998"
  doi: "http://link.springer.de/link/service/journals/10009/bibs/8002002/80020192.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/10009/bibs/8002002/80020192.htm"
  researchr: "https://researchr.org/publication/PnueliSS98%3A3"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "2"
  number: "2"
  pages: "192-201"
  kind: "article"
  key: "PnueliSS98:3"
- title: "Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2000"
  tags:
  - "composition"
  - "abstraction"
  researchr: "https://researchr.org/publication/Pnueli00"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings"
  editor:
  - name: "E. Allen Emerson"
    link: "https://researchr.org/alias/e.-allen-emerson"
  - name: "A. Prasad Sistla"
    link: "https://researchr.org/alias/a.-prasad-sistla"
  volume: "1855"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67770-4"
  kind: "inproceedings"
  key: "Pnueli00"
- title: "Liveness with invisible ranking"
  author:
  - name: "Yi Fang"
    link: "https://researchr.org/alias/yi-fang"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-005-0193-x"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-005-0193-x"
  researchr: "https://researchr.org/publication/FangPPZ06"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "8"
  number: "3"
  pages: "261-279"
  kind: "article"
  key: "FangPPZ06"
- title: "Verification of Multiprocess Probabilistic Protocols"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "1984"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/PnueliZ84"
  cites: 0
  citedby: 0
  pages: "12-27"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "PnueliZ84"
- title: "Modularization and Abstraction: The Keys to Practical Formal Verification"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1450/14500054.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1450/14500054.htm"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/KestenP98"
  cites: 0
  citedby: 0
  pages: "54-71"
  booktitle: "Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings"
  editor:
  - name: "Lubos Brim"
    link: "https://researchr.org/alias/lubos-brim"
  - name: "Jozef Gruska"
    link: "https://researchr.org/alias/jozef-gruska"
  - name: "Jirí Zlatuska"
    link: "https://researchr.org/alias/jir%C3%AD-zlatuska"
  volume: "1450"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64827-5"
  kind: "inproceedings"
  key: "KestenP98"
- title: "Control and Data Abstraction: The Cornerstones of Practical Formal Verification"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/10009/bibs/0002004/00020328.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/10009/bibs/0002004/00020328.htm"
  tags:
  - "data-flow"
  - "abstraction"
  researchr: "https://researchr.org/publication/KestenP00"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "2"
  number: "4"
  pages: "328-342"
  kind: "article"
  key: "KestenP00"
- title: "Once and For All"
  author:
  - name: "Orna Kupferman"
    link: "https://researchr.org/alias/orna-kupferman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1995"
  researchr: "https://researchr.org/publication/KupfermanP95"
  cites: 0
  citedby: 0
  pages: "25-35"
  booktitle: "Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "KupfermanP95"
- title: "Completing the Temporal Picture"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1991"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/MannaP91%3A0"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "83"
  number: "1"
  pages: "91-130"
  kind: "article"
  key: "MannaP91:0"
- title: "Embedded Systems: Challenges in Specification and Verification"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910001.htm"
  researchr: "https://researchr.org/publication/Pnueli02"
  cites: 0
  citedby: 0
  pages: "1-14"
  booktitle: "Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings"
  editor:
  - name: "Alberto L. Sangiovanni-Vincentelli"
    link: "https://researchr.org/alias/alberto-l.-sangiovanni-vincentelli"
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/joseph-sifakis"
  volume: "2491"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44307-X"
  kind: "inproceedings"
  key: "Pnueli02"
- title: "Real Time Temporal Logic: Past, Present, Future"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Dejan Nickovic"
    link: "https://researchr.org/alias/dejan-nickovic"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11603009_2"
  links:
    doi: "http://dx.doi.org/10.1007/11603009_2"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/MalerNP05"
  cites: 0
  citedby: 0
  pages: "2-16"
  booktitle: "Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings"
  editor:
  - name: "Paul Pettersson"
    link: "https://researchr.org/alias/paul-pettersson"
  - name: "Wang Yi"
    link: "https://researchr.org/alias/wang-yi"
  volume: "3829"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30946-2"
  kind: "inproceedings"
  key: "MalerNP05"
- title: "Probabilistic Verification"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "1993"
  month: "March"
  researchr: "https://researchr.org/publication/PnueliZ93%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "103"
  number: "1"
  pages: "1-29"
  kind: "article"
  key: "PnueliZ93:0"
- title: "Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Andreas Podelski"
    link: "https://researchr.org/alias/andreas-podelski"
  - name: "Andrey Rybalchenko"
    link: "https://researchr.org/alias/andrey-rybalchenko"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=124"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=124"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/PnueliPR05"
  cites: 0
  citedby: 0
  pages: "124-139"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Nicolas Halbwachs"
    link: "https://researchr.org/alias/nicolas-halbwachs"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  volume: "3440"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25333-5"
  kind: "inproceedings"
  key: "PnueliPR05"
- title: "The Temporal Semantics of Concurrent Programs"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1981"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Pnueli81"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "13"
  pages: "45-60"
  kind: "article"
  key: "Pnueli81"
- title: "The Temporal Semantics of Concurrent Programs"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1979"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Pnueli79"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979"
  editor:
  - name: "Gilles Kahn"
    link: "https://researchr.org/alias/gilles-kahn"
  volume: "70"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-09511-X"
  kind: "inproceedings"
  key: "Pnueli79"
- title: "Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1984"
  tags:
  - "principles"
  researchr: "https://researchr.org/publication/MannaP84"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "4"
  number: "3"
  pages: "257-289"
  kind: "article"
  key: "MannaP84"
- title: "Backtracking in Recursive Computations"
  author:
  - name: "Nissim Francez"
    link: "https://researchr.org/alias/nissim-francez"
  - name: "Boris Klebansky"
    link: "https://researchr.org/alias/boris-klebansky"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1977"
  researchr: "https://researchr.org/publication/FrancezKP77"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "8"
  pages: "125-144"
  kind: "article"
  key: "FrancezKP77"
- title: "Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=309"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=309"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/HarelKP05"
  cites: 0
  citedby: 0
  pages: "309-324"
  booktitle: "Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday"
  editor:
  - name: "Hans-Jörg Kreowski"
    link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  volume: "3393"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24936-2"
  kind: "inproceedings"
  key: "HarelKP05"
- title: "Automatic Programming of Finite State Linear Programs"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Giora Slutzki"
    link: "https://researchr.org/alias/giora-slutzki"
  year: "1981"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/PnueliS81"
  cites: 0
  citedby: 0
  journal: "SIAM Journal on Computing"
  volume: "10"
  number: "3"
  pages: "519-535"
  kind: "article"
  key: "PnueliS81"
- title: "Verifying Tomasulo s Algoithm by Refinement"
  author:
  - name: "Tamarah Arons"
    link: "https://researchr.org/alias/tamarah-arons"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745165"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745165"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/AronsP99"
  cites: 0
  citedby: 0
  pages: "306-309"
  booktitle: "12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AronsP99"
- title: "Bridging the gap between fair simulation and trace inclusion"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ic.2005.01.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2005.01.006"
  researchr: "https://researchr.org/publication/KestenPP05"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "200"
  number: "1"
  pages: "35-61"
  kind: "article"
  key: "KestenPP05"
- title: "A Hierarchy of Temporal Properties"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1990"
  doi: "http://doi.acm.org/10.1145/93385.93442"
  links:
    doi: "http://doi.acm.org/10.1145/93385.93442"
  researchr: "https://researchr.org/publication/MannaP89"
  cites: 0
  citedby: 0
  pages: "377-410"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "MannaP89"
- title: "Formalization of Properties of Functional Programs"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1970"
  doi: "http://doi.acm.org/10.1145/321592.321606"
  links:
    doi: "http://doi.acm.org/10.1145/321592.321606"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/MannaP70"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "17"
  number: "3"
  pages: "555-569"
  kind: "article"
  key: "MannaP70"
- title: "Axiomatic Approach to Total Correctness of Programs"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1974"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MannaP74"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "3"
  pages: "243-263"
  kind: "article"
  key: "MannaP74"
- title: "The grammar of dimensions in machine drawings"
  author:
  - name: "Dov Dori"
    link: "https://researchr.org/alias/dov-dori"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1988"
  doi: "http://dx.doi.org/10.1016/0734-189X(88)90139-9"
  links:
    doi: "http://dx.doi.org/10.1016/0734-189X(88)90139-9"
  tags:
  - "grammar"
  researchr: "https://researchr.org/publication/DoriP88"
  cites: 0
  citedby: 0
  journal: "Computer Vision, Graphics, and Image Processing"
  volume: "42"
  number: "1"
  pages: "1-18"
  kind: "article"
  key: "DoriP88"
- title: "Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness"
  author:
  - name: "Mordechai Ben-Ari"
    link: "https://researchr.org/alias/mordechai-ben-ari"
  - name: "Joseph Y. Halpern"
    link: "https://researchr.org/alias/joseph-y.-halpern"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1982"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/Ben-AriHP82"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "25"
  number: "3"
  pages: "402-417"
  kind: "article"
  key: "Ben-AriHP82"
- title: "A Compositional Real-Time Semantics of STATEMATE Designs"
  author:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Bernhard Josko"
    link: "https://researchr.org/alias/bernhard-josko"
  - name: "Hardi Hungar"
    link: "https://researchr.org/alias/hardi-hungar"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1536/15360186.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1536/15360186.htm"
  tags:
  - "semantics"
  - "composition"
  researchr: "https://researchr.org/publication/DammJHP97"
  cites: 0
  citedby: 0
  pages: "186-238"
  booktitle: "Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures"
  editor:
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Hans Langmaack"
    link: "https://researchr.org/alias/hans-langmaack"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  volume: "1536"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65493-3"
  kind: "inproceedings"
  key: "DammJHP97"
- title: "Verification by Augmented Abstraction: The Automata-Theoretic View"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Moshe Y. Vardi"
    link: "https://researchr.org/alias/moshe-y.-vardi"
  year: "2001"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/KestenPV01"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "62"
  number: "4"
  pages: "668-690"
  kind: "article"
  key: "KestenPV01"
- title: "All You Need Is Compassion"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yaniv Sa ar"
    link: "https://researchr.org/alias/yaniv-sa-ar"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78163-9_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78163-9_21"
  researchr: "https://researchr.org/publication/PnueliS08"
  cites: 0
  citedby: 0
  pages: "233-247"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings"
  editor:
  - name: "Francesco Logozzo"
    link: "https://researchr.org/alias/francesco-logozzo"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  volume: "4905"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78162-2"
  kind: "inproceedings"
  key: "PnueliS08"
- title: "Liveness with Incomprehensible Ranking"
  author:
  - name: "Yi Fang"
    link: "https://researchr.org/alias/yi-fang"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=482"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=482"
  researchr: "https://researchr.org/publication/FangPPZ04"
  cites: 0
  citedby: 0
  pages: "482-496"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee"
  editor:
  - name: "Kurt Jensen"
    link: "https://researchr.org/alias/kurt-jensen"
  - name: "Andreas Podelski"
    link: "https://researchr.org/alias/andreas-podelski"
  volume: "2988"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21299-X"
  kind: "inproceedings"
  key: "FangPPZ04"
- title: "Liveness with Invisible Ranking"
  author:
  - name: "Yi Fang"
    link: "https://researchr.org/alias/yi-fang"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=223"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=223"
  researchr: "https://researchr.org/publication/FangPPZ04%3A0"
  cites: 0
  citedby: 0
  pages: "223-238"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings"
  editor:
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  volume: "2937"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20803-8"
  kind: "inproceedings"
  key: "FangPPZ04:0"
- title: "On the Merits of Temporal Testers"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Aleksandr Zaks"
    link: "https://researchr.org/alias/aleksandr-zaks"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69850-0_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69850-0_11"
  researchr: "https://researchr.org/publication/PnueliZ08"
  cites: 0
  citedby: 0
  pages: "172-195"
  booktitle: "25 Years of Model Checking - History, Achievements, Perspectives"
  editor:
  - name: "Orna Grumberg"
    link: "https://researchr.org/alias/orna-grumberg"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  volume: "5000"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69849-4"
  kind: "inproceedings"
  key: "PnueliZ08"
- title: "Verifying out-of-order executions"
  author:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1997"
  researchr: "https://researchr.org/publication/DammP97"
  cites: 0
  citedby: 0
  pages: "23-47"
  booktitle: "Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada"
  editor:
  - name: "Hon F. Li"
    link: "https://researchr.org/alias/hon-f.-li"
  - name: "David K. Probst"
    link: "https://researchr.org/alias/david-k.-probst"
  volume: "105"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman & Hall"
  isbn: "0-412-81330-0"
  kind: "inproceedings"
  key: "DammP97"
- title: "Timing analysis of asynchronous circuits using timed automata"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1995"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/MalerP95%3A0"
  cites: 0
  citedby: 0
  pages: "189-205"
  booktitle: "Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME  95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings"
  editor:
  - name: "Paolo Camurati"
    link: "https://researchr.org/alias/paolo-camurati"
  - name: "Hans Eveking"
    link: "https://researchr.org/alias/hans-eveking"
  volume: "987"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60385-9"
  kind: "inproceedings"
  key: "MalerP95:0"
- title: "Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report)"
  author:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1989"
  tags:
  - "query language"
  researchr: "https://researchr.org/publication/MalerP89"
  cites: 0
  citedby: 0
  pages: "161-170"
  booktitle: "Analogical and Inductive Inference, International Workshop AII  89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings"
  editor:
  - name: "Klaus P. Jantke"
    link: "https://researchr.org/alias/klaus-p.-jantke"
  volume: "397"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51734-0"
  kind: "inproceedings"
  key: "MalerP89"
- title: "A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amit Klein"
    link: "https://researchr.org/alias/amit-klein"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Gil Raanan"
    link: "https://researchr.org/alias/gil-raanan"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1708/17080173.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1708/17080173.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "analysis"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KestenKPR99"
  cites: 0
  citedby: 0
  pages: "173-194"
  booktitle: "FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I"
  editor:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  volume: "1708"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66587-0"
  kind: "inproceedings"
  key: "KestenKPR99"
- title: "Further Results on Propositional Dynamic Logic of Nonregular Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1981"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HarelPS81%3A0"
  cites: 0
  citedby: 0
  pages: "124-136"
  booktitle: "Logics of Programs, Workshop, Yorktown Heights, New York, May 1981"
  editor:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  volume: "131"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-11212-X"
  kind: "inproceedings"
  key: "HarelPS81:0"
- title: "Applications of Formal Methods in Biology"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2469/24690081.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2469/24690081.htm"
  researchr: "https://researchr.org/publication/Pnueli02%3A0"
  cites: 0
  citedby: 0
  pages: "81-82"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings"
  editor:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  volume: "2469"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44165-4"
  kind: "inproceedings"
  key: "Pnueli02:0"
- title: "Linear and Branching Structures in the Semantics and Logics of Reactive Systems"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1985"
  tags:
  - "semantics"
  - "logic"
  researchr: "https://researchr.org/publication/Pnueli85"
  cites: 0
  citedby: 0
  pages: "15-32"
  booktitle: "Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings"
  editor:
  - name: "Wilfried Brauer"
    link: "https://researchr.org/alias/wilfried-brauer"
  volume: "194"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15650-X"
  kind: "inproceedings"
  key: "Pnueli85"
- title: "Specifying and Proving Serializability in Temporal Logic"
  author:
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Shmuel Katz"
    link: "https://researchr.org/alias/shmuel-katz"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1991"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PeledKP91"
  cites: 0
  citedby: 0
  pages: "232-244"
  booktitle: "Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "PeledKP91"
- title: "The Temporal Logic of Branching Time"
  author:
  - name: "Mordechai Ben-Ari"
    link: "https://researchr.org/alias/mordechai-ben-ari"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1981"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Ben-AriMP81"
  cites: 0
  citedby: 0
  pages: "164-176"
  booktitle: "Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"
  kind: "inproceedings"
  key: "Ben-AriMP81"
- title: "Translation and Run-Time Validation of Loop Transformations"
  author:
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Benjamin Goldberg"
    link: "https://researchr.org/alias/benjamin-goldberg"
  - name: "Clark W. Barrett"
    link: "https://researchr.org/alias/clark-w.-barrett"
  - name: "Yi Fang"
    link: "https://researchr.org/alias/yi-fang"
  - name: "Ying Hu"
    link: "https://researchr.org/alias/ying-hu"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10703-005-3402-z"
  links:
    doi: "http://dx.doi.org/10.1007/s10703-005-3402-z"
  tags:
  - "translation"
  - "transformation"
  researchr: "https://researchr.org/publication/ZuckPGBFH05"
  cites: 0
  citedby: 0
  journal: "Formal Methods in System Design"
  volume: "27"
  number: "3"
  pages: "335-360"
  kind: "article"
  key: "ZuckPGBFH05"
- title: "Program analysis for compiler validation"
  author:
  - name: "Anna Zaks"
    link: "https://researchr.org/alias/anna-zaks"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1512475.1512477"
  links:
    doi: "http://doi.acm.org/10.1145/1512475.1512477"
  tags:
  - "program analysis"
  - "analysis"
  - "compiler"
  researchr: "https://researchr.org/publication/ZaksP08"
  cites: 0
  citedby: 0
  pages: "1-7"
  booktitle: "Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008"
  editor:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Michal Young"
    link: "https://researchr.org/alias/michal-young"
  publisher: "ACM"
  isbn: "978-1-60558-382-2"
  kind: "inproceedings"
  key: "ZaksP08"
- title: "Verification of Multiprocess Probabilistic Protocols"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "1986"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/PnueliZ86"
  cites: 0
  citedby: 0
  journal: "Distributed Computing"
  volume: "1"
  number: "1"
  pages: "53-72"
  kind: "article"
  key: "PnueliZ86"
- title: "Temporal Verification Diagrams"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1994"
  researchr: "https://researchr.org/publication/MannaP94"
  cites: 0
  citedby: 0
  pages: "726-765"
  booktitle: "Theoretical Aspects of Computer Software, International Conference TACS  94, Sendai, Japan, April 19-22, 1994, Proceedings"
  editor:
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  - name: "John C. Mitchell"
    link: "https://researchr.org/alias/john-c.-mitchell"
  volume: "789"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57887-0"
  kind: "inproceedings"
  key: "MannaP94"
- title: "A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP"
  author:
  - name: "Allen Leung"
    link: "https://researchr.org/alias/allen-leung"
  - name: "Krishna V. Palem"
    link: "https://researchr.org/alias/krishna-v.-palem"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1998"
  doi: "http://computer.org/proceedings/pact/8591/85910158abs.htm"
  links:
    doi: "http://computer.org/proceedings/pact/8591/85910158abs.htm"
  researchr: "https://researchr.org/publication/LeungPP98"
  cites: 0
  citedby: 0
  pages: "158"
  booktitle: "IEEE PACT"
  kind: "inproceedings"
  key: "LeungPP98"
- title: "Invisible Safety of Distributed Protocols"
  author:
  - name: "Ittai Balaban"
    link: "https://researchr.org/alias/ittai-balaban"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11787006_45"
  links:
    doi: "http://dx.doi.org/10.1007/11787006_45"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/BalabanPZ06"
  cites: 0
  citedby: 0
  pages: "528-539"
  booktitle: "Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II"
  editor:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Bart Preneel"
    link: "https://researchr.org/alias/bart-preneel"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Ingo Wegener"
    link: "https://researchr.org/alias/ingo-wegener"
  volume: "4052"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35907-9"
  kind: "inproceedings"
  key: "BalabanPZ06"
- title: "A compositional approach to CTL* verification"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.09.023"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2004.09.023"
  tags:
  - "composition"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KestenP05"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "331"
  number: "2-3"
  pages: "397-428"
  kind: "article"
  key: "KestenP05"
- title: "Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses"
  author:
  - name: "Ariel Cohen 0002"
    link: "https://researchr.org/alias/ariel-cohen-0002"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_13"
  researchr: "https://researchr.org/publication/CohenPZ08"
  cites: 0
  citedby: 0
  pages: "121-134"
  booktitle: "Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings"
  editor:
  - name: "Aarti Gupta"
    link: "https://researchr.org/alias/aarti-gupta"
  - name: "Sharad Malik"
    link: "https://researchr.org/alias/sharad-malik"
  volume: "5123"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70543-7"
  kind: "inproceedings"
  key: "CohenPZ08"
- title: "Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives"
  author:
  - name: "Eugene Asarin"
    link: "https://researchr.org/alias/eugene-asarin"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1995"
  doi: "http://dx.doi.org/10.1016/0304-3975(94)00228-B"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(94)00228-B"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/AsarinMP95"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "138"
  number: "1"
  pages: "35-65"
  kind: "article"
  key: "AsarinMP95"
- title: "Automatic Deductive Verification with Invisible Invariants"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Sitvanit Ruah"
    link: "https://researchr.org/alias/sitvanit-ruah"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2031/20310082.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2031/20310082.htm"
  researchr: "https://researchr.org/publication/PnueliRZ01"
  cites: 0
  citedby: 0
  pages: "82-97"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Wang Yi"
    link: "https://researchr.org/alias/wang-yi"
  volume: "2031"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41865-2"
  kind: "inproceedings"
  key: "PnueliRZ01"
- title: "Complete Proof System for QPTL"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2002"
  doi: "http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_05/120701.sgm.abs.html"
  links:
    doi: "http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_05/120701.sgm.abs.html"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/KestenP02"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "12"
  number: "5"
  pages: "701-745"
  kind: "article"
  key: "KestenP02"
- title: "Timed Transition Systems"
  author:
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1991"
  researchr: "https://researchr.org/publication/HenzingerMP91"
  cites: 0
  citedby: 0
  pages: "226-251"
  booktitle: "Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Cornelis Huizing"
    link: "https://researchr.org/alias/cornelis-huizing"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "600"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55564-1"
  kind: "inproceedings"
  key: "HenzingerMP91"
- title: "Specification and Development of Reactive Systems (Invited Paper)"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1986"
  researchr: "https://researchr.org/publication/Pnueli86%3A0"
  cites: 0
  citedby: 0
  pages: "845-858"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "Pnueli86:0"
- title: "Propositional Temporal Logics: Decidability and Completeness"
  author:
  - name: "Orna Lichtenstein"
    link: "https://researchr.org/alias/orna-lichtenstein"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2000"
  doi: "http://www3.oup.co.uk/igpl/Volume_08/Issue_01/#Lichtenstein"
  links:
    doi: "http://www3.oup.co.uk/igpl/Volume_08/Issue_01/#Lichtenstein"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/LichtensteinP00"
  cites: 0
  citedby: 0
  journal: "Logic Journal of the IGPL"
  volume: "8"
  number: "1"
  pages: "55-85"
  kind: "article"
  key: "LichtensteinP00"
- title: "Beyond Regular Model Checking"
  author:
  - name: "Dana Fisman"
    link: "https://researchr.org/alias/dana-fisman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450156.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450156.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/FismanP01"
  cites: 0
  citedby: 0
  pages: "156-170"
  booktitle: "FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings"
  editor:
  - name: "Ramesh Hariharan"
    link: "https://researchr.org/alias/ramesh-hariharan"
  - name: "Madhavan Mukund"
    link: "https://researchr.org/alias/madhavan-mukund"
  - name: "V. Vinay"
    link: "https://researchr.org/alias/v.-vinay"
  volume: "2245"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43002-4"
  kind: "inproceedings"
  key: "FismanP01"
- title: "Decidable Integration Graphs"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/joseph-sifakis"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1999"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KestenPSY99"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "150"
  number: "2"
  pages: "209-243"
  kind: "article"
  key: "KestenPSY99"
- title: "Validating More Loop Optimizations"
  author:
  - name: "Ying Hu"
    link: "https://researchr.org/alias/ying-hu"
  - name: "Clark W. Barrett"
    link: "https://researchr.org/alias/clark-w.-barrett"
  - name: "Benjamin Goldberg"
    link: "https://researchr.org/alias/benjamin-goldberg"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.044"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.044"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/HuBGP05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "141"
  number: "2"
  pages: "69-84"
  kind: "article"
  key: "HuBGP05"
- title: "A Platform for Combining Deductive with Algorithmic Verification"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Elad Shahar"
    link: "https://researchr.org/alias/elad-shahar"
  year: "1996"
  researchr: "https://researchr.org/publication/PnueliS96"
  cites: 0
  citedby: 0
  pages: "184-195"
  booktitle: "Computer Aided Verification, 8th International Conference, CAV  96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings"
  editor:
  - name: "Rajeev Alur"
    link: "https://researchr.org/alias/rajeev-alur"
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  volume: "1102"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61474-5"
  kind: "inproceedings"
  key: "PnueliS96"
- title: "A Deductive Proof System for CTL"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210024.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210024.htm"
  researchr: "https://researchr.org/publication/PnueliK02"
  cites: 0
  citedby: 0
  pages: "24-40"
  booktitle: "CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings"
  editor:
  - name: "Lubos Brim"
    link: "https://researchr.org/alias/lubos-brim"
  - name: "Petr Jancar"
    link: "https://researchr.org/alias/petr-jancar"
  - name: "Mojmír Kretínský"
    link: "https://researchr.org/alias/mojm%C3%ADr-kret%C3%ADnsk%C3%BD"
  - name: "Antonín Kucera"
    link: "https://researchr.org/alias/anton%C3%ADn-kucera"
  volume: "2421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44043-7"
  kind: "inproceedings"
  key: "PnueliK02"
- title: "Permutation Graphs and Transitive Graphs"
  author:
  - name: "Shimon Even"
    link: "https://researchr.org/alias/shimon-even"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Abraham Lempel"
    link: "https://researchr.org/alias/abraham-lempel"
  year: "1972"
  doi: "http://doi.acm.org/10.1145/321707.321710"
  links:
    doi: "http://doi.acm.org/10.1145/321707.321710"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/EvenPL72"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "19"
  number: "3"
  pages: "400-410"
  kind: "article"
  key: "EvenPL72"
- title: "Characterization of Temporal Property Classes"
  author:
  - name: "Edward Y. Chang"
    link: "https://researchr.org/alias/edward-y.-chang"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1992"
  researchr: "https://researchr.org/publication/ChangMP92"
  cites: 0
  citedby: 0
  pages: "474-486"
  booktitle: "Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings"
  editor:
  - name: "Werner Kuich"
    link: "https://researchr.org/alias/werner-kuich"
  volume: "623"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55719-9"
  kind: "inproceedings"
  key: "ChangMP92"
- title: "Synchronous Schemes and Their Decision Problems"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1980"
  researchr: "https://researchr.org/publication/MannaP80"
  cites: 0
  citedby: 0
  pages: "62-67"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "MannaP80"
- title: "Deductive Verification of UML Models in TLPVS"
  author:
  - name: "Tamarah Arons"
    link: "https://researchr.org/alias/tamarah-arons"
  - name: "Jozef Hooman"
    link: "https://researchr.org/alias/jozef-hooman"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Mark van der Zwaag"
    link: "https://researchr.org/alias/mark-van-der-zwaag"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3273&spage=335"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3273&spage=335"
  tags:
  - "meta-model"
  - "UML"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AronsHKPZ04"
  cites: 0
  citedby: 0
  pages: "335-349"
  booktitle: "«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings"
  editor:
  - name: "Thomas Baar"
    link: "https://researchr.org/alias/thomas-baar"
  - name: "Alfred Strohmeier"
    link: "https://researchr.org/alias/alfred-strohmeier"
  - name: "Ana M. D. Moreira"
    link: "https://researchr.org/alias/ana-m.-d.-moreira"
  - name: "Stephen J. Mellor"
    link: "https://researchr.org/alias/stephen-j.-mellor"
  volume: "3273"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23307-5"
  kind: "inproceedings"
  key: "AronsHKPZ04"
- title: "The anchored version of the temporal framework"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1988"
  researchr: "https://researchr.org/publication/MannaP88"
  cites: 0
  citedby: 0
  pages: "201-284"
  booktitle: "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "354"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51080-X"
  kind: "inproceedings"
  key: "MannaP88"
- title: "On the Development of Reactive Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1985"
  researchr: "https://researchr.org/publication/harel1985development"
  cites: 0
  citedby: 0
  journal: "Logics and models of concurrent systems"
  kind: "article"
  key: "harel1985development"
- title: "Distributed Reactive Systems Are Hard to Synthesize"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Roni Rosner"
    link: "https://researchr.org/alias/roni-rosner"
  year: "1990"
  researchr: "https://researchr.org/publication/PnueliR90"
  cites: 0
  citedby: 0
  pages: "746-757"
  booktitle: "31st Annual Symposium on Foundations of Computer Science, 22-24 October 1990, St. Louis, Missouri, USA"
  volume: "II"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "PnueliR90"
- title: "Termination of Probabilistic Concurrent Programs"
  author:
  - name: "Sergiu Hart"
    link: "https://researchr.org/alias/sergiu-hart"
  - name: "Micha Sharir"
    link: "https://researchr.org/alias/micha-sharir"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1982"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/HartSP82"
  cites: 0
  citedby: 0
  pages: "1-6"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "HartSP82"
- title: "The ROBDD Size of Simple CNF Formulas"
  author:
  - name: "Michael Langberg"
    link: "https://researchr.org/alias/michael-langberg"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yoav Rodeh"
    link: "https://researchr.org/alias/yoav-rodeh"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2860&spage=363"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2860&spage=363"
  researchr: "https://researchr.org/publication/LangbergPR03"
  cites: 0
  citedby: 0
  pages: "363-377"
  booktitle: "Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003, Proceedings"
  editor:
  - name: "Daniel Geist"
    link: "https://researchr.org/alias/daniel-geist"
  - name: "Enrico Tronci"
    link: "https://researchr.org/alias/enrico-tronci"
  volume: "2860"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20363-X"
  kind: "inproceedings"
  key: "LangbergPR03"
- title: "Verification of Clocked and Hybrid Systems"
  author:
  - name: "Yonit Kesten"
    link: "https://researchr.org/alias/yonit-kesten"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1996"
  researchr: "https://researchr.org/publication/KestenMP96"
  cites: 0
  citedby: 0
  pages: "4-73"
  booktitle: "Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996"
  editor:
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  volume: "1494"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65193-4"
  kind: "inproceedings"
  key: "KestenMP96"
- title: "On the Formal Semantics of Statecharts (Extended Abstract)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jeanette P. Schmidt"
    link: "https://researchr.org/alias/jeanette-p.-schmidt"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  year: "1987"
  tags:
  - "semantics"
  - "formal semantics"
  researchr: "https://researchr.org/publication/HarelPSS87"
  cites: 0
  citedby: 0
  pages: "54-64"
  booktitle: "Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "HarelPSS87"
- title: "Synthesis of Reactive(1) Designs"
  author:
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yaniv Sa ar"
    link: "https://researchr.org/alias/yaniv-sa-ar"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11609773_24"
  links:
    doi: "http://dx.doi.org/10.1007/11609773_24"
  researchr: "https://researchr.org/publication/PitermanPS06"
  cites: 0
  citedby: 0
  pages: "364-380"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings"
  editor:
  - name: "E. Allen Emerson"
    link: "https://researchr.org/alias/e.-allen-emerson"
  - name: "Kedar S. Namjoshi"
    link: "https://researchr.org/alias/kedar-s.-namjoshi"
  volume: "3855"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-31139-4"
  kind: "inproceedings"
  key: "PitermanPS06"
- title: "Specification and Verification of Concurrent Programs by forall-Automata"
  author:
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1987"
  tags:
  - "program verification"
  researchr: "https://researchr.org/publication/MannaP87%3A1"
  cites: 0
  citedby: 0
  pages: "124-164"
  booktitle: "Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings"
  editor:
  - name: "Behnam Banieqbal"
    link: "https://researchr.org/alias/behnam-banieqbal"
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  volume: "398"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51803-7"
  kind: "inproceedings"
  key: "MannaP87:1"
- title: "A discrete-time UML semantics for concurrency and communication in safety-critical applications"
  author:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Bernhard Josko"
    link: "https://researchr.org/alias/bernhard-josko"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Angelika Votintseva"
    link: "https://researchr.org/alias/angelika-votintseva"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.scico.2004.05.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2004.05.012"
  tags:
  - "semantics"
  - "UML"
  researchr: "https://researchr.org/publication/DammJPV05"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "55"
  number: "1-3"
  pages: "81-115"
  kind: "article"
  key: "DammJPV05"
- title: "Finite Models for Deterministic Propositional Dynamic Logic"
  author:
  - name: "Mordechai Ben-Ari"
    link: "https://researchr.org/alias/mordechai-ben-ari"
  - name: "Joseph Y. Halpern"
    link: "https://researchr.org/alias/joseph-y.-halpern"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1981"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Ben-AriHP81"
  cites: 0
  citedby: 0
  pages: "249-263"
  booktitle: "Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings"
  editor:
  - name: "Shimon Even"
    link: "https://researchr.org/alias/shimon-even"
  - name: "Oded Kariv"
    link: "https://researchr.org/alias/oded-kariv"
  volume: "115"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10843-2"
  kind: "inproceedings"
  key: "Ben-AriHP81"
- title: "Translation Validation: From SIGNAL to C"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Ofer Strichman"
    link: "https://researchr.org/alias/ofer-strichman"
  - name: "Michael Siegel"
    link: "https://researchr.org/alias/michael-siegel"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1710/17100231.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1710/17100231.htm"
  tags:
  - "translation"
  - "C++"
  researchr: "https://researchr.org/publication/PnueliSS99"
  cites: 0
  citedby: 0
  pages: "231-255"
  booktitle: "Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)"
  editor:
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "1710"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66624-9"
  kind: "inproceedings"
  key: "PnueliSS99"
- title: "Marked Directed Graphs"
  author:
  - name: "F. Commoner"
    link: "https://researchr.org/alias/f.-commoner"
  - name: "Anatol W. Holt"
    link: "https://researchr.org/alias/anatol-w.-holt"
  - name: "Shimon Even"
    link: "https://researchr.org/alias/shimon-even"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1971"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/CommonerHEP71"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "5"
  number: "5"
  pages: "511-523"
  kind: "article"
  key: "CommonerHEP71"
- title: "On the Synthesis of a Reactive Module"
  author:
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Roni Rosner"
    link: "https://researchr.org/alias/roni-rosner"
  year: "1989"
  researchr: "https://researchr.org/publication/PnueliR89%3A0"
  cites: 0
  citedby: 0
  pages: "179-190"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "PnueliR89:0"
- title: "Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures"
  year: "1998"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/compos%3A1997"
  cites: 0
  citedby: 0
  booktitle: "Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures"
  conference: "SC"
  editor:
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Hans Langmaack"
    link: "https://researchr.org/alias/hans-langmaack"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  volume: "1536"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65493-3"
  kind: "proceedings"
  key: "compos:1997"
- title: "Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings"
  year: "1989"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/tls%3A1987"
  cites: 0
  citedby: 0
  booktitle: "Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings"
  conference: "tls"
  editor:
  - name: "Behnam Banieqbal"
    link: "https://researchr.org/alias/behnam-banieqbal"
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  volume: "398"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51803-7"
  kind: "proceedings"
  key: "tls:1987"
- title: "Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings"
  year: "2003"
  tags:
  - "control systems"
  researchr: "https://researchr.org/publication/hybrid%3A2003"
  cites: 0
  citedby: 0
  booktitle: "Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings"
  conference: "hybrid"
  editor:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  volume: "2623"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00913-2"
  kind: "proceedings"
  key: "hybrid:2003"