| A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D. | 0 | 0.34 | 2020 |
| Automated Video Monitor Screen Extraction using Semantic Segmentation and CNN | 0 | 0.34 | 2020 |
| A Methodology for Self-diagnosis and Behavior Correction in Digital Television Receivers - Initial Concept. | 0 | 0.34 | 2020 |
| An Architecture For Content Multiplexing And Enhanced Connectivity In Digital Tv Receivers | 0 | 0.34 | 2019 |
| An Automated Testing Methodology For Digital TV Middleware Implementations | 0 | 0.34 | 2019 |
| An Architecture For Multimedia Transmission Through Infrared Light Communications In Consumer Electronics Environments: First Results | 0 | 0.34 | 2019 |
| Verifying fragility in digital systems with uncertainties using DSVerifier 2.0. | 1 | 0.35 | 2019 |
| A Methodology For Convergence Between Ginga And Hbbtv | 0 | 0.34 | 2019 |
| ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. | 3 | 0.42 | 2018 |
| Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). | 0 | 0.34 | 2018 |
| DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. | 0 | 0.34 | 2018 |
| A method to localize faults in concurrent C programs. | 1 | 0.37 | 2017 |
| Bounded model checking of C plus plus programs based on the Qt cross-platform framework | 5 | 0.67 | 2017 |
| BMCLua: A Translator for Model Checking Lua Programs. | 0 | 0.34 | 2017 |
| OptCE: A Counterexample-Guided Inductive Optimization Solver. | 0 | 0.34 | 2017 |
| Program clock reference correction in transport stream processors with rate adaptation. | 0 | 0.34 | 2017 |
| Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. | 0 | 0.34 | 2017 |
| Verifying Digital Systems with MATLAB. | 2 | 0.38 | 2017 |
| New Designs for Reduced-Redundancy Transceivers. | 0 | 0.34 | 2017 |
| ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. | 0 | 0.34 | 2016 |
| Bounded model checking for fixed-point digital filters. | 6 | 0.49 | 2016 |
| SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends. | 1 | 0.37 | 2016 |
| Automated Content Detection On Tvs And Computer Monitors | 0 | 0.34 | 2015 |
| Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version) | 0 | 0.34 | 2015 |
| Bounded Model Checking Of C Plus Plus Programs Based On The Qt Framework | 0 | 0.34 | 2015 |
| Electromyographic Signal Compression Based On Two-Dimensional Techniques | 0 | 0.34 | 2015 |
| Discriminative Filtering With Principal Component Analysis And Adaptive Alignment | 0 | 0.34 | 2015 |
| Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. | 2 | 0.36 | 2015 |
| Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version) | 0 | 0.34 | 2015 |
| DSVerifier: A Bounded Model Checking Tool for Digital Systems | 12 | 0.63 | 2015 |
| BMCLua: Verification of Lua programs in digital TV interactive applications | 1 | 0.36 | 2014 |
| On ECG Signal Compression With 1-D Multiscale Recurrent Patterns Allied to Preprocessing Techniques. | 5 | 0.43 | 2009 |
| Universal Image Compression Using Multiscale Recurrent Patterns With Adaptive Probability Model | 6 | 0.57 | 2008 |
