Publications

Book Chapters:

  • S. Falas, C. Konstantinou, and M. K. Michael (2020), “Hardware-Enabled Secure Firmware Updates in Embedded Systems”. In Metzler C., Gaillardon PE., De Micheli G., Silva-Cardenas C., Reis R. (eds) VLSI-SoC: New Technology Enabler (pp 165-185). VLSI-SoC 2019. IFIP Advances in Information and Communication Technology, vol 586. Springer, Cham.
  • M. Skitsas, Marco Restifo, M. K. Michael, C. Nicopoulos, P. Bernardi, E. Sanchez (2018), “Self Testing of Multicore Processors”, in Bashir Al-Hashimi and Geoff Merrett (Ed.), Many Core Computing: Hardware and Software (pp. 1-30), June 2019, The Institution of Engineering and Technology (IET), e-ISBN: 9781785615832, Chapter DOI: 10.1049/PBPC022E_ch
  • C. Bolchini, M. K. Michael, A. Miele, S. Neophytou (2017) “Dependability Threats”, in M. Ottavi, S. Pontarelli, D. Gizopoulos (Ed.), Dependable Multicore Architectures at Nanoscale (pp. 1-35), 1st Ed., July 2017, Springer, ISBN-13: 9783319544212.

Refereed Archival Journal Articles:

Refereed Conferences, Symposia & Workshops with Proceedings

Theses and Dissertations

  • M. K. MichaelTest-based Timing Verification using Functional Techniques, Ph.D. Dissertation, Electrical and Computer Engineering Department, Southern Illinois University at Carbondale, 2002. [Nominated for Best Ph.D. Dissertation of the Year Award at SIU-C by College of Engineering].
  • M. K. MichaelTest Pattern Generation for Delay Faults at the Functional Level, M.Sc. Thesis, Computer Science Department, Southern Illinois University at Carbondale, 1998.

Outreach Articles