FACS Best Paper Award for Formal Methods researchers

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.

Publication date: 27-11-2015

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.

More information:
- preprint version of the article
- the Formal Methods research group at CWI

Illustration: Best Paper Award certificate; source: T. Kappé.