Raman Kazhamiakin

According to our database, Raman Kazhamiakin authored at least 43 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Correction to: The AI4Citizen pilot: Pipelining AI-based technologies to support school-work alternation programmes.

Athina Georgara, Raman Kazhamiakin, Ornella Mich, Alessio Palmero Aprosio, Jean-Christophe R. Pazzaglia, Juan Antonio Rodríguez-Aguilar, Carles Sierra

Appl. Intell., January, 2024

2023

The AI4Citizen pilot: Pipelining AI-based technologies to support school-work alternation programmes.

Athina Georgara, Raman Kazhamiakin, Ornella Mich, Alessio Palmero Aprosio, Jean-Christophe R. Pazzaglia, Juan Antonio Rodríguez-Aguilar, Carles Sierra

Appl. Intell., October, 2023

2022

An Anytime Heuristic Algorithm for Allocating Many Teams to Many Tasks.

Athina Georgara, Juan A. Rodríguez-Aguilar, Carles Sierra, Ornella Mich, Raman Kazhamiakin, Alessio Palmero Aprosio, Jean-Christophe R. Pazzaglia

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

A Gamification Platform to Analyze and Influence Citizens' Daily Transportation Choices.

Raman Kazhamiakin, Enrica Loria, Annapaola Marconi, Mauro Scanagatta

IEEE Trans. Intell. Transp. Syst., 2021

2016

A gamification framework for the long-term engagement of smart citizens.

Raman Kazhamiakin, Annapaola Marconi, Alberto Martinelli, Marco Pistore, Giuseppe Valetto

Proceedings of the IEEE International Smart Cities Conference, 2016

2015

Using gamification to incentivize sustainable urban mobility.

Raman Kazhamiakin, Annapaola Marconi, Mirko Perillo, Marco Pistore, Giuseppe Valetto, Luca Piras, Francesco Avesani, Nicola Perri

Proceedings of the IEEE First International Smart Cities Conference, 2015

2013

Data-Flow Requirements for Dynamic Service Composition.

Raman Kazhamiakin, Annapaola Marconi, Marco Pistore, Heorhi Raik

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.

Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin

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.

Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore

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.

Annapaola Marconi, Antonio Bucchiarone, Konstantinos Bratanis, Antonio Brogi, Javier Cámara, Dimitris Dranidis, Holger Giese, Raman Kazhamiakin, Rogério de Lemos, Clarissa Cassales Marquezan, Andreas Metzger

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Adaptivity in dynamic service-based systems.

Antonio Bucchiarone, Raman Kazhamiakin, Annapaola Marconi, Marco Pistore

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.

Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore

Proceedings of the Business Information Systems Workshops, 2012

2011

Adaptation of service-based business processes by context-aware replanning.

Antonio Bucchiarone, Marco Pistore, Heorhi Raik, Raman Kazhamiakin

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.

Asli Zengin, Raman Kazhamiakin, Marco Pistore

Proceedings of the IEEE International Conference on Web Services, 2011

2010

Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications.

Dominik Meiländer, Sergei Gorlatch, Cinzia Cappiello, Valentina Mazza, Raman Kazhamiakin, Antonio Bucchiarone

Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Analytical Quality Assurance.

Andreas Metzger, Salima Benbernou, Manuel Carro, Maha Driss, Gabor Kecskemeti, Raman Kazhamiakin, Kyriakos Kritikos, Andrea Mocci, Elisabetta Di Nitto, Branimir Wetzstein, Fabrizio Silvestri

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

Adaptation of Service-Based Systems.

Raman Kazhamiakin, Salima Benbernou, Luciano Baresi, Pierluigi Plebani, Maike Uhlig, Olivier Barais

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

Service Engineering.

Vasilios Andrikopoulos, Antonio Bucchiarone, Elisabetta Di Nitto, Raman Kazhamiakin, Stephen Lane, Valentina Mazza, Ita Richardson

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.

Andreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Modelling and Automated Composition of User-Centric Services.

Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

A context-driven adaptation process for service-based applications.

Antonio Bucchiarone, Raman Kazhamiakin, Cinzia Cappiello, Elisabetta Di Nitto, Valentina Mazza

Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

Use-Based Discovery of Pervasive Services.

Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore, Matthias Wagner

Proceedings of the Artificial Intelligence: Methodology, 2010

2009

Control Flow Requirements for Automated Service Composition.

Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner

Proceedings of the IEEE International Conference on Web Services, 2009

Adaptation of Service-Based Applications Based on Process Quality Factor Analysis.

Raman Kazhamiakin, Branimir Wetzstein, Dimka Karastoyanova, Marco Pistore, Frank Leymann

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Cross-Layer Adaptation and Monitoring of Service-Based Applications.

Raman Kazhamiakin, Marco Pistore, Asli Zengin

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Design for Adaptation of Service-Based Applications: Main Issues and Requirements.

Antonio Bucchiarone, Cinzia Cappiello, Elisabetta Di Nitto, Raman Kazhamiakin, Valentina Mazza, Marco Pistore

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Continuous Orchestration of Web Services via Planning.

Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Towards Correctness Assurance in Adaptive Service-Based Applications.

Raman Kazhamiakin, Andreas Metzger, Marco Pistore

Proceedings of the Towards a Service-Based Internet, 2008

A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing.

Julia Hielscher, Raman Kazhamiakin, Andreas Metzger, Marco Pistore

Proceedings of the Towards a Service-Based Internet, 2008

An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.

Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore

Proceedings of the Towards a Service-Based Internet, 2008

Having Services "YourWay!": Towards User-Centric Composition of Mobile Services.

Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner

Proceedings of the Future Internet - FIS 2008, First Future Internet Symposium, 2008

YourWay!: a Platform for Composing and Executing Services Driven by User Resources.

Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner

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.

Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Design and Analysis of the Composed Telecom Services.

Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz

Proceedings of the Service-Oriented Computing, 2007

2006

Analysis of communication models in web service compositions.

Raman Kazhamiakin, Marco Pistore, Luca Santuari

Proceedings of the 15th international conference on World Wide Web, 2006

Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.

Raman Kazhamiakin, Marco Pistore

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Representation, Verification, and Computation of Timed Properties in Web.

Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Static Verification of Control and Data inWeb Service Compositions.

Raman Kazhamiakin, Marco Pistore

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Analysis of Realizability Conditions for Web Service Choreographies.

Raman Kazhamiakin, Marco Pistore

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Timed Modelling and Analysis in Web Service Compositions.

Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore

Proceedings of the The First International Conference on Availability, 2006

2005

A Parametric Communication Model for the Verification of BPEL4WS Compositions.

Raman Kazhamiakin, Marco Pistore

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.

Raman Kazhamiakin, Marco Pistore, Marco Roveri

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A Framework for Integrating Business Processes and Business Requirements.

Raman Kazhamiakin, Marco Pistore, Marco Roveri

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004