Author:
Lampka Kai,Perathoner Simon,Thiele Lothar
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference17 articles.
1. Altisen, K., Moy, M.: ac2lus: bringing SMT-solving and abstract interpretation techniques to real-time calculus through the synchronous language Lustre. In: 22nd Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium (2010)
2. Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: Paterson, M. (ed.) Proceedings of ICALP 1990. LNCS, vol. 443, p. 335. Springer, Berlin (1990)
3. Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, pp. 200–236. Springer, Berlin (2004)
4. Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87–124. Springer, Berlin (2004)
5. Chakraborty, S., Liu, Y., Stoimenov, N., Thiele, L., Wandeler, E.: Interface-based rate analysis of embedded systems. In: RTSS 2006, pp. 25–34 (2006)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献