Andrei Marian Dan

From MaRDI portal
Person:2164252

Available identifiers

zbMath Open dan.andrei-marianMaRDI QIDQ2164252

List of research outcomes





PublicationDate of PublicationType
Finding fix locations for CFL-reachability analyses via minimum cuts2022-08-12Paper
Scalable polyhedral verification of recurrent neural networks2022-03-25Paper
Automatic Verification of RMA Programs via Abstraction Extrapolation2020-07-07Paper
Effective abstractions for verification under relaxed memory models2018-01-30Paper
Effective Abstractions for Verification under Relaxed Memory Models2015-02-04Paper
https://portal.mardi4nfdi.de/entity/Q43016141994-08-11Paper

Research outcomes over time

This page was built for person: Andrei Marian Dan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2164252&oldid=10932189"
Powered by MediaWiki