Daneshvar Amrollahi

Orcid: 0000-0003-0954-7881

According to our database1, Daneshvar Amrollahi authored at least 11 papers between 2022 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Faithful Autoformalization via Roundtrip Verification and Repair.
CoRR, April, 2026

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025
Correction: (Un)Solvable loop analysis.
Formal Methods Syst. Des., December, 2025


(Un)Solvable loop analysis.
Formal Methods Syst. Des., April, 2025

Towards SMT Solver Stability via Input Normalization.
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2024
Using Normalization to Improve SMT Solver Stability.
CoRR, 2024

Synthesis of Recursive Programs in Saturation.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023
An Encoding for CLP Problems in SMT-LIB.
Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2022
Algebra-Based Reasoning for Loop Synthesis.
Formal Aspects Comput., 2022

Solving Invariant Generation for Unsolvable Loops.
Proceedings of the Static Analysis - 29th International Symposium, 2022


  Loading...