Raman Kazhamiakin
Raman Kazhamiakin
SOA Research Unit, FBK-Irst, Trento, Italy
Verified email at fbk.eu
Title
Cited by
Cited by
Year
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
1212015
A framework for proactive self-adaptation of service-based applications based on online testing
J Hielscher, R Kazhamiakin, A Metzger, M Pistore
European Conference on a Service-Based Internet, 122-133, 2008
1212008
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
1162006
A framework for integrating business processes and business requirements
R Kazhamiakin, M Pistore, M Roveri
Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004
1072004
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
1022006
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
1002006
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, 467-476, 2009
842009
A parametric communication model for the verification of bpel4ws compositions
R Kazhamiakin, M Pistore
Formal Techniques for Computer Systems and Business Processes, 318-332, 2005
722005
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
712004
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, 117-156, 2010
692010
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
602011
Choreography conformance analysis: Asynchronous communications and information alignment
R Kazhamiakin, M Pistore
International Workshop on Web Services and Formal Methods, 227-241, 2006
592006
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, 395-404, 2009
582009
Analysis of realizability conditions for web service choreographies
R Kazhamiakin, M Pistore
International Conference on Formal Techniques for Networked and Distributed …, 2006
532006
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
462009
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
452016
Cross-layer adaptation and monitoring of service-based applications
R Kazhamiakin, M Pistore, A Zengin
Service-oriented computing. icsoc/servicewave 2009 workshops, 325-334, 2009
452009
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
402006
State of the art report, gap analysis of knowledge on principles, techniques and methodologies for monitoring and adaptation of SBAs
S Benbernou, L Cavallaro, MS Hacid, R Kazhamiakin, G Kecskemeti, ...
S-Cube Consortium, Deliverable PO-JRA-1.2 1, 2008
362008
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
352010
The system can't perform the operation now. Try again later.
Articles 1–20