Youcheng Sun

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 70

Top Topics

Learning Systems

Hybrid Automata

Top Venues

ACM Trans. Embed. Comput. Syst.

ICSE (Companion Volume)

Publications

Haonan Zhang, Dongxia Wang, Zhu Sun, Yanhui Li, Youcheng Sun, Huizhi Liang, Wenhai Wang
Does Knowledge Graph Really Matter for Recommender Systems? CoRR (2024)
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
Was it Slander? Towards Exact Inversion of Generative Language Models. CoRR (2024)
Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. ICSE (2024)
Ruichang Zhang, Youcheng Sun, Mustafa A. Mustafa
Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning. CoRR (2024)
Iqra Zahid, Tharindu Madusanka, Riza Batista-Navarro, Youcheng Sun
Probing the Uniquely Identifiable Linguistic Patterns of Conversational AI Agents. ACL (Findings) (2024)
Wei Huang, Yifan Zhou, Gaojie Jin, Youcheng Sun, Jie Meng, Fan Zhang, Xiaowei Huang
Formal verification of robustness and resilience of learning-enabled state estimation systems. Neurocomputing 585 (2024)
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
ESBMC-Python: A Bounded Model Checker for Python Programs. CoRR (2024)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
QNNRepair: Quantized Neural Network Repair. SEFM (2023)
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
An overview of structural coverage metrics for testing neural networks. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS (2023)
Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng, Xingjun Ma
DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models. ICSE Companion (2023)
Jialuo Chen, Jingyi Wang, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang, Peng Cheng
QuoTe: Quality-oriented Testing for Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
AIREPAIR: A Repair Platform for Neural Networks. ICSE Companion (2023)
Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. CoRR (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
Rule-Based Testing of Neural Networks. SE4SafeML@SIGSOFT FSE (2023)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
QNNRepair: Quantized Neural Network Repair. CoRR (2023)
Jialuo Chen, Jingyi Wang, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li, Dawn Song
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models. IEEE Symposium on Security and Privacy (2022)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. RV (2022)
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. ICSE (2022)
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
An Overview of Structural Coverage Metrics for Testing Neural Networks. CoRR (2022)
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
VPN: Verification of Poisoning in Neural Networks. NSV/FoMLAS@CAV (2022)
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
Coverage-Guided Testing for Recurrent Neural Networks. IEEE Trans. Reliab. 71 (3) (2022)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
AIREPAIR: A Repair Platform for Neural Networks. CoRR (2022)
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
VPN: Verification of Poisoning in Neural Networks. CoRR (2022)
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
Safety Analysis of Autonomous Driving Systems Based on Model Learning. CoRR (2022)
Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun, Bo Li, Shouling Ji, Peng Cheng, Jiming Chen
VeriFi: Towards Verifiable Federated Unlearning. CoRR (2022)
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. CoRR (2022)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
NNrepair: Constraint-Based Repair of Neural Network Classifiers. CAV (1) (2021)
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks. CoRR (2021)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
NNrepair: Constraint-based Repair of Neural Network Classifiers. CoRR (2021)
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. ICSE (Companion Volume) (2021)
Paolo Pazzaglia, Youcheng Sun, Marco Di Natale
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks. ACM Trans. Embed. Comput. Syst. 20 (1) (2021)
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
Ranking Policy Decisions. NeurIPS (2021)
Jialuo Chen, Jingyi Wang, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li, Dawn Song
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models. CoRR (2021)
Hana Chockler, Daniel Kroening, Youcheng Sun
Compositional Explanations for Image Classifiers. CoRR (2021)
Hana Chockler, Daniel Kroening, Youcheng Sun
Explanations for Occluded Images. ICCV (2021)
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
RobOT: Robustness-Oriented Testing for Deep Learning Systems. CoRR (2021)
Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang
Tutorials on Testing Neural Networks. CoRR (2021)
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
RobOT: Robustness-Oriented Testing for Deep Learning Systems. ICSE (2021)
Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Comput. Sci. Rev. 37 (2020)
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
Reliability Validation of Learning Enabled Vehicle Tracking. ICRA (2020)
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
Ranking Policy Decisions. CoRR (2020)
Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske
HyDiff: hybrid differential software analysis. ICSE (2020)
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
Reliability Validation of Learning Enabled Vehicle Tracking. CoRR (2020)
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) (2020)
Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang
Practical Verification of Neural Network Enabled State Estimation System for Robotics. IROS (2020)
Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics. CoRR (2020)
Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp
testRNN: Coverage-guided Testing on Recurrent Neural Networks. CoRR (2019)
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR (2019)
Martin Brain, Florian Schanda, Youcheng Sun
Building Better Bit-Blasting for Floating-Point Problems. TACAS (1) (2019)
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. ACM Trans. Embed. Comput. Syst. 18 (4) (2019)
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI (2019)
Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang
Test Metrics for Recurrent Neural Networks. CoRR (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
DeepConcolic: testing and debugging deep neural networks. ICSE (Companion Volume) (2019)
Youcheng Sun, Marco Di Natale
Pessimism in multicore global schedulability analysis. J. Syst. Archit. 97 (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
Structural Test Coverage Criteria for Deep Neural Networks. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening
Testing Deep Neural Networks. CoRR (2018)
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
Concolic Testing for Deep Neural Networks. CoRR (2018)
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
Concolic testing for deep neural networks. ASE (2018)
Alessandro Biondi, Youcheng Sun
On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling. Real Time Syst. 54 (3) (2018)
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. CoRR (2018)
Youcheng Sun, Marco Di Natale
Assessing the pessimism of current multicore global fixed-priority schedulability analysis. SAC (2018)
David Landsberg, Youcheng Sun, Daniel Kroening
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. FASE (2018)
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster
Functional Requirements-Based Automated Testing for Avionics. CoRR (2017)
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster
Functional Requirements-Based Automated Testing for Avionics. ICECCS (2017)
Youcheng Sun, Marco Di Natale
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Youcheng Sun, Giuseppe Lipari
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling. Real Time Syst. 52 (3) (2016)
Luca Abeni, Giuseppe Lipari, Andrea Parri, Youcheng Sun
Multicore CPU reclaiming: parallel or sequential? SAC (2016)
Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun
Reachability Preservation Based Parameter Synthesis for Timed Automata. NFM (2015)
Youcheng Sun, Giuseppe Lipari
Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling. RTSS (2015)
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
Task placement and selection of data consistency mechanisms for real-time multicore applications. RTAS (2015)
Luca Abeni, Giuseppe Lipari, Andrea Parri, Youcheng Sun
Parallel and sequential reclaiming in multicore real-time global scheduling. CoRR (2015)
Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg
Toward Parametric Timed Interfaces for Real-Time Components. SynCoP (2014)
Youcheng Sun, Giuseppe Lipari, Nan Guan, Wang Yi
Improving the response time analysis of global fixed-priority multiprocessor scheduling. RTCSA (2014)
Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey
Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA (2014)
Youcheng Sun, Giuseppe Lipari
A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata. RTNS (2014)
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems CoRR (2013)
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. FTSCS (2013)