Author:
Bartocci Ezio,Grosu Radu,Karmarkar Atul,Smolka Scott A.,Stoller Scott D.,Zadok Erez,Seyster Justin
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Baum, L.E., Petrie, T., Soules, G., Weiss, N.: A maximization technique occurring in the statistical analysis of probabilistic functions of Markov chains. The Annals of Mathematical Statistics 41(1), 164–171 (1970)
2. Denaro, G., Mariani, L., Pezze, M., Tosi, D.: Adaptive runtime verification for autonomic communication infrastructures. In: Proc. of the International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM), vol. 2, pp. 553–557. IEEE Computer Society (2005)
3. Lecture Notes in Computer Science;K. Gondi,2009
4. Gordon, N., Salmond, D., Smith, A.: Novel approach to nonlinear/non-Gaussian Bayesian state estimation. In: IEEE Proceedings on Radar and Signal Processing, vol. 140, pp. 107–127. IEEE (1993)
5. Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S.A., Stoller, S.D., Zadok, E.: Software monitoring with controllable overhead. International Journal on Software Tools for Technology Transfer (STTT) 14(3), 327–347 (2012)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A family of experiments about how developers perceive delayed system response time;Software Quality Journal;2024-03-04
2. Run-Time Monitors Design for Adaptive Radar Systems: A Practical Framework;2023 IEEE Radar Conference (RadarConf23);2023-05-01
3. Vamos: Middleware for Best-Effort Third-Party Monitoring;Fundamental Approaches to Software Engineering;2023
4. Probabilistic causes in Markov chains;Innovations in Systems and Software Engineering;2022-04-25
5. Hybrid BiLSTM-HMM based event detection and classification system for food intake recognition;2022 First International Conference on Electrical, Electronics, Information and Communication Technologies (ICEEICT);2022-02-16