Liqian Chen

From MaRDI portal
Person:281289

Available identifiers

zbMath Open chen.liqianMaRDI QIDQ281289

List of research outcomes





PublicationDate of PublicationType
Verifying numerical programs via iterative abstract testing2024-04-19Paper
Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification2024-04-19Paper
https://portal.mardi4nfdi.de/entity/Q51968882019-09-20Paper
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT2017-02-21Paper
An abstract domain to infer symbolic ranges over nonnegative parameters2016-05-10Paper
Linear Absolute Value Relation Analysis2011-05-19Paper
An Abstract Domain to Discover Interval Linear Equalities2010-01-14Paper
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships2009-08-18Paper

Research outcomes over time

This page was built for person: Liqian Chen

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