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
602017
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs
W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer
International Conference on Tools and Algorithms for the Construction and …, 2017
352017
DSVerifier: A Bounded Model Checking Tool for Digital Systems
HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho
342015
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
322017
Verification of fixed-point digital controllers using direct and delta forms realizations
IV Bessa, HI Ismail, LC Cordeiro, EC Joao Filho
Design Automation for Embedded Systems 20 (2), 95-126, 2016
312016
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
292016
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
142018
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
82018
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
82015
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking
I Bessa, H Ibrahim, L Cordeiro, JE Chaves Filho
82014
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
52017
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
42019
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
Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
HI Ismail
Universidade Federal do Amazonas, 2015
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
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–17