Youcheng Sun

118 papers A* 13A 7B 8Misc 3Journal 66Unranked 21
YearRankTypeTitle / Venue / Authors
2026 — conf
ClawMobile: Rethinking Smartphone-Native Agentic Systems.
EuroMLSys@EuroSys
Hongchao Du, Shangyu Wu, Qiao Li, Riwei Pan, Jinheng Li, Youcheng Sun, Chun Jason Xue
2026 J jnl
ClawMobile: Rethinking Smartphone-Native Agentic Systems.
CoRR
Hongchao Du, Shangyu Wu, Qiao Li, Riwei Pan, Jinheng Li, Youcheng Sun, Chun Jason Xue
2026 J jnl
Compartmentalization-Aware Automated Program Repair.
CoRR
Jia Hu, Youcheng Sun, Pierre Olivier
2026 J jnl
Exposing Hidden Interfaces: LLM-Guided Type Inference for Reverse Engineering macOS Private Frameworks.
CoRR
Arina Kharlamova, Youcheng Sun, Ting Yu
2026 J jnl
Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage.
CoRR
Jinwei Hu, Xinmiao Huang, Youcheng Sun, Yi Dong, Xiaowei Huang
2026 J jnl
SWE-Manager: Selecting and Synthesizing Golden Proposals Before Coding.
CoRR
Boyin Tan, Haoning Deng, Junyuan Zhang, Junjielong Xu, Pinjia He, Youcheng Sun
2026 J jnl
SWE-Skills-Bench: Do Agent Skills Actually Help in Real-World Software Engineering?
CoRR
Tingxu Han, Yi Zhang, Wei Song, Chunrong Fang, Zhenyu Chen, Youcheng Sun, Lijie Hu
2026 J jnl
Specification Vibing for Automated Program Repair.
CoRR
Taohong Zhu, Lucas C. Cordeiro, Mustafa A. Mustafa, Youcheng Sun
2026 A* conf
Tapas Are Free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments.
AAAI
Jinwei Hu, Yi Dong, Youcheng Sun, Xiaowei Huang
2026 J jnl
VulReaD: Knowledge-Graph-guided Software Vulnerability Reasoning and Detection.
CoRR
Samal Mukhtar, Yinghua Yao, Zhu Sun, Mustafa Mustafa, Yew Soon Ong, Youcheng Sun
2025 — conf
BEDAA: Bayesian Enhanced DeBERTa for Uncertainty-Aware Authorship Attribution.
ACL (Findings)
Iqra Zahid, Youcheng Sun, Riza Batista-Navarro
2025 J jnl
Defending the Edge: Representative-Attention for Mitigating Backdoor Attacks in Federated Learning.
CoRR
Chibueze Peace Obioma, Youcheng Sun, Mustafa A. Mustafa
2025 J jnl
GPT, But Backwards: Exactly Inverting Language Model Outputs.
CoRR
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
2025 J jnl
GRADA: Graph-based Reranker against Adversarial Documents Attack.
CoRR
Jingjie Zheng, Aryo Pradipta Gema, Giwon Hong, Xuanli He, Pasquale Minervini, Youcheng Sun, Qiongkai Xu
2025 A* conf
GRADA: Graph-based Reranking against Adversarial Documents Attack.
EMNLP
Jingjie Zheng, Aryo Pradipta Gema, Giwon Hong, Xuanli He, Pasquale Minervini, Youcheng Sun, Qiongkai Xu
2025 J jnl
KG4RecEval: Does Knowledge Graph Really Matter for Recommender Systems?
ACM Trans. Inf. Syst.
Haonan Zhang, Dongxia Wang, Zhu Sun, Yanhui Li, Youcheng Sun, Huizhi Liang, Wenhai Wang
2025 J jnl
LLM-Driven Kernel Evolution: Automating Driver Updates in Linux.
CoRR
Arina Kharlamova, Jiawen Liu, Tianyi Zhang, Xinrui Yang, Humaid Alqasimi, Youcheng Sun, Chun Jason Xue
2025 J jnl
QuantiVA: quantitative verification of autonomous driving.
Res. Dir. Cyber Phys. Syst.
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
2025 A conf
ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation.
RE
Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun
2025 J jnl
ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation.
CoRR
Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun
2025 — conf
SaFliTe: Fuzzing Autonomous Systems via Large Language Models.
TAROS
Taohong Zhu, Adrians Skapars, Fardeen Mackenzie, Declan Kehoe, William Newton, Suzanne M. Embury, Youcheng Sun
2025 J jnl
Tapas are free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments.
CoRR
Jinwei Hu, Yi Dong, Youcheng Sun, Xiaowei Huang
2025 J jnl
The 4/δ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee.
CoRR
Pierre V. Dantas, Lucas C. Cordeiro, Youcheng Sun, Waldir S. S. Júnior
2025 B conf
Towards Large Language Model Guided Kernel Direct Fuzzing.
FASE
Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang
2025 J jnl
Towards Large Language Model Guided Kernel Direct Fuzzing.
CoRR
Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang
2025 J jnl
Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models.
CoRR
Daniel Koh, Yannic Noller, Corina S. Pasareanu, Adrians Skapars, Youcheng Sun
2024 J jnl
Causal Explanations for Image Classifiers.
CoRR
Hana Chockler, David A. Kelly, Daniel Kroening, Youcheng Sun
2024 J jnl
Does Knowledge Graph Really Matter for Recommender Systems?
CoRR
Haonan Zhang, Dongxia Wang, Zhu Sun, Yanhui Li, Youcheng Sun, Huizhi Liang, Wenhai Wang
2024 A conf
ESBMC-Python: A Bounded Model Checker for Python Programs.
ISSTA
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
2024 J jnl
ESBMC-Python: A Bounded Model Checker for Python Programs.
CoRR
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
2024 A* conf
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection.
ASE
Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024 J jnl
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection.
CoRR
Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024 J jnl
Formal verification of robustness and resilience of learning-enabled state estimation systems.
Neurocomputing
Wei Huang, Yifan Zhou, Gaojie Jin, Youcheng Sun, Jie Meng, Fan Zhang, Xiaowei Huang
2024 A conf
Interpretability Based Neural Network Repair.
ISSTA
Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang, Qi Xuan, Xiaoniu Yang
2024 A conf
Isolation-Based Debugging for Neural Networks.
ISSTA
Jialuo Chen, Jingyi Wang, Youcheng Sun, Peng Cheng, Jiming Chen
2024 — conf
Multi-Loss Fusion: Angular and Contrastive Integration for Machine-Generated Text Detection.
EMNLP (Findings)
Iqra Zahid, Yue Chang, Tharindu Madusanka, Youcheng Sun, Riza Batista-Navarro
2024 — conf
Privacy-Preserving Load-Shaping Strategies for Smart Meters using Deep Reinforcement Learning.
ISGT EUROPE
Ruichang Zhang, Kaiyue Wu, Youcheng Sun, Mustafa A. Mustafa
2024 — conf
Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning.
SmartGridComm
Ruichang Zhang, Youcheng Sun, Mustafa A. Mustafa
2024 J jnl
Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning.
CoRR
Ruichang Zhang, Youcheng Sun, Mustafa A. Mustafa
2024 — conf
Probing the Uniquely Identifiable Linguistic Patterns of Conversational AI Agents.
ACL (Findings)
Iqra Zahid, Tharindu Madusanka, Riza Batista-Navarro, Youcheng Sun
2024 J jnl
SAFLITE: Fuzzing Autonomous Systems via Large Language Models.
CoRR
Taohong Zhu, Adrians Skapars, Fardeen Mackenzie, Declan Kehoe, William Newton, Suzanne M. Embury, Youcheng Sun
2024 — conf
TAIiST CPS-UAV at the SBFT Tool Competition 2024.
SBFT@ICSE
Taohong Zhu, William Newton, Suzanne M. Embury, Youcheng Sun
2024 A* conf
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
ICSE
Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang
2024 J jnl
VeriFi: Towards Verifiable Federated Unlearning.
IEEE Trans. Dependable Secur. Comput.
Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun, Bo Li, Shouling Ji, Peng Cheng, Jiming Chen
2024 J jnl
Was it Slander? Towards Exact Inversion of Generative Language Models.
CoRR
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
2023 J jnl
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
CoRR
Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro
2023 — conf
AIREPAIR: A Repair Platform for Neural Networks.
ICSE Companion
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
An overview of structural coverage metrics for testing neural networks.
Int. J. Softw. Tools Technol. Transf.
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
2023 — conf
DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models.
ICSE Companion
Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng, Xingjun Ma
2023 J jnl
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).
Dagstuhl Artifacts Ser.
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
2023 B conf
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
ECRTS
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
2023 B conf
QNNRepair: Quantized Neural Network Repair.
SEFM
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
QNNRepair: Quantized Neural Network Repair.
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
QuoTe: Quality-oriented Testing for Deep Learning Systems.
ACM Trans. Softw. Eng. Methodol.
Jialuo Chen, Jingyi Wang, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang, Peng Cheng
2023 — conf
Rule-Based Testing of Neural Networks.
SE4SafeML@SIGSOFT FSE
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
2022 J jnl
AIREPAIR: A Repair Platform for Neural Networks.
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 J jnl
An Overview of Structural Coverage Metrics for Testing Neural Networks.
CoRR
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
2022 J jnl
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks.
CoRR
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
2022 A* conf
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models.
SP
Jialuo Chen, Jingyi Wang, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li, Dawn Song
2022 J jnl
Coverage-Guided Testing for Recurrent Neural Networks.
IEEE Trans. Reliab.
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
2022 B conf
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.
RV
Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu
2022 J jnl
Safety Analysis of Autonomous Driving Systems Based on Model Learning.
CoRR
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
2022 A* conf
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.
ICSE
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang
2022 — conf
VPN: Verification of Poisoning in Neural Networks.
NSV/FoMLAS@CAV
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2022 J jnl
VPN: Verification of Poisoning in Neural Networks.
CoRR
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2022 J jnl
VeriFi: Towards Verifiable Federated Unlearning.
CoRR
Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun, Bo Li, Shouling Ji, Peng Cheng, Jiming Chen
2021 J jnl
Compositional Explanations for Image Classifiers.
CoRR
Hana Chockler, Daniel Kroening, Youcheng Sun
2021 J jnl
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models.
CoRR
Jialuo Chen, Jingyi Wang, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li, Dawn Song
2021 A* conf
Explanations for Occluded Images.
ICCV
Hana Chockler, Daniel Kroening, Youcheng Sun
2021 J jnl
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks.
ACM Trans. Embed. Comput. Syst.
Paolo Pazzaglia, Youcheng Sun, Marco Di Natale
2021 — conf
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.
ICSE (Companion Volume)
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
2021 J jnl
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks.
CoRR
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
2021 — conf
NNrepair: Constraint-Based Repair of Neural Network Classifiers.
CAV (1)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
2021 J jnl
NNrepair: Constraint-based Repair of Neural Network Classifiers.
CoRR
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
2021 A* conf
Ranking Policy Decisions.
NeurIPS
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
2021 A* conf
RobOT: Robustness-Oriented Testing for Deep Learning Systems.
ICSE
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
2021 J jnl
RobOT: Robustness-Oriented Testing for Deep Learning Systems.
CoRR
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
2021 J jnl
Tutorials on Testing Neural Networks.
CoRR
Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang
2020 J jnl
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.
Comput. Sci. Rev.
Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
2020 — conf
Explaining Image Classifiers Using Statistical Fault Localization.
ECCV (28)
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
2020 J jnl
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.
CoRR
Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang
2020 A* conf
HyDiff: hybrid differential software analysis.
ICSE
Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske
2020 A conf
Practical Verification of Neural Network Enabled State Estimation System for Robotics.
IROS
Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang
2020 J jnl
Ranking Policy Decisions.
CoRR
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
2020 A* conf
Reliability Validation of Learning Enabled Vehicle Tracking.
ICRA
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
2020 J jnl
Reliability Validation of Learning Enabled Vehicle Tracking.
CoRR
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
2019 — conf
Building Better Bit-Blasting for Floating-Point Problems.
TACAS (1)
Martin Brain, Florian Schanda, Youcheng Sun
2019 — conf
DeepConcolic: testing and debugging deep neural networks.
ICSE (Companion Volume)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 J jnl
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization.
CoRR
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
2019 A* conf
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.
IJCAI
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2019 J jnl
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems.
ACM Trans. Embed. Comput. Syst.
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
2019 J jnl
Pessimism in multicore global schedulability analysis.
J. Syst. Archit.
Youcheng Sun, Marco Di Natale
2019 J jnl
Structural Test Coverage Criteria for Deep Neural Networks.
ACM Trans. Embed. Comput. Syst.
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 — conf
Structural test coverage criteria for deep neural networks.
ICSE (Companion Volume)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 J jnl
Test Metrics for Recurrent Neural Networks.
CoRR
Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang
2019 J jnl
testRNN: Coverage-guided Testing on Recurrent Neural Networks.
CoRR
Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp
2018 Misc conf
Assessing the pessimism of current multicore global fixed-priority schedulability analysis.
SAC
Youcheng Sun, Marco Di Natale
2018 J jnl
Concolic Testing for Deep Neural Networks.
CoRR
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018 A* conf
Concolic testing for deep neural networks.
ASE
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018 J jnl
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.
CoRR
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2018 J jnl
On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling.
Real Time Syst.
Alessandro Biondi, Youcheng Sun
2018 B conf
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.
FASE
David Landsberg, Youcheng Sun, Daniel Kroening
2018 J jnl
Testing Deep Neural Networks.
CoRR
Youcheng Sun, Xiaowei Huang, Daniel Kroening
2017 B conf
Functional Requirements-Based Automated Testing for Avionics.
ICECCS
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster
2017 J jnl
Functional Requirements-Based Automated Testing for Avionics.
CoRR
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster
2017 J jnl
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks.
ACM Trans. Embed. Comput. Syst.
Youcheng Sun, Marco Di Natale
2016 J jnl
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling.
Real Time Syst.
Youcheng Sun, Giuseppe Lipari
2016 Misc conf
Multicore CPU reclaiming: parallel or sequential?
SAC
Luca Abeni, Giuseppe Lipari, Andrea Parri, Youcheng Sun
2015 J jnl
Parallel and sequential reclaiming in multicore real-time global scheduling.
CoRR
Luca Abeni, Giuseppe Lipari, Andrea Parri, Youcheng Sun
2015 — conf
Reachability Preservation Based Parameter Synthesis for Timed Automata.
NFM
Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun
2015 A conf
Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling.
RTSS
Youcheng Sun, Giuseppe Lipari
2015 A conf
Task placement and selection of data consistency mechanisms for real-time multicore applications.
RTAS
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
2014 Misc conf
A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata.
RTNS
Youcheng Sun, Giuseppe Lipari
2014 B conf
Component-based analysis of hierarchical scheduling using linear hybrid automata.
RTCSA
Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey
2014 B conf
Improving the response time analysis of global fixed-priority multiprocessor scheduling.
RTCSA
Youcheng Sun, Giuseppe Lipari, Nan Guan, Wang Yi
2014 — conf
Toward Parametric Timed Interfaces for Real-Time Components.
SynCoP
Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg
2013 J jnl
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
CoRR
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
2013 — conf
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems.
FTSCS
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg