A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks

artículo científico publicado en 2021

Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries

Fixing the Java bytecode verifier by a suitable type domain

artículo científico publicado en 2002

Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries

Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs