Author:
Al Khatib M.,Girard A.,Dang T.
Publisher
Springer International Publishing
Reference22 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Al Khatib, M., Girard, A., Dang. T.: Verification and synthesis of timing contracts for embedded controllers. Hybrid Systems: Computation and Control, pp. 115–124. ACM (2016)
3. Al Khatib, M., Girard, A., Dang, T., Dang, T.: Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis. Nonlinear Anal. Hybrid Syst, 25, 211–226 (2017)
4. Al Khatib, M., Girard, A., Dang, T.: Scheduling of embedded controllers under timing contracts. Hybrid Systems: Computation and Control, pp. 131–140. ACM (2017)
5. Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-TIGA: time for playing games! Computer Aided Verification, pp. 121–125. Springer (2007)