Monter d'un niveau |
Beamonte, R., Ezzati-Jivan, N., & Dagenais, M. (2022). Execution trace-based model verification to analyze multicore and real-time systems. Concurrency and Computation-Practice & Experience, 34(17), e6974 (26 pages). Lien externe
Rezazadeh, M., Ezzati-Jivan, N., Azhari, S. V., & Dagenais, M. (2022). Performance evaluation of complex multi-thread applications through execution path analysis. Performance Evaluation, 155-156, 21 pages. Lien externe