Ali Shokri
Orcid: 0000-0002-9758-3091Affiliations:
- Rochester Institute of Technology, USA
According to our database1,
Ali Shokri
authored at least 11 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
CoRR, 2024
2023
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems.
CoRR, 2023
2021
CoRR, 2021
ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns.
CoRR, 2021
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
ArCode: A Tool for Supporting Comprehension and Implementation of Architectural Concerns.
Proceedings of the 29th IEEE/ACM International Conference on Program Comprehension, 2021
ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns.
Proceedings of the 18th IEEE International Conference on Software Architecture, 2021
2020
Towards Automated Evidence Generation for Rapid and Continuous Software Certification.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020