Andrei Marian Dan

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 9

Top Topics

Security Analysis

Recurrent Neural Networks

Cascade Correlation

Top Venues

Publications

Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev
Scalable Polyhedral Verification of Recurrent Neural Networks. CAV (1) (2021)
Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev
Fast and Effective Robustness Certification for Recurrent Neural Networks. CoRR (2020)
Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev
Automatic Verification of RMA Programs via Abstraction Extrapolation. VMCAI (2018)
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts. CCS (2018)
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts. CoRR (2018)
Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. CAV (2) (2017)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Effective abstractions for verification under relaxed memory models. Comput. Lang. Syst. Struct. 47 (2017)
Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev
Modeling and analysis of remote memory access programming. OOPSLA (2016)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Effective Abstractions for Verification under Relaxed Memory Models. VMCAI (2015)
Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav
Synthesis of Memory Fences via Refinement Propagation. SAS (2014)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Predicate Abstraction for Relaxed Memory Models. SAS (2013)