Youcheng Sun

Youcheng Sun

Dr

 https://orcid.org/0000-0002-1893-6259

Accepting PhD Students

Search results

  • 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

  • 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

  • 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

  • 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

  • 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