Orna Kupferman

2010

Improved model checking of hierarchical systems

Aminof, B., Kupferman, O. & Murano, A., 2010, Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Proceedings. p. 61-77 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5944 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Multi-Valued Automata and Their Applications

Kupferman, O., 2010, Logics And Languages For Reliability And Security. Esparza, J., Spanfelner, B. & Grumberg, O. (eds.). IOS Press, p. 179-194 16 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Parityizing rabin and streett

Boker, U., Kupferman, O. & Steinitz, A., 2010, 30th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010. p. 412-423 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 8).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Promptness in ω-regular automata

Almagor, S., Hirshfeld, Y. & Kupferman, O., 2010, Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Proceedings. p. 22-36 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6252 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

12 Scopus citations

Rational synthesis

Fisman, D., Kupferman, O. & Lustig, Y., 2010, Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. p. 190-204 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6015 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

134 Scopus citations

Synthesis of trigger properties

Kupferman, O. & Vardi, M. Y., 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. p. 312-331 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6355 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

9 Scopus citations

The Blow-Up in Translating LTL to Deterministic Automata

Kupferman, O. & Rosenberg, A., 2010, Model Checking and Artificial Intelligence, MoChArt 2010. Springer-Verlag, p. 85-94 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6572).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

The quest for a tight translation of Büchi to co-Büchi automata

Boker, U. & Kupferman, O., 2010, Fields of Logic and Computation - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. p. 147-164 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6300 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Variable automata over infinite alphabets

Grumberg, O., Kupferman, O. & Sheinvald, S., 2010, Language and Automata Theory and Applications - 4th International Conference, LATA 2010, Proceedings. p. 561-572 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6031 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

62 Scopus citations

2009

09501 Abstracts Collection - Software Synthesis.

Bodík, R., Kupferman, O., Smith, D. R. & Yahav, E., 2009, Dagstuhl Seminar Proceedings. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 9501. p. 1-15 15 p. (Dagstuhl Seminar Proceedings; vol. 9501).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

A framework for inherent vacuity

Fisman, D., Kupferman, O., Sheinvald-Faragy, S. & Vardi, M. Y., 2009, Hardware and Software: Verification and Testing - 4th International Haifa Verification Conference, HVC 2008, Proceedings. p. 7-22 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5394 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

37 Scopus citations

Co-ing büchi made tight and useful

Boker, U. & Kupferman, O., 2009, Proceedings - 2009 24th Annual IEEE Symposium on Logic In Computer Science, LICS 2009. p. 245-254 10 p. 5230576. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

12 Scopus citations

Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata

Kupferman, O. & Piterman, N., 2009, Foundations of Software Science and Computational Structures - 12th International Conference, FOSSACS 2009 - Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2009, Proc.. p. 182-196 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5504 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

4 Scopus citations

Reasoning about online algorithms with weighted automata

Aminof, B., Kupferman, O. & Lampert, R., 2009, Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 835-844 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

2008

A theory of mutations with applications to vacuity, coverage, and fault tolerance

Kupferman, O., Li, W. & Seshia, S. A., 2008, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD. 4689188. (Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

39 Scopus citations

Multi-valued logics, automata, simulations, and games

Kupferman, O. & Lustig, Y., 2008, Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, Proceedings. p. 5 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4905 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

On the relative succinctness of nondeterministic Büchi and co-Büchi word automata

Aminof, B., Kupferman, O. & Lev, O., 2008, Logic for Programming, Artificial Intelligence, and Reasoning - 15th International Conference, LPAR 2008, Proceedings. p. 183-197 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5330 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

On verifying fault tolerance of distributed protocols

Fisman, D., Kupferman, O. & Lustig, Y., 2008, Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. p. 315-331 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4963 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

26 Scopus citations

Vacuity in testing

Ball, T. & Kupferman, O., 2008, Tests and Proofs - Second International Conference, TAP 2008, Proceedings. Springer Verlag, p. 4-17 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4966 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

21 Scopus citations

2007

Better under-approximation of programs by hiding variables

Ball, T. & Kupferman, O., 2007, Verification, Model Checking, and Abstract Interpretation, - 8th International Conference, VMCAI 2007, Proceedings. Springer Verlag, p. 314-328 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4349 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

From liveness to promptness

Kupferman, O., Piterman, N. & Vardi, M. Y., 2007, Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, p. 406-419 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4590 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

13 Scopus citations

Lattice automata

Kupferman, O. & Lustig, Y., 2007, Verification, Model Checking, and Abstract Interpretation, - 8th International Conference, VMCAI 2007, Proceedings. Springer Verlag, p. 199-213 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4349 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

98 Scopus citations

Latticed simulation relations and games

Kupferman, O. & Lustig, Y., 2007, Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings. Springer Verlag, p. 316-330 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4762 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

Leaping loops in the presence of abstraction

Ball, T., Kupferman, O. & Sagiv, M., 2007, Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, p. 491-503 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4590 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

15 Scopus citations

Tightening the exchange rates between automata

Kupferman, O., 2007, Computer Science Logic - 21st International Workshop, CSL 2007 and 16th Annual Conference of the EACSL, Proceedings. Springer Verlag, p. 7-22 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4646 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

What triggers a behavior?

Kupferman, O. & Lustig, Y., 2007, Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007. p. 146-153 8 p. 4401993. (Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

11 Scopus citations

2006

An abstraction-refinement framework for multi-agent systems

Ball, T. & Kupferman, O., 2006, Proceedings - 21st Annual IEEE Symposium on Logic in Computer Science, LICS 2006. Institute of Electrical and Electronics Engineers Inc., p. 379-388 10 p. 1691249. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

36 Scopus citations

Avoiding determinization

Kupferman, O., 2006, Proceedings - 21st Annual IEEE Symposium on Logic in Computer Science, LICS 2006. p. 243-252 10 p. 1691235. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

11 Scopus citations

Finding shortest witnesses to the nonemptiness of automata on infinite words

Kupferman, O. & Sheinvald-Faragy, S., 2006, CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings. Springer Verlag, p. 492-508 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4137 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

13 Scopus citations

Memoryful branching-time logic

Kupferman, O. & Vardi, M. Y., 2006, Proceedings - 21st Annual IEEE Symposium on Logic in Computer Science, LICS 2006. p. 265-274 10 p. 1691237. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

35 Scopus citations

On locally checkable properties

Kupferman, O., Lustig, Y. & Vardi, M. Y., 2006, Logic for Programming, Artificial Intelligence, and Reasoning - 13th International Conference, LPAR 2006, Proceedings. Springer Verlag, p. 302-316 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4246 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

On the construction of fine automata for safety properties

Kupferman, O. & Lampert, R., 2006, Automated Technology for Verification and Analysis - 4th International Symposium, ATVA 2006, Proceedings. Springer Verlag, p. 110-124 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4218 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

16 Scopus citations

On the succinctness of nondeterminism

Aminof, B. & Kupferman, O., 2006, Automated Technology for Verification and Analysis - 4th International Symposium, ATVA 2006, Proceedings. Springer Verlag, p. 125-140 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4218 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Safraless compositional synthesis

Kupferman, O., Piterman, N. & Vardi, M. Y., 2006, Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings. Springer Verlag, p. 31-44 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4144 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

75 Scopus citations

Sanity checks in formal verification

Kupferman, O., 2006, CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings. Springer Verlag, p. 37-51 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4137 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

49 Scopus citations

2005

Reasoning about systems with transition fairness

Aminof, B., Ball, T. & Kupferman, O., 2005, Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Proceedings. Springer Verlag, p. 194-208 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3452 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

Regular vacuity

Bustan, D., Flaisher, A., Grumberg, O., Kupferman, O. & Vardi, M. Y., 2005, Correct Hardware Design and Verification Methods - 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Proceedings. p. 191-206 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3725 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

43 Scopus citations

Safraless decision procedures

Kupferman, O. & Vardi, M. Y., 2005, Proceedings - 46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005. p. 531-540 10 p. 1530745. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

191 Scopus citations

Verifying quantitative properties using bound functions

Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O. & Majumdar, R., 2005, Correct Hardware Design and Verification Methods - 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Proceedings. p. 50-64 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3725 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

26 Scopus citations

2004

A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.

Bustan, D., Kupferman, O. & Vardi, M. Y., 2004, STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings. Diekert, V. & Habib, M. (eds.). Springer Verlag, p. 522-533 12 p. ( Lecture Notes in Computer Science; vol. 2996).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

12 Scopus citations

2003

On the Universal and Existential Fragments of the µ-Calculus.

Henzinger, T. A., Kupferman, O. & Majumdar, R., 2003, Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Garavel, H. & Hatcliff, J. (eds.). Springer Verlag, p. 49-64 16 p. (Lecture Notes in Computer Science; vol. 2619).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

6 Scopus citations

2002

An improved algorithm for the membership problem for extended regular expressions

Kupferman, O. & Zuhovitzky, S., 2002, Mathematical Foundations of Computer Science 2002 - 27th International Symposium, MFCS 2002, Proceedings. Diks, K., Rytter, W. & Rytter, W. (eds.). Springer Verlag, p. 446-458 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2420).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

15 Scopus citations

Coverage of implementations by simulating specifications

Chockler, H. & Kupferman, O., 2002, Foundations of Information Technology in the Era of Network and Mobile Computing - IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP Int. Conference on Theoretical Computer Science (TCS 2002). Springer New York LLC, p. 409-421 13 p. (IFIP Advances in Information and Communication Technology; vol. 96).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

11 Scopus citations

Model checking linear properties of prefix-recognizable systems

Kupferman, O., Piterman, N. & Vardi, M. Y., 2002, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Brinksma, E. & Larsen, K. G. (eds.). Springer Verlag, p. 371-385 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2404).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

17 Scopus citations

Pushdown specifications

Kupferman, O., Piterman, N. & Vardi, M. Y., 2002, Logic for Programming, Artificial Intelligence, and Reasoning - 9th International Conference, LPAR 2002, Proceedings. Baaz, M. & Voronkov, A. (eds.). Springer Verlag, p. 262-277 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2514).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

38 Scopus citations

Synthesis of uninitialized systems

Henzinger, T. A., Krishnan, S. C., Kupferman, O. & Mang, F. Y. C., 2002, Automata, Languages and Programming - 29th International Colloquium, ICALP 2002, Proceedings. Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R. & Hennessy, M. (eds.). Springer Verlag, p. 644-656 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2380 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

The Complexity of the Graded µ-Calculus.

Kupferman, O., Sattler, U. & Vardi, M. Y., 2002, Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings. Voronkov, A. (ed.). Springer Verlag, p. 423-437 15 p. (Lecture Notes in Computer Science; vol. 2392).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

72 Scopus citations

Trading probability for Fairness

Jurdziński, M., Kupferman, O. & Henzinger, T. A., 2002, Computer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL 2002, Proceedings. Bradfield, J. (ed.). Springer Verlag, p. 292-305 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2471).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

ω-regular languages are testable with a constant number of queries

Chockler, H. & Kupferman, O., 2002, Randomization and Approximation Techniques in Computer Science - 6th International Workshop, RANDOM 2002, Proceedings. Vadhan, S. & Rolim, J. D. P. (eds.). Springer Verlag, p. 26-38 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2483).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

2001

A practical approach to coverage in model checking

Chockler, H., Kupferman, O., Kurshan, R. P. & Vardi, M. Y., 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). Springer Verlag, p. 66-78 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

76 Scopus citations

Orna Kupferman

Research output

Search results