Hussama Ismail
Hussama Ibrahim Ismail
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
Journal Articles
- 2018
- [j5]Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152: 63-69 (2018) - 2017
- [j4]Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galvão Dos Santos Junior, Hussama Ibrahim Ismail, Helder Cruz Da Silva, Lucas Carvalho Cordeiro:
Multi-core model checking and maximum satisfiability applied to hardware-software partitioning. IJES 9(6): 570-582 (2017) - [j3]Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro:
Handling loops in bounded model checking of C programs via k-induction. STTT 19(1): 97-114 (2017) - [j2]Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho:
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Trans. Computers 66(3): 545-552 (2017) - 2016
- [j1]Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho:
Verification of fixed-point digital controllers using direct and delta forms realizations. Design Autom. for Emb. Sys. 20(2): 95-126 (2016)
Conference and Workshop Papers
- 2017
- [c5]Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer:
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). TACAS (2) 2017: 360-364 - 2015
- [c4]Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software Using k-Induction and Invariants. SBESC 2015: 90-95 - [c3]Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. SBESC 2015: 102-105 - [c2]Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho:
DSVerifier: A Bounded Model Checking Tool for Digital Systems. SPIN 2015: 126-131 - 2014
- [c1]Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho:
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. SBESC 2014: 49-54
Informal and Other Publications
- 2015
- [i3]Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking C Programs with Loops via k-Induction and Invariants. CoRR abs/1502.02327 (2015) - [i2]Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software using k-Induction and Invariants (extended version). CoRR abs/1509.02471 (2015) - [i1]Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version). CoRR abs/1509.02492 (2015)
Coauthor Index
Lucas C. Cordeiro
aka: Lucas Carvalho Cordeiro
aka: Lucas Carvalho Cordeiro
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-01-03 21:49 CET by the dblp team