| 2025 | TASE | Robust Deep Reinforcement Learning Using Formal Verification. | Avraham Raviv, Shaiel Vistuch, Boaz Gurevich, Erel Dekel, Hillel Kugler |
| 2023 | CAV | Prediction and Control of Stochastic Agents Using Formal Methods. | Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler |
| 2023 | ISCAS | Simulation and Verification of Network-Based Biocomputation Circuits. | Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler |
| 2023 | SOFSEM | Learning Through Imitation by Using Formal Verification. | Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler |
| 2021 | VMCAI | Formal Semantics and Verification of Network-Based Biocomputation Circuits. | Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler |
| 2020 | FMCAD | Formal Verification for Natural and Engineered Biological Systems. | Hillel Kugler |
| 2018 | ISoLA | Temporal Reasoning on Incomplete Paths. | Dana Fisman, Hillel Kugler |
| 2016 | ISoLA | Unifying Modelling and Programming: A Systems Biology Perspective. | Hillel Kugler |
| 2014 | CAV | Analyzing and Synthesizing Genomic Logic Functions. | Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler |
| 2013 | DNA | Functional Analysis of Large-Scale DNA Strand Displacement Circuits. | Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler |
| 2013 | RV | Runtime Verification and Refutation for Biological Systems. | Hillel Kugler |
| 2011 | CAV | Synthesizing Biological Theories. | Hillel Kugler, Cory Plock, Andy Roberts |
| 2010 | SOFSEM | Accelerating Smart Play-Out. | David Harel, Hillel Kugler, Shahar Maoz, Itai Segall |
| 2009 | FASE | Controller Synthesis from LSC Requirements. | Hillel Kugler, Cory Plock, Amir Pnueli |
| 2009 | TACAS | Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. | Hillel Kugler, Itai Segall |
| 2007 | FASE | Testing Scenario-Based Models. | Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard |
| 2007 | OOPSLA | Synthesizing reactive systems from LSC requirements using the play-engine. | Hillel Kugler, Cory Plock, Amir Pnueli |
| 2007 | TACAS | "Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. | Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard |
| 2005 | ATVA | Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. | Pierre Combes, David Harel, Hillel Kugler |
| 2005 | TACAS | Temporal Logic for Scenario-Based Specifications. | Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps |
| 2003 | OOPSLA | Smart play-out. | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
| 2002 | FMCAD | Smart Play-out of Behavioral Requirements. | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
| 2002 | OOPSLA | Multiple instances and symbolic variables in executable sequence charts. | Rami Marelly, David Harel, Hillel Kugler |
| 2002 | OOPSLA | Specifying and executing requirements: the play-in/play-out approach. | Rami Marelly, David Harel, Hillel Kugler |