Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Youcheng Sun
Toward Parametric Timed Interfaces for Real-Time Components
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Structural Test Coverage Criteria for Deep Neural Networks
Related publications
Real-Time Control With Parametric Timed Reachability Games
IFAC Proceedings Volumes
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata
International Journal of Foundations of Computer Science
Computer Science
Parametric Timing Analysis for Real-Time Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Proposal for Real-Time Interfaces in SPEEDS
Compiling Real-Time Scenarios Into a Timed Automaton
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
Stochastic Real-Time Games With Qualitative Timed Automata Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
