Recent News

New paper accepted at DATE 2020

Paper on Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus accepted at DATE'20. Congratulations Kacper!

New paper accepted at EMSOFT 2019

Our paper "ReachNN: Reachability Analysis of Neural-Network Controlled Systems" has been accepted to appear at EMSOFT'19. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!