Documents publiés en "2016"

Article de revue

Beamonte, R., & Dagenais, M. (2016). Detection of common problems in real-Time and multicore systems using model-based constraints. Scientific Programming, 2016, 1-18. Disponible

Thèse de doctorat

Beamonte, R. (2016). Runtime Verification of Real-Time Applications Using Trace Data and Model Requirements [Thèse de doctorat, École Polytechnique de Montréal]. Disponible