AHCI RESEARCH GROUP
Publications
Papers published in international journals,
proceedings of conferences, workshops and books.
OUR RESEARCH
Scientific Publications
How to
Here you can find the complete list of our publications.
You can use the tag cloud to select only the papers dealing with specific research topics.
You can expand the Abstract, Links and BibTex record for each paper.
You can use the tag cloud to select only the papers dealing with specific research topics.
You can expand the Abstract, Links and BibTex record for each paper.
2025
Ozeki, R.; Yonekura, H.; Rizk, H.; Yamaguchi, H.
Cellular-based Indoor Localization with Adapted LLM and Label-aware Contrastive Learning Proceedings Article
In: pp. 138–145, Institute of Electrical and Electronics Engineers Inc., 2025, ISBN: 9798331586461 (ISBN).
Abstract | Links | BibTeX | Tags: Cellular Network, Cellulars, Computer interaction, Contrastive Learning, Deep learning, Human computer interaction, Indoor Localization, Indoor Navigation, Indoor positioning, Indoor positioning systems, Language Model, Large language model, Learning systems, Mobile computing, Mobile-computing, Signal processing, Smart Environment, Wireless networks
@inproceedings{ozeki_cellular-based_2025,
title = {Cellular-based Indoor Localization with Adapted LLM and Label-aware Contrastive Learning},
author = {R. Ozeki and H. Yonekura and H. Rizk and H. Yamaguchi},
url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-105010820397&doi=10.1109%2FSMARTCOMP65954.2025.00070&partnerID=40&md5=9e15d9f4225f00cd57bedc511aad27d9},
doi = {10.1109/SMARTCOMP65954.2025.00070},
isbn = {9798331586461 (ISBN)},
year = {2025},
date = {2025-01-01},
pages = {138–145},
publisher = {Institute of Electrical and Electronics Engineers Inc.},
abstract = {Accurate indoor positioning is essential for mobile computing, human-computer interaction, and next-generation smart environments, enabling applications in indoor navigation, augmented reality, personalized services, healthcare, and emergency response. Cellular signal fingerprinting has emerged as a widely adopted solution, with deep learning models achieving state-of-the-art performance. However, existing approaches face critical deployment challenges, including labor-intensive fingerprinting, sparse reference points, and missing RSS values caused by environmental interference, hardware variability, and dynamic signal fluctuations. These limitations hinder their scalability, adaptability, and real-world usability in complex indoor environments. To address these challenges, we present GPT2Loc a novel indoor localization framework that integrates LLM with label-aware contrastive learning, improving accuracy while reducing reliance on extensive fingerprinting. LLMs effectively extract meaningful spatial features from incomplete and noisy RSS data, enabling robust localization even in sparsely finger-printed areas. Our label-aware contrastive learning approach further enhances generalization by aligning latent representations with spatial relationships, allowing GPT2Loc to interpolate user locations in unseen areas and mitigate signal inconsistencies. © 2025 Elsevier B.V., All rights reserved.},
keywords = {Cellular Network, Cellulars, Computer interaction, Contrastive Learning, Deep learning, Human computer interaction, Indoor Localization, Indoor Navigation, Indoor positioning, Indoor positioning systems, Language Model, Large language model, Learning systems, Mobile computing, Mobile-computing, Signal processing, Smart Environment, Wireless networks},
pubstate = {published},
tppubtype = {inproceedings}
}
Accurate indoor positioning is essential for mobile computing, human-computer interaction, and next-generation smart environments, enabling applications in indoor navigation, augmented reality, personalized services, healthcare, and emergency response. Cellular signal fingerprinting has emerged as a widely adopted solution, with deep learning models achieving state-of-the-art performance. However, existing approaches face critical deployment challenges, including labor-intensive fingerprinting, sparse reference points, and missing RSS values caused by environmental interference, hardware variability, and dynamic signal fluctuations. These limitations hinder their scalability, adaptability, and real-world usability in complex indoor environments. To address these challenges, we present GPT2Loc a novel indoor localization framework that integrates LLM with label-aware contrastive learning, improving accuracy while reducing reliance on extensive fingerprinting. LLMs effectively extract meaningful spatial features from incomplete and noisy RSS data, enabling robust localization even in sparsely finger-printed areas. Our label-aware contrastive learning approach further enhances generalization by aligning latent representations with spatial relationships, allowing GPT2Loc to interpolate user locations in unseen areas and mitigate signal inconsistencies. © 2025 Elsevier B.V., All rights reserved.
2017
Sabatucci, Luca; Cossentino, Massimo
Self-Adaptive Smart Spaces by Proactive Means– End Reasoning Journal Article
In: Journal of Reliable Intelligent Environments, vol. 3, pp. 159–175, 2017.
Abstract | Links | BibTeX | Tags: Architecture, Health care application, Self-Adaptive Systems, Smart Environment
@article{sabatucciSelfadaptiveSmartSpaces2017,
title = {Self-Adaptive Smart Spaces by Proactive Means– End Reasoning},
author = { Luca Sabatucci and Massimo Cossentino},
doi = {10.1007/s40860-017-0047-9},
year = {2017},
date = {2017-01-01},
journal = {Journal of Reliable Intelligent Environments},
volume = {3},
pages = {159--175},
abstract = {The ability of a system to change its behavior at run-time is one of the foundations for engineering intelligent environments. The vision of computing systems that can manage themselves is fascinating, but to date, it presents many intellectual challenges to face. Run-time goal-model artifacts represent a typical approach to communicate requirements to the system and open new directions for dealing with self-adaptation. This paper presents a theoretical framework and a general architecture for engineering self-adaptive smart spaces by breaking out some design-time constraints between goals and tasks. The architecture supports software evolution because goals may be changed during the application lifecycle. The architecture is responsible for configuring its components as the result of a decision-making algorithm working at the knowledge level. The approach is specifically suitable for developing smart space systems, promoting scalability and reusability. The proposed architecture is evaluated through the execution of a set of randomized stress tests.},
keywords = {Architecture, Health care application, Self-Adaptive Systems, Smart Environment},
pubstate = {published},
tppubtype = {article}
}
The ability of a system to change its behavior at run-time is one of the foundations for engineering intelligent environments. The vision of computing systems that can manage themselves is fascinating, but to date, it presents many intellectual challenges to face. Run-time goal-model artifacts represent a typical approach to communicate requirements to the system and open new directions for dealing with self-adaptation. This paper presents a theoretical framework and a general architecture for engineering self-adaptive smart spaces by breaking out some design-time constraints between goals and tasks. The architecture supports software evolution because goals may be changed during the application lifecycle. The architecture is responsible for configuring its components as the result of a decision-making algorithm working at the knowledge level. The approach is specifically suitable for developing smart space systems, promoting scalability and reusability. The proposed architecture is evaluated through the execution of a set of randomized stress tests.
Sabatucci, Luca; Cossentino, Massimo
Self-adaptive smart spaces by proactive means–end reasoning Journal Article
In: Journal of Reliable Intelligent Environments, vol. 3, pp. 159–175, 2017.
Abstract | Links | BibTeX | Tags: Architecture, Health care application, Self-Adaptive Systems, Smart Environment
@article{sabatucci_self-adaptive_2017,
title = {Self-adaptive smart spaces by proactive means–end reasoning},
author = {Luca Sabatucci and Massimo Cossentino},
doi = {10.1007/s40860-017-0047-9},
year = {2017},
date = {2017-01-01},
journal = {Journal of Reliable Intelligent Environments},
volume = {3},
pages = {159–175},
abstract = {The ability of a system to change its behavior at run-time is one of the foundations for engineering intelligent environments. The vision of computing systems that can manage themselves is fascinating, but to date, it presents many intellectual challenges to face. Run-time goal-model artifacts represent a typical approach to communicate requirements to the system and open new directions for dealing with self-adaptation. This paper presents a theoretical framework and a general architecture for engineering self-adaptive smart spaces by breaking out some design-time constraints between goals and tasks. The architecture supports software evolution because goals may be changed during the application lifecycle. The architecture is responsible for configuring its components as the result of a decision-making algorithm working at the knowledge level. The approach is specifically suitable for developing smart space systems, promoting scalability and reusability. The proposed architecture is evaluated through the execution of a set of randomized stress tests.},
keywords = {Architecture, Health care application, Self-Adaptive Systems, Smart Environment},
pubstate = {published},
tppubtype = {article}
}
The ability of a system to change its behavior at run-time is one of the foundations for engineering intelligent environments. The vision of computing systems that can manage themselves is fascinating, but to date, it presents many intellectual challenges to face. Run-time goal-model artifacts represent a typical approach to communicate requirements to the system and open new directions for dealing with self-adaptation. This paper presents a theoretical framework and a general architecture for engineering self-adaptive smart spaces by breaking out some design-time constraints between goals and tasks. The architecture supports software evolution because goals may be changed during the application lifecycle. The architecture is responsible for configuring its components as the result of a decision-making algorithm working at the knowledge level. The approach is specifically suitable for developing smart space systems, promoting scalability and reusability. The proposed architecture is evaluated through the execution of a set of randomized stress tests.
2016
Cabri, Giacomo; Cossentino, Massimo; Denti, Enrico; Giorgini, Paolo; Molesini, Ambra; Mordonini, Monica; Tomaiuolo, Michele; Sabatucci, Luca
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces Proceedings Article
In: 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 3–8, IEEE, 2016.
Abstract | Links | BibTeX | Tags: Analysis techniques, Integration frameworks, Self-Adaptive Systems, Smart Environment
@inproceedings{cabriIntegratedPlatformAdaptive2016,
title = {Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces},
author = { Giacomo Cabri and Massimo Cossentino and Enrico Denti and Paolo Giorgini and Ambra Molesini and Monica Mordonini and Michele Tomaiuolo and Luca Sabatucci},
doi = {10.1109/WETICE.2016.11},
year = {2016},
date = {2016-01-01},
booktitle = {2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)},
pages = {3--8},
publisher = {IEEE},
abstract = {The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces - offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way. A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems - kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages. In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces, the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation. In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.},
keywords = {Analysis techniques, Integration frameworks, Self-Adaptive Systems, Smart Environment},
pubstate = {published},
tppubtype = {inproceedings}
}
The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces - offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way. A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems - kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages. In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces, the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation. In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.
Cabri, Giacomo; Cossentino, Massimo; Denti, Enrico; Giorgini, Paolo; Molesini, Ambra; Mordonini, Monica; Tomaiuolo, Michele; Sabatucci, Luca
Towards an integrated platform for adaptive socio-technical systems for smart spaces Proceedings Article
In: 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 3–8, IEEE, 2016.
Abstract | Links | BibTeX | Tags: Analysis techniques, Integration frameworks, Self-Adaptive Systems, Smart Environment
@inproceedings{cabri_towards_2016,
title = {Towards an integrated platform for adaptive socio-technical systems for smart spaces},
author = {Giacomo Cabri and Massimo Cossentino and Enrico Denti and Paolo Giorgini and Ambra Molesini and Monica Mordonini and Michele Tomaiuolo and Luca Sabatucci},
doi = {10.1109/WETICE.2016.11},
year = {2016},
date = {2016-01-01},
booktitle = {2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)},
pages = {3–8},
publisher = {IEEE},
abstract = {The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces - offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way. A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems - kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages. In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces, the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation. In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.},
keywords = {Analysis techniques, Integration frameworks, Self-Adaptive Systems, Smart Environment},
pubstate = {published},
tppubtype = {inproceedings}
}
The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces - offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way. A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems - kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages. In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces, the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation. In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.
2013
Serral, Estefanía; Sabatucci, Luca; Leonardi, Chiara; Valderas, Pedro; Susi, Angelo; Zancanaro, Massimo; Pelechano, Vicente
Incorporating Users into Ami System Design: From Requirements toward Automation Proceedings Article
In: Information Systems Development: Reflections, Challenges and New Directions, pp. 499–511, Springer New York, 2013.
Abstract | Links | BibTeX | Tags: AAL for the Elderly, Business Process, Requirement Engineering, Smart Environment
@inproceedings{serralIncorporatingUsersAmi2013,
title = {Incorporating Users into Ami System Design: From Requirements toward Automation},
author = { Estefanía Serral and Luca Sabatucci and Chiara Leonardi and Pedro Valderas and Angelo Susi and Massimo Zancanaro and Vicente Pelechano},
doi = {10.1007/978-1-4614-4951-5_40},
year = {2013},
date = {2013-01-01},
booktitle = {Information Systems Development: Reflections, Challenges and New Directions},
pages = {499--511},
publisher = {Springer New York},
abstract = {The centrality of users in the design and development of complex systems calls for new methodologies and techniques to identify and represent user needs and to translate them into real processes. This work proposes a methodological approach for the development of automated user-intensive Ambient Intelligence systems. The novelty is that the methodology is grounded on user-centered design. Thus, it al- lows focusing on real people in all the phases of the development cycle: from the requirement analysis towards the deployment of the system.},
keywords = {AAL for the Elderly, Business Process, Requirement Engineering, Smart Environment},
pubstate = {published},
tppubtype = {inproceedings}
}
The centrality of users in the design and development of complex systems calls for new methodologies and techniques to identify and represent user needs and to translate them into real processes. This work proposes a methodological approach for the development of automated user-intensive Ambient Intelligence systems. The novelty is that the methodology is grounded on user-centered design. Thus, it al- lows focusing on real people in all the phases of the development cycle: from the requirement analysis towards the deployment of the system.
Serral, Estefanía; Sabatucci, Luca; Leonardi, Chiara; Valderas, Pedro; Susi, Angelo; Zancanaro, Massimo; Pelechano, Vicente
Incorporating users into ami system design: From requirements toward automation Proceedings Article
In: Information Systems Development: Reflections, Challenges and New Directions, pp. 499–511, Springer New York, 2013.
Abstract | Links | BibTeX | Tags: AAL for the Elderly, Business Process, Requirement Engineering, Smart Environment
@inproceedings{serral_incorporating_2013,
title = {Incorporating users into ami system design: From requirements toward automation},
author = {Estefanía Serral and Luca Sabatucci and Chiara Leonardi and Pedro Valderas and Angelo Susi and Massimo Zancanaro and Vicente Pelechano},
doi = {10.1007/978-1-4614-4951-5_40},
year = {2013},
date = {2013-01-01},
booktitle = {Information Systems Development: Reflections, Challenges and New Directions},
pages = {499–511},
publisher = {Springer New York},
abstract = {The centrality of users in the design and development of complex systems calls for new methodologies and techniques to identify and represent user needs and to translate them into real processes. This work proposes a methodological approach for the development of automated user-intensive Ambient Intelligence systems. The novelty is that the methodology is grounded on user-centered design. Thus, it al- lows focusing on real people in all the phases of the development cycle: from the requirement analysis towards the deployment of the system.},
keywords = {AAL for the Elderly, Business Process, Requirement Engineering, Smart Environment},
pubstate = {published},
tppubtype = {inproceedings}
}
The centrality of users in the design and development of complex systems calls for new methodologies and techniques to identify and represent user needs and to translate them into real processes. This work proposes a methodological approach for the development of automated user-intensive Ambient Intelligence systems. The novelty is that the methodology is grounded on user-centered design. Thus, it al- lows focusing on real people in all the phases of the development cycle: from the requirement analysis towards the deployment of the system.
2010
Leonardi, Chiara; Sabatucci, Luca; Susi, Angelo; Zancanaro, Massimo
Exploring the Boundaries: When Method Fragmentation Is Not Convenient. Proceedings Article
In: MALLOW, 2010.
Abstract | BibTeX | Tags: AAL for the Elderly, Design Process, Smart Environment, User-Centred Design
@inproceedings{leonardiExploringBoundariesWhen2010,
title = {Exploring the Boundaries: When Method Fragmentation Is Not Convenient.},
author = { Chiara Leonardi and Luca Sabatucci and Angelo Susi and Massimo Zancanaro},
year = {2010},
date = {2010-01-01},
booktitle = {MALLOW},
abstract = {This paper presents an approach to explore the coupling of User-Centred Design and Tropos methodologies. The two methodologies have been employed in a real project aiming at developing smart environment for nursing home to support medical and assistance staff. In particular Tropos has been used for modeling (and reason about) the domain and the system, whereas User-Centred Design has been useful for establishing an interface for communicating with stakeholders. The integration was challenging due to the epistemological differences between the two design approaches.},
keywords = {AAL for the Elderly, Design Process, Smart Environment, User-Centred Design},
pubstate = {published},
tppubtype = {inproceedings}
}
This paper presents an approach to explore the coupling of User-Centred Design and Tropos methodologies. The two methodologies have been employed in a real project aiming at developing smart environment for nursing home to support medical and assistance staff. In particular Tropos has been used for modeling (and reason about) the domain and the system, whereas User-Centred Design has been useful for establishing an interface for communicating with stakeholders. The integration was challenging due to the epistemological differences between the two design approaches.
Leonardi, Chiara; Sabatucci, Luca; Susi, Angelo; Zancanaro, Massimo
Exploring the Boundaries: when Method Fragmentation is not Convenient. Proceedings Article
In: MALLOW, 2010.
Abstract | Links | BibTeX | Tags: AAL for the Elderly, Design Process, Smart Environment, User-Centred Design
@inproceedings{leonardi_exploring_2010,
title = {Exploring the Boundaries: when Method Fragmentation is not Convenient.},
author = {Chiara Leonardi and Luca Sabatucci and Angelo Susi and Massimo Zancanaro},
url = {https://ceur-ws.org/Vol-627/fipa_7.pdf},
year = {2010},
date = {2010-01-01},
booktitle = {MALLOW},
abstract = {This paper presents an approach to explore the coupling of User-Centred Design and Tropos methodologies. The two methodologies have been employed in a real project aiming at developing smart environment for nursing home to support medical and assistance staff. In particular Tropos has been used for modeling (and reason about) the domain and the system, whereas User-Centred Design has been useful for establishing an interface for communicating with stakeholders. The integration was challenging due to the epistemological differences between the two design approaches.},
keywords = {AAL for the Elderly, Design Process, Smart Environment, User-Centred Design},
pubstate = {published},
tppubtype = {inproceedings}
}
This paper presents an approach to explore the coupling of User-Centred Design and Tropos methodologies. The two methodologies have been employed in a real project aiming at developing smart environment for nursing home to support medical and assistance staff. In particular Tropos has been used for modeling (and reason about) the domain and the system, whereas User-Centred Design has been useful for establishing an interface for communicating with stakeholders. The integration was challenging due to the epistemological differences between the two design approaches.