Author:
Bartocci Ezio,Grosu Radu,Katsaros Panagiotis,Ramakrishnan C. R.,Smolka Scott A.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Alexiou, N., Deshpande, T., Basagiannis, S., Smolka, S.A., Katsaros, P.: Formal analysis of the kaminsky DNS cache-poisoning attack using probabilistic model checking. In: Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium, pp. 94–103. IEEE Computer Society, Los Alamitos (2010)
2. Biegler, L.T., Zavala, V.M.: Large-scale nonlinear programming using IPOPT: An integrating framework for enterprise-wide dynamic optimization. Computers & Chemical Engineering 33(3), 575–582 (2009)
3. Bonakdarpour, B., Ebnenasir, A., Kulkarni, S.S.: Complexity results in revising UNITY programs. ACM Trans. Auton. Adapt. Syst. 4(1), 1–28 (2009)
4. Boyd, S., Vandenberghe, L.: Convex Optimization. Camb. Univ. Press, Cambridge (2004)
5. Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: Enhancing model checking in verification by AI techniques. Artif. Intell. 112(1-2), 57–104 (1999)
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献