Raman Kazhamiakin
Raman Kazhamiakin
SOA Research Unit, FBK-Irst, Trento, Italy
Verified email at fbk.eu
Title
Cited by
Cited by
Year
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
1162008
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
1152006
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
1132015
A framework for integrating business processes and business requirements
R Kazhamiakin, M Pistore, M Roveri
Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004
1052004
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
1032006
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
982006
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
822009
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
702005
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
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
692004
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
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
572011
Analysis of realizability conditions for web service choreographies
R Kazhamiakin, M Pistore
International Conference on Formal Techniques for Networked and Distributed …, 2006
542006
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
472009
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
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
382016
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
362010
State of the art report, gap analysis of knowledge on principles, techniques and methodologies for monitoring and adaptation of SBAs
S Benbernou, L Hacid, R Kazhamiakin, G Kecskemeti, JL Poizat, ...
S-Cube Consortium, Deliverable PO-JRA-1.2 1, 2008
352008
The system can't perform the operation now. Try again later.
Articles 1–20