
Ph.D. in Ingegneria Informatica E Dei Sistemi , 29th cycle (2014-2016)
Ph.D. obtained in 2017
Dissertation:
Software-based methods for Operating system dependability
Tutors:
Maurizio RebaudengoTeaching
Teachings
Bachelor of Science
- Computer sciences. A.A. 2014/15, INGEGNERIA DELL'AUTOVEICOLO (AUTOMOTIVE ENGINEERING). Collaboratore del corso
- Computer sciences. A.A. 2014/15, INGEGNERIA DELL'AUTOVEICOLO (AUTOMOTIVE ENGINEERING). Collaboratore del corso
- Computer sciences. A.A. 2015/16, INGEGNERIA DELL'AUTOVEICOLO (AUTOMOTIVE ENGINEERING). Collaboratore del corso
- Computer sciences. A.A. 2015/16, INGEGNERIA DELL'AUTOVEICOLO (AUTOMOTIVE ENGINEERING). Collaboratore del corso
- Computer sciences. A.A. 2016/17, INGEGNERIA DELL'AUTOVEICOLO (AUTOMOTIVE ENGINEERING). Collaboratore del corso
Publications
Works published during the Ph.D. View all publications in Porto@Iris
- Velasco, ALEJANDRO DAVID; Montrucchio, Bartolomeo; Rebaudengo, Maurizio (2017)
TMR technique for mutex kernel data structures. In: 18th IEEE Latin-American Test Symposium, LATS 2017, Bogota (Colombia), 13-15 March 2017, pp. 1-6
Contributo in Atti di Convegno (Proceeding) - Velasco, ALEJANDRO DAVID (2017)
Software-based methods for Operating system dependability. relatore: Maurizio Rebaudengo, 29. XXIX Ciclo, P.: 90
Doctoral Thesis - Velasco, ALEJANDRO DAVID; Montrucchio, Bartolomeo; Rebaudengo, Maurizio (2017)
Hardening Approach for the Scheduler's Kernel Data Structures. In: 30th International Conference on Architecture of Computing Systems, Vienna, 3-6 April 2017, pp. 32-35. ISBN: 978-3-8007-4395-7
Contributo in Atti di Convegno (Proceeding) - Velasco, ALEJANDRO DAVID; Ferrero, Renato; Gandino, Filippo; Montrucchio, Bartolomeo; ... (2016)
A mobile and low-cost system for environmental monitoring: a case study. In: SENSORS, vol. 16, pp. 1-17. ISSN 1424-8220
Contributo su Rivista - Velasco, ALEJANDRO DAVID; Montrucchio, Bartolomeo; Rebaudengo, Maurizio (2016)
KITO tool: A fault injection environment in Linux kernel data structures. In: MICROELECTRONICS RELIABILITY, vol. 60, pp. 153-162. ISSN 0026-2714
Contributo su Rivista - Velasco, ALEJANDRO DAVID; Ferrero, Renato; Gandino, Filippo; Montrucchio, Bartolomeo; ... (2015)
On the design of distributed air quality monitoring systems. In: 11th International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2015), Atene (Grecia), 20-23 Marzo 2015
Contributo in Atti di Convegno (Proceeding) - Ferrero, Renato; Gandino, Filippo; Montrucchio, Bartolomeo; Rebaudengo, Maurizio; ... (2015)
On gait recognition with smartphone accelerometer. In: 2015 4th Mediterranean Conference on Embedded Computing (MECO), Budva (Montenegro), 14-18 Giugno 2015, pp. 368-373. ISBN: 978-1-4799-8999-7
Contributo in Atti di Convegno (Proceeding) - Montrucchio, Bartolomeo; Rebaudengo, Maurizio; Velasco, ALEJANDRO DAVID (2014)
Software-implemented Fault Injection in Operating System Kernel Mutex Data Structure. In: 5th IEEE Latin American Symposium on Circuits and Systems, Santiago, Chile, February 25 - 28, 2014, pp. 1-6
Contributo in Atti di Convegno (Proceeding) - Montrucchio, Bartolomeo; Rebaudengo, Maurizio; Velasco, ALEJANDRO DAVID (2014)
Fault Injection in the Process Descriptor of a Unix-based Operating System. In: IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Amsterdam (NL), 1-3 October 2014, pp. 1-6
Contributo in Atti di Convegno (Proceeding)