| 2025 | ENASE | Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods. | Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser |
| 2025 | ICPM | Guarded Process Trees: Translation to Petri Nets and Application in Process Mining. | Ido Shapira, Gera Weiss |
| 2025 | MODELS | Automata Models for Effective Bug Pattern Description. | Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun |
| 2024 | GECCO | Evolving Assembly Code in an Adversarial Environment. | Irina Maliukov, Gera Weiss, Oded Margalit, Achiya Elyasaf |
| 2024 | RE | Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. | Tom Yaacov, Achiya Elyasaf, Gera Weiss |
| 2024 | RE | Boosting LLM-Based Software Generation by Aligning Code with Requirements. | Tom Yaacov, Achiya Elyasaf, Gera Weiss |
| 2023 | CSL | A Normalized Edit Distance on Infinite Words. | Dana Fisman, Joshua Grogin, Gera Weiss |
| 2023 | MODELS | Model Driven Engineering, Verification and Validation (MoDeVVa 2023). | Daniel Lehner, Gera Weiss |
| 2022 | CPM | The Normalized Edit Distance with Uniform Operation Costs Is a Metric. | Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss |
| 2021 | CAV | Adapting Behaviors via Reactive Synthesis. | Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss |
| 2020 | CoDIT | Patience Control: A Modular and Dynamic Construction of Composite Controllers. | Aviran Sadon, Shai A. Arogeti, Gera Weiss |
| 2020 | ISoLA | Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. | Michael Bar-Sinai, Gera Weiss |
| 2019 | AAAI | Efficient Optimal Approximation of Discrete Random Variables for Estimation of Probabilities of Missing Deadlines. | Liat Cohen, Gera Weiss |
| 2019 | AAAI | 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 |
| 2019 | MODELS | 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 |
| 2019 | MODELSWARD | Executing Scenario-Based Specification with Dynamic Generation of Rich Events. | David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss |
| 2019 | MODELSWARD | On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. | Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss |
| 2018 | AAAI | Optimal Approximation of Random Variables for Estimating the Probability of Meeting a Plan Deadline. | Liat Cohen, Tal Grinshpoun, Gera Weiss |
| 2018 | MODELS | BPjs: an extensible, open infrastructure for behavioral programming research. | Michael Bar-Sinai, Gera Weiss, Reut Shmuel |
| 2018 | MODELS | A Context-Based Behavioral Language for IoT. | Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss |
| 2018 | MODELS | Modeling and programming a leader-follower challenge problem with scenario-based tools. | Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron |
| 2017 | CaiSE | Structured Behavioral Programming Idioms. | Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm, Gera Weiss |
| 2016 | MODELS | Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. | Michael Bar-Sinai, Gera Weiss, Assaf Marron |
| 2016 | MODELS | 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 |
| 2015 | CONCUR | On the Succinctness of Idioms for Concurrent Programming. | David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss |
| 2015 | IJCAI | Estimating the Probability of Meeting a Deadline in Hierarchical Plans. | Liat Cohen, Solomon Eyal Shimony, Gera Weiss |
| 2015 | MODELSWARD | The Effect of Concurrent Programming Idioms on Verification - A Position Paper. | David Harel, Guy Katz, Assaf Marron, Gera Weiss |
| 2013 | EMSOFT | On composing and proving the correctness of reactive behavior. | David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss |
| 2012 | ICECCS | Non-intrusive Repair of Reactive Programs. | David Harel, Guy Katz, Assaf Marron, Gera Weiss |
| 2011 | EMSOFT | Model-checking behavioral programs. | David Harel, Robby Lampert, Assaf Marron, Gera Weiss |
| 2011 | OOPSLA | Behavioral programming, decentralized control, and multiple time scales. | David Harel, Assaf Marron, Guy Wiener, Gera Weiss |
| 2010 | ECOOP | Programming Coordinated Behavior in Java. | David Harel, Assaf Marron, Gera Weiss |
| 2009 | FOSSACS | On Omega-Languages Defined by Mean-Payoff Conditions. | Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss |
| 2009 | RTAS | Modeling and Analysis of Multi-hop Control Networks. | Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss |
| 2008 | CAV | Ranking Automata and Games for Prioritized Requirements. | Rajeev Alur, Aditya Kanade, Gera Weiss |
| 2008 | EMSOFT | RTComposer: a framework for real-time components with scheduling interfaces. | Rajeev Alur, Gera Weiss |
| 2008 | RTAS | Regular Specifications of Resource Requirements for Embedded Control Software. | Rajeev Alur, Gera Weiss |