During the FACS2015 conference three researchers associated with the CWI Formal Methods research group were awarded the Best Paper Award for their article ‘Composing Constraint Automata, State-by-State’. The conference was held in Niterói, Brazil, from 14-16 October 2015.
The article was written by Sung-Shik Jongmans (Open Universiteit, Radboud Universiteit, CWI), Tobias Kappé (master student at Leiden University and now trainee at CWI) and Farhad Arbab (CWI and Leiden University). They studied a new algorithm to compute the composition of so-called constraint automata, which are an important semantic model in Reo. The authors proved that the new method both gives the correct answers and leads to much faster computations for some Reo circuits.
Illustration: Best Paper Award certificate; source: T. Kappé.