If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2022

    The Normalized Edit Distance with Uniform Operation Costs Is a Metric

    Fisman, D., Grogin, J., Margalit, O. & Weiss, G., 1 Jun 2022, 33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022. Bannai, H. & Holub, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 223).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2021

    Adapting Behaviors via Reactive Synthesis

    Amram, G., Bansal, S., Fried, D., Tabajara, L. M., Vardi, M. Y. & Weiss, G., 1 Jan 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 870-893 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Composition of Dynamic Control Objectives Based on Differential Games.

    Kricheli, J. S., Sadon, A., Arogeti, S., Regev, S. & Weiss, G., 22 Jun 2021, 2021 29th Mediterranean Conference on Control and Automation, MED 2021. Institute of Electrical and Electronics Engineers Inc., p. 298-304 7 p. 9480269. (2021 29th Mediterranean Conference on Control and Automation, MED 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs

    Bar-Sinai, M. & Weiss, G., 1 Jan 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 199-215 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12479 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2020

    Can the Operator of a Drone Be Located by Following the Drone’s Path?

    Mashhadi, E., Oren, Y. & Weiss, G., 1 Jan 2020, Cyber Security Cryptography and Machine Learning - 4th International Symposium, CSCML 2020, Proceedings. Dolev, S., Weiss, G., Kolesnikov, V. & Lodha, S. (eds.). Springer, p. 85-93 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12161 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Cyber Security Cryptography and Machine Learning

    Dolev, S. (ed.), Kolesnikov, V. (ed.), Lodha, S. (ed.) & Weiss, G. (ed.), 2020, Fourth International Symposium, CSCML 2020, Be'er Sheva, Israel, July 2-3, 2020, Proceedings. Vol. 12161. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Executing Scenario-Based Specification with Dynamic Generation of Rich Events

    Harel, D., Katz, G., Marron, A., Sadon, A. & Weiss, G., 1 Jan 2020, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Revised Selected Papers. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). Springer, p. 246-274 29 p. (Communications in Computer and Information Science; vol. 1161 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Patience Control: A Modular and Dynamic Construction of Composite Controllers

    Sadon, A., Arogeti, S. & Weiss, G., 29 Jun 2020, 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020. Institute of Electrical and Electronics Engineers Inc., p. 975-981 7 p. 9263831. (7th International Conference on Control, Decision and Information Technologies, CoDIT 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2019

    A scenario based on-board software and testing environment for satellites

    Bar-Sinai, M., Elyasaf, A., Sadon, A. & Weiss, G., 1 Jan 2019, 59th Israel Annual Conference on Aerospace Sciences, IACAS 2019. Israel Annual Conference on Aerospace Sciences, p. 1407-1419 13 p. (59th Israel Annual Conference on Aerospace Sciences, IACAS 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Efficient optimal approximation of discrete random variables for estimation of probabilities of missing deadlines

    Cohen, L. & Weiss, G., 1 Jan 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI press, p. 7809-7815 7 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Labor division with movable walls: Composing executable specifications with machine learning and search (blue sky idea)

    Harel, D., Marron, A., Rosenfeld, A., Vardi, M. & Weiss, G., 1 Jan 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI press, p. 9770-9774 5 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • On-the-fly construction of composite events in scenario-based modeling using constraint solvers

    Katz, G., Marron, A., Sadon, A. & Weiss, G., 1 Jan 2019, MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SciTePress, p. 143-156 14 p. (MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    6 Scopus citations
  • Using behavioural programming with solver, context, and deep reinforcement learning for playing a simplified RoboCup-Type Game

    Elyasaf, A., Sadon, A., Weiss, G. & Yaacov, T., 1 Sep 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 243-251 9 p. 8904862. (Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • 2018

    BPJS - An extensible, open infrastructure for behavioral programming research

    Bar-Sinai, M., Weiss, G. & Shmuel, R., 14 Oct 2018, 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery, Inc, p. 59-61 3 p. (21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • Optimal approximation of random variables for estimating the probability of meeting a plan deadline

    Cohen, L., Grinshpoun, T. & Weiss, G., 1 Jan 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI press, p. 6327-6334 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • Towards Integration of Context-Based and Scenario-Based Development

    Elyasaf, A., Harel, D., Marron, A. & Weiss, G., 1 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Zschaler, S. & Seidl, M. (eds.). Springer Verlag, p. 225-231 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 2017

    Structured behavioral programming idioms

    Ashrov, A., Gordon, M., Marron, A., Arnon, S. & Weiss, G., 1 Jan 2017, Enterprise, Business-Process and Information Systems Modeling - 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017 Held at CAiSE 2017, Proceedings. Gulden, J., Nurcan, S., Reinhartz-Berger, I., Bera, P. & Guedria, W. (eds.). Springer Verlag, p. 319-333 15 p. (Lecture Notes in Business Information Processing; vol. 287).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 2016

    On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks

    Menczel, A., Weiss, G. & Fried, D., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers Inc., p. 125-134 10 p. 7515420. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2015

    Estimating the probability of meeting a deadline in hierarchical plans

    Cohen, L., Shimony, S. E. & Weiss, G., 1 Jan 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 1551-1557 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • On the succinctness of idioms for concurrent programming

    Harel, D., Katz, G., Lampert, R., Marron, A. & Weiss, G., 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. 85-99 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    15 Scopus citations
  • Output feedback control of Micro Aerial Vehicle in indoor environment

    Efraim, H., Arogeti, S., Shapiro, A. & Weiss, G., 14 Jul 2015, 2015 23rd Mediterranean Conference on Control and Automation, MED 2015 - Conference Proceedings. Munoz, V., Quevedo, J., Martinez, J. L. & Morales, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 688-694 7 p. 7158826. (2015 23rd Mediterranean Conference on Control and Automation, MED 2015 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The effect of concurrent programming idioms on verification: A position paper

    Harel, D., Katz, G., Marron, A. & Weiss, G., 1 Jan 2015, MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings. Hammoudi, S., Pires, L. F., Desfray, P., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 363-369 7 p. (MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    12 Scopus citations
  • 2013

    On composing and proving the correctness of reactive behavior

    Harel, D., Kantor, A., Katz, G., Marron, A., Mizrahi, L. & Weiss, G., 1 Jan 2013, 2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013. IEEE Computer Society, p. 13:1-13:10 6658591. (2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    25 Scopus citations
  • 2012

    A decentralized approach for programming interactive applications with javascript and blockly

    Marron, A., Weiss, G. & Wiener, G., 1 Dec 2012, SPLASH 2012: AGERE 2012 - Proceedings of the 2012 ACM Workshop on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions. p. 59-69 11 p. (SPLASH 2012: AGERE 2012 - Proceedings of the 2012 ACM Workshop on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    26 Scopus citations
  • A software engineering framework for switched fuzzy systems

    Harel, D., Marron, A., Nissim, A. & Weiss, G., 23 Oct 2012, 2012 IEEE International Conference on Fuzzy Systems, FUZZ 2012. 6251301. (IEEE International Conference on Fuzzy Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Non-intrusive repair of reactive programs

    Harel, D., Katz, G., Marron, A. & Weiss, G., 1 Nov 2012, Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012. p. 3-12 10 p. 06299199. (Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    24 Scopus citations
  • 2011

    Behavioral programming, decentralized control, and multiple time scales

    Harel, D., Marron, A., Wiener, G. & Weiss, G., 1 Dec 2011, SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11. p. 171-182 12 p. (SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    18 Scopus citations
  • Model-checking behavioral programs

    Harel, D., Lampert, R., Marron, A. & Weiss, G., 9 Nov 2011, Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11. p. 279-288 10 p. (Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    33 Scopus citations
  • On visualization and comprehension of scenario-based programs

    Eitan, N., Gordon, M., Harel, D., Marron, A. & Weiss, G., 9 Sep 2011, Proceedings - 2011 IEEE 19th International Conference on Program Comprehension, ICPC 2011. p. 189-192 4 p. 5970154. (IEEE International Conference on Program Comprehension).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • 2010

    Coordinating and visualizing independent behaviors in Erlang

    Wiener, G., Weiss, G. & Marron, A., 13 Dec 2010, Erlang'10 - Proceedings of the 2010 ACM SIGPLAN Erlang Workshop, Co-located with ICFP'10. p. 13-21 9 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • Programming coordinated behavior in java

    Harel, D., Marron, A. & Weiss, G., 3 Aug 2010, ECOOP 2010 - Object-Oriented Programming - 24th European Conference, Proceedings. p. 250-274 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6183 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    30 Scopus citations
  • 2009

    Modeling and analysis of multi-hop control networks

    Alur, R., D'Innocenzo, A., Johansson, K. H., Pappas, G. J. & Weiss, G., 16 Jul 2009, Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009. p. 223-232 10 p. 4840583. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    41 Scopus citations
  • On omega-languages defined by mean-payoff conditions

    Alur, R., Degorre, A., Maler, O. & Weiss, G., 9 Nov 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. 333-347 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 proceedingConference contributionpeer-review

    Open Access
    22 Scopus citations
  • Robust stability of multi-hop control networks

    Weiss, G., D'Innocenzo, A., Alur, R., Johansson, K. H. & Pappas, G. J., 1 Jan 2009, Proceedings of the 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference, CDC/CCC 2009. Institute of Electrical and Electronics Engineers Inc., p. 2210-2215 6 p. 5400552. (Proceedings of the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • Scalable scheduling algorithms for wireless networked control systems

    D'Innocenzo, A., Weiss, G., Alur, R., Isaksson, A. J., Johansson, K. H. & Pappas, G. J., 12 Nov 2009, 2009 IEEE International Conference on Automation Science and Engineering, CASE 2009. p. 409-414 6 p. 5234106. (2009 IEEE International Conference on Automation Science and Engineering, CASE 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    24 Scopus citations
  • Specification and analysis of network resource requirements of control systems

    Weiss, G., Fischmeister, S., Anand, M. & Alur, R., 15 Jul 2009, Hybrid Systems: Computation and Control - 12th International Conference, HSCC 2009, Proceedings. p. 381-395 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5469).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Scopus citations
  • 2008

    Ranking automata and games for prioritized requirements

    Alur, R., Kanade, A. & Weiss, G., 13 Aug 2008, Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. p. 240-253 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5123 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    24 Scopus citations
  • Regular specifications of resource requirements for embedded control software

    Alur, R. & Weiss, G., 12 Sep 2008, Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008. p. 159-168 10 p. 4550789. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    33 Scopus citations
  • RTComposer: A framework for real-time components with scheduling interfaces

    Alur, R. & Weiss, G., 1 Jan 2008, Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT'08. Association for Computing Machinery, p. 159-168 10 p. (Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT'08).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    31 Scopus citations
  • 2007

    A combinatorial game approach to state nullification by hybrid feedback

    Weiss, G., 1 Jan 2007, Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC. Institute of Electrical and Electronics Engineers Inc., p. 4643-4647 5 p. 4434194. (Proceedings of the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • Automata based interfaces for control and scheduling

    Weiss, G. & Alur, R., 1 Jan 2007, Hybrid Systems: Computation and Control - 10th International Conference, HSCC 2007, Proceedings. Springer Verlag, p. 601-613 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4416 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    44 Scopus citations
  • State nullification of switched systems by linear output feedback

    Weiss, G., 1 Jan 2007, Hybrid Systems: Computation and Control - 10th International Conference, HSCC 2007, Proceedings. Springer Verlag, p. 775-778 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4416 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review