Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
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
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
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Data Structure and Algorithms (in C) (2017 Fall)
Undergraduate class, Peking University, School of Mathematical Sciences, 2017
Data Structure and Algorithms (in Python) (2018 Fall)
Undergraduate class, Peking University, School of Mathematical Sciences, 2018
Techniques and Methods for Programming (2020 Spring)
Undergraduate class, Peking University, School of Mathematical Sciences, 2020
Data Structure and Algorithms (in Python) (2020 Fall)
Undergraduate class, Peking University, School of Mathematical Sciences, 2020
Computer-Aided Formal Verification (2022 Michaelmas term)
Postgraduate class, University of Oxford, Department of Computer Science, 2022
Computer-Aided Formal Verification (2023 Michaelmas term)
Postgraduate class, University of Oxford, Department of Computer Science, 2023