Information Technology Reference
In-Depth Information
References
1. Alur, R., Dill, D.L.: Automata For Modeling Real-Time Systems. In: Paterson,
M. (ed.) Proc. of the 17th International Colloquium on Automata, Languages and
Programming (ICALP 1990). LNCS, vol. 443, pp. 322-335. Springer, Heidelberg
(1990)
2. Giannopoulou, G., Lampka, K., Stoimenov, N., Thiele, L.: Timed model checking
with abstractions: Towards worst-case response time analysis in resource-sharing
manycore systems. In: Proc. International Conference on Embedded Software
(EMSOFT), pp. 63-72. ACM, Tampere (2012)
3. Lampka, K., Huang, K., Chen, J.-J.: Dynamic counters and the ecient and effective
online power management of embedded real-time systems. In: Proceedings of the 8th
International Conference on Hardware/Software Codesign and System Synthesis,
CODES+ISSS 2011, pp. 267-276. ACM, Taipei (2011)
4. Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed au-
tomata: A hybrid methodology for the performance analysis of embedded real-time
systems. Design Automation for Embedded Systems 14(3), 193-227 (2010)
5. Lampka, K., Perathoner, S., Thiele, L.: Component-based system design: analytic
real-time interfaces for state-based component implementations. In: International
Journal on Software Tools for Technology Transfer, pp. 1-16 (2012)
6. Neukirchner, M., Lampka, K., Quinton, S., Ernst, R.: Multi-mode monitoring for
mixed-criticality real-time systems. Accepted at CODES/ISS (2013)
7. Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard
real-time systems. In: Proc. Intl. Symposium on Circuits and Systems, vol. 4,
pp. 101-104 (2000)
