Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. - Youcheng Sun; Romain Soulat; Giuseppe Lipari; Étienne André; Laurent Fribourg (FTSCS, 2013)

Improving the response time analysis of global fixed-priority multiprocessor scheduling. - Youcheng Sun; Giuseppe Lipari; Nan Guan; Wang Yi 001 (RTCSA, 2014)

Component-based analysis of hierarchical scheduling using linear hybrid automata. - Youcheng Sun; Giuseppe Lipari; Romain Soulat; Laurent Fribourg; Nicolas Markey (RTCSA, 2014)

A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata. - Youcheng Sun; Giuseppe Lipari (RTNS, 2014)

Toward Parametric Timed Interfaces for Real-Time Components. - Youcheng Sun; Giuseppe Lipari; Étienne André; Laurent Fribourg (SynCoP, 2014)

Reachability Preservation Based Parameter Synthesis for Timed Automata. - Étienne André; Giuseppe Lipari; Hoang Gia Nguyen; Youcheng Sun (NFM, 2015)

Task placement and selection of data consistency mechanisms for real-time multicore applications. - Zaid Al-bayati; Youcheng Sun; Haibo Zeng 001; Marco Di Natale; Qi Zhu 002; Brett H. Meyer (RTAS, 2015)

Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling. - Youcheng Sun; Giuseppe Lipari (RTSS, 2015)

Parallel and sequential reclaiming in multicore real-time global scheduling. - Luca Abeni; Giuseppe Lipari; Andrea Parri; Youcheng Sun (CoRR, 2015)

Multicore CPU reclaiming: parallel or sequential? - Luca Abeni; Giuseppe Lipari; Andrea Parri; Youcheng Sun (SAC, 2016)

A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling. - Youcheng Sun; Giuseppe Lipari (Real Time Syst., 2016)

Functional Requirements-Based Automated Testing for Avionics. - Youcheng Sun; Martin Brain; Daniel Kroening; Andrew Hawthorn; Thomas Wilson; Florian Schanda; Francisco Javier Guzman Jimenez; Simon Daniel; Chris Bryan; Ian Broster (ICECCS, 2017)

Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks. - Youcheng Sun; Marco Di Natale (ACM Trans. Embed. Comput. Syst., 2017)

Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. - David Landsberg; Youcheng Sun; Daniel Kroening (FASE, 2018)

Concolic testing for deep neural networks. - Youcheng Sun; Min Wu 011; Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska; Daniel Kroening (ASE, 2018)

Assessing the pessimism of current multicore global fixed-priority schedulability analysis. - Youcheng Sun; Marco Di Natale (SAC, 2018)

Testing Deep Neural Networks. - Youcheng Sun; Xiaowei Huang 001; Daniel Kroening (CoRR, 2018)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. - Wenjie Ruan; Min Wu 011; Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; Marta Kwiatkowska (CoRR, 2018)

On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling. - Alessandro Biondi 001; Youcheng Sun (Real Time Syst., 2018)

DeepConcolic: testing and debugging deep neural networks. - Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; James Sharp; Matthew Hill; Rob Ashmore (ICSE (Companion Volume), 2019)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. - Wenjie Ruan; Min Wu 011; Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; Marta Kwiatkowska (IJCAI, 2019)

Building Better Bit-Blasting for Floating-Point Problems. - Martin Brain; Florian Schanda; Youcheng Sun (TACAS (1), 2019)

testRNN: Coverage-guided Testing on Recurrent Neural Networks. - Wei Huang 035; Youcheng Sun; Xiaowei Huang 001; James Sharp (CoRR, 2019)

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. - Youcheng Sun; Hana Chockler; Xiaowei Huang 001; Daniel Kroening (CoRR, 2019)

Test Metrics for Recurrent Neural Networks. - Wei Huang 035; Youcheng Sun; James Sharp; Xiaowei Huang 001 (CoRR, 2019)

Pessimism in multicore global schedulability analysis. - Youcheng Sun; Marco Di Natale (J. Syst. Archit., 2019)

Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. - Zaid Al-bayati; Youcheng Sun; Haibo Zeng 001; Marco Di Natale; Qi Zhu 002; Brett H. Meyer (ACM Trans. Embed. Comput. Syst., 2019)

Structural Test Coverage Criteria for Deep Neural Networks. - Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; James Sharp; Matthew Hill; Rob Ashmore (ACM Trans. Embed. Comput. Syst., 2019)

Explaining Image Classifiers Using Statistical Fault Localization. - Youcheng Sun; Hana Chockler; Xiaowei Huang 001; Daniel Kroening (ECCV (28), 2020)

Reliability Validation of Learning Enabled Vehicle Tracking. - Youcheng Sun; Yifan Zhou; Simon Maskell; James Sharp; Xiaowei Huang 001 (ICRA, 2020)

HyDiff: hybrid differential software analysis. - Yannic Noller; Corina S. Pasareanu; Marcel Böhme; Youcheng Sun; Hoang Lam Nguyen; Lars Grunske (ICSE, 2020)

Practical Verification of Neural Network Enabled State Estimation System for Robotics. - Wei Huang 035; Yifan Zhou; Youcheng Sun; James Sharp; Simon Maskell; Xiaowei Huang 001 (IROS, 2020)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics. - Wei Huang 035; Yifan Zhou; Youcheng Sun; Alec Banks; Jie Meng; James Sharp; Simon Maskell; Xiaowei Huang 001 (CoRR, 2020)

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. - Xiaowei Huang 001; Daniel Kroening; Wenjie Ruan; James Sharp; Youcheng Sun; Emese Thamo; Min Wu 011; Xinping Yi (Comput. Sci. Rev., 2020)

NNrepair: Constraint-Based Repair of Neural Network Classifiers. - Muhammad Usman 024; Divya Gopinath; Youcheng Sun; Yannic Noller; Corina S. Pasareanu (CAV (1), 2021)

Explanations for Occluded Images. - Hana Chockler; Daniel Kroening; Youcheng Sun (ICCV, 2021)

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. - Muhammad Usman 024; Yannic Noller; Corina S. Pasareanu; Youcheng Sun; Divya Gopinath (ICSE (Companion Volume), 2021)

RobOT: Robustness-Oriented Testing for Deep Learning Systems. - Jingyi Wang 004; Jialuo Chen; Youcheng Sun; Xingjun Ma; Dongxia Wang 002; Jun Sun 001; Peng Cheng 001 (ICSE, 2021)

Ranking Policy Decisions. - Hadrien Pouget; Hana Chockler; Youcheng Sun; Daniel Kroening (NeurIPS, 2021)

Compositional Explanations for Image Classifiers. - Hana Chockler; Daniel Kroening; Youcheng Sun (CoRR, 2021)

Tutorials on Testing Neural Networks. - Nicolas Berthier; Youcheng Sun; Wei Huang 035; Yanghao Zhang; Wenjie Ruan; Xiaowei Huang 001 (CoRR, 2021)

Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks. - Paolo Pazzaglia; Youcheng Sun; Marco Di Natale (ACM Trans. Embed. Comput. Syst., 2021)

VPN: Verification of Poisoning in Neural Networks. - Youcheng Sun; Muhammad Usman 024; Divya Gopinath; Corina S. Pasareanu (NSV/FoMLAS@CAV, 2022)

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. - Renjue Li; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Bai Xue 001; Lijun Zhang 001 (ICSE, 2022)

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. - Muhammad Usman 024; Divya Gopinath; Youcheng Sun; Corina S. Pasareanu (RV, 2022)

Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models. - Jialuo Chen; Jingyi Wang 004; Tinglan Peng; Youcheng Sun; Peng Cheng 001; Shouling Ji; Xingjun Ma; Bo Li 026; Dawn Song (SP, 2022)

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Corina S. Pasareanu (CoRR, 2022)

Safety Analysis of Autonomous Driving Systems Based on Model Learning. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (CoRR, 2022)

Coverage-Guided Testing for Recurrent Neural Networks. - Wei Huang 035; Youcheng Sun; Xingyu Zhao 001; James Sharp; Wenjie Ruan; Jie Meng; Xiaowei Huang 001 (IEEE Trans. Reliab., 2022)

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). - 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; et al. (ECRTS, 2023)

DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models. - Jialuo Chen; Youcheng Sun; Jingyi Wang 004; Peng Cheng 001; Xingjun Ma (ICSE Companion, 2023)

AIREPAIR: A Repair Platform for Neural Networks. - Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro (ICSE Companion, 2023)

Rule-Based Testing of Neural Networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Corina S. Pasareanu (SE4SafeML@SIGSOFT FSE, 2023)

QNNRepair: Quantized Neural Network Repair. - Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro (SEFM, 2023)

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. - Yiannis Charalambous; Norbert Tihanyi; Ridhi Jain; Youcheng Sun; Mohamed Amine Ferrag; Lucas C. Cordeiro (CoRR, 2023)

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). - 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; et al. (Dagstuhl Artifacts Ser., 2023)

Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. - Yiannis Charalambous; Norbert Tihanyi; Ridhi Jain; Youcheng Sun; Mohamed Amine Ferrag; Lucas C. Cordeiro (Zenodo, 2023)

An overview of structural coverage metrics for testing neural networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Rishi Dange; Luca Manolache; Corina S. Pasareanu (Int. J. Softw. Tools Technol. Transf., 2023)

QuoTe: Quality-oriented Testing for Deep Learning Systems. - Jialuo Chen; Jingyi Wang 004; Xingjun Ma; Youcheng Sun; Jun Sun 001; Peixin Zhang 001; Peng Cheng 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Probing the Uniquely Identifiable Linguistic Patterns of Conversational AI Agents. - Iqra Zahid; Tharindu Madusanka; Riza Batista-Navarro; Youcheng Sun (ACL (Findings), 2024)

Multi-Loss Fusion: Angular and Contrastive Integration for Machine-Generated Text Detection. - Iqra Zahid; Yue Chang; Tharindu Madusanka; Youcheng Sun; Riza Batista-Navarro (EMNLP (Findings), 2024)

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. - Jianan Ma; Pengfei Yang 002; Jingyi Wang 004; Youcheng Sun; Cheng-Chao Huang; Zhen Wang 013 (ICSE, 2024)

Privacy-Preserving Load-Shaping Strategies for Smart Meters using Deep Reinforcement Learning. - Ruichang Zhang; Kaiyue Wu; Youcheng Sun; Mustafa A. Mustafa (ISGT EUROPE, 2024)

ESBMC-Python: A Bounded Model Checker for Python Programs. - Bruno Farias 001; Rafael Menezes; Eddie B. de Lima Filho; Youcheng Sun; Lucas C. Cordeiro (ISSTA, 2024)

Isolation-Based Debugging for Neural Networks. - Jialuo Chen; Jingyi Wang 004; Youcheng Sun; Peng Cheng 001; Jiming Chen 001 (ISSTA, 2024)

Interpretability Based Neural Network Repair. - Zuohui Chen; Jun Zhou; Youcheng Sun; Jingyi Wang 004; Qi Xuan 001; Xiaoniu Yang (ISSTA, 2024)

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. - Jialuo Chen; Jingyi Wang 004; Xiyue Zhang 001; Youcheng Sun; Marta Kwiatkowska; Jiming Chen 001; Peng Cheng 001 (ASE, 2024)

TAIiST CPS-UAV at the SBFT Tool Competition 2024. - Taohong Zhu; William Newton; Suzanne M. Embury; Youcheng Sun (SBFT@ICSE, 2024)

Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning. - Ruichang Zhang; Youcheng Sun; Mustafa A. Mustafa (SmartGridComm, 2024)

Does Knowledge Graph Really Matter for Recommender Systems? - Haonan Zhang; Dongxia Wang 002; Zhu Sun 001; Yanhui Li; Youcheng Sun; Huizhi Liang; Wenhai Wang (CoRR, 2024)

Was it Slander? Towards Exact Inversion of Generative Language Models. - Adrians Skapars; Edoardo Manino; Youcheng Sun; Lucas C. Cordeiro (CoRR, 2024)

Causal Explanations for Image Classifiers. - Hana Chockler; David A. Kelly; Daniel Kroening; Youcheng Sun (CoRR, 2024)

Formal verification of robustness and resilience of learning-enabled state estimation systems. - Wei Huang 035; Yifan Zhou; Gaojie Jin; Youcheng Sun; Jie Meng; Fan Zhang 044; Xiaowei Huang 001 (Neurocomputing, 2024)

VeriFi: Towards Verifiable Federated Unlearning. - Xiangshan Gao; Xingjun Ma; Jingyi Wang 004; Youcheng Sun; Bo Li 026; Shouling Ji; Peng Cheng 001; Jiming Chen 001 (IEEE Trans. Dependable Secur. Comput., 2024)

BEDAA: Bayesian Enhanced DeBERTa for Uncertainty-Aware Authorship Attribution. - Iqra Zahid; Youcheng Sun; Riza Batista-Navarro (ACL (Findings), 2025)

Towards Large Language Model Guided Kernel Direct Fuzzing. - Xie Li; Zhaoyue Yuan; Zhenduo Zhang; Youcheng Sun; Lijun Zhang 001 (FASE, 2025)

SaFliTe: Fuzzing Autonomous Systems via Large Language Models. - Taohong Zhu; Adrians Skapars; Fardeen Mackenzie; Declan Kehoe; William Newton; Suzanne M. Embury; Youcheng Sun (TAROS, 2025)

QuantiVA: quantitative verification of autonomous driving. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (Res. Dir. Cyber Phys. Syst., 2025)

GRADA: Graph-based Reranker against Adversarial Documents Attack. - Jingjie Zheng; Aryo Pradipta Gema; Giwon Hong; Xuanli He; Pasquale Minervini; Youcheng Sun; Qiongkai Xu (CoRR, 2025)

Defending the Edge: Representative-Attention for Mitigating Backdoor Attacks in Federated Learning. - Chibueze Peace Obioma; Youcheng Sun; Mustafa A. Mustafa (CoRR, 2025)

KG4RecEval: Does Knowledge Graph Really Matter for Recommender Systems? - Haonan Zhang; Dongxia Wang 002; Zhu Sun 001; Yanhui Li; Youcheng Sun; Huizhi Liang; Wenhai Wang (ACM Trans. Inf. Syst., 2025)

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models. - Daniel Koh; Yannic Noller; Corina S. Pasareanu; Adrians Skapars; Youcheng Sun (CoRR, 2025)

GPT, But Backwards: Exactly Inverting Language Model Outputs. - Adrians Skapars; Edoardo Manino; Youcheng Sun; Lucas C. Cordeiro (CoRR, 2025)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation. - Taohong Zhu; Lucas C. Cordeiro; Youcheng Sun (CoRR, 2025)

Tapas are free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments. - Jinwei Hu; Yi Dong 002; Youcheng Sun; Xiaowei Huang 001 (CoRR, 2025)