Login / Signup
Raphaël Beamonte
ORCID
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 5
Top Topics
Data Structure
Highly Parallel
Constraint Violations
Real Time Systems
Top Venues
J. Syst. Softw.
Concurr. Comput. Pract. Exp.
BigData Congress
Sci. Program.
</>
Publications
</>
Raphaël Beamonte
,
Naser Ezzati-Jivan
,
Michel R. Dagenais
Execution trace-based model verification to analyze multicore and real-time systems.
Concurr. Comput. Pract. Exp.
34 (17) (2022)
Raphaël Beamonte
,
Naser Ezzati-Jivan
,
Michel R. Dagenais
Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing.
Int. J. Parallel Program.
49 (1) (2021)
Loic Prieur-Drevon
,
Raphaël Beamonte
,
Michel R. Dagenais
R-SHT: A state history tree with R-Tree properties for analysis and visualization of highly parallel system traces.
J. Syst. Softw.
135 (2018)
Loic Prieur-Drevon
,
Raphaël Beamonte
,
Naser Ezzati-Jivan
,
Michel R. Dagenais
Enhanced State History Tree (eSHT): A Stateful Data Structure for Analysis of Highly Parallel System Traces.
BigData Congress
(2016)
Raphaël Beamonte
,
Michel R. Dagenais
Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints.
Sci. Program.
2016 (2016)