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

Search results

  • 2014
    3 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

    26 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
  • Behavioral programming

    Harel, D., Marron, A. & Weiss, G., 1 Jul 2012, In: Communications of the ACM. 55, 7, p. 90-100 11 p.

    Research output: Contribution to journalReview articlepeer-review

    105 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
  • Compositional modeling and analysis of multi-hop control networks

    Alur, R., D'Innocenzo, A., Johansson, K. H., Pappas, G. J. & Weiss, G., 1 Oct 2011, In: IEEE Transactions on Automatic Control. 56, 10, p. 2345-2357 13 p., 5978186.

    Research output: Contribution to journalArticlepeer-review

    90 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

    34 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

    10 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

    31 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
    23 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

  • 2005

    Health Center Designated for Mild Casualties in a Non-Conventional Terrorism Scenario

    Bar-Dayan, Y., Weiss, G., Leiba, A., Horwits, A., Goldberg, A., Rotman, E., Peres, M., Yehezkeli, Y., Laor, D. & Levi, Y., 2005, In: Prehospital and Disaster Medicine. 20, S1, p. 59-59

    Research output: Contribution to journalArticlepeer-review

  • Memoryless output feedback nullification and canonical forms, for time varying systems

    Weiss, G., 15 Oct 2005, In: International Journal of Control. 78, 15, p. 1174-1181 8 p.

    Research output: Contribution to journalArticlepeer-review

    7 Scopus citations
  • National medical response to mega-attacks by terrorists

    Bar-Dayan, Y., Leiba, A., Blumenfeld, A., Weiss, G., Peres, M., Horwits, A., Laor, D., Levi, Y. & Goldberg, A., 2005, In: Prehospital and Disaster Medicine. 20, S1, p. 43-44 2 p.

    Research output: Contribution to journalArticlepeer-review

  • Preservation of controllability of single-input time-varying linear systems under sampling

    Weiss, G., 1 Dec 2005, In: IEEE Transactions on Automatic Control. 50, 12, p. 2094-2096 3 p.

    Research output: Contribution to journalArticlepeer-review

    2 Scopus citations
  • Some methodological observations resulting from experience using LSCs and the play-in/play-out approach

    Harel, D., Kugler, H. & Weiss, G., 1 Jan 2005, In: Lecture Notes in Computer Science. 3466, p. 26-42 17 p.

    Research output: Contribution to journalConference articlepeer-review

    13 Scopus citations
  • State nullification by memoryless output feedback

    Artstein, Z. & Weiss, G., 1 Feb 2005, In: Mathematics of Control, Signals, and Systems. 17, 1, p. 38-56 19 p.

    Research output: Contribution to journalArticlepeer-review

    9 Scopus citations