![]() | Up a level |
Beltrame, G. (2015). Triple Modular Redundancy verification via heuristic netlist analysis. PeerJ Computer Science. Available
Cao, Y., Li, M., Svogor, I., Wei, S., & Beltrame, G. (2018). Dynamic range-only localization for multi-robot systems. IEEE Access, 6, 46527-46537. Available
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), 1-24. Available
Hafnaoui, I., Nicolescu, G., & Beltrame, G. (2019). Timing information propagation in interactive networks. Scientific Reports, 9, 4442 (14 pages). Available
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), 117-136. Available
Panerati, J., Schwind, N., Zeltner, S., Inoue, K., & Beltrame, G. (2018). Assessing the resilience of stochastic dynamic systems under partial observability. PLOS One, 13(8), e0202337 (21 pages). Available
Pinciroli, C., Lee-Brown, A., & Beltrame, G. (2015, December). A tuple space for data sharing in robot swarms [Paper]. 9th EAI International Conference on Bio-inspired Information and Communications Technologies (BICT 2015), New York, NY, USA (8 pages). Available
Pinciroli, C., & Beltrame, G. (2016). Swarm-Oriented Programming of Distributed Robot Networks. Computer, 49(12), 32-41. Available
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). Available