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. International Journal of Parallel Programming, 49(1):104-134, 2021. [doi]
@article{BeamonteJD21,
title = {Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing},
author = {Raphaël Beamonte and Naser Ezzati Jivan and Michel R. Dagenais},
year = {2021},
doi = {10.1007/s10766-020-00689-5},
url = {https://doi.org/10.1007/s10766-020-00689-5},
researchr = {https://researchr.org/publication/BeamonteJD21},
cites = {0},
citedby = {0},
journal = {International Journal of Parallel Programming},
volume = {49},
number = {1},
pages = {104-134},
}