Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. - David Harel; Hillel Kugler; Gera Weiss (Scenarios: Models, Transformations and Tools, 2003)

State Nullification by Memoryless Output Feedback. - Zvi Artstein; Gera Weiss (Math. Control. Signals Syst., 2005)

Preservation of controllability of single-input time-varying linear systems under sampling. - Gera Weiss (IEEE Trans. Autom. Control., 2005)

A combinatorial game approach to state nullification by hybrid feedback. - Gera Weiss (CDC, 2007)

State Nullification of Switched Systems by Linear Output Feedback. - Gera Weiss (HSCC, 2007)

Automata Based Interfaces for Control and Scheduling. - Gera Weiss; Rajeev Alur (HSCC, 2007)

Ranking Automata and Games for Prioritized Requirements. - Rajeev Alur; Aditya Kanade 001; Gera Weiss (CAV, 2008)

RTComposer: a framework for real-time components with scheduling interfaces. - Rajeev Alur; Gera Weiss (EMSOFT, 2008)

Regular Specifications of Resource Requirements for Embedded Control Software. - Rajeev Alur; Gera Weiss (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Scalable scheduling algorithms for wireless networked control systems. - Alessandro D'Innocenzo; Gera Weiss; Rajeev Alur; Alf J. Isaksson; Karl Henrik Johansson; George J. Pappas (CASE, 2009)

Robust stability of multi-hop control networks. - Gera Weiss; Alessandro D'Innocenzo; Rajeev Alur; Karl Henrik Johansson; George J. Pappas (CDC, 2009)

On Omega-Languages Defined by Mean-Payoff Conditions. - Rajeev Alur; Aldric Degorre; Oded Maler; Gera Weiss (FoSSaCS, 2009)

Specification and Analysis of Network Resource Requirements of Control Systems. - Gera Weiss; Sebastian Fischmeister; Madhukar Anand; Rajeev Alur (HSCC, 2009)

Modeling and Analysis of Multi-hop Control Networks. - Rajeev Alur; Alessandro D'Innocenzo; Karl Henrik Johansson; George J. Pappas; Gera Weiss (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Programming Coordinated Behavior in Java. - David Harel; Assaf Marron; Gera Weiss (ECOOP, 2010)

Coordinating and visualizing independent behaviors in erlang. - Guy Wiener; Gera Weiss; Assaf Marron (Erlang Workshop, 2010)

Model-checking behavioral programs. - David Harel; Robby Lampert; Assaf Marron; Gera Weiss (EMSOFT, 2011)

On Visualization and Comprehension of Scenario-Based Programs. - Nir Eitan; Michal Gordon; David Harel; Assaf Marron; Gera Weiss (ICPC, 2011)

Behavioral programming, decentralized control, and multiple time scales. - David Harel; Assaf Marron; Guy Wiener; Gera Weiss (SPLASH Workshops, 2011)

Compositional Modeling and Analysis of Multi-Hop Control Networks. - Rajeev Alur; Alessandro D'Innocenzo; Karl Henrik Johansson; George J. Pappas; Gera Weiss (IEEE Trans. Autom. Control., 2011)

A decentralized approach for programming interactive applications with JavaScript and blockly. - Assaf Marron; Gera Weiss; Guy Wiener (AGERE!@SPLASH, 2012)

A software engineering framework for switched fuzzy systems. - David Harel; Assaf Marron; Amir Nissim; Gera Weiss (FUZZ-IEEE, 2012)

Non-intrusive Repair of Reactive Programs. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (ICECCS, 2012)

Behavioral programming. - David Harel; Assaf Marron; Gera Weiss (Commun. ACM, 2012)

On composing and proving the correctness of reactive behavior. - David Harel; Amir Kantor; Guy Katz; Assaf Marron; Lior Mizrahi; Gera Weiss (EMSOFT, 2013)

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (Trans. Comput. Collect. Intell., 2014)

On the Succinctness of Idioms for Concurrent Programming. - David Harel; Guy Katz; Robby Lampert; Assaf Marron; Gera Weiss (CONCUR, 2015)

Estimating the Probability of Meeting a Deadline in Hierarchical Plans. - Liat Cohen; Solomon Eyal Shimony; Gera Weiss (IJCAI, 2015)

Output feedback control of Micro Aerial Vehicle in indoor environment. - Hanoch Efraim; Shai A. Arogeti; Amir Shapiro; Gera Weiss (MED, 2015)

The Effect of Concurrent Programming Idioms on Verification - A Position Paper. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (MODELSWARD, 2015)

Simple Executions of Snapshot Implementations. - Gal Amram; Lior Mizrahi; Gera Weiss (CoRR, 2015)

Self-* programming: run-time parallel control search for reflection box. - Olga Brukman; Shlomi Dolev; Moshe Weinstock; Gera Weiss (Evol. Syst., 2015)

Quadrotor with a Dihedral Angle: on the Effects of Tilting the Rotors Inwards. - Hanoch Efraim; Amir Shapiro; Gera Weiss (J. Intell. Robotic Syst., 2015)

A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios. - Adiel Ashrov; Assaf Marron; Gera Weiss; Guy Wiener (Sci. Comput. Program., 2015)

Towards behavioral programming in distributed architectures. - David Harel; Amir Kantor; Guy Katz; Assaf Marron; Gera Weiss; Guy Wiener (Sci. Comput. Program., 2015)

Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. - Michael Bar-Sinai; Gera Weiss; Assaf Marron (EXE@MoDELS, 2016)

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. - Assaf Marron; Brit Arnon; Achiya Elyasaf; Michal Gordon; Guy Katz; Hadas Lapid; Rami Marelly; Dana Sherman; Smadar Szekely; Gera Weiss; David Harel (D&P@MoDELS, 2016)

On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. - Amir Menczel; Gera Weiss; Dror Fried (SwSTE, 2016)

Structured Behavioral Programming Idioms. - Adiel Ashrov; Michal Gordon; Assaf Marron; Arnon Sturm; Gera Weiss (BPMDS/EMMSAD@CAiSE, 2017)

Towards Integration of Context-Based and Scenario-Based Development. - Achiya Elyasaf; David Harel; Assaf Marron; Gera Weiss (STAF Workshops, 2017)

Mapping prefer-opposite to prefer-one de Bruijn sequences. - Amir Rubin; Gera Weiss (Des. Codes Cryptogr., 2017)

Vision Based Output Feedback Control of Micro Aerial Vehicles in Indoor Environments. - Hanoch Efraim; Shai A. Arogeti; Amir Shapiro; Gera Weiss (J. Intell. Robotic Syst., 2017)

Optimal Approximation of Random Variables for Estimating the Probability of Meeting a Plan Deadline. - Liat Cohen; Tal Grinshpoun; Gera Weiss (AAAI, 2018)

BPjs: an extensible, open infrastructure for behavioral programming research. - Michael Bar-Sinai; Gera Weiss; Reut Shmuel (MoDELS (Companion), 2018)

A Context-Based Behavioral Language for IoT. - Achiya Elyasaf; Assaf Marron; Arnon Sturm; Gera Weiss (MoDELS (Workshops), 2018)

Modeling and programming a leader-follower challenge problem with scenario-based tools. - Joel Greenyer; Michael Bar-Sinai; Gera Weiss; Aviran Sadon; Assaf Marron (MoDELS (Workshops), 2018)

A Combinatorial Game and an Efficiently Computable Shift Rule for the Prefer Max De Bruijn Sequence. - Yotam Svoray; Gera Weiss (CoRR, 2018)

An optimal approximation of discrete random variables with respect to the Kolmogorov distance. - Liat Cohen; Dror Fried; Gera Weiss (CoRR, 2018)

BPjs - a framework for modeling reactive systems using a scripting language and BP. - Michael Bar-Sinai; Gera Weiss; Reut Shmuel (CoRR, 2018)

Efficient Optimal Approximation of Discrete Random Variables for Estimation of Probabilities of Missing Deadlines. - Liat Cohen; Gera Weiss (AAAI, 2019)

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). - David Harel; Assaf Marron; Ariel Rosenfeld; Moshe Y. Vardi; Gera Weiss (AAAI, 2019)

Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game. - Achiya Elyasaf; Aviran Sadon; Gera Weiss; Tom Yaacov (MoDELS (Companion), 2019)

Executing Scenario-Based Specification with Dynamic Generation of Rich Events. - David Harel; Guy Katz; Assaf Marron; Aviran Sadon; Gera Weiss (MODELSWARD (Revised Selected Papers), 2019)

On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. - Guy Katz; Assaf Marron; Aviran Sadon; Gera Weiss (MODELSWARD, 2019)

Estimating the probability of meeting a deadline in schedules and plans. - Liat Cohen; Solomon Eyal Shimony; Gera Weiss (Artif. Intell., 2019)

On Embedding De Bruijn Sequences by Increasing the Alphabet Size. - Moshe Schwartz 001; Yotam Svoray; Gera Weiss (CoRR, 2019)

An efficient shift rule for the prefer-max De Bruijn sequence. - Gal Amram; Yair Ashlagi; Amir Rubin; Yotam Svoray; Moshe Schwartz 001; Gera Weiss (Discret. Math., 2019)

Patience Control: A Modular and Dynamic Construction of Composite Controllers. - Aviran Sadon; Shai A. Arogeti; Gera Weiss (CoDIT, 2020)

Can the Operator of a Drone Be Located by Following the Drone's Path? - Eliyahu Mashhadi; Yossi Oren; Gera Weiss (CSCML, 2020)

Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. - Michael Bar-Sinai; Gera Weiss (ISoLA (4), 2020)

Adapting Behaviors via Reactive Synthesis. - Gal Amram; Suguman Bansal; Dror Fried; Lucas Martinelli Tabajara; Moshe Y. Vardi; Gera Weiss (CAV (1), 2021)

DepthStAr: Deep Strange Arguments Detection. - Michael Berlin; Oded Margalit; Gera Weiss (CSCML, 2021)

Composition of Dynamic Control Objectives Based on Differential Games. - Joshua Shay Kricheli; Aviran Sadon; Shai A. Arogeti; Shimon Regev; Gera Weiss (MED, 2021)

A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence. - Gal Amram; Amir Rubin; Gera Weiss (CoRR, 2021)

The Normalized Edit Distance with Uniform Operation Costs Is a Metric. - Dana Fisman; Joshua Grogin; Oded Margalit; Gera Weiss (CPM, 2022)

Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. - Gal Amram; Avi Hayoun; Lior Mizrahi; Gera Weiss (DISC, 2022)

Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. - Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss; Yeshayahu Weiss (CoRR, 2022)

What Petri Net Obliges Us to Say. - Achiya Elyasaf; Tom Yaacov; Gera Weiss (CoRR, 2022)

Efficient One Sided Kolmogorov Approximation. - Liat Cohen; Tal Grinshpoun; Gera Weiss (CoRR, 2022)

A Normalized Edit Distance on Infinite Words. - Dana Fisman; Joshua Grogin; Gera Weiss (CSL, 2023)

Provengo: A Tool Suite for Scenario Driven Model-Based Testing. - Michael Bar-Sinai; Achiya Elyasaf; Gera Weiss; Yeshayahu Weiss (ASE, 2023)

Model Driven Engineering, Verification and Validation (MoDeVVa 2023). - Daniel Lehner; Gera Weiss (MoDELS (Companion), 2023)

What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition. - Achiya Elyasaf; Tom Yaacov; Gera Weiss (IEEE Trans. Software Eng., 2023)

Generalized Coverage Criteria for Combinatorial Sequence Testing. - Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss; Yeshayahu Weiss (IEEE Trans. Software Eng., 2023)

Evolving Assembly Code in an Adversarial Environment. - Irina Maliukov; Gera Weiss; Oded Margalit; Achiya Elyasaf (GECCO Companion, 2024)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. - Tom Yaacov; Achiya Elyasaf; Gera Weiss (RE, 2024)

Boosting LLM-Based Software Generation by Aligning Code with Requirements. - Tom Yaacov; Achiya Elyasaf; Gera Weiss (RE Workshops, 2024)

Efficient optimal Kolmogorov approximation of random variables. - Liat Cohen; Tal Grinshpoun; Gera Weiss (Artif. Intell., 2024)

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods. - Tom Yaacov; Gera Weiss; Adiel Ashrov; Guy Katz; Jules Zisser (ENASE, 2025)

De Bruijn Sequences: from Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem. - Gal Amram; Amir Rubin; Yotam Svoray; Gera Weiss (Electron. J. Comb., 2025)

A Behavior-Based Knowledge Representation Improves Prediction of Players' Moves in Chess by 25%. - Benny Skidanov; Daniel Erbesfeld; Gera Weiss; Achiya Elyasaf (CoRR, 2025)

Automata Models for Effective Bug Description. - Tom Yaacov; Gera Weiss; Gal Amram; Avi Hayoun (CoRR, 2025)

Black-Box Bug-Amplification for Multithreaded Software. - Yeshayahu Weiss; Gal Amram; Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss (CoRR, 2025)