Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Farn Wang
Parametric Timing Analysis for Real-Time Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Efficient Model-Checking of Dense-Time Systems With Time-Convexity Analysis
Related publications
Static Timing Analysis for Hard Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametric Timing Analysis
ACM SIGPLAN Notices
Towards Composable Timing for Real-Time Programs
Toward Parametric Timed Interfaces for Real-Time Components
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Software
Improving Early Design Stage Timing Modeling in Multicore Based Real-Time Systems
Real-Time TTCN for Testing Real-Time and Multimedia Systems
Ontology Models for Real Time Systems
Ontology of Designing
Schedulability Analysis for Multiresource Scheduling in Middleware for Distributed Real Time Systems
International Journal of Computer Applications
