Design Automation for Smart Factories

Rethinking the design foundations of high-assurance intelligent manufacturing systems


  1. Nuzzo, P., Lora, M., Feldman, Y. A., & Sangiovanni-Vincentelli, A. L. (2018). CHASE: Contract-based requirement engineering for cyber-physical system design. 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 839–844.

Latest News

DeFacto will be at IEEE/ACM DATE 2021
November 30, 2020

A demonstration of DeFacto results will be presented at the University Booth of IEEE/ACM DATE 2021.