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
1562012
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
1262011
Automata based interfaces for control and scheduling
G Weiss, R Alur
International Workshop on Hybrid Systems: Computation and Control, 601-613, 2007
732007
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
562008
Programming coordinated behavior in java
D Harel, A Marron, G Weiss
European Conference on Object-Oriented Programming, 250-274, 2010
532010
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
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
502012
Model-checking behavioral programs
D Harel, R Lampert, A Marron, G Weiss
Proceedings of the ninth ACM international conference on Embedded software …, 2011
472011
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
412008
Ranking automata and games for prioritized requirements
R Alur, A Kanade, G Weiss
International Conference on Computer Aided Verification, 240-253, 2008
342008
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
322013
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
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
312009
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
272012
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
262011
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
252005
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
242015
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
212014
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
182015
Coordinating and visualizing independent behaviors in erlang
G Wiener, G Weiss, A Marron
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 13-22, 2010
182010
The system can't perform the operation now. Try again later.
Articles 1–20