No photo of Orna Kupferman

View Scopus Profile

Orna Kupferman

 https://orcid.org/0000-0003-4699-6117
    Calculated based on number of publications stored in Pure and citations from Scopus
    1995 …2025

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2001

      Coverage metrics for temporal logic model checking

      Chockler, H., Kupferman, O. & Vardi, M. Y., 2001, Tools and Algorithms for the Construction and Analysis of Systems - 7th Int. Conf., TACAS 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Proc.. Margaria, T. & Yi, W. (eds.). Springer Verlag, p. 528-542 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2031 LNCS).

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

      Open Access
      61 Scopus citations

    • Extended temporal logic revisited

      Kupferman, O., Piterman, N. & Vardi, M. Y., 2001, Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings. Larsen, K. G. & Nielsen, M. (eds.). Springer Verlag, p. 519-535 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2154).

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

      39 Scopus citations

    • On bounded specifications

      Kupferman, O. & Vardi, M. Y., 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, p. 24-38 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

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

      22 Scopus citations

    • On the complexity of parity word automata

      King, V., Kupferman, O. & Vardi, M. Y., 2001, Foundations of Software Science and Computation Structures - 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings. Honsell, F. & Miculan, M. (eds.). Springer Verlag, p. 276-286 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2030).

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

      31 Scopus citations
    • 2000

      µ-calculus synthesis

      Kupferman, O. & Vardi, M. Y., 2000, Mathematical Foundations of Computer Science 2000 - 25th International Symposium, MFCS 2000 , Proceedings. Rovan, B. & Nielsen, M. (eds.). Springer Verlag, p. 497-507 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1893).

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

      34 Scopus citations

    • An automata-theoretic approach to reasoning about infinite-state systems

      Kupferman, O. & Vardi, M. Y., 2000, Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. Allen Emerson, E. & Prasad Sistla, A. (eds.). Springer Verlag, p. 36-52 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1855).

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

      59 Scopus citations

    • Fair equivalence relations

      Kupferman, O., Piterman, N. & Vardi, M. Y., 2000, FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science - 20th Conference, Proceedings. Kapoor, S. & Prasad, S. (eds.). Springer Verlag, p. 151-163 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1974).

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

      2 Scopus citations

    • Open systems in reactive environments: Control and synthesis

      Kupferman, O., Madhusudan, P., Thiagarajan, P. S. & Vardi, M. Y., 2000, CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Palamidessi, C. (ed.). Springer Verlag, p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1877 LNCS).

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

      84 Scopus citations
    • 1999

      Model checking of safety properties

      Kupferman, O. & Vardi, M. Y., 1999, Computer Aided Verification - 11th International Conference, CAV 1999, Proceedings. Halbwachs, N., Peled, D. & Peled, D. (eds.). Springer Verlag, p. 172-183 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1633).

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

      Open Access
      92 Scopus citations

    • Robust satisfaction

      Kupferman, O. & Vardi, M. Y., 1999, CONCUR 1999, Concurrency Theory - 10th International Conference, Proceedings. Springer Verlag, p. 383-398 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1664 LNCS).

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

      24 Scopus citations

    • The weakness of self-complementation

      Kupferman, O. & Vardi, M. Y., 1999, STACS 99 - 16th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Meinel, C. & Tison, S. (eds.). Springer Verlag, p. 455-466 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1563).

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

      14 Scopus citations

    • Vacuity detection in temporal model checking

      Kupferman, O. & Vardi, M. Y., 1999, Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. Pierre, L. & Kropf, T. (eds.). Springer Verlag, p. 82-98 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1703).

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

      60 Scopus citations
    • 1998

      Alternating refinement relations

      Alur, R., Henzinger, T. A., Kupferman, O. & Vardi, M. Y., 1998, CONCUR 1998 Concurrency Theory - 9th International Conference, Proceedings. Sangiorgi, D. & de Simone, R. (eds.). Springer Verlag, p. 164-178 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1466).

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

      239 Scopus citations

    • Alternating-time temporal logic*

      Alur, R., Henzinger, T. A. & Kupferman, O., 1998, Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures. de Roever, W.-P., Langmaack, L. & Pnueli, P. (eds.). Springer Verlag, p. 23-60 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1536).

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

      69 Scopus citations

    • Existence of reduction hierarchies

      Kupferman, O., Kurshan, R. P. & Yannakakis, M., 1998, Computer Science Logic - 11th International Workshop, CSL 1997 Annual Conference of the EACSL, Selected Papers. Nielsen, M. & Thomas, W. (eds.). Springer Verlag, p. 327-340 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1414).

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

      1 Scopus citations

    • Freedom, weakness, and determinism: from linear-Time to branching-Time

      Kupferman, O. & Vardiy, M. Y., 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. Institute of Electrical and Electronics Engineers Inc., p. 81-92 12 p. (Proceedings - Symposium on Logic in Computer Science; vol. 1998-June).

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

      61 Scopus citations

    • From pre-historic to post-modern symbolic model checking

      Henzinger, T. A., Kupferman, O. & Qadeer, S., 1998, Computer Aided Verification - 10th International Conference, CAV'98, Proceedings. Springer Verlag, p. 195-206 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1427 LNCS).

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

      Open Access
      25 Scopus citations

    • Modular model checking

      Kupferman, O. & Vardi, M. Y., 1998, Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures. de Roever, W.-P., Langmaack, L. & Pnueli, P. (eds.). Springer Verlag, p. 381-401 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1536).

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

      50 Scopus citations

    • Relating linear and branching model checking

      Kupferman, O. & Vardi, M. Y., 1998, Programming Concepts and Methods, PROCOMET ’98. Springer US, p. 304-326 23 p. (IFIP - The International Federation for Information Processing).

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

    • 1997

      Fair simulation

      Henzinger, T. A., Kupferman, O. & Rajamani, S. K., 1997, CONCUR 1997: Concurrency Theory - 8th International Conference, Proceedings. Mazurkiewicz, A. & Winkowski, J. (eds.). Springer Verlag, p. 273-287 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1243).

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

      48 Scopus citations

    • From quantity to quality

      Henzinger, T. A. & Kupferman, O., 1997, Hybrid and Real-Time Systems - International Workshop, HART 1997, Proceedings. Maler, O. (ed.). Springer Verlag, p. 48-62 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1201).

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

      16 Scopus citations

    • Module checking revisited

      Kupferman, O. & Vardi, M. Y., 1997, Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings. Grumberg, O. (ed.). Springer Verlag, p. 36-47 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1254).

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

      65 Scopus citations

    • On the complexity of verifying concurrent transition systems

      Harel, D., Kupferman, O. & Vardi, M. Y., 1997, CONCUR 1997: Concurrency Theory - 8th International Conference, Proceedings. Mazurkiewicz, A. & Winkowski, J. (eds.). Springer Verlag, p. 258-272 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1243).

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

      20 Scopus citations
    • 1996

      A space-efficient on-the-fly algorithm for real-time model checking

      Henzinger, T. A., Kupferman, O. & Vardi, M. Y., 1996, CONCUR 1996: Concurrency Theory - 7th International Conference, Proceedings. Montanari, U. & Sassone, V. (eds.). Springer Verlag, p. 514-529 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1119).

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

      31 Scopus citations

    • Module checking

      Kupferman, O. & Vardi, M. Y., 1996, Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. Henzinger, T. A. & Alur, R. (eds.). Springer Verlag, p. 75-86 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1102).

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

      Open Access
      97 Scopus citations

    • Not checking for closure under stuttering

      Holzmann, G. J. & Kupferman, O., 1996, The Spin Verification System. American Mathematical Society, p. 17-22 6 p. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science; vol. 32).

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

    • Verification of fair transition systems

      Kupferman, O. & Vardi, M. Y., 1996, Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. Henzinger, T. A. & Alur, R. (eds.). Springer Verlag, p. 372-382 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1102).

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

      Open Access
      33 Scopus citations
    • 1995

      Augmenting branching temporal logics with existential quantification over atomic propositions

      Kupferman Bernholtz, O., 1995, Computer Aided Verification - 7th International Conference, CAV 1995, Proceedings. Wolper, P. (ed.). Springer Verlag, p. 325-338 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 939).

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

      Open Access
      21 Scopus citations

    • On the Complexity of Branching Modular Model Checking (Extended Abstract).

      Kupferman, O. & Vardi, M. Y., 1995, CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings. Lee, I. & Smolka, S. A. (eds.). Springer Verlag, p. 408-422 15 p. (Lecture Notes in Computer Science; vol. 962).

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

      27 Scopus citations
    Your message has successfully been sent.
    Your message was not sent due to an error.