Photo of Youcheng Sun

Accepting PhD Students

PhD projects

I work on the explainability, testing and verification of AI. ** If you have software engineering or embedded system/CPS background and are interested in AI, you are encouraged to contact me for PhD projects. **

20162020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

Trustworthy AI, Automated Software Testing, Model Checking, Real-Time Systems

Fingerprint Dive into the research topics where Youcheng Sun is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 9 Conference contribution
  • 4 Article
  • 1 Paper
  • 1 Review article

A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability

Huang, X., Kroening, D., Ruan, W., Sharp, J., Sun, Y., Thamo, E., Wu, M. & Yi, X., Aug 2020, In : Computer Science Review. 100270.

Research output: Contribution to journalReview article

  • Explaining Image Classifiers using Statistical Fault Localization

    Sun, Y., Chockler, H., Huang, X. & Kroening, D., 02 Jul 2020, (Accepted) European Conference on Computer Vision: 23-28 August 2020 . Springer, (1111-1111 ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks

    Pazzaglia, P., Sun, Y. & Di Natale, M., 01 Jun 2020, (Accepted) In : ACM Transactions on Embedded Computing Systems.

    Research output: Contribution to journalArticle

    Open Access
    File
    3 Downloads (Pure)

    Reliability Validation of Learning Enabled Vehicle Tracking

    Sun, Y., zhou, Y., Maskell, S., Sharp, J. & Huang, X., 22 Jan 2020, (Accepted).

    Research output: Contribution to conferencePaper

    Building Better Bit-Blasting for Floating-Point Problems

    Brain, M., Schanda, F. & Sun, Y., 04 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. Vojnar, T. & Zhang, L. (eds.). p. 79-98 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2 Citations (Scopus)
    6 Downloads (Pure)

    Activities

    Computing Applicants Day in CSB

    Youcheng Sun (Participant)

    01 Feb 2020

    Activity: Participating in or organising an event typesParticipation in Festival/Exhibition

    Join ACM TOSEM Board of Distinguished Reviewers

    Youcheng Sun (Recipient)

    07 Apr 2020

    Activity: Other activity typesOther

    The 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. (Event)

    Youcheng Sun (Peer reviewer)

    22 Apr 2020

    Activity: Publication peer-review and editorial work typesPublication peer-review

    Design Automation for Embedded Systems (Journal)

    Youcheng Sun (Peer reviewer)

    06 May 2020

    Activity: Publication peer-review and editorial work typesPublication peer-review

    29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (Event)

    Youcheng Sun (Peer reviewer)

    22 Jan 202018 Apr 2020

    Activity: Publication peer-review and editorial work typesPublication peer-review