Orna Kupferman

2016

High-quality synthesis against stochastic environments

Almagor, S. & Kupferman, O., 1 Aug 2016, Computer Science Logic 2016, CSL 2016. Talbot, J.-M. & Regnier, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 62).

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

5 Scopus citations

Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis

Almagor, S., Kupferman, O. & Velner, Y., 1 Aug 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Desharnais, J. & Jagadeesan, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 59).

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

9 Scopus citations

On high-quality synthesis

Kupferman, O., 2016, Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings. Woeginger, G. J. & Kulikov, A. S. (eds.). Springer Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9691).

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

5 Scopus citations

On the capacity of capacitated automata

Kupferman, O. & Sheinvald, S., 2016, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Proceedings. Truthe, B., Janoušek, J., Dediu, A.-H. & Martín-Vide, C. (eds.). Springer Verlag, p. 307-319 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9618).

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

2015

Congestion games with multisets of resources and applications in synthesis

Avni, G., Kupferman, O. & Tamir, T., 1 Dec 2015, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2015. Harsha, P. & Ramalingam, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 365-379 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 45).

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

7 Scopus citations

Inherent vacuity in lattice automata

Gonen, H. & Kupferman, O., 2015, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Blass, A., Finkbeiner, B., Dershowitz, N., Schulte, W. & Beklemishev, L. D. (eds.). Springer Verlag, p. 174-192 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9300).

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

2 Scopus citations

On relative and probabilistic finite counterability

Kupferman, O. & Vardi, G., 1 Sep 2015, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015. Kreutzer, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 175-192 18 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 41).

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

3 Scopus citations

Repairing multi-player games

Almagor, S., Avni, G. & Kupferman, O., 1 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 325-339 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

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

28 Scopus citations

Spanning the spectrum from safety to liveness

Faran, R. & Kupferman, O., 2015, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). Springer Verlag, p. 183-200 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9364).

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

3 Scopus citations

Stochastization of weighted automata

Avni, G. & Kupferman, O., 2015, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Proceedings. Pighizzini, G., Italiano, G. F. & Sannella, D. T. (eds.). Springer Verlag, p. 89-102 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9234).

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

3 Scopus citations

Synthesis with rational environments

Kupferman, O., Perelli, G. & Vardi, M. Y., 2015, Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers. Bulling, N. (ed.). Springer Verlag, p. 219-235 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8953).

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

26 Scopus citations

The sensing cost of monitoring and synthesis

Almagor, S., Kuperberg, D. & Kupferman, O., 1 Dec 2015, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2015. Harsha, P. & Ramalingam, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 380-393 14 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 45).

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

7 Scopus citations

2014

A game-theoretic approach to simulation of data-parameterized systems

Grumberg, O., Kupferman, O. & Sheinvald, S., 2014, Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Proceedings. Cassez, F. & Raskin, J.-F. (eds.). Springer Verlag, p. 348-363 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

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

5 Scopus citations

Discounting in LTL

Almagor, S., Boker, U. & Kupferman, O., 2014, Tools and Algorithms for the Construction and Analysis of Systems - 20th Int. Conf., TACAS 2014, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 424-439 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8413 LNCS).

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

Open Access

46 Scopus citations

From reachability to temporal specifications in cost-sharing games

Avni, G., Kupferman, O. & Tamir, T., 2014, Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8562 LNAI).

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

1 Scopus citations

Latticed-LTL synthesis in the presence of noisy inputs

Almagor, S. & Kupferman, O., 2014, Foundations of Software Science and Computation Structures - 17th Int. Conf., FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 226-241 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8412 LNCS).

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

Open Access

5 Scopus citations

Network-formation games with regular objectives

Avni, G., Kupferman, O. & Tamir, T., 2014, Foundations of Software Science and Computation Structures - 17th Int. Conf., FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 119-133 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8412 LNCS).

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

Open Access

11 Scopus citations

Properties and utilization of capacitated automata

Kupferman, O. & Tamir, T., 1 Dec 2014, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014. Raman, V. & Suresh, S. P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 33-44 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 29).

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

9 Scopus citations

Regular sensing

Almagor, S., Kuperberg, D. & Kupferman, O., 1 Dec 2014, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014. Raman, V. & Suresh, S. P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 161-173 13 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 29).

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

7 Scopus citations

Synthesis from component libraries with costs

Avni, G. & Kupferman, O., 2014, Concurrency Theory - 25th International Conference, CONCUR 2014, Proceedings. Springer Verlag, p. 156-172 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8704 LNCS).

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

10 Scopus citations

Variations on safety

Kupferman, O., 2014, Tools and Algorithms for the Construction and Analysis of Systems - 20th Int. Conf., TACAS 2014, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8413 LNCS).

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

Open Access

5 Scopus citations

2013

A framework for ranking vacuity results

Ben-David, S. & Kupferman, O., 2013, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Proceedings. p. 148-162 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8172 LNAI).

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

9 Scopus citations

An automata-theoretic approach to reasoning about parameterized systems and specifications

Grumberg, O., Kupferman, O. & Sheinvald, S., 2013, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Proceedings. p. 397-411 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8172 LNAI).

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

11 Scopus citations

Attention-based coverage metrics

Ben-David, S., Chockler, H. & Kupferman, O., 2013, Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Proceedings. Springer Verlag, p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8244 LNCS).

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

1 Scopus citations

Automatic generation of quality specifications

Almagor, S., Avni, G. & Kupferman, O., 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 479-494 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

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

Open Access

3 Scopus citations

Environment-friendly safety

Kupferman, O. & Weiner, S., 2013, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. Springer Verlag, p. 227-242 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7857 LNCS).

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

Open Access

3 Scopus citations

Formalizing and reasoning about quality

Almagor, S., Boker, U. & Kupferman, O., 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings. PART 2 ed. p. 15-27 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7966 LNCS, no. PART 2).

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

27 Scopus citations

Nondeterminism in the presence of a diverse or unknown future

Boker, U., Kuperberg, D., Kupferman, O. & Skrzypczak, M., 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings. PART 2 ed. p. 89-100 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7966 LNCS, no. PART 2).

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

28 Scopus citations

Parameterized weighted containment

Avni, G. & Kupferman, O., 2013, Foundations of Software Science and Computation Structures - 16th Int. Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. p. 369-384 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7794 LNCS).

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

1 Scopus citations

Prime languages

Kupferman, O. & Mosheiff, J., 2013, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings. p. 607-618 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8087 LNCS).

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

Weighted safety

Weiner, S., Hasson, M., Kupferman, O., Pery, E. & Shevach, Z., 2013, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Proceedings. p. 133-147 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8172 LNAI).

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

5 Scopus citations

2012

Approximating deterministic lattice automata

Halamish, S. & Kupferman, O., 2012, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Proceedings. p. 27-41 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7561 LNCS).

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

Open Access

4 Scopus citations

Making weighted containment feasible: A heuristic based on simulation and abstraction

Avni, G. & Kupferman, O., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

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

10 Scopus citations

Model checking systems and specifications with parameterized atomic propositions

Grumberg, O., Kupferman, O. & Sheinvald, S., 2012, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Proceedings. p. 122-136 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7561 LNCS).

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

16 Scopus citations

Recent challenges and ideas in temporal synthesis

Kupferman, O., 2012, SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. p. 88-98 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7147 LNCS).

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

22 Scopus citations

Synthesis with clairvoyance

Kupferman, O., Sadigh, D. & Seshia, S. A., 2012, Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers. p. 5-19 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7261 LNCS).

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

1 Scopus citations

2011

An abstraction-refinement framework for trigger querying

Avni, G. & Kupferman, O., 2011, Static Analysis - 18th International Symposium, SAS 2011, Proceedings. p. 263-279 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6887 LNCS).

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

Co-Büching them all

Boker, U. & Kupferman, O., 2011, Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 184-198 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6604 LNCS).

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

Open Access

4 Scopus citations

Formal analysis of online algorithms

Aminof, B., Kupferman, O. & Lampert, R., 2011, Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Proceedings. p. 213-227 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6996 LNCS).

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

8 Scopus citations

Max and sum semantics for alternating weighted automata

Almagor, S. & Kupferman, O., 2011, Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Proceedings. p. 13-27 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6996 LNCS).

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

9 Scopus citations

Minimizing deterministic lattice automata

Halamish, S. & Kupferman, O., 2011, Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 199-213 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6604 LNCS).

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

Open Access

6 Scopus citations

Reasoning about finite-state switched systems

Fisman, D. & Kupferman, O., 2011, Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Revised Selected Papers. p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6405 LNCS).

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

5 Scopus citations

Rigorous approximated determinization of weighted automata

Aminof, B., Kupferman, O. & Lampert, R., 2011, Proceedings - 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011. p. 345-354 10 p. 5970230. (Proceedings - Symposium on Logic in Computer Science).

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

Open Access

10 Scopus citations

Temporal specifications with accumulative values

Boker, U., Chatterjee, K., Henzinger, T. A. & Kupferman, O., 2011, Proceedings - 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011. p. 43-52 10 p. 5970226. (Proceedings - Symposium on Logic in Computer Science).

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

53 Scopus citations

Temporal synthesis for bounded systems and environments

Kupferman, O., Lustig, Y., Vardi, M. Y. & Yannakakis, M., 2011, 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011. p. 615-626 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 9).

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

24 Scopus citations

Unifying Büchi complementation constructions

Fogarty, S., Kupferman, O., Vardi, M. Y. & Wilke, T., 2011, Computer Science Logic 2011 - 25th International Workshop/20th Annual Conference of the EACSL, CSL 2011. p. 248-263 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 12).

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

6 Scopus citations

What's decidable about weighted automata?

Almagor, S., Boker, U. & Kupferman, O., 2011, Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Proceedings. p. 482-491 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6996 LNCS).

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

71 Scopus citations

2010

Alternation removal in Büchi automata

Boker, U., Kupferman, O. & Rosenberg, A., 2010, Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings. PART 2 ed. p. 76-87 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6199 LNCS, no. PART 2).

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

20 Scopus citations

An automata-theoretic approach to infinite-state systems

Kupferman, O., Piterman, N. & Vardi, M. Y., 2010, Time for Verification - Essays in Memory of Amir Pnueli. Manna, Z. & Peled, D. A. (eds.). p. 202-259 58 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6200 LNCS).

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

19 Scopus citations

Coping with selfish on-going behaviors

Kupferman, O. & Tamir, T., 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. p. 501-516 16 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

2 Scopus citations

Orna Kupferman

Research output

Search results