Behavioral programming D Harel, A Marron, G Weiss Communications of the ACM 55 (7), 90-100, 2012 | 181 | 2012 |
Compositional modeling and analysis of multi-hop control networks R Alur, A d'Innocenzo, KH Johansson, GJ Pappas, G Weiss IEEE Transactions on Automatic control 56 (10), 2345-2357, 2011 | 136 | 2011 |
Automata based interfaces for control and scheduling G Weiss, R Alur International Workshop on Hybrid Systems: Computation and Control, 601-613, 2007 | 80 | 2007 |
Programming coordinated behavior in java D Harel, A Marron, G Weiss ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010 | 73 | 2010 |
A decentralized approach for programming interactive applications with javascript and blockly A Marron, G Weiss, G Wiener Proceedings of the 2nd edition on Programming systems, languages and …, 2012 | 66 | 2012 |
Model-checking behavioral programs D Harel, R Lampert, A Marron, G Weiss Proceedings of the ninth ACM international conference on Embedded software …, 2011 | 62 | 2011 |
Regular specifications of resource requirements for embedded control software R Alur, G Weiss 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 159-168, 2008 | 59 | 2008 |
Modeling and analysis of multi-hop control networks R Alur, A D'Innocenzo, KH Johansson, GJ Pappas, G Weiss 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2009 | 55 | 2009 |
On composing and proving the correctness of reactive behavior D Harel, A Kantor, G Katz, A Marron, L Mizrahi, G Weiss 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 39 | 2013 |
RTComposer: a framework for real-time components with scheduling interfaces R Alur, G Weiss Proceedings of the 8th ACM international conference on Embedded software …, 2008 | 38 | 2008 |
Quadrotor with a dihedral angle: on the effects of tilting the rotors inwards H Efraim, A Shapiro, G Weiss Journal of Intelligent & Robotic Systems 80, 313-324, 2015 | 37 | 2015 |
Ranking automata and games for prioritized requirements R Alur, A Kanade, G Weiss Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 36 | 2008 |
On omega-languages defined by mean-payoff conditions R Alur, A Degorre, O Maler, G Weiss Foundations of Software Science and Computational Structures: 12th …, 2009 | 35 | 2009 |
Non-intrusive repair of reactive programs D Harel, G Katz, A Marron, G Weiss 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012 | 34 | 2012 |
Scalable scheduling algorithms for wireless networked control systems A D'Innocenzo, G Weiss, R Alur, AJ Isaksson, KH Johansson, GJ Pappas 2009 IEEE International Conference on Automation Science and Engineering …, 2009 | 32 | 2009 |
Behavioral programming, decentralized control, and multiple time scales D Harel, A Marron, G Wiener, G Weiss Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011 | 31 | 2011 |
Some methodological observations resulting from experience using LSCs and the play-in/play-out approach D Harel, H Kugler, G Weiss Scenarios: Models, Transformations and Tools: International Workshop …, 2005 | 30 | 2005 |
Non-intrusive repair of safety and liveness violations in reactive programs D Harel, G Katz, A Marron, G Weiss Transactions on Computational Collective Intelligence XVI, 1-33, 2014 | 29 | 2014 |
On the succinctness of idioms for concurrent programming D Harel, G Katz, R Lampert, A Marron, G Weiss 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 26 | 2015 |
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios A Ashrov, A Marron, G Weiss, G Wiener Science of Computer Programming 98, 268-292, 2015 | 24 | 2015 |