Cited By
View all- Qiao WWu JRen HZhang ZTan B(2023)An Efficient DSP Simulator Design Supporting Multi-Core Debugging2023 IEEE 23rd International Conference on Communication Technology (ICCT)10.1109/ICCT59356.2023.10419585(90-95)Online publication date: 20-Oct-2023
- Bagherzadeh MKahani NJahed KDingel J(2022)Execution of Partial State Machine ModelsIEEE Transactions on Software Engineering10.1109/TSE.2020.300885048:3(951-972)Online publication date: 1-Mar-2022
- Babaei MBagherzadeh MDingel JSyriani ESahraoui H(2020)Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven developmentProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410939(285-296)Online publication date: 16-Oct-2020
- Show More Cited By