Software Engineering Program

Search results

  • 2018

    PALE: Partially Asynchronous Agile Leader Election

    Sidik, B., Puzis, R., Zilberman, P. & Elovici, Y., 11 Jan 2018.

    Research output: Working paper/Preprint › Preprint

    File
    107 Downloads (Pure)
  • 2016

    Mobility Fitting using 4D RANSAC

    Li, H., Wan, G., Li, H., Sharf, A., Xu, K. & Chen, B., Aug 2016, In: Computer Graphics Forum. 35, 5, p. 79-88 10 p.

    Research output: Contribution to journal › Article › peer-review

    7 Scopus citations
  • 2014

    Enhanced partial expansion A*

    Goldenberg, M., Felner, A., Stern, R., Sharon, G., Sturtevant, N., Holte, R. C. & Schaeffer, J., 1 Jan 2014, In: Journal Of Artificial Intelligence Research. 50, p. 141-187 47 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    125 Scopus citations

  • Evaluating the productivity of a reference-based programming approach: A controlled experiment

    Sturm, A. & Kramer, O., 1 Jan 2014, In: Information and Software Technology. 56, 10, p. 1390-1402 13 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations

  • Suboptimal variants of the conflict-based search algorithm for the multi-agent pathfinding problem

    Barer, M., Sharon, G., Stern, R. & Felner, A., 1 Jan 2014, ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). IOS Press BV, p. 961-962 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

    56 Scopus citations

  • Suboptimal variants of the conflict-based search algorithm for the multi-agent pathfinding problem

    Barer, M., Sharon, G., Stern, R. & Felner, A., 1 Jan 2014, Proceedings of the 7th Annual Symposium on Combinatorial Search, SoCS 2014. Edelkamp, S. & Bartak, R. (eds.). AAAI press, p. 19-27 9 p. (Proceedings of the 7th Annual Symposium on Combinatorial Search, SoCS 2014; vol. 2014-January).

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

    214 Scopus citations
  • 2013

    Optimal-generation variants of EPEA

    Goldenberg, M., Felner, A., Sturtevant, N., Holte, R. C. & Schaeffer, J., 1 Dec 2013, p. 89-97. 9 p.

    Research output: Contribution to conference › Paper › peer-review

    9 Scopus citations

  • The increasing cost tree search for optimal multi-agent pathfinding

    Sharon, G., Stern, R., Goldenberg, M. & Felner, A., 1 Jan 2013, In: Artificial Intelligence. 195, p. 470-495 26 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    243 Scopus citations
  • 2012

    A* variants for optimal multi-agent pathfinding

    Goldenberg, M., Felner, A., Stern, R., Sharon, G. & Schaeffer, J., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 157-158 2 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

    3 Scopus citations

  • A* variants for optimal multi-agent pathfinding

    Goldenberg, M., Felner, A., Stern, R., Sharon, G. & Schaeffer, J., 1 Dec 2012, p. 19-25. 7 p.

    Research output: Contribution to conference › Paper › peer-review

    6 Scopus citations

  • A methodology for integrating access control policies within database development

    Abramov, J., Anson, O., Dahan, M., Shoval, P. & Sturm, A., 1 May 2012, In: Computers and Security. 31, 3, p. 299-314 16 p.

    Research output: Contribution to journal › Article › peer-review

    15 Scopus citations

  • Compiling Model-Based Diagnosis to Boolean Satisfaction

    Metodi, A., Stern, R., Kalech, M. & Codish, M., 1 Jan 2012, p. 793-799. 7 p.

    Research output: Contribution to conference › Paper › peer-review

    6 Scopus citations

  • Conflict-Based Search For Optimal Multi-Agent Path Finding

    Sharon, G., Stern, R., Felner, A. & Sturtevant, N., 1 Jan 2012, p. 563-569. 7 p.

    Research output: Contribution to conference › Paper › peer-review

    4 Scopus citations

  • Evaluation of the Pattern-based method for Secure Development (PbSD): A controlled experiment

    Abramov, J., Sturm, A. & Shoval, P., 1 Sep 2012, In: Information and Software Technology. 54, 9, p. 1029-1043 15 p.

    Research output: Contribution to journal › Article › peer-review

    8 Scopus citations

  • Exploring the Duality in Conflict-Directed Model-Based Diagnosis

    Stern, R., Kalech, M., Feldman, A. & Provan, G., 1 Jan 2012, p. 828-834. 7 p.

    Research output: Contribution to conference › Paper › peer-review

    36 Scopus citations

  • Partial-expansion A* with selective node generation

    Felner, A., Goldenberg, M., Sharon, G., Stern, R., Beja, T., Sturtevant, N., Schaeffer, J. & Holte, R. C., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 471-477 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    31 Scopus citations

  • Partial-expansion A* with selective node generation

    Felner, A., Goldenberg, M., Sharon, G., Stern, R., Beja, T., Sturtevant, N., Schaeffer, J. & Holte, R. C., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 180-181 2 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

    4 Scopus citations

  • Partial-Expansion A* with Selective Node Generation

    Felner, A., Goldenberg, M., Sharon, G., Stern, R., Beja, T., Sturtevant, N., Schaeffer, J. & Holte, R. C., 1 Jan 2012, p. 471-477. 7 p.

    Research output: Contribution to conference › Paper › peer-review

    24 Scopus citations

  • Reports of the AAAI 2012 conference workshops

    Agrawal, V., Baier, J., Bekris, K., Chen, Y., D'Avila Garcez, A. S., Hitzler, P., Haslum, P., Jannach, D., Law, E., Lecue, F., Lamb, L. C., Matuszek, C., Palacios, H., Srivastava, B., Shastri, L., Sturtevant, N., Stern, R., Tellex, S. & Vassos, S., 1 Jan 2012, In: AI Magazine. 33, 4, p. 119-127 9 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1 Scopus citations

  • Tool support for enforcing security policies on databases

    Abramov, J., Anson, O., Sturm, A. & Shoval, P., 1 Jan 2012, IS Olympics: Information Systems in a Diverse World - CAiSE Forum 2011, Selected Extended Papers. Springer Verlag, p. 126-141 16 p. (Lecture Notes in Business Information Processing; vol. 107 LNBIP).

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

    Open Access
    1 Scopus citations
  • 2011

    A pattern based approach for secure database design

    Abramov, J., Sturm, A. & Shoval, P., 1 Jan 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, Proceedings. Springer Verlag, p. 637-651 15 p. (Lecture Notes in Business Information Processing; vol. 83 LNBIP).

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

    Open Access
    5 Scopus citations

  • Potential search: A bounded-cost search algorithm

    Stern, R., Puzis, R. & Felner, A., 27 Oct 2011, ICAPS 2011 - Proceedings of the 21st International Conference on Automated Planning and Scheduling. p. 234-241 8 p. (ICAPS 2011 - Proceedings of the 21st International Conference on Automated Planning and Scheduling).

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

    45 Scopus citations

  • Predicting solution cost with conditional probabilities

    Lelis, L., Stern, R. & Arfaee, S. J., 1 Dec 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. p. 100-107 8 p. (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

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

    11 Scopus citations

  • Preface DsE@CAiSE 2011

    Reinhartz-Berger, I., Sturm, A., Wand, Y., Bettin, J., Clark, T. & Cohen, S., 1 Jan 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, Proceedings. Springer Verlag, p. 164-165 2 p. (Lecture Notes in Business Information Processing; vol. 83 LNBIP).

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

    Open Access

  • Probably approximately correct heuristic search

    Stern, R., Felner, A. & Holte, R., 1 Dec 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. p. 158-163 6 p. (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

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

    4 Scopus citations

  • Pruning techniques for the increasing cost tree search for optimal multi-agent path finding

    Sharon, G., Stern, R., Goldenberg, M. & Felner, A., 1 Dec 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. p. 150-157 8 p. (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

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

    15 Scopus citations

  • Security issues in NoSQL databases

    Okman, L., Gal-Oz, N., Gonen, Y., Gudes, E. & Abramov, J., 1 Dec 2011, Proc. 10th IEEE Int. Conf. on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, 8th IEEE Int. Conf. on Embedded Software and Systems, ICESS 2011, 6th Int. Conf. FCST 2011. p. 541-547 7 p. 6120863. (Proc. 10th IEEE Int. Conf. on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, 8th IEEE Int. Conf. on Embedded Software and Systems, ICESS 2011, 6th Int. Conf. on FCST 2011).

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

    122 Scopus citations

  • The compressed differential heuristic

    Goldenberg, M., Sturtevant, N., Felner, A. & Schaeffer, J., 1 Dec 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. p. 191-192 2 p. (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

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

    2 Scopus citations

  • The compressed differential heuristic

    Goldenberg, M., Sturtevant, N., Felner, A. & Schaeffer, J., 2 Nov 2011, AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. p. 24-29 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    3 Scopus citations

  • The Compressed Differential Heuristic

    Goldenberg, M., Sturtevant, N., Felner, A. & Schaeffer, J., 11 Aug 2011, Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011. AAAI press, p. 24-29 6 p. (Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011).

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

    5 Scopus citations

  • The increasing cost tree search for optimal multi-agent pathfinding

    Sharon, G., Stern, R., Goldenberg, M. & Felner, A., 1 Dec 2011, IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence. p. 662-667 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    53 Scopus citations

  • Tool support for enforcing security policies on databases

    Abramov, J., Anson, O., Sturm, A. & Shoval, P., 1 Dec 2011, In: CEUR Workshop Proceedings. 734, p. 41-48 8 p.

    Research output: Contribution to journal › Conference article › peer-review

    2 Scopus citations
  • 2010

    An asynchronous Branch-and-Bound DCOP algorithm

    Yeoh, W., Felner, A. & Koenig, S., 1 May 2010, In: Journal Of Artificial Intelligence Research. 38, p. 85-133 49 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    130 Scopus citations

  • An object-process-based modeling language for multiagent systems

    Sturm, A., Dori, D. & Shehory, O., 1 Mar 2010, In: IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews. 40, 2, p. 227-241 15 p., 5398876.

    Research output: Contribution to journal › Article › peer-review

    12 Scopus citations

  • Ants meeting algorithms

    Shiloni, A., Levy, A., Feiner, A. & Kalech, M., 1 Jan 2010, 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 567-574 8 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

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

    3 Scopus citations

  • Bridging programming productivity, expressiveness, and applicability: A domain engineering approach

    Kramer, O. & Sturm, A., 1 Dec 2010, In: CEUR Workshop Proceedings. 602, p. 47-60 14 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Cost benefit deployment of DNIPS

    Rozenshine-Kemelmakher, E., Puzis, R., Felner, A. & Elovici, Y., 13 Aug 2010, 2010 IEEE International Conference on Communications, ICC 2010. 5502182. (IEEE International Conference on Communications).

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

  • Extending the adaptability of reference models

    Reinhartz-Berger, I., Soffer, P. & Sturm, A., 1 Sep 2010, In: IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans. 40, 5, p. 1045-1056 12 p., 5454344.

    Research output: Contribution to journal › Article › peer-review

    46 Scopus citations

  • Language-independent Techniques for Automated Text Summarization.

    Last, M. & Litvak, M., Oct 2010, Web Intelligence and Security: Advances in Data and Text Mining Techniques for Detecting and Preventing Terrorist Activities on the Web. Last, M. & Kandel, A. (eds.). IOS Press, Vol. 27. p. 207-237 31 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; vol. 27).

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

  • Management of correctness Problems in UML class diagrams towards a pattern-based approach

    Balaban, M., Maraee, A. & Sturm, A., 1 Dec 2010, In: International Journal of Information System Modeling and Design. 1, 4, p. 24-47 24 p.

    Research output: Contribution to journal › Article › peer-review

    13 Scopus citations

  • Portal-based true-distance heuristics for path finding

    Goldenberg, M., Felner, A., Sturtevant, N. & Schaeffer, J., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 39-45 7 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    26 Scopus citations

  • Potential search: A new greedy anytime heuristic search

    Stern, R., Puzis, R. & Felner, A., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 119-120 2 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    4 Scopus citations

  • Predicting the performance of IDA using conditional distributions

    Zahavi, U., Felner, A., Burch, N. & Holte, R. C., 1 Jan 2010, In: Journal Of Artificial Intelligence Research. 37, p. 41-83 43 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    42 Scopus citations

  • Preface

    Reinhartz-Berger, I., Sturm, A., Wand, Y., Bettin, J., Clark, T. & Cohen, S., 1 Dec 2010, In: CEUR Workshop Proceedings. 602, p. I-II

    Research output: Contribution to journal › Editorial

  • Preface

    Felner, A. & Sturtevant, N., 1 Dec 2010, In: Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. ix-x

    Research output: Contribution to journal › Editorial

  • Searching for a k-clique in unknown graphs

    Stern, R., Kalech, M. & Felner, A., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 83-89 7 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    6 Scopus citations

  • Search space reduction using swamp hierarchies

    Pochter, N., Zohar, A., Rosenschein, J. S. & Felner, A., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 155-156 2 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    10 Scopus citations

  • Search space reduction using swamp hierarchies

    Pochter, N., Zohar, A., Rosenschein, J. S. & Felner, A., 1 Jan 2010, AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference. AI Access Foundation, p. 155-160 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    14 Scopus citations

  • Search Space Reduction Using Swamp Hierarchies

    Pochter, N., Zohar, A., Rosenschein, J. S. & Felner, A., 15 Jul 2010, Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010. AAAI press, p. 155-160 6 p. (Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010).

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

    10 Scopus citations

  • Single-frontier bidirectional search

    Feiner, A., Moldenhauer, C., Sturtevant, N. & Schaeffer, J., 1 Jan 2010, AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference. AI Access Foundation, p. 59-64 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    8 Scopus citations