Chaves, Lennon ; Bessa, Iury ; Ismail, Hussama... Chaves , L , Bessa , I , Ismail , H , Frutuoso , A , Cordeiro , L & de Lima Filho , E B 2018 , ' DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles ' , IEEE Transactions on Reliability , vol. 67 , no. 4 , pp. 1420-1441 . https://doi.org/10.1109/TR.2018.2873260.
,
2018
Rocha, Williame ; Rocha, Herbert ; Ismail, Hussama.. Rocha , W , Rocha , H , Ismail , H , Cordeiro , L & Fischer , B 2017 , DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs . in Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, PT II . vol. 10206 , Lecture Notes in Computer Science , pp. 360-364 . https://doi.org/10.1007/978-3-662-54580-5_23 , https://doi.org/10.1007/978-3-662-54580-5_23.
,
2017
Bessa, Iury ; Ismail, Hussama ; Palhares, Reinaldo.. Bessa , I , Ismail , H , Palhares , R , Cordeiro , L & Filho , J E C 2017 , ' Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty ' , IEEE Transactions on Computers , vol. 66 , no. 3 , pp. 545-552 . https://doi.org/10.1109/TC.2016.2601328.
,
2017
Chaves, Lennon C ; Ismail, Hussama I ; Bessa, Iury V.. Chaves , L C , Ismail , H I , Bessa , I V , Cordeiro , L & de Lima Filho , E B 2019 , ' Verifying Fragility in Digital Systems with Uncertainties using DSVerier v2:0 ' , The Journal of Systems and Software . https://doi.org/10.1016/j.jss.2019.03.015.
,
2019
Monteiro, Felipe R ; Da S. Alves, Erickson H ; Silva, Isabela S... Monteiro , F R , Da S. Alves , E H , Silva , I S , Ismail , H I , Cordeiro , L C & De Lima Filho , E B 2018 , ' ESBMC-GPU A context-bounded model checking tool to verify CUDA programs ' , Science of Computer Programming , vol. 152 , pp. 63-69 . https://doi.org/10.1016/j.scico.2017.09.005.
,
2018
Gadelha, Mikhail Y. R ; Ismail, Hussama I ; Cordeiro, Lucas C Gadelha , M Y R , Ismail , H I & Cordeiro , L C 2017 , ' Handling loops in bounded model checking of C programs via k-induction ' , International Journal on Software Tools for Technology Transfer , vol. 19 , no. 1 , pp. 97-114 . https://doi.org/10.1007/s10009-015-0407-9.
,
2017
Trindade, Alessandro Bezerra ; Degelo, Renato De Faria ; Galvao Dos Santos Junior, Edilson... Trindade , A B , Degelo , R D F , Galvao Dos Santos Junior , E , Ismail , H I , Silva , H C D & Cordeiro , L C 2017 , ' Multi-core model checking and maximum satisfiability applied to hardware-software partitioning ' , International Journal of Embedded Systems , vol. 9 , no. 6 , pp. 570 . https://doi.org/10.1504/IJES.2017.088044.
,
2017
Ismail, Hussama Ibrahim ; http://lattes.cnpq.br/0237240942570724 ISMAIL, Hussama Ibrahim. Verifica????o de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. 2015. 95 f. Disserta????o (Mestrado em Engenharia El??trica ) - Universidade Federal do Amazonas, Manaus, 2015..
,
2015
