Author:
Steinau Sebastian,Marrella Andrea,Andrews Kevin,Leotta Francesco,Mecella Massimo,Reichert Manfred
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference82 articles.
1. Andrews, K., Steinau, S., Reichert, M.: A runtime environment for object-aware processes. In: BPM Demo Session 2015 (BPMD), Co-located with the 13th International Conference on Business Process Management (BPM), pp. 6–10. CEUR Workshop Proceedings, CEUR-WS.org (2015)
2. Ayora, C., Torres, V., Weber, B., Reichert, M., Pelechano, V.: VIVACE: a framework for the systematic evaluation of variability support in process-aware information systems. Inf. Softw. Technol. 57, 248–276 (2015)
3. Bagheri Hariri, B., Calvanese, D., de Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: 32nd Symposium on Principles of Database Systems (PODS), pp. 163–174. ACM, New York, NY, USA (2013)
4. Bagheri Hariri, B., Calvanese, D., Montali, M., Santoso, A., Solomakhin, D.: Verification of Semantically-enhanced Artifact Systems. LNCS, vol. 8274, pp. 600–607. Springer (2013)
5. Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of GSM-based artifact-centric systems through finite abstraction. In: 10th International Conference on Service-Oriented Computing (ICSOC). LNCS, vol. 7636, pp. 17–31. Springer (2012)
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献