| Using gamification to incentivize sustainable urban mobility R Kazhamiakin, A Marconi, M Perillo, M Pistore, G Valetto, L Piras, ... 2015 IEEE first international smart cities conference (ISC2), 1-6, 2015 | 163 | 2015 |
| A framework for proactive self-adaptation of service-based applications based on online testing J Hielscher, R Kazhamiakin, A Metzger, M Pistore Towards a Service-Based Internet: First European Conference, ServiceWave …, 2008 | 130 | 2008 |
| Analysis of communication models in web service compositions R Kazhamiakin, M Pistore, L Santuari Proceedings of the 15th international conference on World Wide Web, 267-276, 2006 | 117 | 2006 |
| A framework for integrating business processes and business requirements R Kazhamiakin, M Pistore, M Roveri Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004 | 108 | 2004 |
| Representation, verification, and computation of timed properties in web R Kazhamiakin, P Pandya, M Pistore 2006 IEEE International Conference on Web Services (ICWS'06), 497-504, 2006 | 104 | 2006 |
| Timed modelling and analysis in web service compositions R Kazhamiakin, P Pandya, M Pistore First International Conference on Availability, Reliability and Security …, 2006 | 101 | 2006 |
| Design for adaptation of service-based applications: Main issues and requirements A Bucchiarone, C Cappiello, E Di Nitto, R Kazhamiakin, V Mazza, ... Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: International …, 2010 | 88 | 2010 |
| A gamification framework for the long-term engagement of smart citizens R Kazhamiakin, A Marconi, A Martinelli, M Pistore, G Valetto 2016 IEEE international smart cities conference (ISC2), 1-7, 2016 | 76 | 2016 |
| Adaptation of service-based systems R Kazhamiakin, S Benbernou, L Baresi, P Plebani, M Uhlig, O Barais Service Research Challenges and Solutions for the Future Internet: S-Cube …, 2010 | 75 | 2010 |
| A parametric communication model for the verification of bpel4ws compositions R Kazhamiakin, M Pistore Formal Techniques for Computer Systems and Business Processes: European …, 2005 | 74 | 2005 |
| Formal verification of requirements using spin: A case study on web services R Kazhamiakin, M Pistore, M Roveri Proceedings of the Second International Conference on Software Engineering …, 2004 | 72 | 2004 |
| Adaptation of service-based business processes by context-aware replanning A Bucchiarone, M Pistore, H Raik, R Kazhamiakin 2011 IEEE International Conference on Service-Oriented Computing and …, 2011 | 65 | 2011 |
| Choreography conformance analysis: Asynchronous communications and information alignment R Kazhamiakin, M Pistore Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 61 | 2006 |
| Adaptation of service-based applications based on process quality factor analysis R Kazhamiakin, B Wetzstein, D Karastoyanova, M Pistore, F Leymann Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: International …, 2010 | 59 | 2010 |
| Analysis of realizability conditions for web service choreographies R Kazhamiakin, M Pistore Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006 | 58 | 2006 |
| Control flow requirements for automated service composition P Bertoli, R Kazhamiakin, M Paolucci, M Pistore, H Raik, M Wagner 2009 IEEE International Conference on Web Services, 17-24, 2009 | 51 | 2009 |
| Cross-layer adaptation and monitoring of service-based applications R Kazhamiakin, M Pistore, A Zengin Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: International …, 2010 | 47 | 2010 |
| Static verification of control and data inweb service compositions R Kazhamiakin, M Pistore 2006 IEEE International Conference on Web Services (ICWS'06), 83-90, 2006 | 42 | 2006 |
| A context-driven adaptation process for service-based applications A Bucchiarone, R Kazhamiakin, C Cappiello, E Di Nitto, V Mazza Proceedings of the 2nd International Workshop on Principles of Engineering …, 2010 | 41 | 2010 |
| Preventing KPI violations in business processes based on decision tree learning and proactive runtime adaptation B Wetzstein, A Zengin, R Kazhamiakin, A Marconi, M Pistore, ... Journal of Systems Integration 3 (1), 3, 2012 | 37 | 2012 |
