Personal information

Activities

Works (7)

Execution trace‐based model verification to analyze multicore and real‐time systems

Concurrency and Computation: Practice and Experience
2022-08 | Journal article
Contributors: Raphael Beamonte; Naser Ezzati‐Jivan; Michel R. Dagenais
Source: check_circle
Crossref

Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing

International Journal of Parallel Programming
2021-01-01 | Journal article
Source: Self-asserted source
Raphaël Beamonte

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

Scientific Programming
2016 | Journal article
Contributors: Raphaël Beamonte; Michel R. Dagenais
Source: check_circle
Crossref

Enhanced State History Tree (eSHT): A Stateful Data Structure for Analysis of Highly Parallel System Traces

2016 IEEE International Congress on Big Data (BigData Congress)
2016-06 | Conference paper
Contributors: Loic Prieur-Drevon; Raphael Beamonte; Naser Ezzati-Jivan; Michel R. Dagenais
Source: Self-asserted source
Raphaël Beamonte via Crossref Metadata Search

Linux Low-Latency Tracing for Multicore Hard Real-Time Systems

Advances in Computer Engineering
2015 | Journal article
Contributors: Raphaël Beamonte; Michel R. Dagenais
Source: Self-asserted source
Raphaël Beamonte via Crossref Metadata Search

Traçage de systèmes Linux multi-coeurs en temps réel

2013-08 | Supervised student publication
Source: Self-asserted source
Raphaël Beamonte

High Performance Tracing Tools for Multicore Linux Hard Real-Time Systems

Proceedings of the 14th Real-Time Linux Workshop
2012-10 | Conference paper
Source: Self-asserted source
Raphaël Beamonte