Author:
Huang Xiaowan,Seyster Justin,Callanan Sean,Dixit Ketan,Grosu Radu,Smolka Scott A.,Stoller Scott D.,Zadok Erez
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference19 articles.
1. Aziz A., Balarin F., Brayton R.K., Dibenedetto M.D., Sladanha A., Sangiovanni-Vincentelli A.L.: Supervisory control of finite state machines. In: Wolper, P. (eds) 7th International Conference On Computer Aided Verification, vol. 939, pp. 279–292. Springer Liege, Belgium (1995)
2. Alur R., Dill D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
3. Arnold, M., Vechev, M., Yahav. E.: QVM: An efficient runtime for detecting defects in deployed systems. In: Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, Nashville, TN (2008)
4. Callanan, S., Dean, D.J., Gorbovitski, M., Grosu, R. Seyster, J., Smolka, S.A., Stoller, S.D., Zadok, E.: Software monitoring with bounded overhead. In: Proceedings of the 2008 NSF Next Generation Software Workshop, in conjunction with the 2008 International Parallel and Distributed Processing Symposium (IPDPS 2008), Miami (2008)
5. Callanan, S., Dean, D.J., Zadok, E.: Extending GCC with modular GIMPLE optimizations. In: Proceedings of the 2007 GCC Developers’ Summit, Ottawa (2007)
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献