Follow
Daneshvar Amrollahi
Title
Cited by
Cited by
Year
Solving Invariant Generation for Unsolvable Loops
D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ...
International Static Analysis Symposium, 19-43, 2022
312022
Algebra-Based Reasoning for Loop Synthesis
A Humenberger, D Amrollahi, N Bjørner, L Kovács
Formal Aspects of Computing 34 (1), 1-31, 2022
82022
Synthesis of Recursive Programs in Saturation
P Hozzová, D Amrollahi, M Hajdu, L Kovács, A Voronkov, EM Wagner
International Joint Conference on Automated Reasoning, 154-171, 2024
52024
(Un)Solvable Loop Analysis
D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ...
Formal Methods in System Design, 1-32, 2024
52024
Using Normalization to Improve SMT Solver Stability
D Amrollahi, M Preiner, A Niemetz, A Reynolds, M Charikar, C Tinelli, ...
arXiv preprint arXiv:2410.22419, 2024
2024
An Encoding for CLP Problems in SMT-LIB
D Amrollahi, H Hojjat, P Rümmer
10th Workshop on Horn Clauses for Verification and Synthesis, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–6