Raman Kazhamiakin
Raman Kazhamiakin
SOA Research Unit, FBK-Irst, Trento, Italy
Verified email at fbk.eu
Title
Cited by
Cited by
Year
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
1102006
A framework for integrating business processes and business requirements
R Kazhamiakin, M Pistore, M Roveri
Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004
992004
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
982008
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
972006
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
872015
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
862006
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
772009
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
662004
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
652005
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
612010
Choreography conformance analysis: Asynchronous communications and information alignment
R Kazhamiakin, M Pistore
International Workshop on Web Services and Formal Methods, 227-241, 2006
572006
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
532009
Analysis of realizability conditions for web service choreographies
R Kazhamiakin, M Pistore
International Conference on Formal Techniques for Networked and Distributed …, 2006
532006
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
472011
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
422009
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
402009
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
372006
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
342010
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
322008
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
272016
The system can't perform the operation now. Try again later.
Articles 1–20