Author:
Benveniste Albert,Caillaud Benoît,Nickovic Dejan,Passerone Roberto,Raclet Jean-Baptiste,Reinkemeier Philipp,Sangiovanni-Vincentelli Alberto,Damm Werner,Henzinger Thomas A.,Larsen Kim G.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Symbolic Refinement for CPS;ACM SIGAda Ada Letters;2023-10-30
2. AACE: Automated Assurance Case Environment for Aerospace Certification;2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC);2023-10-01
3. Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts;2022 IEEE 61st Conference on Decision and Control (CDC);2022-12-06
4. A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05
5. Modeling Methodology for Autonomous Cyber-Physical Systems;2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS);2022-05