Kordy, Piotr ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Langerak, Rom
Mauw, Sjouke ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Polderman, Jan
External co-authors :
yes
Language :
English
Title :
A symbolic algorithm for the analysis of robust timed automata
Publication date :
May 2014
Event name :
19th International Symposium on Formal Methods
Event date :
from 12-05-2014 to 16-05-2014
Audience :
International
Main work title :
19th International Symposium on Formal Methods (FM'14), 12-16 May 2014
Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems 16(5), 1543-1571 (1994)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
Bengtsson, J.E., Yi, W.: Timed automata: Semantics, algorithms and tools. In: De-sel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87-124. Springer, Heidelberg (2004)
Bouyer, P., Markey, N., Reynier, P.-A.: Robust model-checking of linear-time properties in timed automata. In: Correa, J.R., Hevia, A., Kiwi, M. (eds.) LATIN 2006. LNCS, vol. 3887, pp. 238-249. Springer, Heidelberg (2006)
Bouyer, P., Markey, N., Reynier, P.-A.: Robust analysis of timed automata via channel machines. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 157-171. Springer, Heidelberg (2008)
Bowman, H., Faconti, G., Katoen, J.-P., Latella, D., Massink, M.: Automatic verification of a lip-synchronisation protocol using uppaal. Formal Aspects of Computing 10(5-6), 550-575 (1998)
Comon, H., Jurski, Y.: Timed automata and the theory of real numbers. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 242-257. Springer, Heidelberg (1999)
Daws, C., Kordy, P.: Symbolic robustness analysis of timed automata. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 143-155. Springer, Heidelberg (2006)
Daws, C., Tripakis, S.: Model checking of real-time reachability properties using abstractions. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 313-329. Springer, Heidelberg (1998)
De Wulf, M., Doyen, L., Markey, N., Raskin, J.-F.: Robustness and implementabil-ity of timed automata. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. LNCS, vol. 3253, pp. 118-133. Springer, Heidelberg (2004)
De Wulf, M., Doyen, L., Markey, N., Raskin, J.-F.: Robust safety of timed automata. Formal Meth. Syst. Des. 33(1-3), 45-84 (2008)
Dierks, H.: Comparing model checking and logical reasoning for real-time systems. Formal Asp. Comput. 16(2), 104-120 (2004)
Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111(2), 193-244 (1994)
Jain, R.: FDDI Handbook: High-Speed Networking Using Fiber and Other Media. Addison Wesley Publishing Company (1994)
Jaubert, R., Reynier, P.-A.: Quantitative robustness analysis of flat timed automata. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol. 6604, pp. 229-244. Springer, Heidelberg (2011)
Department of Information Technology at Uppsala University and the Department of Computer Science at Aalborg University. UPPAAL, http://www.uppaal.org/
Puri, A.: Dynamical properties of timed automata. Discrete Event Dynamic Systems-Theory and Applications 10(1-2), 87-113 (2000)
Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing 1(2), 146-160 (1972)
Wong-Toi, H.: Analysis of slope-parametric rectangular automata. In: Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.) Hybrid Systems V 1997. LNCS, vol. 1567, pp. 390-413. Springer, Heidelberg (1999)
Yannakakis, M., Lee, D.: An efficient algorithm for minimizing real-time transition systems. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 210-224. Springer, Heidelberg (1993)
Yovine, S.: Kronos: A verification tool for real-time systems. International Journal on Software Tools for Technology Transfer 1, 123-133 (1997)
