Cited By
View all- Yu ZSu ZYang YLiang JJiang YCui AChang WWang R(2022)Mercury: Instruction Pipeline Aware Code Generation for Simulink ModelsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319996741:11(4504-4515)Online publication date: Nov-2022
- Su ZWang DYang YYu ZChang WLi WCui AJiang YSun J(2022)MDD: A Unified Model-Driven Design Framework for Embedded Control SoftwareIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.313256441:10(3252-3265)Online publication date: Oct-2022
- Ahmadi RDingel JDumas MPfahl DApel SRusso A(2019)Concolic testing for models of state-based systemsProceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3338906.3338908(4-15)Online publication date: 12-Aug-2019
- Show More Cited By