Tom Yaacov -

Registered user since Sat 4 Feb 2023

Name:Tom Yaacov

Affiliation:Ben-Gurion University of the Negev

Personal website: https://tomyaacov.github.io/

Contributions

2024

Requirements Engineering

Author of Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements within the Research Papers-track

2023

ICSE

Author of What Petri Nets Oblige Us to Say Comparing Approaches for Behavior Composition within the Journal-First Papers-track