Raman Kazhamiakin

According to our database1, Raman Kazhamiakin authored at least 39 papers between 2004 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
A gamification framework for the long-term engagement of smart citizens.
Proceedings of the IEEE International Smart Cities Conference, 2016

2015
Using gamification to incentivize sustainable urban mobility.
Proceedings of the IEEE First International Smart Cities Conference, 2015

2013
Data-Flow Requirements for Dynamic Service Composition.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012
SMART: Supporting the Design and Execution of User-Centric Service-Based Applications.
Proceedings of the Web Information Systems Engineering - WISE 2012, 2012

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Adaptivity in dynamic service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments.
Proceedings of the Business Information Systems Workshops, 2012

2011
Adaptation of service-based business processes by context-aware replanning.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications.
Proceedings of the IEEE International Conference on Web Services, 2011

2010
Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications.
Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Analytical Quality Assurance.
Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Adaptation of Service-Based Systems.
Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Service Engineering.
Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Exploiting assumption-based verification for the adaptation of service-based applications.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Modelling and Automated Composition of User-Centric Services.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

A context-driven adaptation process for service-based applications.
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

Use-Based Discovery of Pervasive Services.
Proceedings of the Artificial Intelligence: Methodology, 2010

2009
Control Flow Requirements for Automated Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2009

Adaptation of Service-Based Applications Based on Process Quality Factor Analysis.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Cross-Layer Adaptation and Monitoring of Service-Based Applications.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Design for Adaptation of Service-Based Applications: Main Issues and Requirements.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Continuous Orchestration of Web Services via Planning.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Towards Correctness Assurance in Adaptive Service-Based Applications.
Proceedings of the Towards a Service-Based Internet, 2008

A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing.
Proceedings of the Towards a Service-Based Internet, 2008

An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.
Proceedings of the Towards a Service-Based Internet, 2008

Having Services "YourWay!": Towards User-Centric Composition of Mobile Services.
Proceedings of the Future Internet - FIS 2008, First Future Internet Symposium, 2008

YourWay!: a Platform for Composing and Executing Services Driven by User Resources.
Proceedings of the Poster and Demonstration Paper Track of the 1st Future Internet Symposium (FIS'08) FIS'08 ; Vienna, 2008

2007
Design and Verification ofWeb Services Compositions in the Telecommunication Domain.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Design and Analysis of the Composed Telecom Services.
Proceedings of the Service-Oriented Computing, 2007

2006
Analysis of communication models in web service compositions.
Proceedings of the 15th international conference on World Wide Web, 2006

Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Representation, Verification, and Computation of Timed Properties in Web.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Static Verification of Control and Data inWeb Service Compositions.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Analysis of Realizability Conditions for Web Service Choreographies.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Timed Modelling and Analysis in Web Service Compositions.
Proceedings of the The First International Conference on Availability, 2006

2005
A Parametric Communication Model for the Verification of BPEL4WS Compositions.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004
Formal Verification of Requirements using SPIN: A Case Study on Web Services.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A Framework for Integrating Business Processes and Business Requirements.
Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004


  Loading...