Scheduling algorithms for fault-tolerance in hard-real-time systems Alan A. BertossiLuigi V. Mancini OriginalPaper Pages: 229 - 245
Runtime monitoring of timing constraints in distributed real-time systems Farnam JahanianRagunathan RajkumarSitaram C. V. Raju OriginalPaper Pages: 247 - 273
Automated verification of responsive protocols modeled by extended finite state machines Yoshiaki KakudaTohru KikunoKenichi Kawashima OriginalPaper Pages: 275 - 289
Compositional reasoning about responsive systems with limited resources Henk Schepers OriginalPaper Pages: 291 - 313
Enhancing fault-tolerance in rate-monotonic scheduling Yingfeng OhSang H. Son Concise Paper Pages: 315 - 329