Andrei Marian Dan

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