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

  • 8 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., 17 Jun 2020, In : Computer Science Review. 100270.

Research output: Contribution to journalReview article

  • 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

    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
  • 1 Citation (Scopus)
    5 Downloads (Pure)

    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. p. 111-114 4 p.

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


    • 4 Publication peer-review
    • 2 Other
    • 1 Participation in Festival/Exhibition

    Second marker for Stage 4 Research and Development Project (CSC4006)

    Youcheng Sun (Recipient)

    21 May 2020

    Activity: Other activity typesOther

    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

    Join ACM TOSEM Board of Distinguished Reviewers

    Youcheng Sun (Recipient)

    07 Apr 2020

    Activity: Other activity typesOther

    Computing Applicants Day in CSB

    Youcheng Sun (Participant)

    01 Feb 2020

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

    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