Raman Kazhamiakin
Raman Kazhamiakin
SOA Research Unit, FBK-Irst, Trento, Italy
Verified email at fbk.eu
TitleCited byYear
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
1012006
A framework for integrating business processes and business requirements
R Kazhamiakin, M Pistore, M Roveri
Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004
982004
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
952008
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
922006
Timed modelling and analysis in web service compositions
R Kazhamiakin, P Pandya, M Pistore
First International Conference on Availability, Reliability and Security …, 2006
852006
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
812015
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
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
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
622004
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
602010
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
542009
Analysis of realizability conditions for web service choreographies
R Kazhamiakin, M Pistore
International Conference on Formal Techniques for Networked and Distributed …, 2006
502006
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
452011
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
432009
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
372009
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
362006
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
312008
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-18, 2012
272012
The system can't perform the operation now. Try again later.
Articles 1–20