RERS 2019 challenge
Rigorous Examination of Reactive Systems (RERS)
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
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
Dé conferentie voor Nederlands ICT onderzoek Organization: NWO Date: March 19, 2019 Venue: Gooiland, Hilversum (NL)
ESI symposium 2019
Theme: Intelligence – the next challenge in system complexity? Date: april 9, 2019 Venue: Eindhoven (NL)
ENABLE-S3 Final event
Presentation Key results of ENABLE-S3 project Date: 15-16 May 2019 Venue: Graz, Austria
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.
Vacancies at ESI
- 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.