Gera Weiss - RankMe

96 papers A* 6A 7B 8C 3Misc 3Journal 38Unranked 29

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Behavior-Based Knowledge Representation Improves Prediction of Players' Moves in Chess by 25%. CoRR Benny Skidanov, Daniel Erbesfeld, Gera Weiss, Achiya Elyasaf
2025	J	`jnl`	Automata Models for Effective Bug Description. CoRR Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun
2025	A	`conf`	Automata Models for Effective Bug Pattern Description. MODELS Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun
2025	J	`jnl`	Black-Box Bug-Amplification for Multithreaded Software. CoRR Yeshayahu Weiss, Gal Amram, Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss
2025	J	`jnl`	De Bruijn Sequences: from Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem. Electron. J. Comb. Gal Amram, Amir Rubin, Yotam Svoray, Gera Weiss
2025	B	`conf`	Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods. ENASE Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser
2025	J	`jnl`	Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods. CoRR Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser
2025	B	`conf`	Guarded Process Trees: Translation to Petri Nets and Application in Process Mining. ICPM Ido Shapira, Gera Weiss
2024	—	`conf`	Boosting LLM-Based Software Generation by Aligning Code with Requirements. RE Workshops Tom Yaacov, Achiya Elyasaf, Gera Weiss
2024	J	`jnl`	Efficient optimal Kolmogorov approximation of random variables. Artif. Intell. Liat Cohen, Tal Grinshpoun, Gera Weiss
2024	—	`conf`	Evolving Assembly Code in an Adversarial Environment. GECCO Companion Irina Maliukov, Gera Weiss, Oded Margalit, Achiya Elyasaf
2024	J	`jnl`	Evolving Assembly Code in an Adversarial Environment. CoRR Irina Maliukov, Gera Weiss, Oded Margalit, Achiya Elyasaf
2024	A	`conf`	Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. RE Tom Yaacov, Achiya Elyasaf, Gera Weiss
2024	J	`jnl`	Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. CoRR Tom Yaacov, Achiya Elyasaf, Gera Weiss
2023	B	`conf`	A Normalized Edit Distance on Infinite Words. CSL Dana Fisman, Joshua Grogin, Gera Weiss
2023	J	`jnl`	Generalized Coverage Criteria for Combinatorial Sequence Testing. IEEE Trans. Software Eng. Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss
2023	—	`conf`	Model Driven Engineering, Verification and Validation (MoDeVVa 2023). MoDELS (Companion) Daniel Lehner, Gera Weiss
2023	A*	`conf`	Provengo: A Tool Suite for Scenario Driven Model-Based Testing. ASE Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss
2023	J	`jnl`	Provengo: A Tool Suite for Scenario Driven Model-Based Testing. CoRR Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss
2023	J	`jnl`	What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition. IEEE Trans. Software Eng. Achiya Elyasaf, Tom Yaacov, Gera Weiss
2022	J	`jnl`	Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. CoRR Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss
2022	J	`jnl`	Efficient One Sided Kolmogorov Approximation. CoRR Liat Cohen, Tal Grinshpoun, Gera Weiss
2022	A	`conf`	Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. DISC Gal Amram, Avi Hayoun, Lior Mizrahi, Gera Weiss
2022	B	`conf`	The Normalized Edit Distance with Uniform Operation Costs Is a Metric. CPM Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
2022	J	`jnl`	The Normalized Edit Distance with Uniform Operation Costs is a Metric. CoRR Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
2022	J	`jnl`	What Petri Net Obliges Us to Say. CoRR Achiya Elyasaf, Tom Yaacov, Gera Weiss
2021	J	`jnl`	A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence. CoRR Gal Amram, Amir Rubin, Gera Weiss
2021	—	`conf`	Adapting Behaviors via Reactive Synthesis. CAV (1) Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
2021	J	`jnl`	Adapting Behaviors via Reactive Synthesis. CoRR Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
2021	—	`conf`	Composition of Dynamic Control Objectives Based on Differential Games. MED Joshua Shay Kricheli, Aviran Sadon, Shai A. Arogeti, Shimon Regev, Gera Weiss
2021	—	`conf`	DepthStAr: Deep Strange Arguments Detection. CSCML Michael Berlin, Oded Margalit, Gera Weiss
2020	—	`conf`	Can the Operator of a Drone Be Located by Following the Drone's Path? CSCML Eliyahu Mashhadi, Yossi Oren, Gera Weiss
2020	—	`ed.`	Cyber Security Cryptography and Machine Learning - Fourth International Symposium, CSCML 2020, Be'er Sheva, Israel, July 2-3, 2020, Proceedings CSCML Shlomi Dolev, Vladimir Kolesnikov, Sachin Lodha, Gera Weiss
2020	C	`conf`	Patience Control: A Modular and Dynamic Construction of Composite Controllers. CoDIT Aviran Sadon, Shai A. Arogeti, Gera Weiss
2020	—	`conf`	Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. ISoLA (4) Michael Bar-Sinai, Gera Weiss
2019	J	`jnl`	An efficient shift rule for the prefer-max De Bruijn sequence. Discret. Math. Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss
2019	A*	`conf`	Efficient Optimal Approximation of Discrete Random Variables for Estimation of Probabilities of Missing Deadlines. AAAI Liat Cohen, Gera Weiss
2019	J	`jnl`	Estimating the probability of meeting a deadline in schedules and plans. Artif. Intell. Liat Cohen, Solomon Eyal Shimony, Gera Weiss
2019	—	`conf`	Executing Scenario-Based Specification with Dynamic Generation of Rich Events. MODELSWARD (Revised Selected Papers) David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019	A*	`conf`	Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss
2019	J	`jnl`	On Embedding De Bruijn Sequences by Increasing the Alphabet Size. CoRR Moshe Schwartz, Yotam Svoray, Gera Weiss
2019	C	`conf`	On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. MODELSWARD Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019	J	`jnl`	On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. CoRR Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019	—	`conf`	Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game. MoDELS (Companion) Achiya Elyasaf, Aviran Sadon, Gera Weiss, Tom Yaacov
2018	J	`jnl`	A Combinatorial Game and an Efficiently Computable Shift Rule for the Prefer Max De Bruijn Sequence. CoRR Yotam Svoray, Gera Weiss
2018	—	`conf`	A Context-Based Behavioral Language for IoT. MoDELS (Workshops) Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss
2018	J	`jnl`	An optimal approximation of discrete random variables with respect to the Kolmogorov distance. CoRR Liat Cohen, Dror Fried, Gera Weiss
2018	J	`jnl`	BPjs - a framework for modeling reactive systems using a scripting language and BP. CoRR Michael Bar-Sinai, Gera Weiss, Reut Shmuel
2018	—	`conf`	BPjs: an extensible, open infrastructure for behavioral programming research. MoDELS (Companion) Michael Bar-Sinai, Gera Weiss, Reut Shmuel
2018	—	`conf`	Modeling and programming a leader-follower challenge problem with scenario-based tools. MoDELS (Workshops) Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron
2018	A*	`conf`	Optimal Approximation of Random Variables for Estimating the Probability of Meeting a Plan Deadline. AAAI Liat Cohen, Tal Grinshpoun, Gera Weiss
2017	J	`jnl`	An Efficient Shift Rule for the Prefer-Max De Bruijn Sequence. CoRR Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss
2017	J	`jnl`	Mapping prefer-opposite to prefer-one de Bruijn sequences. Des. Codes Cryptogr. Amir Rubin, Gera Weiss
2017	—	`conf`	Structured Behavioral Programming Idioms. BPMDS/EMMSAD@CAiSE Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm, Gera Weiss
2017	—	`conf`	Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss
2017	J	`jnl`	Vision Based Output Feedback Control of Micro Aerial Vehicles in Indoor Environments. J. Intell. Robotic Syst. Hanoch Efraim, Shai A. Arogeti, Amir Shapiro, Gera Weiss
2016	—	`conf`	Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. EXE@MoDELS Michael Bar-Sinai, Gera Weiss, Assaf Marron
2016	—	`conf`	On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. SwSTE Amir Menczel, Gera Weiss, Dror Fried
2016	—	`conf`	Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel
2015	J	`jnl`	A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios. Sci. Comput. Program. Adiel Ashrov, Assaf Marron, Gera Weiss, Guy Wiener
2015	A*	`conf`	Estimating the Probability of Meeting a Deadline in Hierarchical Plans. IJCAI Liat Cohen, Solomon Eyal Shimony, Gera Weiss
2015	J	`jnl`	Estimating the Probability of Meeting a Deadline in Hierarchical Plans. CoRR Liat Cohen, Solomon Eyal Shimony, Gera Weiss
2015	B	`conf`	On the Succinctness of Idioms for Concurrent Programming. CONCUR David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss
2015	—	`conf`	Output feedback control of Micro Aerial Vehicle in indoor environment. MED Hanoch Efraim, Shai A. Arogeti, Amir Shapiro, Gera Weiss
2015	J	`jnl`	Quadrotor with a Dihedral Angle: on the Effects of Tilting the Rotors Inwards. J. Intell. Robotic Syst. Hanoch Efraim, Amir Shapiro, Gera Weiss
2015	J	`jnl`	Self-* programming: run-time parallel control search for reflection box. Evol. Syst. Olga Brukman, Shlomi Dolev, Moshe Weinstock, Gera Weiss
2015	J	`jnl`	Simple Executions of Snapshot Implementations. CoRR Gal Amram, Lior Mizrahi, Gera Weiss
2015	C	`conf`	The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD David Harel, Guy Katz, Assaf Marron, Gera Weiss
2015	J	`jnl`	Towards behavioral programming in distributed architectures. Sci. Comput. Program. David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener
2014	J	`jnl`	Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. David Harel, Guy Katz, Assaf Marron, Gera Weiss
2013	Misc	`conf`	On composing and proving the correctness of reactive behavior. EMSOFT David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss
2013	—	`ed.`	Proceedings of the 2013 Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA, October 27-28, 2013 AGERE!@SPLASH Nadeem Jamali, Alessandro Ricci, Gera Weiss, Akinori Yonezawa
2012	—	`conf`	A decentralized approach for programming interactive applications with JavaScript and blockly. AGERE!@SPLASH Assaf Marron, Gera Weiss, Guy Wiener
2012	B	`conf`	A software engineering framework for switched fuzzy systems. FUZZ-IEEE David Harel, Assaf Marron, Amir Nissim, Gera Weiss
2012	J	`jnl`	Behavioral programming. Commun. ACM David Harel, Assaf Marron, Gera Weiss
2012	B	`conf`	Non-intrusive Repair of Reactive Programs. ICECCS David Harel, Guy Katz, Assaf Marron, Gera Weiss
2011	—	`conf`	Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops David Harel, Assaf Marron, Guy Wiener, Gera Weiss
2011	J	`jnl`	Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Autom. Control. Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss
2011	Misc	`conf`	Model-checking behavioral programs. EMSOFT David Harel, Robby Lampert, Assaf Marron, Gera Weiss
2011	A	`conf`	On Visualization and Comprehension of Scenario-Based Programs. ICPC Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss
2010	—	`conf`	Coordinating and visualizing independent behaviors in erlang. Erlang Workshop Guy Wiener, Gera Weiss, Assaf Marron
2010	A	`conf`	Programming Coordinated Behavior in Java. ECOOP David Harel, Assaf Marron, Gera Weiss
2009	A	`conf`	Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss
2009	B	`conf`	On Omega-Languages Defined by Mean-Payoff Conditions. FoSSaCS Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
2009	—	`conf`	Robust stability of multi-hop control networks. CDC Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas
2009	—	`conf`	Scalable scheduling algorithms for wireless networked control systems. CASE Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas
2009	—	`conf`	Specification and Analysis of Network Resource Requirements of Control Systems. HSCC Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur
2008	Misc	`conf`	RTComposer: a framework for real-time components with scheduling interfaces. EMSOFT Rajeev Alur, Gera Weiss
2008	A*	`conf`	Ranking Automata and Games for Prioritized Requirements. CAV Rajeev Alur, Aditya Kanade, Gera Weiss
2008	A	`conf`	Regular Specifications of Resource Requirements for Embedded Control Software. IEEE Real-Time and Embedded Technology and Applications Symposium Rajeev Alur, Gera Weiss
2007	—	`conf`	A combinatorial game approach to state nullification by hybrid feedback. CDC Gera Weiss
2007	—	`conf`	Automata Based Interfaces for Control and Scheduling. HSCC Gera Weiss, Rajeev Alur
2007	—	`conf`	State Nullification of Switched Systems by Linear Output Feedback. HSCC Gera Weiss
2005	J	`jnl`	Preservation of controllability of single-input time-varying linear systems under sampling. IEEE Trans. Autom. Control. Gera Weiss
2005	J	`jnl`	State Nullification by Memoryless Output Feedback. Math. Control. Signals Syst. Zvi Artstein, Gera Weiss
2003	—	`conf`	Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools David Harel, Hillel Kugler, Gera Weiss