Maria K. Michael

121 papers A* 1A 7B 7C 13Misc 8Journal 44Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A reliability- and latency-driven task allocation framework for workflow applications in the edge-hub-cloud continuum. CoRR Andreas Kouloumpris, Georgios L. Stavrinides, Maria K. Michael, Theocharis Theocharides
2026	J	`jnl`	A reliability- and latency-driven task allocation framework for workflow applications in the edge-hub-cloud continuum. Future Gener. Comput. Syst. Andreas Kouloumpris, Georgios L. Stavrinides, Maria K. Michael, Theocharis Theocharides
2025	J	`jnl`	An optimization framework for task allocation in the edge/hub/cloud paradigm. CoRR Andreas Kouloumpris, Georgios L. Stavrinides, Maria K. Michael, Theocharis Theocharides
2025	Misc	`conf`	Data Manipulation Attack Mitigation in Power Systems Using Physics-Informed Neural Networks. CSR Solon Falas, Markos Asprou, Charalambos Konstantinou, Maria K. Michael
2025	Misc	`conf`	Detection of Masquerade Attacks on Protection of Digital Substations Using Real-Time Measurements. CSR Mohamed Faisal Elrawy, Lenos Hadjidemetriou, Christos Laoudias, Maria K. Michael
2025	—	`conf`	Dynamic Early-Exit Convolutional Neural Networks for Edge Vision: The Benefits, The Challenges, and the Road Ahead. ISVLSI Michalis Piponidis, Georgios Konstantinidis, Maria K. Michael, Theocharis Theocharides
2025	A	`conf`	Multi-Partner Project: Safe, Secure and Dependable Multi-UAV Systems for Search and Rescue Operations. DATE Panagiota Nikolaou, Antonis D. Savva, Ioannis Sorokos, Koorosh Aslansefat, Sondess Missaoui, Mohammed Naveed Akram, Daniel Hillen, Marc Lorenz, Martin D. Walker, Manos Papoutsakis, Simos Gerasimou, Panayiotis Kolios, Yiannis Papadopoulos, Jan Reich, Sotiris Ioannidis, Maria K. Michael
2025	J	`jnl`	Optimal Multi-Constrained Workflow Scheduling for Cyber-Physical Systems in the Edge-Cloud Continuum. CoRR Andreas Kouloumpris, Georgios L. Stavrinides, Maria K. Michael, Theocharis Theocharides
2025	J	`jnl`	Optimization of resource-aware parallel and distributed computing: a review. J. Supercomput. 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, Radu Prodan, Gordana Rakic
2025	A*	`conf`	Rare Event Detection in Imbalanced Multi-Class Datasets Using an Optimal MIP-Based Ensemble Weighting Approach. AAAI Georgios Tertytchny, Georgios L. Stavrinides, Maria K. Michael
2025	—	`conf`	Reliability Assessment of Early Exit Deep Convolutional Neural Networks. ATS Georgios Konstantinidis, Maria K. Michael, Theocharis Theocharides
2025	J	`jnl`	Robust Power System State Estimation Using Physics-Informed Neural Networks. IEEE Trans. Ind. Informatics Solon Falas, Markos Asprou, Charalambos Konstantinou, Maria K. Michael
2025	J	`jnl`	Robust Power System State Estimation using Physics-Informed Neural Networks. CoRR Solon Falas, Markos Asprou, Charalambos Konstantinou, Maria K. Michael
2024	J	`jnl`	A Geometrical Approach to Enhance Security Against Cyber Attacks in Digital Substations. IEEE Access Mohamed Faisal Elrawy, Camilla Fioravanti, Gabriele Oliva, Maria K. Michael, Roberto Setola
2024	J	`jnl`	An optimization framework for task allocation in the edge/hub/cloud paradigm. Future Gener. Comput. Syst. Andreas Kouloumpris, Georgios L. Stavrinides, Maria K. Michael, Theocharis Theocharides
2024	B	`conf`	Optimal Multi-Constrained Workflow Scheduling for Cyber-Physical Systems in the Edge-Cloud Continuum. COMPSAC Andreas Kouloumpris, Georgios L. Stavrinides, Maria K. Michael, Theocharis Theocharides
2024	J	`jnl`	Rare Event Detection in Imbalanced Multi-Class Datasets Using an Optimal MIP-Based Ensemble Weighting Approach. CoRR Georgios Tertytchny, Georgios L. Stavrinides, Maria K. Michael
2023	—	`conf`	A Machine Learning Approach for Detecting GPS Location Spoofing Attacks in Autonomous Vehicles. VTC2023-Spring Stylianos Filippou, A. Achilleos, Syeda Zillay Nain Zukhraf, Christos Laoudias, Kleanthis Malialis, Maria K. Michael, George Ellinas
2023	Misc	`conf`	Modelling and Analysing Security Threats Targeting Protective Relay Operations in Digital Substations. CSR Mohamed Faisal Elrawy, Lenos Hadjidemetriou, Christos Laoudias, Maria K. Michael
2023	—	`conf`	Physics-Informed Neural Networks for Accelerating Power System State Estimation. ISGT EUROPE Solon Falas, Markos Asprou, Charalambos Konstantinou, Maria K. Michael
2023	J	`jnl`	Physics-Informed Neural Networks for Accelerating Power System State Estimation. CoRR Solon Falas, Markos Asprou, Charalambos Konstantinou, Maria K. Michael
2023	—	`conf`	Protection and Communication Model of Intelligent Electronic Devices to Investigate Security Threats. ISGT Mohamed Faisal Elrawy, Eleni Tekki, Lenos Hadjidemetriou, Christos Laoudias, Maria K. Michael
2023	—	`conf`	Reputation-based User Vehicle Assignment in Intelligent and Connected Vehicle Platoons. COINS Subham Datta, Panagiota Nikolaou, Maria K. Michael
2023	—	`conf`	Robust Cooperative Sparse Representation Solutions for Detecting and Mitigating Spoofing Attacks in Autonomous Vehicles. MED Nikos Piperigkos, Aris S. Lalos, Christos Anagnostopoulos, Syeda Zillay Nain Zukhraf, Christos Laoudias, Maria K. Michael
2022	J	`jnl`	A Modular End-to-End Framework for Secure Firmware Updates on Embedded Systems. ACM J. Emerg. Technol. Comput. Syst. Solon Falas, Charalambos Konstantinou, Maria K. Michael
2022	C	`conf`	Functional and Timing Implications of Transient Faults in Critical Systems. IOLTS Angeliki Kritikakou, Panagiota Nikolaou, Ivan Rodriguez-Ferrandez, Joseph Paturel, Leonidas Kosmidis, Maria K. Michael, Olivier Sentieys, David Steenari
2022	—	`conf`	INTERPLAY: An Intelligent Model for Predicting Performance Degradation due to Multi-cache Way-disabling. DFT Panagiota Nikolaou, Yiannakis Sazeides, Maria K. Michael
2022	J	`jnl`	INTERPLAY: An Intelligent Model for Predicting Performance Degradation due to Multi-cache Way-disabling. CoRR Panagiota Nikolaou, Yiannakis Sazeides, Maria K. Michael
2022	J	`jnl`	Introduction to the Special Issue on Hardware-Assisted Security for Emerging Internet of Things. ACM J. Emerg. Technol. Comput. Syst. Saraju P. Mohanty, Jim Plusquellic, Garrett S. Rose, Wei Zhang, Maria K. Michael
2022	—	`conf`	SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. IMBSA Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos
2022	J	`jnl`	SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities. CoRR Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos
2022	—	`conf`	Two-dimensional Dataset Reduction in Data-Driven Fault Detection for IoT-based Cyber Physical Systems. COINS Georgios Tertytchny, Maria K. Michael
2021	—	`conf`	A behavioral model to detect data manipulation attacks of synchrophasor measurements. ISGT-Europe Leonidas Stylianou, Lenos Hadjidemetriou, Markos Asprou, Lazaros Zacharia, Maria K. Michael
2021	—	`conf`	Fine-Grained Vulnerability Analysis of Resource Constrained Neural Inference Accelerators. DFT Panayiotis Corneliou, Panagiota Nikolaou, Maria K. Michael, Theocharis Theocharides
2021	—	`conf`	Light-weight and Robust Network Intrusion Detection for Cyber-attacks in Digital Substations. ISGT Asia Mohamed Faisal Elrawy, Lenos Hadjidemetriou, Christos Laoudias, Maria K. Michael
2021	—	`conf`	TrustPH: Trustworthy Platoon Head Selection considering Cognitive Biases to enhance Secure Platooning in Intelligent and Connected Vehicles. ITSC Subham Datta, Panagiota Nikolaou, Maria K. Michael
2020	J	`jnl`	A Modular End-to-End Framework for Secure Firmware Updates on Embedded Systems. CoRR Solon Falas, Charalambos Konstantinou, Maria K. Michael
2020	J	`jnl`	Classifying network abnormalities into faults and attacks in IoT-based cyber physical systems using machine learning. Microprocess. Microsystems Georgios Tertytchny, Nicolas Nicolaou, Maria K. Michael
2020	—	`conf`	Compact Fault Dictionaries for Efficient Sensor Fault Diagnosis in IoT-enabled CPSs. SmartIoT Stavros A. Viktoros, Maria K. Michael, Marios M. Polycarpou
2020	—	`conf`	Cost-Effective Time-Redundancy Based Optimal Task Allocation for the Edge-Hub-Cloud Systems. ISVLSI Andreas Kouloumpris, Theocharis Theocharides, Maria K. Michael
2020	—	`conf`	Dataset Reduction Framework For Intelligent Fault Detection In IoT-based Cyber-Physical Systems Using Machine Learning Techniques. COINS Georgios Tertytchny, Maria K. Michael
2020	—	`conf`	Demonstration of Man in the Middle Attack on a Feeder Power Factor Correction Unit. ISGT-Europe Lenos Hadjidemetriou, Georgios Tertytchny, Hazem Karbouj, Charalambos D. Charalambous, Maria K. Michael, Marios Sazos, Michail Maniatakos
2020	J	`jnl`	Guest Editor's Introduction: Special Section on Reliability-Aware Design and Analysis Methods for Digital Systems: From Gate to System Level. IEEE Trans. Emerg. Top. Comput. Antonio Miele, Qiaoyan Yu, Maria K. Michael
2020	—	`conf`	IRES Program in Sensors and Machine Learning for Energy Systems. IISA 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
2020	J	`jnl`	Maintaining Scalability of Test Generation Using Multicore Shared Memory Systems. IEEE Trans. Very Large Scale Integr. Syst. Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael
2020	J	`jnl`	Physics-Informed Neural Networks for Securing Water Distribution Systems. CoRR Solon Falas, Charalambos Konstantinou, Maria K. Michael
2020	C	`conf`	Special Session: Physics- Informed Neural Networks for Securing Water Distribution Systems. ICCD Solon Falas, Charalambos Konstantinou, Maria K. Michael
2019	C	`conf`	A Hardware-based Framework for Secure Firmware Updates on Embedded Systems. VLSI-SoC Solon Falas, Charalambos Konstantinou, Maria K. Michael
2019	—	`conf`	Differentiating Attacks and Faults in Energy Aware Smart Home System using Supervised Machine Learning. COINS Georgios Tertytchny, Nicolas Nicolaou, Maria K. Michael
2019	J	`jnl`	Exploiting Shared-Memory to Steer Scalability of Fault Simulation Using Multicore Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael
2019	—	`conf`	Hardware-Enabled Secure Firmware Updates in Embedded Systems. VLSI-SoC (Selected Papers) Solon Falas, Charalambos Konstantinou, Maria K. Michael
2019	A	`conf`	IEEE European Test Symposium (ETS). ITC Stephan Eggersglüß, Said Hamdioui, Artur Jutman, Maria K. Michael, Jaan Raik, Matteo Sonza Reorda, Mehdi Baradaran Tahoori, Elena-Ioana Vatajelu
2019	—	`conf`	Metis: Optimal Task Allocation Framework for the Edge/Hub/Cloud Paradigm. COINS Andreas Kouloumpris, Theocharis Theocharides, Maria K. Michael
2019	C	`conf`	Reliability-Aware Task Allocation Latency Optimization in Edge Computing. IOLTS Andreas Kouloumpris, Maria K. Michael, Theocharis Theocharides
2018	J	`jnl`	Exploring System Availability During Software-Based Self-Testing of Multi-core CPUs. J. Electron. Test. Michael A. Skitsas, Chrysostomos A. Nicopoulos, Maria K. Michael
2018	J	`jnl`	Guest Editorial: Special Section on Defect and Fault Tolerance in VLSI and Nanotechnology. IEEE Trans. Emerg. Top. Comput. Maria K. Michael, Salvatore Pontarelli, Omer Khan
2018	J	`jnl`	Path Representation in Circuit Netlists Using Linear-Sized ZDDs with Optimal Variable Ordering. J. Electron. Test. Stelios N. Neophytou, Maria K. Michael
2017	B	`conf`	Foreword. ETS Maria K. Michael, Rolf Drechsler, Stephan Eggersglüß, Haralampos-G. D. Stratigopoulos, Sybille Hellebrand, Rob Aitken
2017	C	`conf`	Minimal exercise vector generation for reliability improvement. IOLTS P. Madhukar Reddy, Stavros Hadjitheophanous, Vassos Soteriou, Paul V. Gratz, Maria K. Michael
2017	J	`jnl`	Recap of the European Test Symposium 2017 (ETS'17). IEEE Des. Test Maria K. Michael, Haralampos-G. D. Stratigopoulos
2016	J	`jnl`	DaemonGuard: Enabling O/S-Orchestrated Fine-Grained Software-Based Selective-Testing in Multi-/Many-Core Microprocessors. IEEE Trans. Computers Michael A. Skitsas, Chrysostomos A. Nicopoulos, Maria K. Michael
2016	B	`conf`	ETS 2016 foreword. ETS Said Hamdioui, Giorgio Di Natale, Bram Kruseman, Maria K. Michael, Haralampos-G. D. Stratigopoulos
2016	A	`conf`	Emulation-based hierarchical fault-injection framework for coarse-to-fine vulnerability analysis of hardware-accelerated approximate algorithms. DATE Ioannis Chadjiminas, Ioannis Savva, Christos Kyrkou, Maria K. Michael, Theocharis Theocharides
2016	—	`conf`	Foreword. DFT Omer Khan, Maria K. Michael, Antonio Miele, Qiaoyan Yu
2016	Misc	`conf`	Scalable parallel fault simulation for shared-memory multiprocessor systems. VTS Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael
2016	B	`conf`	Utilizing shared memory multi-cores to speed-up the ATPG process. ETS Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael
2015	J	`jnl`	Dependable Multicore Architectures at Nanoscale: The View From Europe. IEEE Des. Test Marco Ottavi, Salvatore Pontarelli, Dimitris Gizopoulos, Cristiana Bolchini, Maria K. Michael, Lorena Anghel, Mehdi Baradaran Tahoori, Antonis M. Paschalis, Pedro Reviriego, Oliver Bringmann, Viacheslav Izosimov, Hans A. R. Manhaeve, Christos Strydis, Said Hamdioui
2015	B	`conf`	In-field vulnerability analysis of hardware-accelerated computer vision applications. FPL Ioannis Chadjiminas, Christos Kyrkou, Theocharis Theocharides, Maria K. Michael, Christos Ttofis
2015	J	`jnl`	Multiple-Bit Upset Protection in Microprocessor Memory Arrays Using Vulnerability-Based Parity Optimization and Interleaving. IEEE Trans. Very Large Scale Integr. Syst. Michail Maniatakos, Maria K. Michael, Yiorgos Makris
2015	J	`jnl`	Revisiting Vulnerability Analysis in Modern Microprocessors. IEEE Trans. Computers Michail Maniatakos, Maria K. Michael, Chandra Tirumurti, Yiorgos Makris
2015	B	`conf`	Tackling the complexity of exact path delay fault grading for path intensive circuits. ETS Stelios N. Neophytou, Maria K. Michael
2015	C	`conf`	Toward efficient check-pointing and rollback under on-demand SBST in chip multi-processors. IOLTS Michael A. Skitsas, Chrysostomos Nicopoulos, Maria K. Michael
2015	J	`jnl`	Use It or Lose It: Proactive, Deterministic Longevity in Future Chip Multiprocessors. ACM Trans. Design Autom. Electr. Syst. Hyungjun Kim, Siva Bhanu Krishna Boga, Arseniy Vitkovskiy, Stavros Hadjitheophanous, Paul V. Gratz, Vassos Soteriou, Maria K. Michael
2014	—	`conf`	Exploration of system availability during software-based self-testing in many-core systems under test latency constraints. DFT Michael A. Skitsas, Chrysostomos Nicopoulos, Maria K. Michael
2014	J	`jnl`	Multiple detection test generation with diversified fault partitioning paths. Microprocess. Microsystems Stelios Neophytou, Maria K. Michael
2014	C	`conf`	Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs. ICCD Stelios N. Neophytou, Maria K. Michael
2013	A	`conf`	AVF-driven parity optimization for MBU protection of in-core memory arrays. DATE Michail Maniatakos, Maria K. Michael, Yiorgos Makris
2013	—	`conf`	DaemonGuard: O/S-assisted selective software-based Self-Testing for multi-core systems. DFTS Michael A. Skitsas, Chrysostomos Nicopoulos, Maria K. Michael
2013	C	`conf`	Investigating the limits of AVF analysis in the presence of multiple bit errors. IOLTS Michail Maniatakos, Maria K. Michael, Yiorgos Makris
2013	—	`conf`	On the impact of fault list partitioning in parallel implementations for dynamic test compaction considering multicore systems. IDT Stelios Neophytou, Stavros Hadjitheophanous, Maria K. Michael
2013	—	`conf`	Test set embedding into accumulator-generated sequences targeting hard-to-detect faults. IDT Ioannis Voyiatzis, Stelios Neophytou, Maria K. Michael, Stavros Hadjitheophanous, Cleo Sgouropoulou, Costas Efstathiou
2012	J	`jnl`	A Non-Enumerative Technique for Measuring Path Correlation in Digital Circuits. J. Electron. Test. Stelios Neophytou, Kyriakos Christou, Maria K. Michael
2012	J	`jnl`	FPGA-Based Laboratory Assignments for NoC-Based Manycore Systems. IEEE Trans. Educ. Christos Ttofis, Theocharis Theocharides, Maria K. Michael
2012	J	`jnl`	Test Pattern Generation of Relaxed n-Detect Test Sets. IEEE Trans. Very Large Scale Integr. Syst. Stelios Neophytou, Maria K. Michael
2012	A	`conf`	Vulnerability-based Interleaving for Multi-Bit Upset (MBU) protection in modern microprocessors. ITC Michail Maniatakos, Maria K. Michael, Yiorgos Makris
2011	B	`conf`	An Approach for Quantifying Path Correlation in Digital Circuits without any Path or Segment Enumeration. ETS Stelios Neophytou, Kyriakos Christou, Maria K. Michael
2011	J	`jnl`	An MPSoC-Based QAM Modulation Architecture with Run-Time Load-Balancing. EURASIP J. Embed. Syst. Christos Ttofis, Agathoklis Papadopoulos, Theocharis Theocharides, Maria K. Michael, Demosthenes Doumenis
2011	J	`jnl`	Improved diagnosis using enhanced fault dominance. Integr. Rajsekhar Adapa, Spyros Tragoudas, Maria K. Michael
2011	C	`conf`	Towards optimal CMOS lifetime via unified reliability modeling and multi-objective optimization. ISCAS Agathoklis Papadopoulos, Theocharis Theocharides, Maria K. Michael
2010	C	`conf`	A reconfigurable MPSoC-based QAM modulation architecture. VLSI-SoC Christos Ttofis, Agathoklis Papadopoulos, Theocharis Theocharides, Maria K. Michael, Demosthenes Doumenis
2010	J	`jnl`	Hardware-Enabled Dynamic Resource Allocation for Manycore Systems Using Bidding-Based System Feedback. EURASIP J. Embed. Syst. Theocharis Theocharides, Maria K. Michael, Marios M. Polycarpou, Ajit Dingankar
2010	Misc	`conf`	Identification of critical primitive path delay faults without any path enumeration. VTS Kyriakos Christou, Maria K. Michael, Stelios Neophytou
2010	J	`jnl`	Test Set Generation with a Large Number of Unspecified Bits Using Static and Dynamic Techniques. IEEE Trans. Computers Stelios Neophytou, Maria K. Michael
2009	—	`conf`	FPGA-based NoC-driven sequence of lab assignments for manycore systems. MSE Christos Ttofis, Christos Kyrkou, Theocharis Theocharides, Maria K. Michael
2009	—	`conf`	Generating Diverse Test Sets for Multiple Fault Detections Based on Fault Cone Partitioning. DFT Stelios Neophytou, Maria K. Michael, Kyriakos Christou
2009	—	`conf`	Towards embedded runtime system level optimization for MPSoCs: on-chip task allocation. ACM Great Lakes Symposium on VLSI Theocharis Theocharides, Maria K. Michael, Marios M. Polycarpou, Ajit Dingankar
2008	Misc	`conf`	A Novel SBST Generation Technique for Path-Delay Faults in Microprocessors Exploiting Gate- and RT-Level Descriptions. VTS Kyriakos Christou, Maria K. Michael, Paolo Bernardi, Michelangelo Grosso, Ernesto Sánchez, Matteo Sonza Reorda
2008	—	`conf`	A Novel System-Level On-Chip Resource Allocation Method for Manycore Architectures. ISVLSI Theocharis Theocharides, Maria K. Michael, Marios M. Polycarpou, Ajit Dingankar
2008	—	`conf`	Exploiting MOEA to Automatically Geneate Test Programs for Path-Delay Faults in Microprocessors. EvoWorkshops Paolo Bernardi, Kyriakos Christou, Michelangelo Grosso, Maria K. Michael, Ernesto Sánchez, Matteo Sonza Reorda
2008	Misc	`conf`	On the Relaxation of n-detect Test Sets. VTS Stelios Neophytou, Maria K. Michael
2008	J	`jnl`	On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation. J. Electron. Test. Kyriakos Christou, Maria K. Michael, Spyros Tragoudas
2008	—	`conf`	Two New Methods for Accurate Test Set Relaxation via Test Set Replacement. ISQED Stelios Neophytou, Maria K. Michael
2007	Misc	`conf`	Accelerating Diagnosis via Dominance Relations between Sets of Faults. VTS Rajsekhar Adapa, Spyros Tragoudas, Maria K. Michael
2007	—	`conf`	Hierarchical Fault Compatibility Identification for Test Generation with a Small Number of Specified Bits. DFT Stelios Neophytou, Maria K. Michael
2006	C	`conf`	Efficient Deterministic Test Generation for BIST Schemes with LFSR Reseeding. IOLTS Stelios Neophytou, Maria K. Michael, Spyros Tragoudas
2006	—	`conf`	Evaluation of Collapsing Methods for Fault Diagnosis. ISQED Rajsekhar Adapa, Spyros Tragoudas, Maria K. Michael
2006	J	`jnl`	Functions for Quality Transition-Fault Tests and Their Applications in Test-Set Enhancement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Stelios Neophytou, Maria K. Michael, Spyros Tragoudas
2006	—	`conf`	Implicit Critical PDF Test Generation with Maximal Test Efficiency. DFT Kyriakos Christou, Maria K. Michael, Spyros Tragoudas
2006	C	`conf`	Sub-faults identification for collapsing in diagnosis. ISCAS Rajsekhar Adapa, Spyros Tragoudas, Maria K. Michael
2005	J	`jnl`	Function-based compact test pattern generation for path delay faults. IEEE Trans. Very Large Scale Integr. Syst. Maria K. Michael, Spyros Tragoudas
2005	—	`conf`	Functions for Quality Transition Fault Tests. ISQED Maria K. Michael, Stelios Neophytou, Spyros Tragoudas
2005	—	`conf`	Test set enhancement for quality transition faults using function-based methods. ACM Great Lakes Symposium on VLSI Stelios Neophytou, Maria K. Michael, Spyros Tragoudas
2005	C	`conf`	Towards finding path delay fault tests with high test efficiency using ZBDDs. ICCD Maria K. Michael, Kyriakos Christou, Spyros Tragoudas
2004	J	`jnl`	A unified framework for generating all propagation functions for logic errors and events. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Maria K. Michael, Themistoklis Haniotakis, Spyros Tragoudas
2003	J	`jnl`	Exact path delay fault coverage with fundamental ZBDD operations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Saravanan Padmanaban, Maria K. Michael, Spyros Tragoudas
2003	—	`conf`	Generation of Hazard Identification Functions. ISQED Maria K. Michael, Spyros Tragoudas
2002	J	`jnl`	ATPG tools for delay faults at the functional level. ACM Trans. Design Autom. Electr. Syst. Maria K. Michael, Spyros Tragoudas
2001	—	`conf`	ATPG for Path Delay Faults without Path Enumeration. ISQED Maria K. Michael, Spyros Tragoudas
2001	A	`conf`	Exact path delay grading with fundamental BDD operations. ITC Saravanan Padmanaban, Maria K. Michael, Spyros Tragoudas
1999	A	`conf`	ATPG Tools for Delay Faults at the Functional Level. DATE Spyros Tragoudas, Maria K. Michael
1999	—	`conf`	Functional ATPG for Delay Faults. Great Lakes Symposium on VLSI Spyros Tragoudas, Maria K. Michael