Hussama Ismail

11 papers Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2018 J jnl
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.
IEEE Trans. Reliab.
Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2018 J jnl
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs.
Sci. Comput. Program.
Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2017 — conf
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).
TACAS (2)
Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer
2017 J jnl
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.
IEEE Trans. Computers
Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho
2016 J jnl
Verification of fixed-point digital controllers using direct and delta forms realizations.
Des. Autom. Embed. Syst.
Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho
2015 J jnl
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version).
CoRR
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
2015 — conf
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems.
SBESC
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
2015 — conf
DSVerifier: A Bounded Model Checking Tool for Digital Systems.
SPIN
Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho
2015 J jnl
Model Checking C Programs with Loops via k-Induction and Invariants.
CoRR
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
2015 — conf
Model Checking Embedded C Software Using k-Induction and Invariants.
SBESC
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
2015 J jnl
Model Checking Embedded C Software using k-Induction and Invariants (extended version).
CoRR
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto