Author:
Callanan Sean,Dean Daniel J.,Gorbovitski Michael,Grosu Radu,Seyster Justin,Smolka Scott A.,Stoller Scott D.,Zadok Erez
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sampling-based Decentralized Monitoring for Networked Embedded Systems;Electronic Proceedings in Theoretical Computer Science;2013-08-22
2. A Change of Perspective Yields Formal Analysis;2011 IEEE 34th Software Engineering Workshop;2011-06
3. Software monitoring with controllable overhead;International Journal on Software Tools for Technology Transfer;2010-12-29