Published Papers:
Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss:
An efficient shift rule for the prefer-max De Bruijn sequence. Discrete Mathematics 342(1): 226-232 (2019)
Liat Cohen, Tal Grinshpoun, Gera Weiss:
Optimal Approximation of Random Variables for Estimating the Probability of Meeting a Plan Deadline. AAAI 2018: 6327-6334
Michael Bar-Sinai, Gera Weiss, Reut Shmuel:
BPjs: an extensible, open infrastructure for behavioral programming research. MoDELS Companion 2018: 59-60
Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron:
Modeling and programming a leader-follower challenge problem with scenario-based tools. MODELS Workshops 2018: 376-385
Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss:
A Context-Based Behavioral Language for IoT. MODELS Workshops 2018: 485-494
Yotam Svoray, Gera Weiss:
A Combinatorial Game and an Efficiently Computable Shift Rule for the Prefer Max De Bruijn Sequence. CoRR abs/1805.02405 (2018)
Liat Cohen, Dror Fried, Gera Weiss:
An optimal approximation of discrete random variables with respect to the Kolmogorov distance. CoRR abs/1805.07535 (2018)
Michael Bar-Sinai, Gera Weiss, Reut Shmuel:
BPjs - a framework for modeling reactive systems using a scripting language and BP. CoRR abs/1806.00842 (2018)
Amir Rubin, Gera Weiss:
Mapping prefer-opposite to prefer-one de Bruijn sequences. Des. Codes Cryptography 85(3): 547-555 (2017)
Hanoch Efraim, Shai A. Arogeti, Amir Shapiro, Gera Weiss:
Vision Based Output Feedback Control of Micro Aerial Vehicles in Indoor Environments. Journal of Intelligent and Robotic Systems 87(1): 169-186 (2017)
Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm, Gera Weiss:
Structured Behavioral Programming Idioms. BPMDS/EMMSAD@CAiSE 2017: 319-333
Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss:
Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops 2017: 225-231
Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss:
An Efficient Shift Rule for the Prefer-Max De Bruijn Sequence. CoRR abs/1706.01106 (2017)
Michael Bar-Sinai, Gera Weiss, Assaf Marron:
Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. EXE@MoDELS 2016: 5-11
Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel:
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS 2016: 94-100
Amir Menczel, Gera Weiss, Dror Fried:
On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. SwSTE 2016: 125-134
Olga Brukman, Shlomi Dolev, Moshe Weinstock, Gera Weiss:
Self-* programming: run-time parallel control search for reflection box. Evolving Systems 6(1): 23-40 (2015)
Hanoch Efraim, Amir Shapiro, Gera Weiss:
Quadrotor with a Dihedral Angle: on the Effects of Tilting the Rotors Inwards. Journal of Intelligent and Robotic Systems 80(2): 313-324 (2015)
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener:
Towards behavioral programming in distributed architectures. Sci. Comput. Program. 98: 233-267 (2015)
Adiel Ashrov, Assaf Marron, Gera Weiss, Guy Wiener:
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios. Sci. Comput. Program. 98: 268-292 (2015)
David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss:
On the Succinctness of Idioms for Concurrent Programming. CONCUR 2015: 85-99
Liat Cohen, Solomon Eyal Shimony, Gera Weiss:
Estimating the Probability of Meeting a Deadline in Hierarchical Plans. IJCAI 2015: 1551-1557
David Harel, Guy Katz, Assaf Marron, Gera Weiss:
The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD 2015: 363-369
Gal Amram, Lior Mizrahi, Gera Weiss:
Simple Executions of Snapshot Implementations. CoRR abs/1502.02991 (2015)
Liat Cohen, Solomon Eyal Shimony, Gera Weiss:
Estimating the Probability of Meeting a Deadline in Hierarchical Plans. CoRR abs/1503.01327 (2015)
David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Computational Collective Intelligence 16: 1-33 (2014)
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss:
On composing and proving the correctness of reactive behavior. EMSOFT 2013: 13:1-13:10
Nadeem Jamali, Alessandro Ricci, Gera Weiss, Akinori Yonezawa:
Proceedings of the 2013 Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA, October 27-28, 2013. ACM 2013, ISBN 978-1-4503-2602-5 2012
David Harel, Assaf Marron, Gera Weiss:
Behavioral programming. Commun. ACM 55(7): 90-100 (2012)
Assaf Marron, Gera Weiss, Guy Wiener:
A decentralized approach for programming interactive applications with JavaScript and blockly. AGERE!@SPLASH 2012: 59-70
David Harel, Assaf Marron, Amir Nissim, Gera Weiss:
A software engineering framework for switched fuzzy systems. FUZZ-IEEE 2012: 1-9
David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Reactive Programs. ICECCS 2012: 3-12
Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss:
Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Automat. Contr. 56(10): 2345-2357 (2011)
David Harel, Robby Lampert, Assaf Marron, Gera Weiss:
Model-checking behavioral programs. EMSOFT 2011: 279-288
Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss:
On Visualization and Comprehension of Scenario-Based Programs. ICPC 2011: 189-192
David Harel, Assaf Marron, Guy Wiener, Gera Weiss:
Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops 2011: 171-182
David Harel, Assaf Marron, Gera Weiss:
Programming Coordinated Behavior in Java. ECOOP 2010: 250-274
Guy Wiener, Gera Weiss, Assaf Marron:
Coordinating and visualizing independent behaviors in erlang. Erlang Workshop 2010: 13-22
Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas:
Scalable scheduling algorithms for wireless networked control systems. CASE 2009: 409-414
Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas:
Robust stability of multi-hop control networks. CDC 2009: 2210-2215
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss:
On Omega-Languages Defined by Mean-Payoff Conditions. FOSSACS 2009: 333-347
Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur:
Specification and Analysis of Network Resource Requirements of Control Systems. HSCC 2009: 381-395
Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss:
Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 223-232
Rajeev Alur, Aditya Kanade, Gera Weiss:
Ranking Automata and Games for Prioritized Requirements. CAV 2008: 240-253
Rajeev Alur, Gera Weiss:
RTComposer: a framework for real-time components with scheduling interfaces. EMSOFT 2008: 159-168
Rajeev Alur, Gera Weiss:
Regular Specifications of Resource Requirements for Embedded Control Software. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 159-168
Gera Weiss:
A combinatorial game approach to state nullification by hybrid feedback. CDC 2007: 4643-4647
Gera Weiss, Rajeev Alur:
Automata Based Interfaces for Control and Scheduling. HSCC 2007: 601-613
Gera Weiss:
State Nullification of Switched Systems by Linear Output Feedback. HSCC 2007: 775-778
Zvi Artstein, Gera Weiss:
State Nullification by Memoryless Output Feedback. MCSS 17(1): 38-56 (2005)
Gera Weiss:
Preservation of controllability of single-input time-varying linear systems under sampling. IEEE Trans. Automat. Contr. 50(12): 2094-2096 (2005)
David Harel, Hillel Kugler, Gera Weiss:
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools 2003: 26-42
