![]() | Monter d'un niveau |
Desnoyers, M., McKenney, P. E., & Dagenais, M. (2013). Multi-core systems modeling for formal verification of parallel algorithms. ACM SIGOPS Operating Systems Review, 47(2), 51-65. Lien externe
Ezzati-Jivan, N., & Dagenais, M. (2013). A framework to compute statistics of system parameters from very large trace files. ACM SIGOPS Operating Systems Review, 47(1), 43-54. Disponible
Ezzati-Jivan, N., Shameli-Sendi, A., & Dagenais, M. (mai 2013). Multilevel Label Placement for Execution Trace Events [Communication écrite]. 26th Annual IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2013), Regina, Sask., CAN (6 pages). Lien externe
Montplaisir, A., Ezzati-Jivan, N., Wininger, F., & Dagenais, M. (septembre 2013). Efficient model to query and visualize the system states extracted from trace data [Communication écrite]. 4th International Conference on Runtime Verification (RV 2013), Rennes, France. Lien externe
Montplaisir-Gonçalves, A., Ezzati-Jivan, N., Wininger, F., & Dagenais, M. (septembre 2013). State history tree : an incremental disk-based data structure for very large interval data [Communication écrite]. ASE/IEEE International Conference on Big Data, Washington, DC. Non disponible
Shameli-Sendi, A., Desfossez, J., Dagenais, M., & Jabbarifar, M. (2013). A retroactive-burst framework for automated intrusion response system. Journal of Computer Networks and Communications, 2013, 1-8. Disponible