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 NSF CPS Project with Roberto Tron and Cristina Nita-Rotaru
Securing multi-agent systems through physical cognition and control synthesis:
- Project website: http://sites.bu.edu/securingmas/
- NSF Award: https://nsf.gov/awardsearch/showAward?AWD_ID=1932162
New ONR Project with Qi Zhu and Hyoseung Kim
This project will develop the foundations of a cross-layer paradigm for building adaptive, dependable and secure systems under weakly-hard real-time constraints.
Invited to serve on the TPC of DAC 2020
Invited to serve on the TPC of TACAS 2020
Invited to serve on the TPC of DATE 2020
Invited to serve on the TPC of HSCC 2020
Organizing a special session with Jyo Deshmukh on “Safe Autonomy” at ICCAD 2019.
Four exciting talks from industry and academia on the topic of safety assurance of autonomous systems using formal reasoning: https://iccad.com/event_details?id=283-7-A!
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!
New paper accepted at ICLR SafeML Workshop
Paper on Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation accepted at ICLR'19 Workshop on SafeML. Congratulations, Jiameng!