RERS 2019 challenge

Rigorous Examination of Reactive Systems (RERS)

rers 2019

The Transposition project (ESI/ASML) works on model inference. Interface protocols are inferred to support re-engineering of legacy components. To obtain the best performing techniques to infer behavioral models, ESI and ASML co-organize the RERS 2019 challenge, in collaboration with TU Dortmund and the Radboud University.

The Rigorous Examination of Reactive Systems (RERS) challenge, a yearly contest since 2012, is a contest that allows any tool or technique to be used, including e.g. source code analysis, passive learning, active automata learning, and combinations of techniques. In 2019, for the first time, RERS features an industrial track, with problems provided by ASML.

On February 1, the challenge problems will be released. Contestants can submit their solutions until March 22. The results will be announced at the RERS event at TOOLympics, on April 6-7 in Prague, Czech Republic, preceding the TACAS 2019 conference.

For more information visit the RERS website

and for more info on the RERS 2019 challenge

Read more


      About TNO-ESI

 

Latest news

Mastering Complexity - MasCot

Partnership NWO Domain AES- ESI Call for proposals opened on 8 January 2019. Deadline pre-proposal 26 February 2019.

Using Digital Twins to Create and Manage Complex Distributed Control Systems

Modern smart systems are incredibly complicated. Building a digital twin of the system allows engineers to ensure that it works correctly and root out many problems before it is installed. Publication in ERCIM news by Jacques Verriet, Jack Sleuters and Richard Doornbos ESI (TNO)

OpenAIS - integrating lighting into the Internet of Things

OpenAIS project completed after successful validation of IPv6 based lighting controls. ESI was one of the partners in this project.

SECREDAS Europe invests EURO 50 million in Secure and Safe Automated Systems

69 partners working together to develop future technologies focused on security, safety and privacy across multiple application domains

TNO as an employer

TNO offers you the chance to do groundbreaking work and help customers with innovative, practical and smart solutions. And all that with an attractive benefits package.

Read more

Vacancies at ESI

Student assignments

- Graduation project: Transfer learning in Bayesian belief networks pdf

- Graduation project: Interactive model structure learning in high-tech systems pdf

For TNO vacancies: read more