Fu Song

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Automated verification of correctness for masked arithmetic programs	2024-02-01	Paper
\textsf{QEBVerif}: quantization error bound verification of neural networks	2024-01-12	Paper
\textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks	2023-07-28	Paper
Reasoning About Periodicity on Infinite Words	2022-11-04	Paper
\textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks	2022-03-25	Paper
Towards backbone computing: A Greedy-Whitening based approach	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5111651	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4624673	2019-02-22	Paper
Analyzing pushdown systems with stack manipulation	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5357708	2017-09-12	Paper
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q2978518	2017-04-25	Paper
On temporal logics with data variable quantifications: decidability and complexity	2016-11-18	Paper
Survey on formal models to reason about infinite data values	2016-10-06	Paper
Model checking dynamic pushdown networks	2015-07-23	Paper
Model Checking Dynamic Pushdown Networks	2015-01-12	Paper
Efficient CTL model-checking for pushdown systems	2014-08-27	Paper
LTL Model-Checking for Malware Detection	2013-08-05	Paper
Efficient Malware Detection Using Model-Checking	2012-11-08	Paper
Pushdown Model Checking for Malware Detection	2012-06-29	Paper
Efficient CTL Model-Checking for Pushdown Systems	2011-09-02	Paper

Research outcomes over time

This page was built for person: Fu Song