Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Antonio Martinez-Alvarez

Dependability Evaluation of COTS Microprocessors via On-Chip Debugging Facilities

2016English

Efficient Mitigation of Data and Control Flow Errors in Microprocessors

2013English

Related publications

Secure and Flexible Trace-Based Debugging of Systems-On-Chip

ACM Transactions on Design Automation of Electronic Systems
Computer Science ApplicationsElectronic EngineeringComputer GraphicsElectricalComputer-Aided Design
2017English

Evaluation of Cardinality Constraints on SMT-Based Debugging

2009English

COTS Acquisition Evaluation Process: Preacher's Practice

2004English

Debugging via Run-Time Type Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Using Efficient Path Profiling to Optimize Memory Consumption of On-Chip Debugging for High-Level Synthesis

Transactions on Embedded Computing Systems
HardwareArchitectureSoftware
2017English

Reusing Debugging Knowledge via Trace-Based Bug Search

2012English

Reusing Debugging Knowledge via Trace-Based Bug Search

ACM SIGPLAN Notices
Computer Science
2012English

Dependability Evaluation of Real-Time Applications Distributed on Tdma-Based Networks

2006English

Dependability Evaluation of an Air Traffic Control Computing System

Performance Evaluation
Computer NetworksSimulationHardwareCommunicationsArchitectureModelingSoftware
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy