Youcheng Sun

According to our database1, Youcheng Sun authored at least 22 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling.
Real-Time Systems, 2018

Concolic Testing for Deep Neural Networks.
CoRR, 2018

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.
CoRR, 2018

Testing Deep Neural Networks.
CoRR, 2018

Assessing the pessimism of current multicore global fixed-priority schedulability analysis.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Concolic testing for deep neural networks.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks.
ACM Trans. Embedded Comput. Syst., 2017

Functional Requirements-Based Automated Testing for Avionics.
CoRR, 2017

Functional Requirements-Based Automated Testing for Avionics.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling.
Real-Time Systems, 2016

Multicore CPU reclaiming: parallel or sequential?
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015
Parallel and sequential reclaiming in multicore real-time global scheduling.
CoRR, 2015

Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Task placement and selection of data consistency mechanisms for real-time multicore applications.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Reachability Preservation Based Parameter Synthesis for Timed Automata.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014
Toward Parametric Timed Interfaces for Real-Time Components.
Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Component-based analysis of hierarchical scheduling using linear hybrid automata.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Improving the response time analysis of global fixed-priority multiprocessor scheduling.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

2013
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
CoRR, 2013

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013


  Loading...