Hussama Ismail

According to our database, Hussama Ismail authored at least 15 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Verifying fragility in digital systems with uncertainties using DSVerifier <i>v</i>2.0.

Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

J. Syst. Softw., 2019

2018

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.

Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho

IEEE Trans. Reliab., 2018

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs.

Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Sci. Comput. Program., 2018

2017

Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.

Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho

IEEE Trans. Computers, 2017

Handling loops in bounded model checking of C programs via k-induction.

Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro

Int. J. Softw. Tools Technol. Transf., 2017

Multi-core model checking and maximum satisfiability applied to hardware-software partitioning.

Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galvão Dos Santos Junior, Hussama Ibrahim Ismail, Helder Cruz Da Silva, Lucas Carvalho Cordeiro

Int. J. Embed. Syst., 2017

DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).

Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Verification of fixed-point digital controllers using direct and delta forms realizations.

Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho

Des. Autom. Embed. Syst., 2016

2015

Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version).

Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro

CoRR, 2015

Model Checking Embedded C Software using k-Induction and Invariants (extended version).

Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto

CoRR, 2015

Model Checking C Programs with Loops via k-Induction and Invariants.

Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto

CoRR, 2015

DSVerifier: A Bounded Model Checking Tool for Digital Systems.

Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems.

Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro

Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

Model Checking Embedded C Software Using k-Induction and Invariants.

Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto

Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

2014

Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking.

Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014