共 50 条
- [1] Leveraging Domain Knowledge for the Efficient Design-Space Exploration of Advanced Cyber-Physical Systems 2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 351 - 358
- [5] Consistency and Synchronization for Workflows in Cyber-physical Systems ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, 2019, : 312 - 313
- [7] Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems 2019 IEEE 25TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2019), 2019,
- [8] Certifiable and Efficient Autonomous Cyber-Physical Systems Design PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 259 - 263
- [10] Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions 2022 25TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2022, : 632 - 640