Ali Shokri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Binary-Level Pointer Analysis. | Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran |
| 2021 | ICSA | ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns. | Ali Shokri, Joanna C. S. Santos, Mehdi Mirakhorli |
| 2020 | ISSRE | Towards Automated Evidence Generation for Rapid and Continuous Software Certification. | Joanna C. S. Santos, Ali Shokri, Mehdi Mirakhorli |