default search action
Kawtar Benghazi Akhlaki
Kawtar Benghazi
Person information
- affiliation: University of Granada, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j17]Ángel Ruiz-Zafra
, Janet Pigueiras-del-Real
Servitization of Customized 3D Assets and Performance Comparison of Services and Microservices Implementations. IEEE Trans. Serv. Comput. 17(1): 194-208 (2024) - [i1]Ángel Ruiz-Zafra, Manuel Noguera, Kawtar Benghazi, Sergio F. Ochoa:
A Cloud collaborative approach for managing patients wellness. CoRR abs/2410.10837 (2024) - 2022
- [j16]Antonio Benítez-Guijarro, Zoraida Callejas, Manuel Noguera
Architecting dietary intake monitoring as a service combining NLP and IoT. J. Ambient Intell. Humaniz. Comput. 13(11): 5377-5389 (2022) - 2021
- [c48]Zoraida Callejas, David Griol, Kawtar Benghazi Akhlaki, Manuel Noguera, María Inés Torres, Raquel Justo, Anna Esposito, Gennaro Cordasco, Raymond R. Bond, Maurice D. Mulvenna, Edel Ennis, Siobhan O'Neill, Huiru Zheng, Matthias Kraus, Nicolas Wagner, Wolfgang Minker, Gavin McConvey, Matthias L. Hemmje, Michael Fuchs, Neil Glackin, Gérard Chollet:
Towards conversational technology to promote, monitor and protect mental health. IberSPEECH 2021 - 2020
- [c47]Zoraida Callejas, David Griol, Kawtar Benghazi Akhlaki, Manuel Noguera
Measuring and Fostering Engagement with Mental Health e-Coaches. ICMI Companion 2020: 275-279 - [c46]Leonardo Angelini
First Workshop on Multimodal e-Coaches. ICMI 2020: 890-892
2010 – 2019
- 2019
- [j15]Zoraida Callejas, Kawtar Benghazi Akhlaki, Manuel Noguera, María Inés Torres, Raquel Justo:
MENHIR: Mental health monitoring through interactive conversations. Proces. del Leng. Natural 63: 139-142 (2019) - [j14]Antonio Benítez-Guijarro, Ángel Ruiz-Zafra, Zoraida Callejas
General Architecture for Development of Virtual Coaches for Healthy Habits Monitoring and Encouragement. Sensors 19(1): 108 (2019) - [c45]Antonio Benítez-Guijarro, Zoraida Callejas, Manuel Noguera, Kawtar Benghazi Akhlaki:
Coordination of Speech Recognition Devices in Intelligent Environments with Multiple Responsive Devices. UCAmI 2019: 54 - 2018
- [c44]Ángel Ruiz-Zafra, Kawtar Benghazi Akhlaki, Constandinos X. Mavromoustakis, Manuel Noguera
An IoT-Aware Architectural Model for Smart Habitats. EUC 2018: 103-110 - [c43]Antonio Benítez-Guijarro, Zoraida Callejas
Introducing Computational Semantics for Natural Language Understanding in Conversational Nutrition Coaches for Healthy Eating. UCAmI 2018: 506 - 2017
- [c42]Sara Balderas-Díaz
Integrating a Dual Method on a General Architecture to Self-Adaptive Monitoring Systems. WorldCIST (1) 2017: 528-538 - 2016
- [j13]Antonio Rico Ortega, Manuel Noguera
Extending multi-tenant architectures: a database model for a multi-target support in SaaS applications. Enterp. Inf. Syst. 10(4): 400-421 (2016) - [c41]Nuria Medina-Medina
User Progress Modelling in Counselling Systems: An Application to an Adaptive Virtual Coach. ER 2016: 479-487 - 2015
- [j12]Carlos Rodríguez-Domínguez, Tomás Ruiz-López, José Luis Garrido, Manuel Noguera, Kawtar Benghazi Akhlaki:
A model-driven approach to service composition on the basis of the specification of BPMN choreographies. Comput. Syst. Sci. Eng. 30(1) (2015) - [j11]Ángel Ruiz-Zafra, Manuel Noguera
A Model-Driven Approach for Wearable Systems Developments. Int. J. Distributed Sens. Networks 11: 637130:1-637130:12 (2015) - [j10]Ángel Ruiz-Zafra, Eva Orantes-González, Manuel Noguera
A Comparative Study on the Suitability of Smartphones and IMU for Mobile, Unsupervised Energy Expenditure Calculi. Sensors 15(8): 18270-18286 (2015) - [c40]Ángel Ruiz-Zafra, Manuel Noguera
A Cloud collaborative approach for managing patients wellness. CSCWD 2015: 637-642 - [c39]Sara Balderas-Díaz
Designing Configurable and Adaptive Systems in eHealth. REHAB 2015: 118-121 - 2014
- [c38]Ángel Ruiz-Zafra, Manuel Noguera, Kawtar Benghazi Akhlaki:
Towards a Model-Driven Approach for Sensor Management in Wireless Body Area Networks. IDCS 2014: 335-347 - [c37]Carlos Rodríguez-Domínguez, Tomás Ruiz-López, Kawtar Benghazi Akhlaki, José Luis Garrido, Aurora Valenzuela:
A Reusable and Adaptable Information Model for Ambient Intelligence Systems. Intelligent Environments (Workshops) 2014: 183-193 - [c36]Gabriel Guerrero-Contreras
Towards a Self-Adaptive Deployable Service Architecture for the Consistent Resource Management in Ubiquitous Environments. Intelligent Environments (Workshops) 2014: 206-217 - [c35]Ángel Ruiz-Zafra, Manuel Noguera
CloudFit: A Cloud-Based Mobile Wellness Platform Supported by Wearable Computing. ISAmI 2014: 151-159 - [c34]Ángel Ruiz-Zafra, Eva Orantes-González, Manuel Noguera, Kawtar Benghazi Akhlaki, José María Heredia Jiménez:
Energy Expenditure Analysis: A Comparative Research of Based on Mobile Accelerometers. IWAAL 2014: 38-45 - [c33]Gustavo Cuberos Urbano, Ángel Ruiz-Zafra, Manuel Noguera
Self-monitoring and professional feedback through CloudRehab, a mobile cloud platform for neuro-rehabiliation. PervasiveHealth 2014: 266-269 - [c32]Sara Balderas-Díaz
A service-based platform for monitoring and diagnosis of patients with SAHS symptoms. PervasiveHealth 2014: 290-293 - [c31]Sara Balderas-Díaz
Designing New Low-Cost Home-Oriented Systems for Monitoring and Diagnosis of Patients with Sleep Apnea-Hypopnea. REHAB 2014: 210-221 - 2013
- [j9]Tomás Ruiz-López
Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems. J. Ambient Intell. Smart Environ. 5(3): 287-310 (2013) - [c30]Antonio Rico Ortega, Manuel Noguera
Component-Based Design for Multi-tenant Multi-target Support in the Cloud. EOMAS@CAiSE 2013: 146-160 - [c29]Ángel Ruiz-Zafra, Manuel Noguera
Cloud and Web Services Integration for mHealth Telerehabilitation Support. ESOCC Workshops 2013: 266-276 - [c28]Gabriel Guerrero-Contreras
Designing a Service Platform for Sharing Internet Resources in MANETs. ESOCC Workshops 2013: 331-345 - [c27]Vanesa Espín, María Visitación Hurtado
Semantic-Based Recommendation of Nutrition Diets for the Elderly from Agroalimentary Thesauri. FQAS 2013: 471-482 - [c26]Carlos Rodríguez-Domínguez
A Model-Driven Approach for the Development of Middleware Technologies for Ubiquitous Systems. Intelligent Environments 2013: 16-23 - [c25]Ángel Ruiz-Zafra, Kawtar Benghazi Akhlaki
Zappa: An Open Mobile Platform to Build Cloud-Based m-Health Systems. ISAmI 2013: 87-94 - [c24]Ángel Ruiz-Zafra, Manuel Noguera
A mobile cloud-supported e-rehabilitation platform for brain-injured patients. PervasiveHealth 2013: 352-355 - [c23]Carlos Rodríguez-Domínguez
Leveraging the Model-Driven Architecture for Service Choreography in Ubiquitous Systems. UCAmI 2013: 303-310 - 2012
- [j8]Miguel J. Hornos, María Visitación Hurtado, M. Pilar Fernández-Sánchez, Álvaro López-Martínez, Kawtar Benghazi Akhlaki, María Luisa Rodríguez-Almendros, María M. Abad-Grau:
Hierarchical Role-based Design of Web-based Educational Systems for Blended Learning in Higher Education. J. Res. Pract. Inf. Technol. 44(2) (2012) - [j7]Kawtar Benghazi Akhlaki
Enabling correct design and formal analysis of Ambient Assisted Living systems. J. Syst. Softw. 85(3): 498-510 (2012) - [j6]Carlos Rodríguez-Domínguez
A Communication Model to Integrate the Request-Response and the Publish-Subscribe Paradigms into Ubiquitous Systems. Sensors 12(6): 7648-7668 (2012) - [c22]Antonio Rico Ortega, Manuel Noguera
Multi-Tenancy Multi-Target (MT2): A SaaS Architecture for the Cloud. CAiSE Workshops 2012: 214-227 - [c21]Carlos Rodríguez-Domínguez
A platform supporting the development of applications in ubiquitous systems: the collaborative application example of mobile forensics. Interacción 2012: 41:1-41:7 - [c20]Carlos Rodríguez-Domínguez
Designing a Middleware-Based Framework to Support Multiparadigm Communications in Ubiquitous Systems. ISAmI 2012: 163-170 - 2011
- [j5]María Visitación Hurtado-Torres, Rubén Ramos Ferreira, Elsa Trigueros, Kawtar Benghazi Akhlaki, Manuel Noguera, Carlos Rodríguez-Domínguez:
Entorno de Interacción Colaborativa mediante Debate Virtual. Rev. Iberoam. de Tecnol. del Aprendiz. 6(4): 175-182 (2011) - [p1]Lawrence Chung, Sam Supakkul, Nary Subramanian, José Luis Garrido
Goal-Oriented Software Architecting. Relating Software Requirements and Architectures 2011: 91-109 - 2010
- [j4]Carlos Rodríguez-Domínguez, Kawtar Benghazi Akhlaki, Manuel Noguera, María Bermúdez-Edo, José Luis Garrido:
Dynamic Ontology-Based Redefinition of Events Intended to Support the Communication of Complex Information in Ubiquitous Computing. Netw. Protoc. Algorithms 2(3): 85-99 (2010) - [j3]Lawrence Chung, José Luis Garrido
Designing high quality system/software architectures. Sci. Comput. Program. 75(8): 669-671 (2010) - [c19]Ana Belén Pelegrina Ortiz, Kawtar Benghazi Akhlaki
A Framework for the Semantic Representation of Business Processes within Business Organizational Models. EOMAS 2010: 79-94 - [c18]Tomás Ruiz-López
A Survey on Indoor Positioning Systems: Foreseeing a Quality Design. DCAI 2010: 373-380 - [c17]Carlos Rodríguez-Domínguez
Redefinable events for dynamic reconfiguration of communications in ubiquitous computing. DD4LCCI@EDCC 2010: 17-22 - [c16]Elsa Trigueros, María Visitación Hurtado
An Agent-, Service-Based Platform Supporting Ontological Integration of Proficient Knowledge Managed in Decision Making. PAAMS (Special Sessions and Workshops) 2010: 331-338 - [c15]Kawtar Benghazi Akhlaki, José Luis Garrido, Manuel Noguera, María Visitación Hurtado
Extending and Formalizing UML 2.0 Activity Diagrams for the Specification of Time-Constrained Business Processes. RCIS 2010: 93-100 - [c14]Ana Belén Pelegrina Ortiz, Carlos Rodríguez-Domínguez, María Luisa Rodríguez, Kawtar Benghazi Akhlaki, José Luis Garrido:
Integrating Groupware Applications into Shared Workspaces. RCIS 2010: 557-568
2000 – 2009
- 2009
- [c13]Kawtar Benghazi Akhlaki
Towards Compositional Verification in MEDISTAM-RT Methodological Framework. IWANN (2) 2009: 211-218 - [c12]Kawtar Benghazi Akhlaki
Applying Formal Verification Techniques to Ambient Assisted Living Systems. OTM Workshops 2009: 381-390 - 2008
- [j2]Manuel I. Capel Tuñón
Automatic verification of business process integrity. Int. J. Simul. Process. Model. 4(3/4): 167-182 (2008) - [c11]Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki:
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. ICEIS (3-1) 2008: 86-93 - [c10]Luis E. Mendoza Morales, Manuel I. Capel
Compositional Model-Checking Verification of Critical Systems. ICEIS 2008: 213-225 - [c9]Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki:
Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD 2008: 159-170 - 2007
- [j1]Kawtar Benghazi Akhlaki
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Sci. Comput. Program. 65(1): 41-56 (2007) - [c8]Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki:
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. ICEIS (3) 2007: 205-211 - [c7]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Towards UML-RT Behavioural Consistency. ICEIS (3) 2007: 612-615 - [c6]Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. MSVVEIS 2007: 74-83 - 2006
- [c5]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza:
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. ICEIS (3) 2006: 290-297 - [c4]Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza:
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. JISBD 2006: 283-292 - [c3]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. MSVVEIS 2006: 16-25 - [c2]Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel:
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. MSVVEIS 2006: 128-133 - 2005
- [c1]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón:
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. IEC (Prague) 2005: 193-198
Coauthor Index
Manuel I. Capel
aka: Manuel I. Capel Tuñón
aka: Manuel I. Capel Tuñón
Zoraida Callejas Carrión
aka: Zoraida Callejas
aka: Zoraida Callejas
María Visitación Hurtado
aka: María Visitación Hurtado-Torres
aka: María Visitación Hurtado-Torres
Luis Eduardo Mendoza
aka: Luis E. Mendoza Morales
aka: Luis E. Mendoza Morales
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-26 21:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: