| Handling loops in bounded model checking of C programs via k-induction MYR Gadelha, HI Ismail, LC Cordeiro International journal on software tools for technology transfer 19 (1), 97-114, 2017 | 106 | 2017 |
| DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs: (Competition Contribution) W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2017 | 49 | 2017 |
| Model Checking Embedded C Software Using k-Induction and Invariants H Rocha, H Ismail, L Cordeiro, R Barreto Embedded Software Verification and Debugging, 159-182, 2017 | 38 | 2017 |
| DSVerifier: A Bounded Model Checking Tool for Digital Systems HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho | 38 | 2015 |
| Verification of fixed-point digital controllers using direct and delta forms realizations IV Bessa, HI Ismail, LC Cordeiro, JEC Filho Design Automation for Embedded Systems 20, 95-126, 2016 | 34 | 2016 |
| ESBMC-GPU a context-bounded model checking tool to verify CUDA programs FR Monteiro, EHS Alves, IS Silva, HI Ismail, LC Cordeiro, ... Science of Computer Programming 152, 63-69, 2018 | 33 | 2018 |
| Formal non-fragile stability verification of digital control systems with uncertainty I Bessa, H Ismail, R Palhares, L Cordeiro, JE Chaves Filho IEEE Transactions on Computers 66 (3), 545-552, 2016 | 32 | 2016 |
| DSVerifier-aided verification applied to attitude control software in unmanned aerial vehicles L Chaves, IV Bessa, H Ismail, AB dos Santos Frutuoso, L Cordeiro, ... IEEE Transactions on Reliability 67 (4), 1420-1441, 2018 | 23 | 2018 |
| Verifying fragility in digital systems with uncertainties using DSVerifier v2. 0 LC Chaves, HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho Journal of Systems and Software 153, 22-43, 2019 | 15 | 2019 |
| Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking I Bessa, H Ibrahim, L Cordeiro, JE Chaves Filho | 14 | 2014 |
| Multi-core model checking and maximum satisfiability applied to hardware-software partitioning AB Trindade, RDF Degelo, EGDS Junior, HI Ismail, HCD Silva, ... International Journal of Embedded Systems 9 (6), 570-582, 2017 | 7 | 2017 |
| Applying multi-core model checking to hardware-software partitioning in embedded systems A Trindade, H Ismail, L Cordeiro 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 102-105, 2015 | 7 | 2015 |
| JE Filho,“ I Bessa, H Ibrahim, L Cordeiro Verification of Delta Form Realization in Fixed-Point Digital Controllers …, 2014 | 6 | 2014 |
| Model Checking C Programs with Loops via k-induction and Invariants H Rocha, H Ismail, L Cordeiro, R Barreto arXiv preprint arXiv:1502.02327, 2015 | 4 | 2015 |
| Model Checking Embedded C Software using k-Induction and Invariants (extended version) H Rocha, H Ismail, L Cordeiro, R Barreto arXiv preprint arXiv:1509.02471, 2015 | 1 | 2015 |
| Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo HI Ismail Universidade Federal do Amazonas, 2015 | | 2015 |
| Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version) A Trindade, H Ismail, L Cordeiro arXiv preprint arXiv:1509.02492, 2015 | | 2015 |
| Multi-Core Model Checking and Maximum Satisfiability Applied to Hardware-Software Partitioning Alessandro Bezerra Trindade*, Renato de Faria EGSJ Degelo, HI Ismail, HC da Silva, LC Cordeiro | | |
Lucas C. CordeiroProfessor of Computer Science, University of Manchester | Universidade Federal do Amazonas | VeriBeeE-mailová adresa ověřena na: manchester.ac.uk