![]() | Monter d'un niveau |
Beamonte, R. (2016). Runtime Verification of Real-Time Applications Using Trace Data and Model Requirements [Thèse de doctorat, École Polytechnique de Montréal]. Disponible
Beamonte, R., & Dagenais, M. (2016). Detection of common problems in real-Time and multicore systems using model-based constraints. Scientific Programming, 2016, 1-18. Disponible
Prieur-Drevon, L., Beamonte, R., Ezzati-Jivan, N., & Dagenais, M. (juin 2016). Enhanced state history tree (eSHT): a stateful data structure for analysis of highly parallel system traces [Communication écrite]. IEEE International Congress on Big Data (BigData Congress 2016), San Francisco, CA, USA (8 pages). Disponible