Browse by Author

2017

Chen, C. & Beltrame, G. (2017). An adaptive Markov model for the timing analysis of probabilistic caches. ACM Transactions on Design Automation of Electronic Systems, 23(1), p. 1-24.

Hafnaoui, I., Ayari, R., Nicolescu, G. & Beltrame, G. (2017). Scheduling real-time systems with cyclic dependence using data criticality. Design Automation for Embedded Systems, 21(2), p. 117-136.

2016

Saborido, R., Beltrame, G., Khomh, F., Alba, E. & Antoniol, G. (2016). Optimizing user experience in choosing android applications. (Technical Report n° EPM-RT-2016-03).

Pinciroli, C. & Beltrame, G. (2016). Swarm-Oriented Programming of Distributed Robot Networks. Computer, 49(12), p. 32-41.

2015

Beltrame, G. (2015). Triple Modular Redundancy verification via heuristic netlist analysis. PeerJ Computer Science.