| ARCHVerifyr: An Embedded Software-Driven Approach for Architecture Verification | 0 | 0.34 | 2018 |
| A Scalable Approach for Hardware Semiformal Verification. | 0 | 0.34 | 2018 |
| Semiformal Verification of Software-Controlled Connections. | 0 | 0.34 | 2017 |
| A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking | 0 | 0.34 | 2016 |
| Scalable and Optimized Hybrid Verification of Embedded Software | 2 | 0.38 | 2015 |
| Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications. | 3 | 0.56 | 2013 |
| Optimized Static Parameter Assignment for Semiformal Software Verification. | 1 | 0.36 | 2012 |
| Scalable and Extendable Hybrid Verification Platform. | 1 | 0.36 | 2011 |
| Simulation-based verification of the MOST NetInterface specification revision 3.0 | 2 | 0.39 | 2010 |
| Semiformal verification of temporal properties in automotive hardware dependent software | 7 | 0.50 | 2009 |
| Verification of temporal properties in automotive embedded software | 8 | 0.60 | 2008 |
| Coverage Driven Verification applied to Embedded Software | 5 | 0.49 | 2007 |
| Semiformal Verification of Temporal Properties in Embedded Software. | 1 | 0.40 | 2007 |
| Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks | 4 | 1.39 | 2004 |
| Electrocardiogram Pattern Recognition by Means of MLP Network and PCA: A Case Study on Equal Amount of Input Signal Types | 5 | 0.89 | 2002 |
