Tom Yaacov

According to our database, Tom Yaacov authored at least 8 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automata Models for Effective Bug Description.

Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun

CoRR, July, 2025

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods.

Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser

Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, 2025

2024

Boosting LLM-Based Software Generation by Aligning Code with Requirements.

Tom Yaacov, Achiya Elyasaf, Gera Weiss

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements.

Tom Yaacov, Achiya Elyasaf, Gera Weiss

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023

BPpy: Behavioral programming in Python.

Tom Yaacov

SoftwareX, December, 2023

What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition.

Achiya Elyasaf, Tom Yaacov, Gera Weiss

IEEE Trans. Software Eng., April, 2023

2022

What Petri Net Obliges Us to Say.

Achiya Elyasaf, Tom Yaacov, Gera Weiss

CoRR, 2022

2019

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

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019