![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Youcheng Sun
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]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: 127643 (2024) - [c36]Jianan Ma
, Pengfei Yang
, Jingyi Wang
, Youcheng Sun
, Cheng-Chao Huang
, Zhen Wang
:
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. ICSE 2024: 8:1-8:13 - [i29]Haonan Zhang, Dongxia Wang, Zhu Sun, Yanhui Li, Youcheng Sun, Huizhi Liang, Wenhai Wang:
Does Knowledge Graph Really Matter for Recommender Systems? CoRR abs/2404.03164 (2024) - [i28]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 abs/2405.18888 (2024) - [i27]Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro:
ESBMC-Python: A Bounded Model Checker for Python Programs. CoRR abs/2407.03472 (2024) - 2023
- [j12]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): 04:1-04:6 (2023) - [j11]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): 393-405 (2023) - [j10]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): 125:1-125:33 (2023) - [c35]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: 19:1-19:18 - [c34]Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng, Xingjun Ma:
DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models. ICSE Companion 2023: 64-67 - [c33]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
AIREPAIR: A Repair Platform for Neural Networks. ICSE Companion 2023: 98-101 - [c32]Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu:
Rule-Based Testing of Neural Networks. SE4SafeML@SIGSOFT FSE 2023: 1-5 - [c31]Xidan Song
, Youcheng Sun
, Mustafa A. Mustafa
, Lucas C. Cordeiro
:
QNNRepair: Quantized Neural Network Repair. SEFM 2023: 320-339 - [i26]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 abs/2305.14752 (2023) - [i25]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
QNNRepair: Quantized Neural Network Repair. CoRR abs/2306.13793 (2023) - 2022
- [j9]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): 1191-1206 (2022) - [c30]Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
VPN: Verification of Poisoning in Neural Networks. NSV/FoMLAS@CAV 2022: 3-14 - [c29]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: 2189-2201 - [c28]Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu:
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. RV 2022: 67-84 - [c27]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. SP 2022: 824-841 - [i24]Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu:
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. CoRR abs/2202.01179 (2022) - [i23]Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
VPN: Verification of Poisoning in Neural Networks. CoRR abs/2205.03894 (2022) - [i22]Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun, Bo Li, Shouling Ji, Peng Cheng, Jiming Chen:
VeriFi: Towards Verifiable Federated Unlearning. CoRR abs/2205.12709 (2022) - [i21]Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu:
An Overview of Structural Coverage Metrics for Testing Neural Networks. CoRR abs/2208.03407 (2022) - [i20]Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang:
Safety Analysis of Autonomous Driving Systems Based on Model Learning. CoRR abs/2211.12733 (2022) - [i19]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
AIREPAIR: A Repair Platform for Neural Networks. CoRR abs/2211.15387 (2022) - 2021
- [j8]Paolo Pazzaglia
, Youcheng Sun
, Marco Di Natale
:
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks. ACM Trans. Embed. Comput. Syst. 20(1): 3:1-3:26 (2021) - [c26]Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu:
NNrepair: Constraint-Based Repair of Neural Network Classifiers. CAV (1) 2021: 3-25 - [c25]Hana Chockler, Daniel Kroening, Youcheng Sun
:
Explanations for Occluded Images. ICCV 2021: 1214-1223 - [c24]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: 25-28 - [c23]Jingyi Wang, Jialuo Chen
, Youcheng Sun
, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng:
RobOT: Robustness-Oriented Testing for Deep Learning Systems. ICSE 2021: 300-311 - [c22]Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening:
Ranking Policy Decisions. NeurIPS 2021: 8702-8713 - [i18]Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng:
RobOT: Robustness-Oriented Testing for Deep Learning Systems. CoRR abs/2102.05913 (2021) - [i17]Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath:
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks. CoRR abs/2103.00124 (2021) - [i16]Hana Chockler, Daniel Kroening, Youcheng Sun:
Compositional Explanations for Image Classifiers. CoRR abs/2103.03622 (2021) - [i15]Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller
, Corina S. Pasareanu:
NNrepair: Constraint-based Repair of Neural Network Classifiers. CoRR abs/2103.12535 (2021) - [i14]Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang:
Tutorials on Testing Neural Networks. CoRR abs/2108.01734 (2021) - [i13]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 abs/2112.05588 (2021) - 2020
- [j7]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: 100270 (2020) - [c21]Youcheng Sun
, Hana Chockler
, Xiaowei Huang
, Daniel Kroening
:
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) 2020: 391-406 - [c20]Youcheng Sun
, Yifan Zhou, Simon Maskell, James Sharp
, Xiaowei Huang:
Reliability Validation of Learning Enabled Vehicle Tracking. ICRA 2020: 9390-9396 - [c19]Yannic Noller
, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun
, Hoang Lam Nguyen, Lars Grunske
:
HyDiff: hybrid differential software analysis. ICSE 2020: 1273-1285 - [c18]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: 7336-7343 - [i12]Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang:
Reliability Validation of Learning Enabled Vehicle Tracking. CoRR abs/2002.02424 (2020) - [i11]Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening:
Ranking Policy Decisions. CoRR abs/2008.13607 (2020) - [i10]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 abs/2010.08311 (2020)
2010 – 2019
- 2019
- [j6]Youcheng Sun
, Marco Di Natale:
Pessimism in multicore global schedulability analysis. J. Syst. Archit. 97: 142-152 (2019) - [j5]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): 35:1-35:28 (2019) - [j4]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): 94:1-94:23 (2019) - [c17]Youcheng Sun, Xiaowei Huang, Daniel Kroening
, James Sharp
, Matthew Hill, Rob Ashmore:
DeepConcolic: testing and debugging deep neural networks. ICSE (Companion Volume) 2019: 111-114 - [c16]Youcheng Sun, Xiaowei Huang, Daniel Kroening
, James Sharp
, Matthew Hill, Rob Ashmore:
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) 2019: 320-321 - [c15]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: 5944-5952 - [c14]Martin Brain, Florian Schanda, Youcheng Sun
:
Building Better Bit-Blasting for Floating-Point Problems. TACAS (1) 2019: 79-98 - [i9]Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp:
testRNN: Coverage-guided Testing on Recurrent Neural Networks. CoRR abs/1906.08557 (2019) - [i8]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR abs/1908.02374 (2019) - [i7]Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang:
Test Metrics for Recurrent Neural Networks. CoRR abs/1911.01952 (2019) - 2018
- [j3]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): 515-536 (2018) - [c13]David Landsberg
, Youcheng Sun
, Daniel Kroening
:
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. FASE 2018: 246-263 - [c12]Youcheng Sun
, Min Wu, Wenjie Ruan
, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
:
Concolic testing for deep neural networks. ASE 2018: 109-119 - [c11]Youcheng Sun
, Marco Di Natale:
Assessing the pessimism of current multicore global fixed-priority schedulability analysis. SAC 2018: 575-583 - [i6]Youcheng Sun, Xiaowei Huang, Daniel Kroening:
Testing Deep Neural Networks. CoRR abs/1803.04792 (2018) - [i5]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 abs/1804.05805 (2018) - [i4]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic Testing for Deep Neural Networks. CoRR abs/1805.00089 (2018) - 2017
- [j2]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): 171:1-171:19 (2017) - [c10]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: 170-173 - [i3]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 abs/1707.01466 (2017) - 2016
- [j1]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): 323-355 (2016) - [c9]Luca Abeni
, Giuseppe Lipari
, Andrea Parri, Youcheng Sun
:
Multicore CPU reclaiming: parallel or sequential? SAC 2016: 1877-1884 - 2015
- [c8]Étienne André
, Giuseppe Lipari
, Hoang Gia Nguyen, Youcheng Sun
:
Reachability Preservation Based Parameter Synthesis for Timed Automata. NFM 2015: 50-65 - [c7]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: 172-181 - [c6]Youcheng Sun
, Giuseppe Lipari:
Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling. RTSS 2015: 130-140 - [i2]Luca Abeni, Giuseppe Lipari, Andrea Parri, Youcheng Sun:
Parallel and sequential reclaiming in multicore real-time global scheduling. CoRR abs/1512.01984 (2015) - 2014
- [c5]Youcheng Sun
, Giuseppe Lipari
, Nan Guan, Wang Yi:
Improving the response time analysis of global fixed-priority multiprocessor scheduling. RTCSA 2014: 1-9 - [c4]Youcheng Sun
, Giuseppe Lipari
, Romain Soulat, Laurent Fribourg, Nicolas Markey
:
Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA 2014: 1-10 - [c3]Youcheng Sun
, Giuseppe Lipari
:
A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata. RTNS 2014: 35 - [c2]Youcheng Sun
, Giuseppe Lipari
, Étienne André
, Laurent Fribourg:
Toward Parametric Timed Interfaces for Real-Time Components. SynCoP 2014: 49-64 - 2013
- [c1]Youcheng Sun
, Romain Soulat, Giuseppe Lipari, Étienne André
, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. FTSCS 2013: 212-228 - [i1]Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. CoRR abs/1302.1306 (2013)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 19:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint