Andrei Marian Dan

Available identifiers

zbMath Open dan.andrei-marianMaRDI QIDQ2164252

List of research outcomes

Publication	Date of Publication	Type
Finding fix locations for CFL-reachability analyses via minimum cuts	2022-08-12	Paper
Scalable polyhedral verification of recurrent neural networks	2022-03-25	Paper
Automatic Verification of RMA Programs via Abstraction Extrapolation	2020-07-07	Paper
Effective abstractions for verification under relaxed memory models	2018-01-30	Paper
Effective Abstractions for Verification under Relaxed Memory Models	2015-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4301614	1994-08-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrei Marian Dan