Author:
Zhang Teng,Wiegley John,Lee Insup,Sokolsky Oleg
Publisher
Springer International Publishing
Reference14 articles.
1. Sammapun, U.: Monitoring and checking of real-time and probabilistic properties. Ph.D. thesis, University of Pennsylvania (2009)
2. Lee, I., Davidson, S.B.: Adding time to synchronous process communications. IEEE Trans. Comput. 100(8), 941–948 (1987)
3. Lee, I., Davidson, S.B.: A performance analysis of timed synchronous communication primitives. IEEE Trans. Comput. 39(9), 1117–1131 (1990)
4. Pinisetty, S., Falcone, Y., Jéron, T., Marchand, H., Rollet, A., Timo, O.N.: Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45(3), 381–422 (2014)
5. Jahanian, F., Rajkumar, R., Raju, S.C.: Runtime monitoring of timing constraints in distributed real-time systems. Real-Time Syst. 7(3), 247–273 (1994)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献