Publications

Provable preimage under-approximation for neural networks

Published in Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2024

Recommended citation: Xiyue Zhang, Benjie Wang, Marta Kwiatkowska . "Provable Preimage Under-Approximation for Neural Networks." Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024. https://link.springer.com/chapter/10.1007/978-3-031-57256-2_1

Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks

Published in Journal of Logical and Algebraic Methods in Programming, 2023

Recommended citation: Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun. "Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks." Journal of Logical and Algebraic Methods in Programming. Volume 136, https://doi.org/10.1016/j.jlamp.2023.100907. https://authors.elsevier.com/c/1hnCS8MrKMbfOd

kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification

Published in Proceedings of the 10th International Conference on Fundamentals of Software Engineering, 2022

Recommended citation: Xiaoyong Xue, Xiyue Zhang, Meng Sun. "kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification." Proceedings of the 10th International Conference on Fundamentals of Software Engineering. FSEN 2023.

Towards a Unifying Logical Framework for Neural Networks

Published in Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, 2022

Recommended citation: Xiyue Zhang, Xiaohong Chen, Meng Sun. "Towards a Unifying Logical Framework for Neural Networks." Proceedings of the 19th International Colloquium on Theoretical Aspects of Computings. ICTAC 2022. https://link.springer.com/chapter/10.1007/978-3-031-17715-6_28

Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages

Published in Proceedings of the 23rd International Conference on Formal Engineering Methods, 2022

Recommended citation: Zeming Wei, Xiyue Zhang, Meng Sun. "Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages." Proceedings of the 23rd International Conference on Formal Engineering Methods. ICFEM 2022. https://arxiv.org/abs/2206.14621

DeepGlobal: A Framework for Global Robustness Verification of Feedforward Neural Networks

Published in Journal of Systems Architecture, 2022

Recommended citation: Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun. "DeepGlobal: A Framework for Global Robustness Verification of Feedforward Neural Networks." Journal of Systems Architecture. vol. 128, 2022. https://doi.org/10.1016/j.sysarc.2022.102582

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks

Published in Proceedings of the AAAI Conference on Artificial Intelligence, 35(13), 2021

Recommended citation: Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun. "Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks." Proceedings of the AAAI Conference on Artificial Intelligence, 35(13). AAAI 2021. https://ojs.aaai.org/index.php/AAAI/article/view/17391/17198

Using LSTM to Predict Tactics in Coq

Published in Proceedings of the 33rd International Conference on Software Engineering & Knowledge Engineering, 2021

Recommended citation: Xiaokun Luan, Xiyue Zhang, Meng Sun. "Using LSTM to Predict Tactics in Coq." Proceedings of the 33rd International Conference on Software Engineering & Knowledge Engineering. SEKE 2021. https://ksiresearch.org/seke/seke21paper/paper047.pdf

DeepGlobal: A Global Robustness Verifiable FNN Framework

Published in Proceedings of International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, 2021

Recommended citation: Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun. "DeepGlobal: A Global Robustness Verifiable FNN Framework." Proceedings of International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. SETTA 2021. https://link.springer.com/chapter/10.1007/978-3-030-91265-9_2

Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty

Published in Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering, 2020

Recommended citation: Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun. "Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty." Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering. ICSE 2020. https://arxiv.org/abs/2004.11573

Towards a Formally Verified EVM in Production Environment

Published in Proceedings of International Conference on Coordination Languages and Models, 2020

Recommended citation: Xiyue Zhang, Yi Li, Meng Sun. "Towards a Formally Verified EVM in Production Environment." Proceedings of International Conference on Coordination Languages and Models. COORDINATION 2020. https://link.springer.com/chapter/10.1007/978-3-030-50029-0_21

Uncertainty-Guided Testing and Robustness Enhancement for Deep Learning Systems

Published in Proceedings of IEEE/ACM 42nd International Conference on Software Engineering (ICSE-Companion), 2020

Recommended citation: Xiyue Zhang. "Uncertainty-Guided Testing and Robustness Enhancement for Deep Learning Systems." Proceedings of IEEE/ACM 42nd International Conference on Software Engineering (Companion Proceedings). ICSE-Companion 2020. https://arxiv.org/abs/2004.11573

Reasoning about Connectors Using Coq and Z3

Published in Science of Computer Programming, 2019

Recommended citation: Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun. "Reasoning about Connectors Using Coq and Z3." Science of Computer Programming. vol. 170, 2019. https://www.sciencedirect.com/science/article/pii/S0167642318304076

A Formal Framework Capturing Real-Time and Stochastic Behavior in Connectors

Published in Science of Computer Programming, 2019

Recommended citation: Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun. "A Formal Framework Capturing Real-Time and Stochastic Behavior in Connectors." Science of Computer Programming. vol. 177, 2019. https://www.sciencedirect.com/science/article/pii/S0167642318301631?via%3Dihub

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq

Published in Proceedings of International Symposium on Theoretical Aspects of Software Engineering, 2019

Recommended citation: Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun. "Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq." Proceedings of International Symposium on Theoretical Aspects of Software Engineering. TASE 2019. https://ieeexplore.ieee.org/document/8914103

SMT-based Modeling and Verification of Cloud Applications

Published in Proceedings of World Congress on Services, 2019

Recommended citation: Xiyue Zhang, Meng Sun. "SMT-based Modeling and Verification of Cloud Applications." Proceedings of World Congress on Services. SERVICES 2019. https://link.springer.com/chapter/10.1007/978-3-030-23381-5_1

Safe Inputs Generation for Black-box Systems

Published in Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Recommended citation: Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie. "Safe Inputs Generation for Black-box Systems." Proceedings of the 24th International Conference on Engineering of Complex Computer Systems. ICECCS 2019. https://ieeexplore.ieee.org/document/8882768

Modeling and Verification of Component Connectors

Published in Proceedings of International Conference on Formal Engineering Methods, 2018

Recommended citation: Xiyue Zhang. "Modeling and Verification of Component Connectors." Proceedings of International Conference on Formal Engineering Methods. ICFEM 2018. https://link.springer.com/chapter/10.1007/978-3-030-02450-5_26

A Relational Model for Probabilistic Connectors based on Timed Data Distribution Streams

Published in Proceedings of International Conference on Formal Modeling and Analysis of Timed Systems, 2018

Recommended citation: Meng Sun, Xiyue Zhang. "A Relational Model for Probabilistic Connectors based on Timed Data Distribution Streams." Proceedings of International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS 2018. https://link.springer.com/chapter/10.1007/978-3-030-00151-3_8

Towards Formal Modeling and Verification of Probabilistic Connectors in Coq

Published in Proceedings of the 30th International Conference on Software Engineering & Knowledge Engineering, 2018

Recommended citation: Xiyue Zhang, Meng Sun. "Towards Formal Modeling and Verification of Probabilistic Connectors in Coq." Proceedings of the 30th International Conference on Software Engineering & Knowledge Engineering. SEKE 2018. http://ksiresearchorg.ipage.com/seke/seke18paper/seke18paper_23.pdf

Using Coq for Formal Modeling and Verification of Timed Connectors

Published in Proceedings of International Conference on Software Engineering and Formal Methods, 2018

Recommended citation: Weijiang Hong, Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun. "Using Coq for Formal Modeling and Verification of Timed Connectors." Proceedings of International Conference on Software Engineering and Formal Methods. SEFM 2017. https://link.springer.com/chapter/10.1007/978-3-319-74781-1_37

Capturing Stochastic and Real-time Behavior in Reo Connectors

Published in Proceedings of SBMF 2017, 2017

Best Paper Award

Recommended citation: Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun. "Capturing Stochastic and Real-time Behavior in Reo Connectors." Proceedings of SBMF 2017. https://link.springer.com/chapter/10.1007/978-3-319-70848-5_18

Reasoning about Connectors in Coq

Published in Proceedings of International Workshop on Formal Aspects of Component Software, 2017

Recommended citation: Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun. "Reasoning about Connectors in Coq." Proceedings of International Workshop on Formal Aspects of Component Software. FACS 2016. https://link.springer.com/chapter/10.1007/978-3-319-57666-4_11