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: "POPL"
  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: "apsec"
  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: "fossacs"
  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: "icalp"
  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: "ftrtft"
  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"
  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"
  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: "jcss"
  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: "date"
  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: "ATVA"
  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: "icalp"
  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: "fossacs"
  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"
  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: "cav"
  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"
  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: "icalp"
  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: "stoc"
  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: "cav"
  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: "SICOMP"
  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: "vmcai"
  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"
  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: "cade"
  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"
  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: "JACM"
  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: "TACAS"
  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: "cav"
  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"
  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: "icalp"
  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: "vmcai"
  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: "FM"
  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: "rtss"
  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: "TOPLAS"
  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"
  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: "TCS"
  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: "forte"
  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: "TSE"
  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: "stoc"
  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: "FASE"
  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: "ENTCS"
  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: "TCS"
  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: "lics"
  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"
  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: "qsic"
  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: "cav"
  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: "fmsd"
  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: "TSE"
  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: "icalp"
  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: "fsttcs"
  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: "TCS"
  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: "rex"
  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"
  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: "FMCAD"
  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: "icalp"
  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: "BIRTHDAY"
  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: "TOPLAS"
  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: "mfcs"
  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: "cav"
  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: "focs"
  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: "iandc"
  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: "cav"
  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: "fsttcs"
  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: "vmcai"
  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: "stoc"
  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: "focs"
  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: "ENTCS"
  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: "jucs"
  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: "cav"
  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"
  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: "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: "TSE"
  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"
  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: "ftrtft"
  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"
  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: "BIRTHDAY"
  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: "ftrtft"
  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: "lics"
  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: "birthday"
  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: "ijfcs"
  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: "cav"
  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: "ATVA"
  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: "icalp"
  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: "cav"
  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: "SICOMP"
  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: "Comp. Lang., Syst. \\& Struct."
  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: "iandc"
  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: "icalp"
  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"
  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: "lop"
  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: "formats"
  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: "FMCAD"
  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: "iandc"
  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"
  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"
  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: "amast"
  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: "concur"
  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: "icalp"
  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: "FMCO"
  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: "focs"
  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: "TACAS"
  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: "vmcai"
  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: "rex"
  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: "cav"
  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: "cav"
  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: "iandc"
  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: "ftrtft"
  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: "forte"
  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"
  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: "icalp"
  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: "ENTCS"
  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: "lics"
  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: "icalp"
  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: "TCS"
  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: "tacs"
  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: "dc"
  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: "lop"
  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: "fsttcs"
  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: "vmcai"
  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: "icalp"
  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: "lics"
  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: "focs"
  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: "cav"
  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: "inria"
  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: "ENTCS"
  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: "lics"
  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: "acm"
  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: "TACAS"
  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"
  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: "iandc"
  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: "lop"
  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: "icalp"
  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: "cmsb"
  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: "cav"
  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: "FMCAD"
  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: "fsttcs"
  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: "OOPSLA"
  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"
  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: "lics"
  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: "stoc"
  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: "vmcai"
  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: "OOPSLA"
  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: "cav"
  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"
  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: "TACAS"
  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: "TOPLAS"
  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: "ftrtft"
  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: "lop"
  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"
  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: "cases"
  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: "TCS"
  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: "acs"
  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: "TCS"
  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: "csl"
  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: "lics"
  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: "cav"
  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: "mfcs"
  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: "lics"
  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: "TCS"
  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: "emsoft"
  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: "formats"
  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: "iandc"
  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: "TACAS"
  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: "TCS"
  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: "scc"
  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: "SCP"
  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"
  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: "BIRTHDAY"
  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: "SICOMP"
  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: "vlsid"
  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: "iandc"
  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: "JACM"
  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"
  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: "cvgip"
  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: "jcss"
  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: "SC"
  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: "jcss"
  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: "vmcai"
  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: "TACAS"
  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: "vmcai"
  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: "spin"
  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: "charme"
  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: "charme"
  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: "aii"
  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"
  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: "lop"
  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: "ftrtft"
  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: "icalp"
  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: "lics"
  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: "POPL"
  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: "fmsd"
  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: "PASTE"
  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: "dc"
  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: "tacs"
  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: "IEEEpact"
  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: "icalp"
  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: "TCS"
  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: "cav"
  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: "TCS"
  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: "TACAS"
  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: "logcom"
  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: "rex"
  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"
  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: "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: "fsttcs"
  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: "iandc"
  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: "ENTCS"
  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: "cav"
  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"
  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: "JACM"
  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: "icalp"
  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"
  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: "rex"
  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: "focs"
  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: "charme"
  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: "eef"
  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: "lics"
  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: "vmcai"
  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: "tls"
  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: "SCP"
  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: "icalp"
  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: "BIRTHDAY"
  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: "jcss"
  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"