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
Beamonte, R., Ezzati-Jivan, N., & Dagenais, M. (2021). Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing. International Journal of Parallel Programming, 49(1), 104-134. Lien externe