Youcheng Sun

Search results

• 2023

  AIREPAIR: A Repair Platform for Neural Networks

  Song, X., Sun, Y., Mustafa, M. A. & Cordeiro, L. C., 20 Jan 2023, (Accepted/In press) 45th IEEE/ACM International Conference on Software Engineering.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Evaluation 100%
  • Networks 100%
  • Utilities 100%
  • Fair Comparison 100%

• DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models

  Chen, J., Sun, Y., Wang, J., Cheng, P. & Ma, X., 20 Jan 2023, (Accepted/In press) 45th IEEE/ACM International Conference on Software Engineering.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  47 Downloads (Pure)
• 2022

  Explanations for Occluded Images

  Chockler, H., Kroening, D. & Sun, Y., 28 Feb 2022, 2021 International Conference on Computer Vision: Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Algorithms 100%
  • Computing 50%
  • Classification (Machine Learning) 50%
  • Causal Theory 50%

• Rule-based Runtime Mitigation against Poison Attacks on Neural Networks

  Usman, M., Gopinath, D., Sun, Y. & Pasareanu, C., 29 Jun 2022, (Accepted/In press) International Conference on Runtime Verification.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  59 Downloads (Pure)

• VPN: Verification of Poisoning in Neural Networks

  Sun, Y., Usman, M., Gopinath, D. & Păsăreanu, C., 17 Jun 2022, (Accepted/In press) 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems Affiliated with FLoC 2022.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File

  • Application 100%
  • Classes 100%
  • Training Data 100%
  • Formal Verification 100%
  • Security Concern 100%
  30 Downloads (Pure)
• 2021

  Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models

  Chen, J., Wang, J., Peng, T., Sun, Y., Cheng, P., Ji, S., Ma, X., Li, B. & Song, D., 7 Dec 2021, (Accepted/In press) IEEE Symposium on Security and Privacy (S&P).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Learning 100%
  • Deep Learning Model 80%
  • Testing 60%
  • Attack 60%
  • Copyright Protection 60%

• NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks

  Usman, M., Noller, Y., Pasareanu, C. S., Sun, Y. & Gopinath, D., May 2021, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2021. IEEE Computer Society , p. 25-28 4 p. (Proceedings - International Conference on Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Application 100%
  • Testing 100%
  • Parameter Model 100%
  • Representation 50%
  • Classes 50%

• NNrepair: constraint-based repair of neural network classifiers

  Usman, M., Gopinath, D., Sun, Y., Noller, Y. & Păsăreanu, C. S., 2021, Computer Aided Verification (CAV): 33rd International Conference, July 20--23, 2021, Proceedings, Part I 33. p. 3-25 23 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Ranking policy decisions

  Pouget, H., Chockler, H., Sun, Y. & Kroening, D., 2021, 2021 Conference on Neural Information Processing Systems (NeurIPS). Vol. 34. p. 8702-8713 12 p. (Advances in Neural Information Processing Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• RobOT: Robustness-Oriented Testing for Deep Learning Systems

  Wang, J., Chen, J., Sun, Y., Ma, X., Wang, D., Sun, J. & CHeng, P., 7 May 2021, 43rd International Conference on Software Engineering (ICSE): Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Testing 100%
  • Learning Systems 25%
  • Deep Learning 16%
  • Convergence 8%
  • Quality Assurance 8%

• Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning

  Li, R., Yang, P., Huang, C-C., Sun, Y., Xue, B. & Zhang, L., 2 Dec 2021, (Accepted/In press) International Conference on Software Engineering (ICSE).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  173 Downloads (Pure)
• 2020

  Explaining Image Classifiers using Statistical Fault Localization

  Sun, Y., Chockler, H., Huang, X. & Kroening, D., 3 Nov 2020, European Conference on Computer Vision: 23-28 August 2020: Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Deep Neural Network 100%
  • Fault Localization 100%
  • Classification (Machine Learning) 33%
  • Algorithms 33%
  • Accuracy 33%

• HyDiff: Hybrid Differential Software Analysis

  Noller, Y., Păsăreanu, C., Böhme, M., Sun, Y., Nguyen, H. L. & Grunske, L., 27 Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. p. 1273-1285 13 p. 3380363. (Proceedings - International Conference on Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Programs 100%
  • Application Software 40%
  • Symbolic Execution 40%
  • Testing 30%
  • Regression 30%

• Practical Verification of Neural Network Enabled State Estimation System for Robotics

  Huang, W., Zhou, Y., Sun, Y., Sharp, J., Maskell, S. & Huang, X., 24 Oct 2020, International Conference on Intelligent Robots and Systems (IROS). p. 7336-7343 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • State Estimation System 100%
  • Sensory Process 25%

• Reliability Validation of Learning Enabled Vehicle Tracking

  Sun, Y., Zhou, Y., Maskell, S., Sharp, J. & Huang, X., May 2020, International Conference on Robotics and Automation (ICRA). p. 9390-9396

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
• 2019

  Building Better Bit-Blasting for Floating-Point Problems

  Brain, M., Schanda, F. & Sun, Y., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. p. 79-98 20 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Floating Point 100%
  • Hardware 25%
  • Argument 25%
  • Experimental Result 25%
  • Effective Approach 25%

• DeepConcolic: testing and debugging deep neural networks

  Sun, Y., Huang, X., Kroening, D., Sharp, J., Hill, M. & Ashmore, R., 2019, Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

  Ruan, W., Wu, M., Sun, Y., Huang, X., Kroening, D. & Kwiatkowska, M., Aug 2019, International Joint Conferences on Artificial Intelligence Organization: Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Computation 100%
  • Algorithms 100%
  • Deep Neural Network 100%
  • Evaluation 33%
  • Computing 33%
• 2018

  Assessing the pessimism of current multicore global fixed-priority schedulability analysis

  Sun, Y. & Di Natale, M., 9 Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 575-583 9 p. (Proceedings of the ACM Symposium on Applied Computing).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Local Analysis 100%

• Concolic Testing for Deep Neural Networks

  Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M. & Kroening, D., 3 Sep 2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. p. 109-119 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Testing 100%
  • Deep Neural Network 40%
  • Application Software 20%
  • Programs 20%
  • Experimental Result 20%

• Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.

  Landsberg, D., Sun, Y. & Kroening, D., 4 Apr 2018, 2018 International Conference on Fundamental Approaches to Software Engineering (FASE 2018): Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Fault Localization 100%
  • Program 80%
  • Programs 80%
  • Fault 60%
  • Spectra 40%
• 2017

  Functional Requirements-Based Automated Testing for Avionics

  Sun, Y., Brain, M., Kroening, D., Hawthorn, A., Wilson, T., Schanda, F., Jimenez, F. J. G., Daniel, S., Bryan, C. & Broster, I., Nov 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS). New York: IEEE, p. 170-173 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Application 100%
  • Testing 100%
  • Best Practice 100%
  • Case Study 100%
  • Software Development 100%
• 2016

  Moving from Single-Core to Multicore: Initial Findings on a Fuel Injection Case Study

  Biondi, A., Di natale, M., Sun, Y. & Botta, S., 5 Apr 2016, SAE 2016 World Congress and Exhibition. Warrendale, PA: SAE International

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Case Study 100%
  • Application 50%
  • Representation 50%
  • Optimization 50%
  • Algorithms 50%

• Multicore CPU reclaiming: parallel or sequential?

  Abeni, L., Lipari, G., Parri, A. & Sun, Y., 4 Apr 2016, 31st Annual ACM Symposium on Applied Computing (SAC). p. 1877-1884

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Response time analysis with limited carry-in for global earliest deadline first scheduling

  Sun, Y. & Lipari, G., 18 Jan 2016, 2015 IEEE Real-Time Systems Symposium.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
• 2015

  Reachability preservation based parameter synthesis for timed automata

  André, É., Lipari, G., Nguyen, H. G. & Sun, Y., 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer-Verlag Italia, p. 50-65 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reference Parameter 100%
  • Timing Parameter 50%

• Task placement and selection of data consistency mechanisms for real-time multicore applications

  Al-Bayati, Z., Sun, Y., Zeng, H., Di Natale, M., Zhu, Q. & Meyer, B., 18 May 2015, Proceedings - 21st IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2015. New York: IEEE, p. 172-181 10 p. 7108440. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2015-May).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Multicore 100%
  • Data Consistency 100%
  • Algorithms 66%
  • Shared Resource 66%
  • Task Placement 66%
• 2014

  A weak simulation relation for real-time schedulability analysis of Global Fixed Priority scheduling using Linear Hybrid Automata

  Sun, Y. & Lipari, G., 8 Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS 2014. Association for Computing Machinery, p. 35-44 10 p. (ACM International Conference Proceeding Series; vol. 08-10-October-2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Weak Simulation 100%
  • Simulation Relation 100%

• Component-based analysis of hierarchical scheduling using linear hybrid automata

  Sun, Y., Lipari, G., Soulat, R., Fribourg, L. & Markey, N., 25 Sep 2014, RTCSA 2014 - 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, 6910502. (RTCSA 2014 - 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Scheduling 100%
  • Hybrid Automaton 100%
  • Reachability Analysis 66%
  • Schedulability Analysis 66%
  • Algorithms 33%

• Improving the response time analysis of global fixed-priority multiprocessor scheduling

  Youcheng sun, Lipari, G., Nan guan & Wang yi, Aug 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) . New York: IEEE, 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Preemptive Scheduling 100%

• Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems

  Sun, Y., Soulat, R., Lipari, G., André, É. & Fribourg, L., 6 Apr 2014, Formal Techniques for Safety-Critical Systems (FTSCS): Second International Workshop, FTSCS 2013 Queenstown, New Zealand, October 29–30, 2013 Revised Selected Papers. Artho, C. & Ölveczky, P. C. (eds.). Cham: Springer Nature, p. 212-228 17 p. (Communications in Computer and Information Science; vol. 419).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Automaton 100%
  • Schedulability Analysis 66%
  • Analytics Technique 33%
  • Sensitivity Analysis 33%
  • Parametric Analysis 33%

• Toward Parametric Timed Interfaces for Real-Time Components

  Sun, Y., Lipari, G., André, É. & Fribourg, L., 31 Mar 2014, Proceedings 1st International Workshop on Synthesis of Continuous Parameters (SynCoP). André, É. & Frehse, G. (eds.). Vol. 145. p. 49-64 16 p. (Electronic Proceedings in Theoretical Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Schedulability Analysis 100%
  • Generation 50%
  • Systems Design 50%
  • Complex Task 50%
  • Scheduler 50%