Automatically Generating SystemC Code from HCSP Formal Models.
ACM Trans. Softw. Eng. Methodol., 2020
Synthesizing SystemC Code from Delay Hybrid CSP.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
Approximate Bisimulation and Discretization of Hybrid CSP.
Proceedings of the FM 2016: Formal Methods, 2016
Formal Throughput and Response Time Analysis of MARTE Models.
Proceedings of the Formal Methods and Software Engineering, 2014