Andrei Marian Dan

According to our database¹, Andrei Marian Dan authored at least 9 papers between 2013 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Scalable Polyhedral Verification of Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Fast and Effective Robustness Certification for Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

2018

Automatic Verification of RMA Programs via Abstraction Extrapolation.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Securify: Practical Security Analysis of Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Effective abstractions for verification under relaxed memory models.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2017

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.

[BibT_eX]

[DOI]

Andrei Marian Dan

Manu Sridharan

Satish Chandra

Jean-Baptiste Jeannin

Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Modeling and analysis of remote memory access programming.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014

Synthesis of Memory Fences via Refinement Propagation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 21st International Symposium, 2014

2013

Predicate Abstraction for Relaxed Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 20th International Symposium, 2013

Andrei Marian Dan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...