| 2025 | RV | The Power of Reframing: Using LLMs in Synthesizing RV Monitors. | Itay Cohen, Klaus Havelund, Doron Peled, Yoav Goldberg |
| 2025 | RV | DSLs for Runtime Verification. | Klaus Havelund, Moran Omer, Doron Peled |
| 2025 | RV | Monitoring Distributed Systems Based on Partial Order Executions with Global States. | Moran Omer, Doron Peled, Ely Porat, Vijay K. Garg |
| 2024 | VECoS | LLM-Based Scheme for Synthesis of Formal Verification Algorithms. | Itay Cohen, Doron Peled |
| 2024 | VMCAI | TP-DejaVu: Combining Operational and Declarative Runtime Verification. | Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis |
| 2023 | RV | Monitorability for Runtime Verification. | Klaus Havelund, Doron Peled |
| 2023 | RV | Runtime Verification Prediction for Traces with Data. | Moran Omer, Doron Peled |
| 2023 | VECoS | Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. | Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
| 2023 | VECoS | Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. | Itay Cohen, Doron Peled |
| 2023 | VECoS | End-to-End AI Generated Runtime Verification from Natural Language Specification. | Itay Cohen, Doron Peled |
| 2022 | CAV | Formal Specification for Learning-Enabled Autonomous Systems. | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled |
| 2022 | MEMOCODE | A Reinforcement-Learning Style Algorithm for Black Box Automata. | Itay Cohen, Roi Fogler, Doron Peled |
| 2021 | SEFM | Monitoring First-Order Interval Logic. | Klaus Havelund, Moran Omer, Doron Peled |
| 2020 | ATVA | First-Order Timed Runtime Verification Using BDDs. | Klaus Havelund, Doron Peled |
| 2020 | ISoLA | Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. | Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg |
| 2020 | RV | BDDs for Representing Data in Runtime Verification. | Klaus Havelund, Doron Peled |
| 2019 | RV | An Extension of LTL with Rules and Its Application to Runtime Verification. | Klaus Havelund, Doron Peled |
| 2018 | ISoLA | Chasing Errors Using Biasing Automata. | Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov |
| 2018 | ISoLA | BDDs on the Run. | Klaus Havelund, Doron Peled |
| 2018 | RV | Runtime Verification: From Propositional to First-Order Temporal Logic. | Klaus Havelund, Doron Peled |
| 2017 | FMCAD | First order temporal logic monitoring with BDDs. | Klaus Havelund, Doron Peled, Dogan Ulus |
| 2016 | ISoLA | Automatic Synthesis of Code Using Genetic Programming. | Doron Peled |
| 2016 | RV | Using Genetic Programming for Software Reliability. | Doron Peled |