Hussama Ismail
According to our database1,
Hussama Ismail
authored at least 15 papers
between 2014 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Sci. Comput. Program., 2018
2017
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.
IEEE Trans. Computers, 2017
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
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
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