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. 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]

Authors

Raphaël Beamonte

This author has not been identified. Look up 'Raphaël Beamonte' in Google

Naser Ezzati Jivan

This author has not been identified. Look up 'Naser Ezzati Jivan' in Google

Michel R. Dagenais

This author has not been identified. Look up 'Michel R. Dagenais' in Google