Zobrazeno 1 - 10
of 1 938
pro vyhledávání: '"A. Vojdani"'
Autor:
Erhard, Julian, Bentele, Manuel, Heizmann, Matthias, Klumpp, Dominik, Saan, Simmo, Schüssele, Frank, Schwarz, Michael, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal
Static analyzers are typically complex tools and thus prone to contain bugs themselves. To increase the trust in the verdict of such tools, witnesses encode key reasoning steps underlying the verdict in an exchangeable format, enabling independent va
Externí odkaz:
http://arxiv.org/abs/2411.16612
Autor:
Saan, Simmo, Schwarz, Michael, Erhard, Julian, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal
Witnesses record automated program analysis results and make them exchangeable. To validate correctness witnesses through abstract interpretation, we introduce a novel abstract operation unassume. This operator incorporates witness invariants into th
Externí odkaz:
http://arxiv.org/abs/2310.16572
We construct novel thread-modular analyses that track relational information for potentially overlapping clusters of global variables - given that they are protected by common mutexes. We provide a framework to systematically increase the precision o
Externí odkaz:
http://arxiv.org/abs/2301.06439
Publikováno v:
Frontiers in Immunology, Vol 15 (2024)
Externí odkaz:
https://doaj.org/article/4d1cb8a0301a451688cb300c0215a745
Autor:
Erhard, Julian, Saan, Simmo, Tilscher, Sarah, Schwarz, Michael, Holter, Karoliine, Vojdani, Vesal, Seidl, Helmut
To put static program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation. While providing sound analysis results, abstract interpretation in general can be quite costly. To achieve qui
Externí odkaz:
http://arxiv.org/abs/2209.10445
Autor:
Almulla, Abbas F., Thipakorn, Yanin, Zhou, Bo, Vojdani, Aristo, Paunova, Rossitsa, Maes, Michael
Publikováno v:
In Neuroscience 17 December 2024 563:268-277
Publikováno v:
In Energy and Climate Change December 2024 5
Autor:
Asaadi, Hanieh, vojdani, Arastoo, Meshkat, Zahra, Sankian, Mojtaba, Farsiani, Hadi, Tavakoly Sany, Seyedeh Belin, Aryan, Ehsan, Hatamluyi, Behnaz
Publikováno v:
In Talanta 1 December 2024 280
Publikováno v:
In Brain Behavior and Immunity November 2024 122:75-94
Autor:
Goharshadi, Elaheh K., Vojdani Saghir, Siavosh, Niazi, Zohreh, Shafaee, Masoomeh, Sajjadizadeh, Halimeh-Sadat, Karimi-Nazarabad, Mahdi, Peighambari-kalat, Saeid, Goharshadi, Kimiya, Nejati, Mahdiyeh, Asarnia, Moeid, Khodaparast, Maede
Publikováno v:
In Renewable and Sustainable Energy Reviews March 2025 209