 | Up a level |
Beamonte, R. (2016). Runtime Verification of Real-Time Applications Using Trace Data and Model Requirements [Ph.D. thesis, École Polytechnique de Montréal]. Available
Beamonte, R., & Dagenais, M. (2016). Detection of common problems in real-Time and multicore systems using model-based constraints. Scientific Programming, 2016, 1-18. Available
Beamonte, R., & Dagenais, M. (2015). Linux low-latency tracing for multicore hard real-time systems. Advances in Computer Engineering, 2015. Available
Beamonte, R. (2013). Traçage de systèmes linux multi-coeurs en temps réel [Master's thesis, École Polytechnique de Montréal]. Available
Prieur-Drevon, L., Beamonte, R., & Dagenais, M. (2018). R-SHT: A state history tree with R-Tree properties for analysis and visualization of highly parallel system traces. Journal of Systems and Software, 135, 55-68. Available
Prieur-Drevon, L., Beamonte, R., Ezzati-Jivan, N., & Dagenais, M. (2016, June). Enhanced state history tree (eSHT): a stateful data structure for analysis of highly parallel system traces [Paper]. IEEE International Congress on Big Data (BigData Congress 2016), San Francisco, CA, USA (8 pages). Available
