Raphaël Beamonte

According to our database, Raphaël Beamonte authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

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

2021

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

2018

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

2016

Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints.

Raphaël Beamonte, Michel R. Dagenais

Sci. Program., 2016

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

Proceedings of the 2016 IEEE International Congress on Big Data, San Francisco, CA, USA, June 27, 2016