Seguir
Hussama Ibrahim Ismail
Título
Citado por
Citado por
Ano
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
922017
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs: (Competition Contribution)
W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
472017
DSVerifier: A Bounded Model Checking Tool for Digital Systems
HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho
382015
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
372017
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
342016
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
322016
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
312018
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
192018
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
142019
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking
I Bessa, H Ibrahim, L Cordeiro, JE Chaves Filho
132014
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
72017
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
72015
JE Filho,“
I Bessa, H Ibrahim, L Cordeiro
Verification of Delta Form Realization in Fixed-Point Digital Controllers …, 2014
62014
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
42015
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
12015
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–18