- V.C. Ngo, A. Legay, and J. Quilbeuf. Statistical Model Checking for SystemC Models. In Proceedings of 17th High Assurance Systems Engineering Symposium (HASE’16). IEEE, Orlando, Florida, USA, January 2016.
- V.C. Ngo, A. Legay, and V. Joloboff. PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. In Proceedings of 28th International Conference on Computer Aided Verification (CAV’16). Springer LNCS, Toronto, Ontario, Canada, July 2016 (to be appeared).
