| 2026 |
— |
conf |
TACAS (2)
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
|
| 2025 |
J |
jnl |
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
|
| 2025 |
J |
jnl |
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
|
| 2025 |
B |
conf |
FMCAD
Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz, Andrew Reynolds, Moses Charikar, Cesare Tinelli, Clark W. Barrett
|
| 2025 |
J |
jnl |
CoRR
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
|
| 2024 |
— |
conf |
IJCAR (1)
Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
|
| 2024 |
J |
jnl |
CoRR
Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz, Andrew Reynolds, Moses Charikar, Cesare Tinelli, Clark W. Barrett
|
| 2023 |
J |
jnl |
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
|
| 2023 |
— |
conf |
LSFA/HCVS
Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
|
| 2022 |
J |
jnl |
CoRR
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
|
| 2022 |
J |
jnl |
Formal Aspects Comput.
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
|
| 2022 |
B |
conf |
SAS
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
|
| 2022 |
J |
jnl |
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
|