The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Amir Pnueli" ( http://dblp.L3S.de/Authors/Amir_Pnueli )

URL (Homepage):  http://www.wisdom.weizmann.ac.il/~amir/  Author page on DBLP  Author page in RDF  Community of Amir Pnueli in ASPL-2

Publication years (Num. hits)
1969-1979 (15) 1980-1982 (16) 1983-1984 (24) 1985-1987 (16) 1988-1990 (20) 1991-1992 (20) 1993-1995 (22) 1996-1998 (24) 1999-2000 (19) 2001-2002 (23) 2003-2004 (18) 2005 (17) 2006-2007 (19) 2008-2010 (17) 2012-2019 (7)
Publication types (Num. hits)
article(70) book(2) incollection(3) inproceedings(198) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 112 occurrences of 81 keywords

Results
Found 278 publication records. Showing 277 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli From Real-time Logic to Timed Automata. Search on Bibsonomy J. ACM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nir Piterman, Amir Pnueli Temporal Logic and Fair Discrete Systems. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck Verification of multi-linked heaps. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Amir Pnueli, Moshe Y. Vardi Once and for all. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar Synthesis of Reactive(1) designs. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider Low dimensional hybrid systems - decidable, undecidable, don't know. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Uri Klein, Nir Piterman, Amir Pnueli Effective Synthesis of Asynchronous Systems from GR(1) Specifications. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Irina B. Virbitskaite, Andrei Voronkov (eds.) Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck Jtlv: A Framework for Developing Verification Algorithms. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli Towards Component Based Design of Hybrid Systems: Safety and Stability. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ittai Balaban, Amir Pnueli, Lenore D. Zuck Proving the Refuted: Symbolic Model Checkers as Proof Generators. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zohar Manna, Amir Pnueli Temporal Verification of Reactive Systems: Response. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Uri Klein, Amir Pnueli Revisiting Synthesis of GR(1) Specifications. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Uri Klein Synthesis of programs from temporal property specifications. Search on Bibsonomy MEMOCODE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hillel Kugler, Cory Plock, Amir Pnueli Controller Synthesis from LSC Requirements. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Amir Pnueli A Sound and Complete Deductive System for CTL* Verification. Search on Bibsonomy Log. J. IGPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anna Zaks, Amir Pnueli Program analysis for compiler validation. Search on Bibsonomy PASTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Niebert, Doron A. Peled, Amir Pnueli Discriminative Model Checking. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ariel Cohen 0002, Amir Pnueli, Lenore D. Zuck Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Amir Pnueli Using Abstraction to Verify Arbitrary Temporal Properties. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anna Zaks, Amir Pnueli CoVaC: Compiler Validation by Program Analysis of the Cross-Product. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Aleksandr Zaks On the Merits of Temporal Testers. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic, Amir Pnueli Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Yaniv Sa'ar All You Need Is Compassion. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer Specify, Compile, Run: Hardware from PSL. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ittai Balaban, Amir Pnueli, Lenore D. Zuck Modular Ranking Abstraction. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic, Amir Pnueli On Synthesizing Controllers from Bounded-Response Properties. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hillel Kugler, Cory Plock, Amir Pnueli Synthesizing reactive systems from LSC requirements using the play-engine. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reactive systems, live sequence charts, controller synthesis
1Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer Interactive presentation: Automatic hardware synthesis from specifications: a case study. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard "Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ariel Cohen 0002, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck Verifying Correctness of Transactional Memories. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF HTM, STM, TLC, model checking, Verification, transactional memory, TLA+
1Ittai Balaban, Amir Pnueli, Lenore D. Zuck Shape Analysis of Single-Parent Heaps. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Ofer Strichman Reduced Functional Consistency of Uninterpreted Functions. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck Monitoring Interfaces for Faults. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar Model Checking with Strong Fairness. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fair discrete systems, temporal testers, model checking, temporal logic, fairness, CTL, LTL
1Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck Liveness with invisible ranking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Parametrized systems, Deductive verification, BDD techniques, Liveness, Automatic verification
1Nir Piterman, Amir Pnueli Faster Solutions of Rabin and Streett Games. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Aleksandr Zaks PSL Model Checking and Run-Time Verification Via Testers. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ittai Balaban, Amir Pnueli, Lenore D. Zuck Invisible Safety of Distributed Protocols. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yi Fang 0001, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck Liveness by Invisible Invariants. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nir Piterman, Amir Pnueli, Yaniv Sa'ar Synthesis of Reactive(1) Designs. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ittai Balaban, Ariel Cohen 0002, Amir Pnueli Ranking Abstraction of Recursive Programs. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic, Amir Pnueli From MITL to Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ying Hu 0003, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli Validating More Loop Optimizations. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang 0001, Ying Hu 0003 Translation and Run-Time Validation of Loop Transformations. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
1Yonit Kesten, Amir Pnueli A compositional approach to CTL* verification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva A discrete-time UML semantics for concurrency and communication in safety-critical applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yonit Kesten, Nir Piterman, Amir Pnueli Bridging the gap between fair simulation and trace inclusion. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Yi Fang 0001, Benjamin Goldberg, Ying Hu 0003, Amir Pnueli, Lenore D. Zuck TVOC: A Translation Validator for Optimizing Compilers. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ittai Balaban, Yi Fang 0001, Amir Pnueli, Lenore D. Zuck IIV: An Invisible Invariant Verifier. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Amir Pnueli Verification of Procedural Programs. Search on Bibsonomy We Will Show Them! (2) The full citation details ... 2005 DBLP  BibTeX  RDF
1David Harel, Hillel Kugler, Amir Pnueli Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Search on Bibsonomy Formal Methods in Software and Systems Modeling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Amir Pnueli Ranking Abstraction as a Companion to Predicate Abstraction, . Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Andreas Podelski, Andrey Rybalchenko Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps Temporal Logic for Scenario-Based Specifications. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ittai Balaban, Amir Pnueli, Lenore D. Zuck Ranking Abstraction as Companion to Predicate Abstraction. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ittai Balaban, Amir Pnueli, Lenore D. Zuck Shape Analysis by Predicate Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Amir Pnueli Abstraction for Liveness. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Venkatesh Mysore, Amir Pnueli Refining the Undecidability Frontier of Hybrid Automata. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic, Amir Pnueli Real Time Temporal Logic: Past, Present, Future. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Amir Pnueli Model checking and abstraction to the aid of parameterized systems (a survey). Search on Bibsonomy Comput. Lang. Syst. Struct. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Muralidhar Talupur, Nishant Sinha 0001, Ofer Strichman, Amir Pnueli Range Allocation for Separation Logic. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag Deductive Verification of UML Models in TLPVS. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS
1I. Gordin, Raya Leviathan, Amir Pnueli Validating the Translation of an Industrial Optimizing Compiler. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Oded Maler, Amir Pnueli On Recognizable Timed Languages. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck Liveness with Incomprehensible Ranking. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck Liveness with Invisible Ranking. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Harel, Hillel Kugler, Amir Pnueli Smart Play-Out Extended: Time and Forbidden Elements. Search on Bibsonomy QSIC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg VOC: A Methodology for the Translation Validation of OptimizingCompilers. Search on Bibsonomy J. Univers. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). Search on Bibsonomy Inf. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yonit Kesten, Nir Piterman, Amir Pnueli Bridging the Gap between Fair Simulation and Trace Inclusion. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli Smart play-out. Search on Bibsonomy OOPSLA Companion The full citation details ... 2003 DBLP  DOI  BibTeX  RDF play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs
1Oded Maler, Amir Pnueli (eds.) Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Search on Bibsonomy 2003 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Tamarah Arons TLPVS: A PVS-Based LTL Verification System. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tamarah Arons, Amir Pnueli, Lenore D. Zuck Parameterized Verification by Probabilistic Abstraction. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael Langberg, Amir Pnueli, Yoav Rodeh The ROBDD Size of Simple CNF Formulas. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern Formal Modeling of C. elegans Development: A Scenario-Based Approach. Search on Bibsonomy CMSB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Lenore D. Zuck Model-Checking and Abstraction to the Aid of Parameterized Systems. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Amir Pnueli, Yi Fang 0001, Benjamin Goldberg VOC: A Translation Validator for Optimizing Compilers. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Amir Pnueli, Yi Fang 0001, Benjamin Goldberg, Ying Hu 0003 Translation and Run-Time Validation of Optimized Code. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Allen Leung, Krishna V. Palem, Amir Pnueli TimeC: A Time Constraint Language for ILP Processor Compilation. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yonit Kesten, Amir Pnueli Complete Proof System for QPTL. Search on Bibsonomy J. Log. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel The Small Model Property: How Small Can It Be? Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Jessie Xu, Lenore D. Zuck Liveness with (0, 1, infty)-Counter Abstraction. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Amir Pnueli Embedded Systems: Challenges in Specification and Verification. Search on Bibsonomy EMSOFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. Search on Bibsonomy FMCO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Raya Leviathan, Amir Pnueli Validating software pipelining optimizations. Search on Bibsonomy CASES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF optimization, verification, compilers, pipeline processors, translation validation
1Amir Pnueli, Yonit Kesten A Deductive Proof System for CTL. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck Network Invariants in Action. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Amir Pnueli Applications of Formal Methods in Biology. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli Smart Play-out of Behavioral Requirements. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Amir Pnueli, Yonit Kesten Automatic Verification of Probabilistic Free Choice. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar Symbolic model checking with rich assertional languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yonit Kesten, Amir Pnueli, Moshe Y. Vardi Verification by Augmented Abstraction: The Automata-Theoretic View. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Allen Leung, Krishna V. Palem, Amir Pnueli Scheduling time-constrained instructions on pipelined processors. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck Parameterized Verification with Automatically Computed Inductive Assertions. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Amir Pnueli Sticks and stones: a coding scheme for parameterized verification. Search on Bibsonomy PODC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck Automatic Deductive Verification with Invisible Invariants. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Yoav Rodeh, Ofer Strichman Range Allocation for Equivalence Logic. Search on Bibsonomy FSTTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Dana Fisman, Amir Pnueli Beyond Regular Model Checking. Search on Bibsonomy FSTTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 277 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license