Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Schedule validation for embedded reactive real-time systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Priority Assignment for Embedded Reactive Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Suspension Automata: A Decidable Class of Hybrid Automata
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Automatic abstraciton for worst-case analysis of discrete systems
DATE '00 Proceedings of the conference on Design, automation and test in Europe
STARS of MPEG decoder: a case study in worst-case analysis of discrete-event systems
Proceedings of the ninth international symposium on Hardware/software codesign
| Hi-index | 0.00 |