Follow
Ali Shokri
Title
Cited by
Cited by
Year
Arcode: Facilitating the use of application frameworks to implement tactics and patterns
A Shokri, JCS Santos, M Mirakhorli
2021 IEEE 18th International Conference on Software Architecture (ICSA), 138-149, 2021
92021
A meta-module approach for cluster flow locomotion of modular robots
A Shokri, E Masehian
2015 3rd RSI International Conference on Robotics and Mechatronics (ICROM …, 2015
92015
A program synthesis approach for adding architectural tactics to an existing code base
A Shokri
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
5*2021
ArCode: A Tool for Supporting Comprehension and Implementation of Architectural Concerns
A Shokri, M Mirakhorli
2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC …, 2021
42021
Designing an expert system for management of crowding and overcrowding in emergency departments
S Hashemi, A Shokri, M Amin-Naseri, H Akbaripour
Journal of Industrial Engineering 48 (2), 281-292, 2014
42014
Arcode-1.2. 1
A Shokri, JCS Santos, M Mirakhorli
Mar, 2021
32021
Depres: A tool for resolving fully qualified names and their dependencies
A Shokri, M Mirakhorli
arXiv preprint arXiv:2108.01165, 2021
22021
Towards automated evidence generation for rapid and continuous software certification
JCS Santos, A Shokri, M Mirakhorli
2020 IEEE International Symposium on Software Reliability Engineering …, 2020
12020
IPSynth: Interprocedural Program Synthesis for Software Security Implementation
A Shokri, IJ Mujhid, M Mirakhorli
arXiv preprint arXiv:2403.10836, 2024
2024
Sound Call Graph Construction for Java Object Deserialization
J Santos, M Mirakhorli, A Shokri
arXiv preprint arXiv:2311.00943, 2023
2023
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
A Shokri, A Perez, S Chowdhury, C Zeng, G Kaloor, I Matei, PP Schneider, ...
arXiv preprint arXiv:2308.00250, 2023
2023
A Novel Approach to Identify Security Controls in Source Code
A Okutan, A Shokri, V Koscinski, M Fazelinia, M Mirakhorli
arXiv preprint arXiv:2307.05605, 2023
2023
Inter-procedural Program Synthesis for Automatic Architectural Tactic Implementation
A Shokri
Rochester Institute of Technology, 2023
2023
An SMT-based approach for extracting mathematical models from binaries
S Rane, A Shokri, PF Patel-Schneider, I Matei
2023
A method for deriving mathematical models from embedded code using a modified genetic algorithm to perform a symbol-to-variable mapping
S Rane, A Shokri, PF Patel-Schneider, I Matei
2022
The system can't perform the operation now. Try again later.
Articles 1–15