Tom Yaacov

12 papers A 3B 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automata Models for Effective Bug Description.
CoRR
Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun
2025 A conf
Automata Models for Effective Bug Pattern Description.
MODELS
Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun
2025 B conf
Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods.
ENASE
Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser
2025 J jnl
Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods.
CoRR
Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser
2025 A conf
Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems.
MODELS
Eric Wete, Joel Greenyer, Tom Yaacov, Daniel Kudenko, Wolfgang Nejdl
2024 — conf
Boosting LLM-Based Software Generation by Aligning Code with Requirements.
RE Workshops
Tom Yaacov, Achiya Elyasaf, Gera Weiss
2024 A conf
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements.
RE
Tom Yaacov, Achiya Elyasaf, Gera Weiss
2024 J jnl
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements.
CoRR
Tom Yaacov, Achiya Elyasaf, Gera Weiss
2023 J jnl
BPpy: Behavioral programming in Python.
SoftwareX
Tom Yaacov
2023 J jnl
What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition.
IEEE Trans. Software Eng.
Achiya Elyasaf, Tom Yaacov, Gera Weiss
2022 J jnl
What Petri Net Obliges Us to Say.
CoRR
Achiya Elyasaf, Tom Yaacov, Gera Weiss
2019 — conf
Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game.
MoDELS (Companion)
Achiya Elyasaf, Aviran Sadon, Gera Weiss, Tom Yaacov