Hipólito Guzmán-Miranda

21 papers A 1B 1C 6Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
An arbitrary waveform neurostimulator for preclinical studies: design and verification.
Medical Biol. Eng. Comput.
Hipólito Guzmán-Miranda, Alejandro Barriga-Rivera
2025 J jnl
FVM: A Formal Verification Methodology for VHDL Designs.
IEEE Open J. Comput. Soc.
Hipólito Guzmán-Miranda, Marcos López García, Alberto Urbón Aguado
2024 J jnl
Lynx: An Efficient and Flexible Communication Schema for On-Chip and Off-Chip Applications in Distributed Static Industrial Networks.
IEEE Trans. Ind. Informatics
Hipólito Guzmán-Miranda, Abraham Marquez Alcaide
2024 J jnl
Protocol-aware approach for mitigating radiation-induced errors in free-space optical downlinks.
J. Opt. Commun. Netw.
Jorge Pacheco-Labrador, Carmen Misa Moreira, Julio Ramirez Molina, Hipólito Guzmán-Miranda
2024 C conf
WalkIES robotic walker and brief description of standard and robotic walkers.
IECON
Larisa Dunai, Isabel Seguí-Verdú, Alin Tisan, Hipólito Guzmán-Miranda, Victor Huang, Cheng-Jen Allen Chen, Daswin De Silva, Stamatis Karnouskos, Daisuke Chugo, Valeriy Vyatkin
2021 C conf
A Cross-Disciplinary View of Industrial Electronics: Change, Chance, and Challenge.
IECON
Jinhua She, Hipólito Guzmán-Miranda, Victor K. L. Huang, Allen C. Chen, Stamatis Karnouskos, Larisa Dunai, Alin Tisan, Sho Yokota
2017 — conf
Contrast of a HDL model and COTS version of a microprocessor for soft-error testing.
LATS
Jose Isaza-Gonzalez, Alejandro Serrano-Cases, Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Hipólito Guzmán-Miranda, Miguel A. Aguirre
2017 — conf
SEU fault classification by fault injection for an FPGA in the space instrument SOPHI.
AHS
Holger Michel, Hipólito Guzmán-Miranda, Alexander Dörflinger, Harald Michalik, Miguel Aguirre Aguirre Echánove
2015 — conf
FPGA-based mimicking of cryptographic device hacking through fault injection attacks.
ICIT
Jose Manuel Martin-Valencia, Hipólito Guzmán-Miranda, Miguel Angel Aguirre Echánove
2014 C conf
Early assessment of SEU sensitivity through untestable fault identification.
IOLTS
Luca Cassano, Hipólito Guzmán-Miranda, Miguel A. Aguirre
2014 — conf
On the modelling of SEU effects on spread spectrum wireless systems.
WiSEE
Patricio Lopez Gonzalez, Vicente Baena Lecuyer, Hipólito Guzmán-Miranda, Javier Barrientos Rojas, Miguel A. Aguirre
2014 C conf
Two complementary approaches for studying the effects of SEUs on HDL-based designs.
IOLTS
Wassim Mansour, Miguel A. Aguirre, Hipólito Guzmán-Miranda, Javier Barrientos Rojas, Raoul Velazco
2013 J jnl
Exploiting Fault Model Correlations to Accelerate SEU Sensitivity Assessment.
IEEE Trans. Ind. Informatics
Michelangelo Grosso, Hipólito Guzmán-Miranda, Miguel A. Aguirre
2013 C conf
Implementation of a machine vision system for real-time traffic sign recognition on FPGA.
IECON
Nicolas Aguirre-Dobernack, Hipólito Guzmán-Miranda, Miguel A. Aguirre
2012 J jnl
Compiler-Directed Soft Error Mitigation for Embedded Systems.
IEEE Trans. Dependable Secur. Comput.
Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, Miguel A. Aguirre
2011 J jnl
Coping With the Obsolescence of Safety- or Mission-Critical Embedded Systems Using FPGAs.
IEEE Trans. Ind. Electron.
Hipólito Guzmán-Miranda, Luca Sterpone, Massimo Violante, Miguel A. Aguirre, Manuel Gutiérrez-Rizo
2011 J jnl
Soft core based embedded systems in critical aerospace applications.
J. Syst. Archit.
Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, Miguel A. Aguirre
2010 C conf
A compiler-based infrastructure for fault-tolerant co-design.
SCOPES
Felipe Restrepo-Calle, Antonio Martínez-Álvarez, Hipólito Guzmán-Miranda, Francisco R. Palomo, Miguel A. Aguirre, Sergio Cuenca-Asensi
2010 B conf
Rapid Prototyping of Radiation-Tolerant Embedded Systems on FPGA.
FPL
Felipe Restrepo-Calle, Antonio Martínez-Álvarez, Francisco R. Palomo, Hipólito Guzmán-Miranda, M. A. Aguirre, Sergio Cuenca-Asensi
2009 J jnl
Noninvasive Fault Classification, Robustness and Recovery Time Measurement in Microprocessor-Type Architectures Subjected to Radiation-Induced Errors.
IEEE Trans. Instrum. Meas.
Hipólito Guzmán-Miranda, M. A. Aguirre, Jonathan Noel Tombs
2008 A conf
On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applications.
DATE
Luca Sterpone, M. A. Aguirre, Jonathan Noel Tombs, Hipólito Guzmán-Miranda