default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaria K. Michael
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Mohamed Faisal Elrawy
, Camilla Fioravanti, Gabriele Oliva, Maria K. Michael, Roberto Setola:
A Geometrical Approach to Enhance Security Against Cyber Attacks in Digital Substations. IEEE Access 12: 18724-18738 (2024)- [j30]Andreas Kouloumpris, Georgios L. Stavrinides, Maria K. Michael, Theocharis Theocharides:
An optimization framework for task allocation in the edge/hub/cloud paradigm. Future Gener. Comput. Syst. 155: 354-366 (2024) - [c71]Andreas Kouloumpris, Georgios L. Stavrinides, Maria K. Michael, Theocharis Theocharides:
Optimal Multi-Constrained Workflow Scheduling for Cyber-Physical Systems in the Edge-Cloud Continuum. COMPSAC 2024: 483-492 - 2023
- [c70]Subham Datta, Panagiota Nikolaou, Maria K. Michael:
Reputation-based User Vehicle Assignment in Intelligent and Connected Vehicle Platoons. COINS 2023: 1-6 - [c69]Mohamed Faisal Elrawy, Lenos Hadjidemetriou, Christos Laoudias, Maria K. Michael:
Modelling and Analysing Security Threats Targeting Protective Relay Operations in Digital Substations. CSR 2023: 523-529 - [c68]Mohamed Faisal Elrawy, Eleni Tekki, Lenos Hadjidemetriou, Christos Laoudias, Maria K. Michael:
Protection and Communication Model of Intelligent Electronic Devices to Investigate Security Threats. ISGT 2023: 1-5 - [c67]Solon Falas, Markos Asprou, Charalambos Konstantinou, Maria K. Michael:
Physics-Informed Neural Networks for Accelerating Power System State Estimation. ISGT EUROPE 2023: 1-5 - [c66]Nikos Piperigkos, Aris S. Lalos, Christos Anagnostopoulos, Syeda Zillay Nain Zukhraf, Christos Laoudias, Maria K. Michael:
Robust Cooperative Sparse Representation Solutions for Detecting and Mitigating Spoofing Attacks in Autonomous Vehicles. MED 2023: 407-412 - [c65]Stylianos Filippou, A. Achilleos, Syeda Zillay Nain Zukhraf, Christos Laoudias, Kleanthis Malialis, Maria K. Michael, George Ellinas:
A Machine Learning Approach for Detecting GPS Location Spoofing Attacks in Autonomous Vehicles. VTC2023-Spring 2023: 1-7 - [i5]Solon Falas, Markos Asprou, Charalambos Konstantinou, Maria K. Michael:
Physics-Informed Neural Networks for Accelerating Power System State Estimation. CoRR abs/2310.03088 (2023) - 2022
- [j29]Saraju P. Mohanty, Jim Plusquellic, Garrett S. Rose, Wei Zhang, Maria K. Michael:
Introduction to the Special Issue on Hardware-Assisted Security for Emerging Internet of Things. ACM J. Emerg. Technol. Comput. Syst. 18(1): 1:1-1:3 (2022) - [j28]Solon Falas, Charalambos Konstantinou, Maria K. Michael:
A Modular End-to-End Framework for Secure Firmware Updates on Embedded Systems. ACM J. Emerg. Technol. Comput. Syst. 18(1): 3:1-3:19 (2022) - [c64]Georgios Tertytchny, Maria K. Michael:
Two-dimensional Dataset Reduction in Data-Driven Fault Detection for IoT-based Cyber Physical Systems. COINS 2022: 1-6 - [c63]Panagiota Nikolaou, Yiannakis Sazeides, Maria K. Michael:
INTERPLAY: An Intelligent Model for Predicting Performance Degradation due to Multi-cache Way-disabling. DFT 2022: 1-7 - [c62]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:
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. IMBSA 2022: 252-266 - [c61]Angeliki Kritikakou, Panagiota Nikolaou, Ivan Rodriguez-Ferrandez, Joseph Paturel, Leonidas Kosmidis, Maria K. Michael, Olivier Sentieys, David Steenari:
Functional and Timing Implications of Transient Faults in Critical Systems. IOLTS 2022: 1-10 - [i4]Panagiota Nikolaou, Yiannakis Sazeides, Maria K. Michael:
INTERPLAY: An Intelligent Model for Predicting Performance Degradation due to Multi-cache Way-disabling. CoRR abs/2206.11566 (2022) - [i3]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:
SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities. CoRR abs/2207.05643 (2022) - 2021
- [c60]Panayiotis Corneliou, Panagiota Nikolaou, Maria K. Michael, Theocharis Theocharides:
Fine-Grained Vulnerability Analysis of Resource Constrained Neural Inference Accelerators. DFT 2021: 1-6 - [c59]Mohamed Faisal Elrawy, Lenos Hadjidemetriou, Christos Laoudias, Maria K. Michael:
Light-weight and Robust Network Intrusion Detection for Cyber-attacks in Digital Substations. ISGT Asia 2021: 1-5 - [c58]Leonidas Stylianou, Lenos Hadjidemetriou, Markos Asprou, Lazaros Zacharia, Maria K. Michael:
A behavioral model to detect data manipulation attacks of synchrophasor measurements. ISGT-Europe 2021: 1-6 - [c57]Subham Datta, Panagiota Nikolaou, Maria K. Michael:
TrustPH: Trustworthy Platoon Head Selection considering Cognitive Biases to enhance Secure Platooning in Intelligent and Connected Vehicles. ITSC 2021: 1760-1766 - 2020
- [j27]Georgios Tertytchny, Nicolas Nicolaou, Maria K. Michael:
Classifying network abnormalities into faults and attacks in IoT-based cyber physical systems using machine learning. Microprocess. Microsystems 77: 103121 (2020) - [j26]Antonio Miele, Qiaoyan Yu, Maria K. Michael:
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. 8(3): 561-563 (2020) - [j25]Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael:
Maintaining Scalability of Test Generation Using Multicore Shared Memory Systems. IEEE Trans. Very Large Scale Integr. Syst. 28(2): 553-564 (2020) - [c56]Georgios Tertytchny, Maria K. Michael:
Dataset Reduction Framework For Intelligent Fault Detection In IoT-based Cyber-Physical Systems Using Machine Learning Techniques. COINS 2020: 1-6 - [c55]Solon Falas, Charalambos Konstantinou, Maria K. Michael:
Special Session: Physics- Informed Neural Networks for Securing Water Distribution Systems. ICCD 2020: 37-40 - [c54]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:
IRES Program in Sensors and Machine Learning for Energy Systems. IISA 2020: 1-5 - [c53]Lenos Hadjidemetriou, Georgios Tertytchny, Hazem Karbouj, Charalambos D. Charalambous, Maria K. Michael, Marios Sazos, Michail Maniatakos:
Demonstration of Man in the Middle Attack on a Feeder Power Factor Correction Unit. ISGT-Europe 2020: 126-130 - [c52]Andreas Kouloumpris, Theocharis Theocharides, Maria K. Michael:
Cost-Effective Time-Redundancy Based Optimal Task Allocation for the Edge-Hub-Cloud Systems. ISVLSI 2020: 368-373 - [c51]Stavros A. Viktoros, Maria K. Michael, Marios M. Polycarpou:
Compact Fault Dictionaries for Efficient Sensor Fault Diagnosis in IoT-enabled CPSs. SmartIoT 2020: 236-243 - [i2]Solon Falas, Charalambos Konstantinou, Maria K. Michael:
A Modular End-to-End Framework for Secure Firmware Updates on Embedded Systems. CoRR abs/2007.09071 (2020) - [i1]Solon Falas, Charalambos Konstantinou, Maria K. Michael:
Physics-Informed Neural Networks for Securing Water Distribution Systems. CoRR abs/2009.08842 (2020)
2010 – 2019
- 2019
- [j24]Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael:
Exploiting Shared-Memory to Steer Scalability of Fault Simulation Using Multicore Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(8): 1466-1479 (2019) - [c50]Georgios Tertytchny, Nicolas Nicolaou, Maria K. Michael:
Differentiating Attacks and Faults in Energy Aware Smart Home System using Supervised Machine Learning. COINS 2019: 122-127 - [c49]Andreas Kouloumpris, Theocharis Theocharides, Maria K. Michael:
Metis: Optimal Task Allocation Framework for the Edge/Hub/Cloud Paradigm. COINS 2019: 128-133 - [c48]Andreas Kouloumpris, Maria K. Michael, Theocharis Theocharides:
Reliability-Aware Task Allocation Latency Optimization in Edge Computing. IOLTS 2019: 200-203 - [c47]Stephan Eggersglüß, Said Hamdioui, Artur Jutman, Maria K. Michael, Jaan Raik, Matteo Sonza Reorda, Mehdi Baradaran Tahoori, Elena-Ioana Vatajelu:
IEEE European Test Symposium (ETS). ITC 2019: 1-4 - [c46]Solon Falas, Charalambos Konstantinou, Maria K. Michael:
Hardware-Enabled Secure Firmware Updates in Embedded Systems. VLSI-SoC (Selected Papers) 2019: 165-185 - [c45]Solon Falas, Charalambos Konstantinou, Maria K. Michael:
A Hardware-based Framework for Secure Firmware Updates on Embedded Systems. VLSI-SoC 2019: 198-203 - 2018
- [j23]Michael A. Skitsas, Chrysostomos A. Nicopoulos, Maria K. Michael:
Exploring System Availability During Software-Based Self-Testing of Multi-core CPUs. J. Electron. Test. 34(1): 67-81 (2018) - [j22]Stelios N. Neophytou, Maria K. Michael:
Path Representation in Circuit Netlists Using Linear-Sized ZDDs with Optimal Variable Ordering. J. Electron. Test. 34(6): 667-683 (2018) - [j21]Maria K. Michael, Salvatore Pontarelli, Omer Khan:
Guest Editorial: Special Section on Defect and Fault Tolerance in VLSI and Nanotechnology. IEEE Trans. Emerg. Top. Comput. 6(4): 447-449 (2018) - 2017
- [j20]Maria K. Michael, Haralampos-G. D. Stratigopoulos:
Recap of the European Test Symposium 2017 (ETS'17). IEEE Des. Test 34(6): 119-120 (2017) - [c44]Maria K. Michael, Rolf Drechsler, Stephan Eggersglüß, Haralampos-G. D. Stratigopoulos, Sybille Hellebrand, Rob Aitken:
Foreword. ETS 2017: 1-2 - [c43]P. Madhukar Reddy, Stavros Hadjitheophanous, Vassos Soteriou, Paul V. Gratz, Maria K. Michael:
Minimal exercise vector generation for reliability improvement. IOLTS 2017: 113-119 - 2016
- [j19]Michael A. Skitsas, Chrysostomos A. Nicopoulos, Maria K. Michael:
DaemonGuard: Enabling O/S-Orchestrated Fine-Grained Software-Based Selective-Testing in Multi-/Many-Core Microprocessors. IEEE Trans. Computers 65(5): 1453-1466 (2016) - [c42]Ioannis Chadjiminas, Ioannis Savva, Christos Kyrkou, Maria K. Michael, Theocharis Theocharides:
Emulation-based hierarchical fault-injection framework for coarse-to-fine vulnerability analysis of hardware-accelerated approximate algorithms. DATE 2016: 830-833 - [c41]Omer Khan, Maria K. Michael, Antonio Miele, Qiaoyan Yu:
Foreword. DFT 2016: iii - [c40]Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael:
Utilizing shared memory multi-cores to speed-up the ATPG process. ETS 2016: 1-6 - [c39]Said Hamdioui, Giorgio Di Natale, Bram Kruseman, Maria K. Michael, Haralampos-G. D. Stratigopoulos:
ETS 2016 foreword. ETS 2016: 1 - [c38]Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael:
Scalable parallel fault simulation for shared-memory multiprocessor systems. VTS 2016: 1-6 - 2015
- [j18]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:
Dependable Multicore Architectures at Nanoscale: The View From Europe. IEEE Des. Test 32(2): 17-28 (2015) - [j17]Michail Maniatakos, Maria K. Michael, Chandra Tirumurti, Yiorgos Makris:
Revisiting Vulnerability Analysis in Modern Microprocessors. IEEE Trans. Computers 64(9): 2664-2674 (2015) - [j16]Hyungjun Kim, Siva Bhanu Krishna Boga, Arseniy Vitkovskiy, Stavros Hadjitheophanous, Paul V. Gratz, Vassos Soteriou, Maria K. Michael:
Use It or Lose It: Proactive, Deterministic Longevity in Future Chip Multiprocessors. ACM Trans. Design Autom. Electr. Syst. 20(4): 65:1-65:26 (2015) - [j15]Michail Maniatakos, Maria K. Michael, Yiorgos Makris:
Multiple-Bit Upset Protection in Microprocessor Memory Arrays Using Vulnerability-Based Parity Optimization and Interleaving. IEEE Trans. Very Large Scale Integr. Syst. 23(11): 2447-2460 (2015) - [c37]Stelios N. Neophytou, Maria K. Michael:
Tackling the complexity of exact path delay fault grading for path intensive circuits. ETS 2015: 1-2 - [c36]Ioannis Chadjiminas, Christos Kyrkou, Theocharis Theocharides, Maria K. Michael, Christos Ttofis:
In-field vulnerability analysis of hardware-accelerated computer vision applications. FPL 2015: 1-4 - [c35]Michael A. Skitsas, Chrysostomos Nicopoulos, Maria K. Michael:
Toward efficient check-pointing and rollback under on-demand SBST in chip multi-processors. IOLTS 2015: 110-115 - 2014
- [j14]Stelios Neophytou, Maria K. Michael:
Multiple detection test generation with diversified fault partitioning paths. Microprocess. Microsystems 38(6): 585-597 (2014) - [c34]Michael A. Skitsas, Chrysostomos Nicopoulos, Maria K. Michael:
Exploration of system availability during software-based self-testing in many-core systems under test latency constraints. DFT 2014: 33-39 - [c33]Stelios N. Neophytou, Maria K. Michael:
Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs. ICCD 2014: 489-492 - 2013
- [c32]Michail Maniatakos, Maria K. Michael, Yiorgos Makris:
AVF-driven parity optimization for MBU protection of in-core memory arrays. DATE 2013: 1480-1485 - [c31]Michael A. Skitsas, Chrysostomos Nicopoulos, Maria K. Michael:
DaemonGuard: O/S-assisted selective software-based Self-Testing for multi-core systems. DFTS 2013: 45-51 - [c30]Stelios Neophytou, Stavros Hadjitheophanous, Maria K. Michael:
On the impact of fault list partitioning in parallel implementations for dynamic test compaction considering multicore systems. IDT 2013: 1-6 - [c29]Ioannis Voyiatzis, Stelios Neophytou, Maria K. Michael, Stavros Hadjitheophanous, Cleo Sgouropoulou, Costas Efstathiou:
Test set embedding into accumulator-generated sequences targeting hard-to-detect faults. IDT 2013: 1-2 - [c28]Michail Maniatakos, Maria K. Michael, Yiorgos Makris:
Investigating the limits of AVF analysis in the presence of multiple bit errors. IOLTS 2013: 49-54 - 2012
- [j13]Stelios Neophytou, Kyriakos Christou, Maria K. Michael:
A Non-Enumerative Technique for Measuring Path Correlation in Digital Circuits. J. Electron. Test. 28(6): 843-856 (2012) - [j12]Christos Ttofis, Theocharis Theocharides, Maria K. Michael:
FPGA-Based Laboratory Assignments for NoC-Based Manycore Systems. IEEE Trans. Educ. 55(2): 180-189 (2012) - [j11]Stelios Neophytou, Maria K. Michael:
Test Pattern Generation of Relaxed n-Detect Test Sets. IEEE Trans. Very Large Scale Integr. Syst. 20(3): 410-423 (2012) - [c27]Michail Maniatakos, Maria K. Michael, Yiorgos Makris:
Vulnerability-based Interleaving for Multi-Bit Upset (MBU) protection in modern microprocessors. ITC 2012: 1-8 - 2011
- [j10]Christos Ttofis, Agathoklis Papadopoulos, Theocharis Theocharides, Maria K. Michael, Demosthenes Doumenis:
An MPSoC-Based QAM Modulation Architecture with Run-Time Load-Balancing. EURASIP J. Embed. Syst. 2011 (2011) - [j9]Rajsekhar Adapa, Spyros Tragoudas, Maria K. Michael:
Improved diagnosis using enhanced fault dominance. Integr. 44(3): 217-228 (2011) - [c26]Stelios Neophytou, Kyriakos Christou, Maria K. Michael:
An Approach for Quantifying Path Correlation in Digital Circuits without any Path or Segment Enumeration. ETS 2011: 141-146 - [c25]Agathoklis Papadopoulos, Theocharis Theocharides, Maria K. Michael:
Towards optimal CMOS lifetime via unified reliability modeling and multi-objective optimization. ISCAS 2011: 1049-1052 - 2010
- [j8]Theocharis Theocharides, Maria K. Michael, Marios M. Polycarpou, Ajit Dingankar:
Hardware-Enabled Dynamic Resource Allocation for Manycore Systems Using Bidding-Based System Feedback. EURASIP J. Embed. Syst. 2010 (2010) - [j7]Stelios Neophytou, Maria K. Michael:
Test Set Generation with a Large Number of Unspecified Bits Using Static and Dynamic Techniques. IEEE Trans. Computers 59(3): 301-316 (2010) - [c24]Christos Ttofis, Agathoklis Papadopoulos, Theocharis Theocharides, Maria K. Michael, Demosthenes Doumenis:
A reconfigurable MPSoC-based QAM modulation architecture. VLSI-SoC 2010: 137-142 - [c23]Kyriakos Christou, Maria K. Michael, Stelios Neophytou:
Identification of critical primitive path delay faults without any path enumeration. VTS 2010: 9-14
2000 – 2009
- 2009
- [c22]Stelios Neophytou, Maria K. Michael, Kyriakos Christou:
Generating Diverse Test Sets for Multiple Fault Detections Based on Fault Cone Partitioning. DFT 2009: 401-409 - [c21]Theocharis Theocharides, Maria K. Michael, Marios M. Polycarpou, Ajit Dingankar:
Towards embedded runtime system level optimization for MPSoCs: on-chip task allocation. ACM Great Lakes Symposium on VLSI 2009: 121-124 - [c20]Christos Ttofis, Christos Kyrkou, Theocharis Theocharides, Maria K. Michael:
FPGA-based NoC-driven sequence of lab assignments for manycore systems. MSE 2009: 5-8 - 2008
- [j6]Kyriakos Christou, Maria K. Michael, Spyros Tragoudas:
On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation. J. Electron. Test. 24(1-3): 203-222 (2008) - [c19]Paolo Bernardi, Kyriakos Christou, Michelangelo Grosso, Maria K. Michael, Ernesto Sánchez, Matteo Sonza Reorda:
Exploiting MOEA to Automatically Geneate Test Programs for Path-Delay Faults in Microprocessors. EvoWorkshops 2008: 224-234 - [c18]Stelios Neophytou, Maria K. Michael:
Two New Methods for Accurate Test Set Relaxation via Test Set Replacement. ISQED 2008: 827-831 - [c17]Theocharis Theocharides, Maria K. Michael, Marios M. Polycarpou, Ajit Dingankar:
A Novel System-Level On-Chip Resource Allocation Method for Manycore Architectures. ISVLSI 2008: 99-104 - [c16]Stelios Neophytou, Maria K. Michael:
On the Relaxation of n-detect Test Sets. VTS 2008: 187-192 - [c15]Kyriakos Christou, Maria K. Michael, Paolo Bernardi, Michelangelo Grosso, Ernesto Sánchez, Matteo Sonza Reorda:
A Novel SBST Generation Technique for Path-Delay Faults in Microprocessors Exploiting Gate- and RT-Level Descriptions. VTS 2008: 389-394 - 2007
- [c14]Stelios Neophytou, Maria K. Michael:
Hierarchical Fault Compatibility Identification for Test Generation with a Small Number of Specified Bits. DFT 2007: 439-447 - [c13]Rajsekhar Adapa, Spyros Tragoudas, Maria K. Michael:
Accelerating Diagnosis via Dominance Relations between Sets of Faults. VTS 2007: 219-224 - 2006
- [j5]Stelios Neophytou, Maria K. Michael, Spyros Tragoudas:
Functions for Quality Transition-Fault Tests and Their Applications in Test-Set Enhancement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(12): 3026-3035 (2006) - [c12]Kyriakos Christou, Maria K. Michael, Spyros Tragoudas:
Implicit Critical PDF Test Generation with Maximal Test Efficiency. DFT 2006: 50-58 - [c11]Stelios Neophytou, Maria K. Michael, Spyros Tragoudas:
Efficient Deterministic Test Generation for BIST Schemes with LFSR Reseeding. IOLTS 2006: 43-50 - [c10]Rajsekhar Adapa, Spyros Tragoudas, Maria K. Michael:
Sub-faults identification for collapsing in diagnosis. ISCAS 2006 - [c9]Rajsekhar Adapa, Spyros Tragoudas, Maria K. Michael:
Evaluation of Collapsing Methods for Fault Diagnosis. ISQED 2006: 439-444 - 2005
- [j4]Maria K. Michael, Spyros Tragoudas:
Function-based compact test pattern generation for path delay faults. IEEE Trans. Very Large Scale Integr. Syst. 13(8): 996-1001 (2005) - [c8]Stelios Neophytou, Maria K. Michael, Spyros Tragoudas:
Test set enhancement for quality transition faults using function-based methods. ACM Great Lakes Symposium on VLSI 2005: 182-187 - [c7]Maria K. Michael, Kyriakos Christou, Spyros Tragoudas:
Towards finding path delay fault tests with high test efficiency using ZBDDs. ICCD 2005: 464-467 - [c6]Maria K. Michael, Stelios Neophytou, Spyros Tragoudas:
Functions for Quality Transition Fault Tests. ISQED 2005: 327-332 - 2004
- [j3]Maria K. Michael, Themistoklis Haniotakis, Spyros Tragoudas:
A unified framework for generating all propagation functions for logic errors and events. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(6): 980-986 (2004) - 2003
- [j2]Saravanan Padmanaban, Maria K. Michael, Spyros Tragoudas:
Exact path delay fault coverage with fundamental ZBDD operations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(3): 305-316 (2003) - [c5]Maria K. Michael, Spyros Tragoudas:
Generation of Hazard Identification Functions. ISQED 2003: 419-424 - 2002
- [j1]Maria K. Michael, Spyros Tragoudas:
ATPG tools for delay faults at the functional level. ACM Trans. Design Autom. Electr. Syst. 7(1): 33-57 (2002) - 2001
- [c4]Maria K. Michael, Spyros Tragoudas:
ATPG for Path Delay Faults without Path Enumeration. ISQED 2001: 384-389 - [c3]Saravanan Padmanaban, Maria K. Michael, Spyros Tragoudas:
Exact path delay grading with fundamental BDD operations. ITC 2001: 642-651
1990 – 1999
- 1999
- [c2]Spyros Tragoudas, Maria K. Michael:
ATPG Tools for Delay Faults at the Functional Level. DATE 1999: 631- - [c1]Spyros Tragoudas, Maria K. Michael:
Functional ATPG for Delay Faults. Great Lakes Symposium on VLSI 1999: 16-19
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
