Cited By
View all- Hu MXia JZhang MChen XMallet FChen M(2023)Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSLIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2023.328541242:12(5127-5140)Online publication date: Dec-2023
- Hu MZhang MMallet FFu XChen M(2023)Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven ExplorationIEEE Transactions on Computers10.1109/TC.2022.319795672:5(1431-1446)Online publication date: 1-May-2023
- Boutekkouk FMecibah Z(2022)Requirements Metamodeling for Self-Adaptive Embedded SystemsInternational Journal of Software Innovation10.4018/IJSI.31150810:1(1-24)Online publication date: 21-Oct-2022
- Show More Cited By