Ali Kamali
Orcid: 0000-0002-3913-1329
According to our database1,
Ali Kamali
authored at least 8 papers
between 2010 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes.
Int. J. Inf. Sec., October, 2023
Physics-Informed Deep Learning for Quasi-Static Elasticity Imaging: Mechanical Characterization of Heterogeneous Domains in Two and Three Dimensions.
PhD thesis, 2023
CoRR, 2023
2022
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes.
Proceedings of the Tests and Proofs - 16th International Conference, 2022
2021
Simultaneous Intelligent Anticipation and Control of Follower Vehicle Observing Exiting Lane Changer.
IEEE Trans. Veh. Technol., 2021
2016
Proceedings of the 8th International Symposium on Telecommunications, 2016
2010
Proceedings of the 6th International Conference on Virtual Execution Environments, 2010
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010