共 50 条
- [2] 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
- [6] Rea: Workflows for Cyber-Physical Systems CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013, 2015, 8606 : 479 - 506
- [7] 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
- [8] Context-Generation for Workflows in IoT-Enabled Cyber-Physical Systems 2017 IEEE 8TH INTERNATIONAL CONFERENCE ON AWARENESS SCIENCE AND TECHNOLOGY (ICAST), 2017, : 388 - 393
- [9] 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,
- [10] 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