This page shows all presentations of this author published in EasyChair Smart Slide.
Task Model Design and Analysis with Alloy
Alcino Cunha, Nuno Macedo and Eunsuk Kang
Mapping Synthesis for Hyperproperties
Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang and Stavros Tripakis