Fu Song

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Static Analysis	2023-07-28	Paper
Reasoning about periodicity on infinite words Dependable Software Engineering. Theories, Tools, and Applications	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 AI Communications	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 Information and Computation	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 Information and Computation	2016-11-18	Paper
Survey on formal models to reason about infinite data values Journal of Software	2016-10-06	Paper
Model checking dynamic pushdown networks Formal Aspects of Computing	2015-07-23	Paper
Model checking dynamic pushdown networks Programming Languages and Systems	2015-01-12	Paper
Efficient CTL model-checking for pushdown systems Theoretical Computer Science	2014-08-27	Paper
LTL model-checking for malware detection Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Efficient malware detection using model-checking FM 2012: Formal Methods	2012-11-08	Paper
Pushdown model checking for malware detection Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Efficient CTL model-checking for pushdown systems CONCUR 2011 – Concurrency Theory	2011-09-02	Paper

Research outcomes over time

This page was built for person: Fu Song