Hussama Ismail

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Verifying fragility in digital systems with uncertainties using DSVerifier <i>v</i>2.0.
J. Syst. Softw., 2019

2018
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.
IEEE Trans. Reliab., 2018

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs.
Sci. Comput. Program., 2018

2017
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.
IEEE Trans. Computers, 2017

Handling loops in bounded model checking of C programs via k-induction.
Int. J. Softw. Tools Technol. Transf., 2017

Multi-core model checking and maximum satisfiability applied to hardware-software partitioning.
Int. J. Embed. Syst., 2017

DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).
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.
Des. Autom. Embed. Syst., 2016

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

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

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

DSVerifier: A Bounded Model Checking Tool for Digital Systems.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems.
Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

Model Checking Embedded C Software Using k-Induction and Invariants.
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.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014


  Loading...