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
1642012
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
1272011
Automata based interfaces for control and scheduling
G Weiss, R Alur
International Workshop on Hybrid Systems: Computation and Control, 601-613, 2007
742007
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
612012
Programming coordinated behavior in java
D Harel, A Marron, G Weiss
European Conference on Object-Oriented Programming, 250-274, 2010
612010
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
572008
Model-checking behavioral programs
D Harel, R Lampert, A Marron, G Weiss
Proceedings of the ninth ACM international conference on Embedded software …, 2011
522011
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
522009
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
402008
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
352013
Ranking automata and games for prioritized requirements
R Alur, A Kanade, G Weiss
International Conference on Computer Aided Verification, 240-253, 2008
352008
On omega-languages defined by mean-payoff conditions
R Alur, A Degorre, O Maler, G Weiss
International Conference on Foundations of Software Science and …, 2009
342009
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
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
312012
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 (2), 313-324, 2015
292015
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
282011
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, 26-42, 2005
262005
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
242014
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
222015
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
202015
The system can't perform the operation now. Try again later.
Articles 1–20