Publications (Google Scholar)

2026

Causal Explanations of Process Monitor Predictions
T. Yaacov, N. Blake, and H. Chockler
2026 IEEE International Conference on Data Mining (ICDM).

Explaining Failures of Cyber-Physical Systems with Actual Causality
K. Elimelech*, T. Yaacov*, D. A. Kelly, H. Chockler, and M. Y. Vardi
2026 IEEE International Conference on Robotics and Automation (ICRA).

Integrative Approaches to Behavioral Programming with Formal Methods and Artificial Intelligence
T. Yaacov, G. Weiss, A. Ashrov, G. Katz, and J. Zisser
Communications in Computer and Information Science - to appear.

Integrative Approaches to Behavioral Programming
T. Yaacov
PhD Thesis.

2025

Automata Models for Effective Bug Pattern Description
T. Yaacov, G. Weiss, G. Amram, and A. Hayoun
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS).

Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems
E. Wete, J. Greenyer, T. Yaacov, D. Kudenko, and W. Nejdl
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS).

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
T. Yaacov, G. Weiss, A. Ashrov, G. Katz, and J. Zisser
Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE’25).

Adding Liveness to Behavioral Programming: Theory, Implementation, and User Study
T. Yaacov, A. Elyasaf, and G. Weiss
Requirements Engineering.

2024

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
T. Yaacov, A. Elyasaf, and G. Weiss
Proceedings of the 32nd IEEE International Requirements Engineering Conference (RE’24).

Boosting LLM-Based Software Generation by Aligning Code with Requirements
T. Yaacov, A. Elyasaf, and G. Weiss
Proceedings of the 14th International Model-Driven Requirements Engineering Workshop (MoDRE’24).

2023

BPpy: Behavioral programming in Python
T. Yaacov
SoftwareX.

2022

What Petri Nets Oblige Us to Say Comparing Approaches for Behavior Composition
A. Elyasaf*, T. Yaacov*, and G. Weiss*
IEEE Transactions on Software Engineering.

2021

Extending Behavioral Programming Towards Improved Software Engineering Practices
T. Yaacov
M.Sc. Thesis.

2019

Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game
A. Elyasaf*, A. Sadon*, G. Weiss*, and T. Yaacov*
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS).