Gera Weiss

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 48

Top Topics

Concurrent Programming

Indoor Environments

Normalized Edit Distance

Top Venues

MoDELS (Companion)

MoDELS (Workshops)

Publications

Irina Maliukov, Gera Weiss, Oded Margalit, Achiya Elyasaf
Evolving Assembly Code in an Adversarial Environment. GECCO Companion (2024)
Irina Maliukov, Gera Weiss, Oded Margalit, Achiya Elyasaf
Evolving Assembly Code in an Adversarial Environment. CoRR (2024)
Liat Cohen, Tal Grinshpoun, Gera Weiss
Efficient optimal Kolmogorov approximation of random variables. Artif. Intell. 329 (2024)
Tom Yaacov, Achiya Elyasaf, Gera Weiss
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. CoRR (2024)
Achiya Elyasaf, Tom Yaacov, Gera Weiss
What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition. IEEE Trans. Software Eng. 49 (4) (2023)
Daniel Lehner, Gera Weiss
Model Driven Engineering, Verification and Validation (MoDeVVa 2023). MoDELS (Companion) (2023)
Dana Fisman, Joshua Grogin, Gera Weiss
A Normalized Edit Distance on Infinite Words. CSL (2023)
Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss
Provengo: A Tool Suite for Scenario Driven Model-Based Testing. CoRR (2023)
Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss
Provengo: A Tool Suite for Scenario Driven Model-Based Testing. ASE (2023)
Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss
Generalized Coverage Criteria for Combinatorial Sequence Testing. IEEE Trans. Software Eng. 49 (8) (2023)
Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss
Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. CoRR (2022)
Achiya Elyasaf, Tom Yaacov, Gera Weiss
What Petri Net Obliges Us to Say. CoRR (2022)
Gal Amram, Avi Hayoun, Lior Mizrahi, Gera Weiss
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. DISC (2022)
Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
The Normalized Edit Distance with Uniform Operation Costs is a Metric. CoRR (2022)
Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
The Normalized Edit Distance with Uniform Operation Costs Is a Metric. CPM (2022)
Liat Cohen, Tal Grinshpoun, Gera Weiss
Efficient One Sided Kolmogorov Approximation. CoRR (2022)
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CoRR (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CAV (1) (2021)
Joshua Shay Kricheli, Aviran Sadon, Shai A. Arogeti, Shimon Regev, Gera Weiss
Composition of Dynamic Control Objectives Based on Differential Games. MED (2021)
Michael Berlin, Oded Margalit, Gera Weiss
DepthStAr: Deep Strange Arguments Detection. CSCML (2021)
Gal Amram, Amir Rubin, Gera Weiss
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence. CoRR (2021)
Eliyahu Mashhadi, Yossi Oren, Gera Weiss
Can the Operator of a Drone Be Located by Following the Drone's Path? CSCML (2020)
Michael Bar-Sinai, Gera Weiss
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. ISoLA (4) (2020)
Aviran Sadon, Shai A. Arogeti, Gera Weiss
Patience Control: A Modular and Dynamic Construction of Composite Controllers. CoDIT (2020)
David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
Executing Scenario-Based Specification with Dynamic Generation of Rich Events. MODELSWARD (Revised Selected Papers) (2019)
David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI (2019)
Achiya Elyasaf, Aviran Sadon, Gera Weiss, Tom Yaacov
Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game. MoDELS (Companion) (2019)
Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. MODELSWARD (2019)
Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss
An efficient shift rule for the prefer-max De Bruijn sequence. Discret. Math. 342 (1) (2019)
Liat Cohen, Gera Weiss
Efficient Optimal Approximation of Discrete Random Variables for Estimation of Probabilities of Missing Deadlines. AAAI (2019)
Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. CoRR (2019)
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Estimating the probability of meeting a deadline in schedules and plans. Artif. Intell. 275 (2019)
Moshe Schwartz, Yotam Svoray, Gera Weiss
On Embedding De Bruijn Sequences by Increasing the Alphabet Size. CoRR (2019)
Liat Cohen, Tal Grinshpoun, Gera Weiss
Optimal Approximation of Random Variables for Estimating the Probability of Meeting a Plan Deadline. AAAI (2018)
Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss
A Context-Based Behavioral Language for IoT. MoDELS (Workshops) (2018)
Yotam Svoray, Gera Weiss
A Combinatorial Game and an Efficiently Computable Shift Rule for the Prefer Max De Bruijn Sequence. CoRR (2018)
Michael Bar-Sinai, Gera Weiss, Reut Shmuel
BPjs: an extensible, open infrastructure for behavioral programming research. MoDELS (Companion) (2018)
Michael Bar-Sinai, Gera Weiss, Reut Shmuel
BPjs - a framework for modeling reactive systems using a scripting language and BP. CoRR (2018)
Liat Cohen, Dror Fried, Gera Weiss
An optimal approximation of discrete random variables with respect to the Kolmogorov distance. CoRR (2018)
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)
Hanoch Efraim, Shai A. Arogeti, Amir Shapiro, Gera Weiss
Vision Based Output Feedback Control of Micro Aerial Vehicles in Indoor Environments. J. Intell. Robotic Syst. 87 (1) (2017)
Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm, Gera Weiss
Structured Behavioral Programming Idioms. BPMDS/EMMSAD@CAiSE (2017)
Amir Rubin, Gera Weiss
Mapping prefer-opposite to prefer-one de Bruijn sequences. Des. Codes Cryptogr. 85 (3) (2017)
Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss
Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops (2017)
Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss
An Efficient Shift Rule for the Prefer-Max De Bruijn Sequence. CoRR (2017)
Amir Menczel, Gera Weiss, Dror Fried
On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. SwSTE (2016)
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)
Michael Bar-Sinai, Gera Weiss, Assaf Marron
Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. EXE@MoDELS (2016)
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 (2015)
Olga Brukman, Shlomi Dolev, Moshe Weinstock, Gera Weiss
Self-* programming: run-time parallel control search for reflection box. Evol. Syst. 6 (1) (2015)
Gal Amram, Lior Mizrahi, Gera Weiss
Simple Executions of Snapshot Implementations. CoRR (2015)
Hanoch Efraim, Shai A. Arogeti, Amir Shapiro, Gera Weiss
Output feedback control of Micro Aerial Vehicle in indoor environment. MED (2015)
Hanoch Efraim, Amir Shapiro, Gera Weiss
Quadrotor with a Dihedral Angle: on the Effects of Tilting the Rotors Inwards. J. Intell. Robotic Syst. 80 (2) (2015)
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener
Towards behavioral programming in distributed architectures. Sci. Comput. Program. 98 (2015)
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Estimating the Probability of Meeting a Deadline in Hierarchical Plans. CoRR (2015)
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Estimating the Probability of Meeting a Deadline in Hierarchical Plans. IJCAI (2015)
David Harel, Guy Katz, Assaf Marron, Gera Weiss
The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD (2015)
David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss
On the Succinctness of Idioms for Concurrent Programming. CONCUR (2015)
David Harel, Guy Katz, Assaf Marron, Gera Weiss
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. 16 (2014)
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss
On composing and proving the correctness of reactive behavior. EMSOFT (2013)
David Harel, Assaf Marron, Amir Nissim, Gera Weiss
A software engineering framework for switched fuzzy systems. FUZZ-IEEE (2012)
Assaf Marron, Gera Weiss, Guy Wiener
A decentralized approach for programming interactive applications with JavaScript and blockly. AGERE!@SPLASH (2012)
David Harel, Guy Katz, Assaf Marron, Gera Weiss
Non-intrusive Repair of Reactive Programs. ICECCS (2012)
David Harel, Assaf Marron, Gera Weiss
Behavioral programming. Commun. ACM 55 (7) (2012)
Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss
On Visualization and Comprehension of Scenario-Based Programs. ICPC (2011)
Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss
Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Autom. Control. 56 (10) (2011)
David Harel, Assaf Marron, Guy Wiener, Gera Weiss
Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops (2011)
David Harel, Robby Lampert, Assaf Marron, Gera Weiss
Model-checking behavioral programs. EMSOFT (2011)
Guy Wiener, Gera Weiss, Assaf Marron
Coordinating and visualizing independent behaviors in erlang. Erlang Workshop (2010)
David Harel, Assaf Marron, Gera Weiss
Programming Coordinated Behavior in Java. ECOOP (2010)
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
On Omega-Languages Defined by Mean-Payoff Conditions. FoSSaCS (2009)
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)
Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur
Specification and Analysis of Network Resource Requirements of Control Systems. HSCC (2009)
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)
Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas
Robust stability of multi-hop control networks. CDC (2009)
Rajeev Alur, Gera Weiss
Regular Specifications of Resource Requirements for Embedded Control Software. IEEE Real-Time and Embedded Technology and Applications Symposium (2008)
Rajeev Alur, Aditya Kanade, Gera Weiss
Ranking Automata and Games for Prioritized Requirements. CAV (2008)
Rajeev Alur, Gera Weiss
RTComposer: a framework for real-time components with scheduling interfaces. EMSOFT (2008)
Gera Weiss
A combinatorial game approach to state nullification by hybrid feedback. CDC (2007)
Gera Weiss
State Nullification of Switched Systems by Linear Output Feedback. HSCC (2007)
Gera Weiss, Rajeev Alur
Automata Based Interfaces for Control and Scheduling. HSCC (2007)
Zvi Artstein, Gera Weiss
State Nullification by Memoryless Output Feedback. Math. Control. Signals Syst. 17 (1) (2005)
Gera Weiss
Preservation of controllability of single-input time-varying linear systems under sampling. IEEE Trans. Autom. Control. 50 (12) (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)