Hussama Ismail

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 5

Top Topics

Formal Specification

Temporal Properties

Pspace Complete

Top Venues

IEEE Trans. Reliab.

Sci. Comput. Program.

Publications

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 (2018)
Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Trans. Reliab. 67 (4) (2018)
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)
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) (2017)
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. Des. Autom. Embed. Syst. 20 (2) (2016)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking Embedded C Software Using k-Induction and Invariants. SBESC (2015)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking Embedded C Software using k-Induction and Invariants (extended version). CoRR (2015)
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version). CoRR (2015)
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. SBESC (2015)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking C Programs with Loops via k-Induction and Invariants. CoRR (2015)
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)