Enhanced State History Tree (eSHT): A Stateful Data Structure for Analysis of Highly Parallel System Traces. - Loic Prieur-Drevon; Raphaël Beamonte; Naser Ezzati-Jivan; Michel R. Dagenais (BigData Congress, 2016)

Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints. - Raphaël Beamonte; Michel R. Dagenais (Sci. Program., 2016)

R-SHT: A state history tree with R-Tree properties for analysis and visualization of highly parallel system traces. - Loic Prieur-Drevon; Raphaël Beamonte; Michel R. Dagenais (J. Syst. Softw., 2018)

Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing. - Raphaël Beamonte; Naser Ezzati-Jivan; Michel R. Dagenais (Int. J. Parallel Program., 2021)

Execution trace-based model verification to analyze multicore and real-time systems. - Raphaël Beamonte; Naser Ezzati-Jivan; Michel R. Dagenais (Concurr. Comput. Pract. Exp., 2022)