Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Suan Hsi Yong
Debugging via Run-Time Type Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Result Verification by Complete Run-Time Checking of Computations
International Journal of Foundations of Computer Science
Computer Science
Application Workload Modelling via Run-Time Performance Statistics
International Journal of Embedded and Real-Time Communication Systems
Computer Science
Reusing Debugging Knowledge via Trace-Based Bug Search
Reusing Debugging Knowledge via Trace-Based Bug Search
ACM SIGPLAN Notices
Computer Science
Property Checking via Structural Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Model Checking via Abstract Interpretation
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Time- And Space-Conscious Omniscient Debugging of Parallel DEVS
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
Checking System Properties via Integer Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
