ask others

Hussama Ismail

Hussama Ibrahim Ismail

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/MonteiroASICF18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/MonteiroASICF18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijes/TrindadeDJISC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijes/TrindadeDJISC17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/GadelhaIC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/GadelhaIC17
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tc/BessaIPCF17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tc/BessaIPCF17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dafes/BessaICF16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dafes/BessaICF16
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

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/RochaRIC017
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/RochaRIC017
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sbesc/RochaICB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbesc/RochaICB15
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sbesc/TrindadeIC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbesc/TrindadeIC15
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. SBESC 2015: 102-105
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/IsmailBCFF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/IsmailBCFF15
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sbesc/BessaICF14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbesc/BessaICF14
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

see FAQ

What is the meaning of the colors in the publication lists?

2015
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/RochaICB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/RochaICB15
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/RochaICB15a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/RochaICB15a
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/TrindadeIC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/TrindadeIC15
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

see FAQ

maintained by

at