Functional ATPG for Delay Faults. - Spyros Tragoudas; Maria K. Michael (Great Lakes Symposium on VLSI, 1999)

ATPG for Path Delay Faults without Path Enumeration. - Maria K. Michael; Spyros Tragoudas (ISQED, 2001)

Exact path delay grading with fundamental BDD operations. - Saravanan Padmanaban; Maria K. Michael; Spyros Tragoudas (ITC, 2001)

ATPG tools for delay faults at the functional level. - Maria K. Michael; Spyros Tragoudas (ACM Trans. Design Autom. Electr. Syst., 2002)

Generation of Hazard Identification Functions. - Maria K. Michael; Spyros Tragoudas (ISQED, 2003)

Exact path delay fault coverage with fundamental ZBDD operations. - Saravanan Padmanaban; Maria K. Michael; Spyros Tragoudas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

A unified framework for generating all propagation functions for logic errors and events. - Maria K. Michael; Themistoklis Haniotakis; Spyros Tragoudas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)

Test set enhancement for quality transition faults using function-based methods. - Stelios Neophytou; Maria K. Michael; Spyros Tragoudas (ACM Great Lakes Symposium on VLSI, 2005)

Towards finding path delay fault tests with high test efficiency using ZBDDs. - Maria K. Michael; Kyriakos Christou; Spyros Tragoudas (ICCD, 2005)

Functions for Quality Transition Fault Tests. - Maria K. Michael; Stelios Neophytou; Spyros Tragoudas (ISQED, 2005)

Function-based compact test pattern generation for path delay faults. - Maria K. Michael; Spyros Tragoudas (IEEE Trans. Very Large Scale Integr. Syst., 2005)

Implicit Critical PDF Test Generation with Maximal Test Efficiency. - Kyriakos Christou; Maria K. Michael; Spyros Tragoudas (DFT, 2006)

Efficient Deterministic Test Generation for BIST Schemes with LFSR Reseeding. - Stelios Neophytou; Maria K. Michael; Spyros Tragoudas (IOLTS, 2006)

Sub-faults identification for collapsing in diagnosis. - Rajsekhar Adapa; Spyros Tragoudas; Maria K. Michael (ISCAS, 2006)

Evaluation of Collapsing Methods for Fault Diagnosis. - Rajsekhar Adapa; Spyros Tragoudas; Maria K. Michael (ISQED, 2006)

Functions for Quality Transition-Fault Tests and Their Applications in Test-Set Enhancement. - Stelios Neophytou; Maria K. Michael; Spyros Tragoudas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Hierarchical Fault Compatibility Identification for Test Generation with a Small Number of Specified Bits. - Stelios Neophytou; Maria K. Michael (DFT, 2007)

Accelerating Diagnosis via Dominance Relations between Sets of Faults. - Rajsekhar Adapa; Spyros Tragoudas; Maria K. Michael (VTS, 2007)

Exploiting MOEA to Automatically Geneate Test Programs for Path-Delay Faults in Microprocessors. - Paolo Bernardi; Kyriakos Christou; Michelangelo Grosso; Maria K. Michael; Ernesto Sánchez 001; Matteo Sonza Reorda (EvoWorkshops, 2008)

Two New Methods for Accurate Test Set Relaxation via Test Set Replacement. - Stelios Neophytou; Maria K. Michael (ISQED, 2008)

A Novel System-Level On-Chip Resource Allocation Method for Manycore Architectures. - Theocharis Theocharides; Maria K. Michael; Marios M. Polycarpou; Ajit Dingankar (ISVLSI, 2008)

A Novel SBST Generation Technique for Path-Delay Faults in Microprocessors Exploiting Gate- and RT-Level Descriptions. - Kyriakos Christou; Maria K. Michael; Paolo Bernardi; Michelangelo Grosso; Ernesto Sánchez 001; Matteo Sonza Reorda (VTS, 2008)

On the Relaxation of n-detect Test Sets. - Stelios Neophytou; Maria K. Michael (VTS, 2008)

On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation. - Kyriakos Christou; Maria K. Michael; Spyros Tragoudas (J. Electron. Test., 2008)

Generating Diverse Test Sets for Multiple Fault Detections Based on Fault Cone Partitioning. - Stelios Neophytou; Maria K. Michael; Kyriakos Christou (DFT, 2009)

Towards embedded runtime system level optimization for MPSoCs: on-chip task allocation. - Theocharis Theocharides; Maria K. Michael; Marios M. Polycarpou; Ajit Dingankar (ACM Great Lakes Symposium on VLSI, 2009)

FPGA-based NoC-driven sequence of lab assignments for manycore systems. - Christos Ttofis; Christos Kyrkou; Theocharis Theocharides; Maria K. Michael (MSE, 2009)

A reconfigurable MPSoC-based QAM modulation architecture. - Christos Ttofis; Agathoklis Papadopoulos; Theocharis Theocharides; Maria K. Michael; Demosthenes Doumenis (VLSI-SoC, 2010)

Identification of critical primitive path delay faults without any path enumeration. - Kyriakos Christou; Maria K. Michael; Stelios Neophytou (VTS, 2010)

Hardware-Enabled Dynamic Resource Allocation for Manycore Systems Using Bidding-Based System Feedback. - Theocharis Theocharides; Maria K. Michael; Marios M. Polycarpou; Ajit Dingankar (EURASIP J. Embed. Syst., 2010)

Test Set Generation with a Large Number of Unspecified Bits Using Static and Dynamic Techniques. - Stelios Neophytou; Maria K. Michael (IEEE Trans. Computers, 2010)

An Approach for Quantifying Path Correlation in Digital Circuits without any Path or Segment Enumeration. - Stelios Neophytou; Kyriakos Christou; Maria K. Michael (ETS, 2011)

Towards optimal CMOS lifetime via unified reliability modeling and multi-objective optimization. - Agathoklis Papadopoulos; Theocharis Theocharides; Maria K. Michael (ISCAS, 2011)

An MPSoC-Based QAM Modulation Architecture with Run-Time Load-Balancing. - Christos Ttofis; Agathoklis Papadopoulos; Theocharis Theocharides; Maria K. Michael; Demosthenes Doumenis (EURASIP J. Embed. Syst., 2011)

Improved diagnosis using enhanced fault dominance. - Rajsekhar Adapa; Spyros Tragoudas; Maria K. Michael (Integr., 2011)

Vulnerability-based Interleaving for Multi-Bit Upset (MBU) protection in modern microprocessors. - Michail Maniatakos; Maria K. Michael; Yiorgos Makris (ITC, 2012)

A Non-Enumerative Technique for Measuring Path Correlation in Digital Circuits. - Stelios Neophytou; Kyriakos Christou; Maria K. Michael (J. Electron. Test., 2012)

FPGA-Based Laboratory Assignments for NoC-Based Manycore Systems. - Christos Ttofis; Theocharis Theocharides; Maria K. Michael (IEEE Trans. Educ., 2012)

Test Pattern Generation of Relaxed n-Detect Test Sets. - Stelios Neophytou; Maria K. Michael (IEEE Trans. Very Large Scale Integr. Syst., 2012)

AVF-driven parity optimization for MBU protection of in-core memory arrays. - Michail Maniatakos; Maria K. Michael; Yiorgos Makris (DATE, 2013)

DaemonGuard: O/S-assisted selective software-based Self-Testing for multi-core systems. - Michael A. Skitsas; Chrysostomos Nicopoulos; Maria K. Michael (DFTS, 2013)

On the impact of fault list partitioning in parallel implementations for dynamic test compaction considering multicore systems. - Stelios Neophytou; Stavros Hadjitheophanous; Maria K. Michael (IDT, 2013)

Test set embedding into accumulator-generated sequences targeting hard-to-detect faults. - Ioannis Voyiatzis; Stelios Neophytou; Maria K. Michael; Stavros Hadjitheophanous; Cleo Sgouropoulou; Costas Efstathiou (IDT, 2013)

Investigating the limits of AVF analysis in the presence of multiple bit errors. - Michail Maniatakos; Maria K. Michael; Yiorgos Makris (IOLTS, 2013)

Exploration of system availability during software-based self-testing in many-core systems under test latency constraints. - Michael A. Skitsas; Chrysostomos Nicopoulos; Maria K. Michael (DFT, 2014)

Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs. - Stelios N. Neophytou; Maria K. Michael (ICCD, 2014)

Multiple detection test generation with diversified fault partitioning paths. - Stelios Neophytou; Maria K. Michael (Microprocess. Microsystems, 2014)

Tackling the complexity of exact path delay fault grading for path intensive circuits. - Stelios N. Neophytou; Maria K. Michael (ETS, 2015)

In-field vulnerability analysis of hardware-accelerated computer vision applications. - Ioannis Chadjiminas; Christos Kyrkou; Theocharis Theocharides; Maria K. Michael; Christos Ttofis (FPL, 2015)

Toward efficient check-pointing and rollback under on-demand SBST in chip multi-processors. - Michael A. Skitsas; Chrysostomos Nicopoulos; Maria K. Michael (IOLTS, 2015)

Dependable Multicore Architectures at Nanoscale: The View From Europe. - Marco Ottavi; Salvatore Pontarelli; Dimitris Gizopoulos; Cristiana Bolchini; Maria K. Michael; Lorena Anghel; Mehdi Baradaran Tahoori; Antonis M. Paschalis; Pedro Reviriego; Oliver Bringmann 001; Viacheslav Izosimov; Hans A. R. Manhaeve; et al. (IEEE Des. Test, 2015)

Revisiting Vulnerability Analysis in Modern Microprocessors. - Michail Maniatakos; Maria K. Michael; Chandra Tirumurti; Yiorgos Makris (IEEE Trans. Computers, 2015)

Use It or Lose It: Proactive, Deterministic Longevity in Future Chip Multiprocessors. - Hyungjun Kim; Siva Bhanu Krishna Boga; Arseniy Vitkovskiy; Stavros Hadjitheophanous; Paul V. Gratz; Vassos Soteriou; Maria K. Michael (ACM Trans. Design Autom. Electr. Syst., 2015)

Multiple-Bit Upset Protection in Microprocessor Memory Arrays Using Vulnerability-Based Parity Optimization and Interleaving. - Michail Maniatakos; Maria K. Michael; Yiorgos Makris (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Emulation-based hierarchical fault-injection framework for coarse-to-fine vulnerability analysis of hardware-accelerated approximate algorithms. - Ioannis Chadjiminas; Ioannis Savva; Christos Kyrkou; Maria K. Michael; Theocharis Theocharides (DATE, 2016)

Foreword. - Omer Khan; Maria K. Michael; Antonio Miele; Qiaoyan Yu (DFT, 2016)

Utilizing shared memory multi-cores to speed-up the ATPG process. - Stavros Hadjitheophanous; Stelios N. Neophytou; Maria K. Michael (ETS, 2016)

ETS 2016 foreword. - Said Hamdioui; Giorgio Di Natale; Bram Kruseman; Maria K. Michael; Haralampos-G. D. Stratigopoulos (ETS, 2016)

Scalable parallel fault simulation for shared-memory multiprocessor systems. - Stavros Hadjitheophanous; Stelios N. Neophytou; Maria K. Michael (VTS, 2016)

DaemonGuard: Enabling O/S-Orchestrated Fine-Grained Software-Based Selective-Testing in Multi-/Many-Core Microprocessors. - Michael A. Skitsas; Chrysostomos A. Nicopoulos; Maria K. Michael (IEEE Trans. Computers, 2016)

Foreword. - Maria K. Michael; Rolf Drechsler; Stephan Eggersglüß; Haralampos-G. D. Stratigopoulos; Sybille Hellebrand; Rob Aitken (ETS, 2017)

Minimal exercise vector generation for reliability improvement. - P. Madhukar Reddy; Stavros Hadjitheophanous; Vassos Soteriou; Paul V. Gratz; Maria K. Michael (IOLTS, 2017)

Recap of the European Test Symposium 2017 (ETS'17). - Maria K. Michael; Haralampos-G. D. Stratigopoulos (IEEE Des. Test, 2017)

Path Representation in Circuit Netlists Using Linear-Sized ZDDs with Optimal Variable Ordering. - Stelios N. Neophytou; Maria K. Michael (J. Electron. Test., 2018)

Exploring System Availability During Software-Based Self-Testing of Multi-core CPUs. - Michael A. Skitsas; Chrysostomos A. Nicopoulos; Maria K. Michael (J. Electron. Test., 2018)

Guest Editorial: Special Section on Defect and Fault Tolerance in VLSI and Nanotechnology. - Maria K. Michael; Salvatore Pontarelli; Omer Khan (IEEE Trans. Emerg. Top. Comput., 2018)

Metis: Optimal Task Allocation Framework for the Edge/Hub/Cloud Paradigm. - Andreas Kouloumpris; Theocharis Theocharides; Maria K. Michael (COINS, 2019)

Differentiating Attacks and Faults in Energy Aware Smart Home System using Supervised Machine Learning. - Georgios Tertytchny; Nicolas Nicolaou; Maria K. Michael (COINS, 2019)

Reliability-Aware Task Allocation Latency Optimization in Edge Computing. - Andreas Kouloumpris; Maria K. Michael; Theocharis Theocharides (IOLTS, 2019)

IEEE European Test Symposium (ETS). - Stephan Eggersglüß; Said Hamdioui; Artur Jutman; Maria K. Michael; Jaan Raik; Matteo Sonza Reorda; Mehdi Baradaran Tahoori; Elena-Ioana Vatajelu (ITC, 2019)

A Hardware-based Framework for Secure Firmware Updates on Embedded Systems. - Solon Falas; Charalambos Konstantinou; Maria K. Michael (VLSI-SoC, 2019)

Hardware-Enabled Secure Firmware Updates in Embedded Systems. - Solon Falas; Charalambos Konstantinou; Maria K. Michael (VLSI-SoC (Selected Papers), 2019)

Exploiting Shared-Memory to Steer Scalability of Fault Simulation Using Multicore Systems. - Stavros Hadjitheophanous; Stelios N. Neophytou; Maria K. Michael (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Dataset Reduction Framework For Intelligent Fault Detection In IoT-based Cyber-Physical Systems Using Machine Learning Techniques. - Georgios Tertytchny; Maria K. Michael (COINS, 2020)

Special Session: Physics- Informed Neural Networks for Securing Water Distribution Systems. - Solon Falas; Charalambos Konstantinou; Maria K. Michael (ICCD, 2020)

IRES Program in Sensors and Machine Learning for Energy Systems. - Kristen Jaskie; Joshua Martin; Sunil Rao; Wendy Barnard; Photini Spanias; Elias Kyriakides; Yiannis Tofis; Lenos Hadjidemetriou; Maria K. Michael; Theocharis Theocharides; Stella K. Hadjistassou; Andreas Spanias (IISA, 2020)

Demonstration of Man in the Middle Attack on a Feeder Power Factor Correction Unit. - Lenos Hadjidemetriou; Georgios Tertytchny; Hazem Karbouj; Charalambos D. Charalambous; Maria K. Michael; Marios Sazos; Michail Maniatakos (ISGT-Europe, 2020)

Cost-Effective Time-Redundancy Based Optimal Task Allocation for the Edge-Hub-Cloud Systems. - Andreas Kouloumpris; Theocharis Theocharides; Maria K. Michael (ISVLSI, 2020)

Compact Fault Dictionaries for Efficient Sensor Fault Diagnosis in IoT-enabled CPSs. - Stavros A. Viktoros; Maria K. Michael; Marios M. Polycarpou (SmartIoT, 2020)

Physics-Informed Neural Networks for Securing Water Distribution Systems. - Solon Falas; Charalambos Konstantinou; Maria K. Michael (CoRR, 2020)

Classifying network abnormalities into faults and attacks in IoT-based cyber physical systems using machine learning. - Georgios Tertytchny; Nicolas Nicolaou; Maria K. Michael (Microprocess. Microsystems, 2020)

Guest Editor's Introduction: Special Section on Reliability-Aware Design and Analysis Methods for Digital Systems: From Gate to System Level. - Antonio Miele; Qiaoyan Yu; Maria K. Michael (IEEE Trans. Emerg. Top. Comput., 2020)

Maintaining Scalability of Test Generation Using Multicore Shared Memory Systems. - Stavros Hadjitheophanous; Stelios N. Neophytou; Maria K. Michael (IEEE Trans. Very Large Scale Integr. Syst., 2020)

Fine-Grained Vulnerability Analysis of Resource Constrained Neural Inference Accelerators. - Panayiotis Corneliou; Panagiota Nikolaou; Maria K. Michael; Theocharis Theocharides (DFT, 2021)

Light-weight and Robust Network Intrusion Detection for Cyber-attacks in Digital Substations. - Mohamed Faisal Elrawy; Lenos Hadjidemetriou; Christos Laoudias; Maria K. Michael (ISGT Asia, 2021)

A behavioral model to detect data manipulation attacks of synchrophasor measurements. - Leonidas Stylianou; Lenos Hadjidemetriou; Markos Asprou; Lazaros Zacharia; Maria K. Michael (ISGT-Europe, 2021)

TrustPH: Trustworthy Platoon Head Selection considering Cognitive Biases to enhance Secure Platooning in Intelligent and Connected Vehicles. - Subham Datta; Panagiota Nikolaou; Maria K. Michael (ITSC, 2021)

Two-dimensional Dataset Reduction in Data-Driven Fault Detection for IoT-based Cyber Physical Systems. - Georgios Tertytchny; Maria K. Michael (COINS, 2022)

INTERPLAY: An Intelligent Model for Predicting Performance Degradation due to Multi-cache Way-disabling. - Panagiota Nikolaou; Yiannakis Sazeides; Maria K. Michael (DFT, 2022)

SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. - Koorosh Aslansefat; Panagiota Nikolaou; Martin Walker; Mohammed Naveed Akram; Ioannis Sorokos; Jan Reich; Panayiotis Kolios; Maria K. Michael; Theocharis Theocharides; Georgios Ellinas; Daniel Schneider 001; Yiannis Papadopoulos (IMBSA, 2022)

Functional and Timing Implications of Transient Faults in Critical Systems. - Angeliki Kritikakou; Panagiota Nikolaou; Ivan Rodriguez-Ferrandez; Joseph Paturel; Leonidas Kosmidis; Maria K. Michael; Olivier Sentieys; David Steenari (IOLTS, 2022)

A Modular End-to-End Framework for Secure Firmware Updates on Embedded Systems. - Solon Falas; Charalambos Konstantinou; Maria K. Michael (ACM J. Emerg. Technol. Comput. Syst., 2022)

Introduction to the Special Issue on Hardware-Assisted Security for Emerging Internet of Things. - Saraju P. Mohanty; Jim Plusquellic; Garrett S. Rose; Wei Zhang 012; Maria K. Michael (ACM J. Emerg. Technol. Comput. Syst., 2022)

Reputation-based User Vehicle Assignment in Intelligent and Connected Vehicle Platoons. - Subham Datta; Panagiota Nikolaou; Maria K. Michael (COINS, 2023)

Modelling and Analysing Security Threats Targeting Protective Relay Operations in Digital Substations. - Mohamed Faisal Elrawy; Lenos Hadjidemetriou; Christos Laoudias; Maria K. Michael (CSR, 2023)

Protection and Communication Model of Intelligent Electronic Devices to Investigate Security Threats. - Mohamed Faisal Elrawy; Eleni Tekki; Lenos Hadjidemetriou; Christos Laoudias; Maria K. Michael (ISGT, 2023)

Physics-Informed Neural Networks for Accelerating Power System State Estimation. - Solon Falas; Markos Asprou; Charalambos Konstantinou; Maria K. Michael (ISGT EUROPE, 2023)

Robust Cooperative Sparse Representation Solutions for Detecting and Mitigating Spoofing Attacks in Autonomous Vehicles. - Nikos Piperigkos; Aris S. Lalos; Christos Anagnostopoulos; Syeda Zillay Nain Zukhraf; Christos Laoudias; Maria K. Michael (MED, 2023)

A Machine Learning Approach for Detecting GPS Location Spoofing Attacks in Autonomous Vehicles. - Stylianos Filippou; A. Achilleos; Syeda Zillay Nain Zukhraf; Christos Laoudias; Kleanthis Malialis; Maria K. Michael; George Ellinas (VTC2023-Spring, 2023)

Datasets of synthetic task graphs for evaluating a reliability and latency multi-objective task allocation framework. - Andreas Kouloumpris; Georgios L. Stavrinides; Maria K. Michael; Theocharis Theocharides (Zenodo, 2023)

Optimal Multi-Constrained Workflow Scheduling for Cyber-Physical Systems in the Edge-Cloud Continuum. - Andreas Kouloumpris; Georgios L. Stavrinides; Maria K. Michael; Theocharis Theocharides (COMPSAC, 2024)

A Geometrical Approach to Enhance Security Against Cyber Attacks in Digital Substations. - Mohamed Faisal Elrawy; Camilla Fioravanti; Gabriele Oliva; Maria K. Michael; Roberto Setola (IEEE Access, 2024)

An optimization framework for task allocation in the edge/hub/cloud paradigm. - Andreas Kouloumpris; Georgios L. Stavrinides; Maria K. Michael; Theocharis Theocharides (Future Gener. Comput. Syst., 2024)

Datasets of synthetic task flow graphs for evaluating a latency/energy optimization task allocation framework. - Andreas Kouloumpris; Georgios L. Stavrinides; Maria K. Michael; Theocharis Theocharides (Zenodo, 2024)

Datasets of synthetic workflows for evaluating a multi-objective and multi-constrained scheduling approach for cyber-physical applications. - Andreas Kouloumpris; Georgios L. Stavrinides; Maria K. Michael; Theocharis Theocharides (Zenodo, 2024)

Datasets of synthetic workflows for cyber-physical edge-hub-cloud systems. - Andreas Kouloumpris; Georgios L. Stavrinides; Maria K. Michael; Theocharis Theocharides (Zenodo, 2024)

Rare Event Detection in Imbalanced Multi-Class Datasets Using an Optimal MIP-Based Ensemble Weighting Approach. - Georgios Tertytchny; Georgios L. Stavrinides; Maria K. Michael (AAAI, 2025)

Multi-Partner Project: Safe, Secure and Dependable Multi-UAV Systems for Search and Rescue Operations. - Panagiota Nikolaou; Antonis Savva; Ioannis Sorokos; Koorosh Aslansefat; Sondess Missaoui; Mohammed Naveed Akram; Daniel Hillen; Marc Lorenz; Martin D. Walker; Manos Papoutsakis; Simos Gerasimou; Panayiotis Kolios; et al. (DATE, 2025)

Optimization of resource-aware parallel and distributed computing: a review. - Pawel Czarnul; Marcel Antal; Hamza Baniata; Dalvan Griebler; Attila Kertész; Christoph W. Kessler; Andreas Kouloumpris; Salko Kovacic; András Márkus; Maria K. Michael; Panagiota Nikolaou; Isil Öz; et al. (J. Supercomput., 2025)

Robust Power System State Estimation using Physics-Informed Neural Networks. - Solon Falas; Markos Asprou; Charalambos Konstantinou; Maria K. Michael (CoRR, 2025)