Hussama Ibrahim Ismail

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Inductive Inference

Hardware Software Partitioning

Formal Verification

Top Venues

Int. J. Embed. Syst.

Int. J. Softw. Tools Technol. Transf.

J. Syst. Softw.

Publications

Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2.0. J. Syst. Softw. 153 (2019)
Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro
Handling loops in bounded model checking of C programs via k-induction. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
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. Int. J. Embed. Syst. 9 (6) (2017)
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)