Publications (Google Scholar)

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).