Design Automation for Smart Factories

Rethinking the design foundations of high-assurance intelligent manufacturing systems

The paper has been accepted at the 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2023)

Output

The paper has been accepted at the International Symposium on Design and Diagnostics of Electronic Circuits and Systems

Output

The paper has been accepted at the IEEE/ACM Design Automation and Testing in Europe 2023.

Output

The paper has been accepted at the IEEE/ACM International Conference on Computer-Aided Design.

Output

The paper has been accepted at the IEEE International Symposium on Industrial Electronics.

Output

A Work-in-Progress and demo about CHASE has been accepted at the 2022 IEEE/ACM International Conference on Cyber-Physical Systems.

Output

The paper has been accepted to the 2022 IEEE/ACM Conference on Design Automation and Testing in Europe (DATE).

Output

The paper has been accepted at the Forum on specification & Design Languages 2021.

Output

The paper has been accepted at the 26th IEEE International Conference on Emerging Technologies and Factory Automation.

Output

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

Output