Youcheng Sun

Search results

• 2024

  ESBMC-Python: A Bounded Model Checker for Python Programs

  Farias, B., Menezes, R., Filho, E. B. D. L., Sun, Y. & Cordeiro, L., 26 Jul 2024, (Accepted/In press) The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

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

  File

  • model checker 100%
  • Model Checking 50%
  • Annotation 25%
  • Intermediate Representation 25%
  • Type Information 25%
  8 Downloads (Pure)

• Interpretability Based Neural Network Repair

  Chen, Z., Zhou, J., Sun, Y., Wang, J., Xuan, Q. & Yang, X., 3 Jul 2024, (Accepted/In press) The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2024, Vienna, Austria.

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

  • Interpretability 100%
  • Neural Network 100%
  • Deep Neural Network 60%
  • Backdoors 40%
  • Attackers 20%

• Isolation-based Debugging for Neural Networks

  Chen, J., Wang, J., Sun, Y., Cheng, P. & Chen, J., 1 Mar 2024, (Accepted/In press) The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

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

  • Neural Network 100%
  • Backdoors 60%
  • Behavior (Neuroscience) 33%
  • Neural Network Model 20%
  • Generalization Performance 20%

• Privacy-Preserving Load-Shaping Strategies for Smart Meters using Deep Reinforcement Learning

  Zhang, R., Wu, K., Sun, Y. & Mustafa, M., 17 Jul 2024, (Accepted/In press) IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe).

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

  • Privacy Preserving 100%
  • Deep Reinforcement Learning 100%
  • Smart Meters 100%
  • Smart Meter 100%
  • Reinforcement Learning 100%

• Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning

  Zhang, R., Sun, Y. & Mustafa, M., 9 Jul 2024, (Accepted/In press) IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm). IEEE

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

  File

  • User Privacy 100%
  • Deep Reinforcement Learning 100%
  • Reinforcement Learning 100%
  • Energy Usage 50%
  • Electricity Cost 50%
  10 Downloads (Pure)
• 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

  Open Access

  File

  • Neural Network 100%
  • Fair Comparison 50%
  89 Downloads (Pure)

• 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
  405 Downloads (Pure)

• From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS

  Altmeyer, S., André, É., Dal Zilio, S., Fejoz, L., González Harbour, M., Graf, S., Gutiérrez, J. J., Henia, R., Le Botlan, D., Lipari, G., Medina, J., Navet, N., Quinton, S., M. Rivas , J. & Sun, Y., 11 Jul 2023, (E-pub ahead of print) 35th Euromicro Conference on Real-Time Systems (ECRTS 2023).

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

  Open Access

  File

  • Use Case 100%
  • Tracking System 100%
  • Camera Control 100%
  • Limited Precision 100%
  • tracking control 100%
  74 Downloads (Pure)

• QNNRepair: Quantized Neural Network Repair

  Song, X., Sun, Y., Mustafa, M. A. & Cordeiro, L. C., 18 Aug 2023, (Accepted/In press) 21st International Conference on Software Engineering and Formal Methods.

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

  Open Access

  File

  • MobileNetV2 100%
  34 Downloads (Pure)

• VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks

  Ma, J., Yang, P., Wang, J., Sun, Y., Huang, C.-C. & Wang, Z., 2 Sept 2023, (Accepted/In press) 46th International Conference on Software Engineering (ICSE 2024).

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

  Open Access

  File
  415 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

  • Causal Theory 100%

• 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
  155 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

  • Neural Network 100%
  • Formal Verification 20%
  • Security Concern 20%
  • Network Security 20%
  • Attackers 20%
  87 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

  • Copyright Protection 100%
  • Deep Learning Model 100%
  • Copyright Infringement 50%
  • Training Process 50%
  • Case Generation 25%

• 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

  • Neural Network 100%
  • Machine Learning 25%
  • Neural Network Model 25%
  • Parsing 25%
  • Trained Neural Network 25%

• 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

  • Learning Systems 100%
  • Deep Learning 100%
  • Fuzzing 20%
  • Deep Learning Model 20%
  • Adversarial Example 20%

• 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
  306 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%
  • State of the Art 100%
  • Software Engineering 100%
  • Explainable Artificial Intelligence 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

  • Symbolic Execution 100%
  • Fuzzing 75%
  • Deep Neural Network 50%
  • side-channel 50%
  • Execution Time 25%

• 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%

• 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%
  • Bit Vector 25%
  • Deep Understanding 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

  • Deep Neural Network 100%
  • Hamming Distance 100%
  • Adversarial Example 33%
  • Critical System 33%
  • Physical Attack 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

  • Multicore 100%
  • Schedulability Analysis 100%
  • Allocation Strategy 33%
  • Task Execution 33%
  • Global Analysis 33%

• Concolic Testing for Deep Neural Networks

  Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M. & Kroening, D., 3 Sept 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

  • Neural Network 100%
  • Test Requirement 50%

• 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%
  • Lines of Code 20%
• 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

  • Testing Procedure 100%
  • Code Coverage Analysis 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

  • Multicore 100%
  • Case Study 100%
  • Fuel Injection System 100%
  • Optimization Technique 50%
  • Timing Analysis 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

  • Timed Automaton 100%
  • Reference Parameter 100%
  • Concurrent System 50%
  • Algorithm Semi 50%
  • 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

  • Aware Task Allocation 100%
• 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

  • Schedulability Analysis 100%
  • Weak Simulation 100%
  • Simulation Relation 100%
  • Hybrid Automaton 100%
  • State Space 40%

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

  Sun, Y., Lipari, G., Soulat, R., Fribourg, L. & Markey, N., 25 Sept 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

  • Hybrid Automaton 100%
  • Reachability Analysis 66%
  • Schedulability Analysis 66%
  • Real Time Systems 33%
  • Dependent Behavior 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

  • Response Time 100%
  • Multiprocessor System 100%
  • Schedulability Analysis 100%
  • Preemptive Scheduling 100%
  • multi-processor 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 100%
  • Distributed Systems 100%
  • Analytics Technique 33%
  • Real Time Systems 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%
  • Complex Task 50%
  • Timed Automaton 50%
  • Single Processor 50%
  • Parametric Analysis 50%