Andrei Marian Dan
Andrei Marian Dan
Hitachi Energy Research
Verified email at hitachienergy.com - Homepage
Title
Cited by
Cited by
Year
Securify: Practical security analysis of smart contracts
P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
4092018
Predicate abstraction for relaxed memory models
AM Dan, Y Meshman, M Vechev, E Yahav
International Static Analysis Symposium, 84-104, 2013
492013
Effective abstractions for verification under relaxed memory models
A Dan, Y Meshman, M Vechev, E Yahav
Computer Languages, Systems & Structures 47, 62-76, 2017
442017
Synthesis of memory fences via refinement propagation
Y Meshman, A Dan, M Vechev, E Yahav
International Static Analysis Symposium, 237-252, 2014
242014
Modeling and analysis of remote memory access programming
AM Dan, P Lam, T Hoefler, M Vechev
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
62016
Fast and effective robustness certification for recurrent neural networks
W Ryou, J Chen, M Balunovic, G Singh, A Dan, M Vechev
arXiv preprint arXiv:2005.13300, 2020
52020
Finding fix locations for cfl-reachability analyses via minimum cuts
AM Dan, M Sridharan, S Chandra, JB Jeannin, M Vechev
International Conference on Computer Aided Verification, 521-541, 2017
32017
Synthesizing Unrestricted False Positive Adversarial Objects Using Generative Models
M Kotuliak, SE Schoenborn, A Dan
arXiv preprint arXiv:2005.09294, 2020
12020
Automatic Verification of RMA Programs via Abstraction Extrapolation
C Baumann, AM Dan, Y Meshman, T Hoefler, M Vechev
International Conference on Verification, Model Checking, and Abstract …, 2018
12018
Program Analysis for Weak Memory Models
AM Dan
ETH Zurich, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–10