Follow
Gera Weiss
Title
Cited by
Cited by
Year
Behavioral programming
D Harel, A Marron, G Weiss
Communications of the ACM 55 (7), 90-100, 2012
1822012
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
1372011
Automata based interfaces for control and scheduling
G Weiss, R Alur
International Workshop on Hybrid Systems: Computation and Control, 601-613, 2007
792007
Programming coordinated behavior in java
D Harel, A Marron, G Weiss
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
722010
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
662012
Model-checking behavioral programs
D Harel, R Lampert, A Marron, G Weiss
Proceedings of the ninth ACM international conference on Embedded software …, 2011
592011
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
582008
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
562009
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
382013
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
382008
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
362015
Ranking automata and games for prioritized requirements
R Alur, A Kanade, G Weiss
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
362008
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
352009
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
332012
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
322009
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
302011
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
292005
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
272014
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
252015
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
242015
The system can't perform the operation now. Try again later.
Articles 1–20