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
Tractability of separation logic with inductive definitions: beyond lists	2020-05-27	Paper
Model-checking for heterogeneous multi-agent systems	2019-02-22	Paper
Analyzing pushdown systems with stack manipulation	2018-03-21	Paper
On the satisfiability of indexed linear temporal logics	2017-09-12	Paper
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference	2017-09-12	Paper
Extending temporal logics with data variable quantifications	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