Author:
Bliudze Simon,Simalatsar Alena,Zolotukhina Alina
Publisher
Springer International Publishing
Reference31 articles.
1. Agarwal, M.K., Appleby, K., Gupta, M., Kar, G., Neogi, A., Sailer, A.: Problem determination using dependency graphs and run-time behavior models. In: Sahai, A., Wu, F. (eds.) DSOM 2004. LNCS, vol. 3278, pp. 171–182. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30184-4_15
2. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M.: Satisfiability modulo theories: an efficient approach for the resource-constrained project scheduling problem. In: Symposium on Abstraction, Reformulation, and Approximation (2011)
3. Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures. In: Graf, S., Viswanathan, M. (eds.) FORTE 2015. LNCS, vol. 9039, pp. 83–97. Springer, Cham (2015). doi:10.1007/978-3-319-19195-9_6
4. Berson, D.A., Gupta, R., Soffa, M.L.: GURRR: a global unified resource requirements representation. SIGPLAN Not. 30(3), 23–34 (1995)
5. Bliudze, S., Mavridou, A., Szymanek, R., Zolotukhina, A.: Coordination of software components with BIP: application to OSGi. In: Proceedings of the 6th International Workshop on Modeling in Software Engineering, MiSE 2014, pp. 25–30. ACM, New York (2014)