Pablo Sanchez

发表

Identifying bioentity recognition errors of rule-based text-mining systems

Christian Blaschke, Catia Pesquita, Francisco M. Couto, 2008, 2008 Third International Conference on Digital Information Management.

Assertion-based Verification of Behavioral Descriptions with Non-linear Solver

Pablo Sanchez, Iñigo Ugarte, 2006, 2006 IEEE International High Level Design Validation and Test Workshop.

Optimized coverage-directed random simulation

Pablo Sanchez, Iñigo Ugarte, 2008, 2008 IEEE International High Level Design Validation and Test Workshop.

Filtering Bioentity Recognition Errors in Bioliterature using a Casebased Approach

Christian Blaschke, Francisco M. Couto, Tiago Grego, 2007 .

System level fault simulation

Pablo Sanchez, Isabel Hidalgo, 1996, Proceedings International Test Conference 1996. Test and Design Validity.

Formal meaning of coverage metrics in simulation-based hardware design verification

Pablo Sanchez, Iñigo Ugarte, 2005, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..

Assertion checking of behavioral descriptions with nonlinear solver

Pablo Sanchez, Iñigo Ugarte, 2005, 2005 International Conference on Computer Design.

Verification of Embedded Systems Based on Interval Analysis

Pablo Sanchez, Iñigo Ugarte, P. Sánchez, 2005, International Journal of Parallel Programming.

Parallel Native-Simulation for Multi-processing Embedded Systems

Pablo Sanchez, Alejandro Nicolas, 2015, 2015 Euromicro Conference on Digital System Design.

Integration of domain-specific models into a MDA framework for time-critical embedded systems

Jorge Ocón, Pablo Sanchez, Javier Barreda, 2008, 2008 International Workshop on Intelligent Solutions in Embedded Systems.

Embedded hardware and software self-testing methodologies for processor cores

Sujit Dey, Li Chen, Ying Cheng, 2000, DAC.

Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems

Pablo Sanchez, Iñigo Ugarte, 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..

Using a Soft Core in a SoC Design: Experiences with picoJava

Sujit Dey, Li Chen, Clark N. Taylor, 2000, IEEE Des. Test Comput..

Simulation of Attacks for Security in Wireless Sensor Network

Pablo Sanchez, Alvaro Diaz, P. Sánchez, 2016, Sensors.

Assertion checking of control dominated systems with nonlinear solvers

Pablo Sanchez, Iñigo Ugarte, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..