A Framework for Integrating Business Processes and Business Requirements. - Raman Kazhamiakin; Marco Pistore; Marco Roveri (EDOC, 2004)

Formal Verification of Requirements using SPIN: A Case Study on Web Services. - Raman Kazhamiakin; Marco Pistore; Marco Roveri (SEFM, 2004)

A Parametric Communication Model for the Verification of BPEL4WS Compositions. - Raman Kazhamiakin; Marco Pistore (EPEW/WS-FM, 2005)

Timed Modelling and Analysis in Web Service Compositions. - Raman Kazhamiakin; Paritosh K. Pandya; Marco Pistore (ARES, 2006)

Analysis of Realizability Conditions for Web Service Choreographies. - Raman Kazhamiakin; Marco Pistore (FORTE, 2006)

Static Verification of Control and Data inWeb Service Compositions. - Raman Kazhamiakin; Marco Pistore (ICWS, 2006)

Representation, Verification, and Computation of Timed Properties in Web. - Raman Kazhamiakin; Paritosh K. Pandya; Marco Pistore (ICWS, 2006)

Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. - Raman Kazhamiakin; Marco Pistore (WS-FM, 2006)

Analysis of communication models in web service compositions. - Raman Kazhamiakin; Marco Pistore; Luca Santuari (WWW, 2006)

Design and Analysis of the Composed Telecom Services. - Piergiorgio Bertoli; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz (ICSOC Workshops, 2007)

Design and Verification ofWeb Services Compositions in the Telecommunication Domain. - Piergiorgio Bertoli; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz (ICWS, 2007)

YourWay!: a Platform for Composing and Executing Services Driven by User Resources. - Raman Kazhamiakin; Piergiorgio Bertoli; Massimo Paolucci 001; Marco Pistore; Matthias Wagner 001 (FIS (Posters & Demos), 2008)

Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. - Raman Kazhamiakin; Piergiorgio Bertoli; Massimo Paolucci 001; Marco Pistore; Matthias Wagner 001 (FIS, 2008)

An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. - Luciano Baresi; Sam Guinea; Raman Kazhamiakin; Marco Pistore (ServiceWave, 2008)

A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. - Julia Hielscher; Raman Kazhamiakin; Andreas Metzger; Marco Pistore (ServiceWave, 2008)

Towards Correctness Assurance in Adaptive Service-Based Applications. - Raman Kazhamiakin; Andreas Metzger; Marco Pistore (ServiceWave, 2008)

Continuous Orchestration of Web Services via Planning. - Piergiorgio Bertoli; Raman Kazhamiakin; Massimo Paolucci 001; Marco Pistore; Heorhi Raik; Matthias Wagner 001 (ICAPS, 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 (ICSOC/ServiceWave Workshops, 2009)

Cross-Layer Adaptation and Monitoring of Service-Based Applications. - Raman Kazhamiakin; Marco Pistore; Asli Zengin (ICSOC/ServiceWave Workshops, 2009)

Adaptation of Service-Based Applications Based on Process Quality Factor Analysis. - Raman Kazhamiakin; Branimir Wetzstein; Dimka Karastoyanova; Marco Pistore; Frank Leymann (ICSOC/ServiceWave Workshops, 2009)

Control Flow Requirements for Automated Service Composition. - Piergiorgio Bertoli; Raman Kazhamiakin; Massimo Paolucci 001; Marco Pistore; Heorhi Raik; Matthias Wagner 001 (ICWS, 2009)

Use-Based Discovery of Pervasive Services. - Raman Kazhamiakin; Volha Kerhet; Massimo Paolucci 001; Marco Pistore; Matthias Wagner 001 (AIMSA, 2010)

A context-driven adaptation process for service-based applications. - Antonio Bucchiarone; Raman Kazhamiakin; Cinzia Cappiello; Elisabetta Di Nitto; Valentina Mazza (PESOS, 2010)

Modelling and Automated Composition of User-Centric Services. - Raman Kazhamiakin; Massimo Paolucci 001; Marco Pistore; Heorhi Raik (OTM Conferences (1), 2010)

Exploiting assumption-based verification for the adaptation of service-based applications. - Andreas Gehlert; Antonio Bucchiarone; Raman Kazhamiakin; Andreas Metzger; Marco Pistore; Klaus Pohl (SAC, 2010)

Service Engineering. - Vasilios Andrikopoulos; Antonio Bucchiarone; Elisabetta Di Nitto; Raman Kazhamiakin; Stephen Lane; Valentina Mazza; Ita Richardson (S-CUBE Book, 2010)

Adaptation of Service-Based Systems. - Raman Kazhamiakin; Salima Benbernou; Luciano Baresi; Pierluigi Plebani; Maike Uhlig; Olivier Barais (S-CUBE Book, 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 (S-CUBE Book, 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 (ServiceWave, 2010)

CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications. - Asli Zengin; Raman Kazhamiakin; Marco Pistore (ICWS, 2011)

Adaptation of service-based business processes by context-aware replanning. - Antonio Bucchiarone; Marco Pistore; Heorhi Raik; Raman Kazhamiakin (SOCA, 2011)

SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. - Piergiorgio Bertoli; Raman Kazhamiakin; Michele Nori; Marco Pistore (BIS (Workshops), 2012)

Adaptivity in dynamic service-based systems. - Antonio Bucchiarone; Raman Kazhamiakin; Annapaola Marconi; Marco Pistore (S-Cube@ICSE, 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 001; Dimitris Dranidis; Holger Giese; Raman Kazhamiakin; Rogério de Lemos; Clarissa Cassales Marquezan; Andreas Metzger (S-Cube@ICSE, 2012)

SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. - Piergiorgio Bertoli; Raman Kazhamiakin; Michele Nori; Marco Pistore (WISE, 2012)

Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. - Antonio Bucchiarone; Annapaola Marconi; Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Raman Kazhamiakin (ICWS, 2013)

Data-Flow Requirements for Dynamic Service Composition. - Raman Kazhamiakin; Annapaola Marconi; Marco Pistore; Heorhi Raik (ICWS, 2013)

Using gamification to incentivize sustainable urban mobility. - Raman Kazhamiakin; Annapaola Marconi; Mirko Perillo; Marco Pistore; Giuseppe Valetto; Luca Piras 003; Francesco Avesani; Nicola Perri (ISC2, 2015)

A gamification framework for the long-term engagement of smart citizens. - Raman Kazhamiakin; Annapaola Marconi; Alberto Martinelli; Marco Pistore; Giuseppe Valetto (ISC2, 2016)

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)

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 (AAMAS, 2022)

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., 2023)

Seamless HW-accelerated AI serving in heterogeneous MEC Systems with AI@EDGE. - Achilleas Tzenetopoulos; George Lentaris; Aimilios Leftheriotis; Panos Chrysomeris; Javier Palomares; Estefanía Coronado; Raman Kazhamiakin; Dimitrios Soudris (HPDC, 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., 2024)

Designing a Digital Environment to Support the Co-production of Public Services: Balancing Multiple Requirements and Governance Concepts. - Elena Not; Chiara Leonardi; Diego López-de-Ipiña; Daniel Silva-Palacios; Rubén Sánchez-Corcuera; Raman Kazhamiakin; Matteo Gerosa (Digit. Gov. Res. Pract., 2024)