Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. - Kawtar Benghazi Akhlaki; Manuel I. Capel Tuñón (IEC (Prague), 2005)

Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. - Kawtar Benghazi Akhlaki; Manuel I. Capel Tuñón; Juan Antonio Holgado Terriza (ICEIS (3), 2006)

A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. - Manuel I. Capel; Luis E. Mendoza Morales; Kawtar Benghazi Akhlaki; Juan Antonio Holgado Terriza (JISBD, 2006)

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. - Kawtar Benghazi Akhlaki; Manuel I. Capel Tuñón; Juan Antonio Holgado Terriza; Luis E. Mendoza Morales (MSVVEIS, 2006)

CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. - Agustín Escámez; Kawtar Benghazi Akhlaki; Juan Antonio Holgado Terriza; Manuel I. Capel (MSVVEIS, 2006)

Towards UML-RT Behavioural Consistency. - Kawtar Benghazi Akhlaki; Manuel I. Capel Tuñón; Juan Antonio Holgado Terriza; Luis E. Mendoza Morales (ICEIS (3), 2007)

Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. - Luis E. Mendoza Morales; Manuel I. Capel Tuñón; Kawtar Benghazi Akhlaki (ICEIS (3), 2007)

An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. - Manuel I. Capel Tuñón; Kawtar Benghazi Akhlaki; Juan Antonio Holgado Terriza; Luis E. Mendoza Morales (MSVVEIS, 2007)

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. - Kawtar Benghazi Akhlaki; Manuel I. Capel Tuñón; Juan Antonio Holgado Terriza; Luis E. Mendoza Morales (Sci. Comput. Program., 2007)

Compositional Model-Checking Verification of Critical Systems. - Luis E. Mendoza Morales; Manuel I. Capel; María A. Pérez; Kawtar Benghazi Akhlaki (ICEIS, 2008)

A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. - Luis E. Mendoza Morales; Manuel I. Capel Tuñón; María A. Pérez; Kawtar Benghazi Akhlaki (ICEIS (3-1), 2008)

Towards the Correctness Verifcation of Business Processes Modelled with UML. - Luis Eduardo Mendoza; Manuel I. Capel; Kawtar Benghazi Akhlaki (JISBD, 2008)

Automatic verification of business process integrity. - Manuel I. Capel Tuñón; Luis E. Mendoza Morales; Kawtar Benghazi Akhlaki (Int. J. Simul. Process. Model., 2008)

Towards Compositional Verification in MEDISTAM-RT Methodological Framework. - Kawtar Benghazi Akhlaki; Miguel J. Hornos; Manuel Noguera (IWANN (2), 2009)

Applying Formal Verification Techniques to Ambient Assisted Living Systems. - Kawtar Benghazi Akhlaki; María Visitación Hurtado; María Luisa Rodríguez 001; Manuel Noguera (OTM Workshops, 2009)

A Framework for the Semantic Representation of Business Processes within Business Organizational Models. - Ana Belén Pelegrina Ortiz; Kawtar Benghazi Akhlaki; María Visitación Hurtado; Manuel Noguera (EOMAS, 2010)

A Survey on Indoor Positioning Systems: Foreseeing a Quality Design. - Tomás Ruiz-López; José Luis Garrido; Kawtar Benghazi Akhlaki; Lawrence Chung (DCAI, 2010)

Redefinable events for dynamic reconfiguration of communications in ubiquitous computing. - Carlos Rodríguez-Domínguez; Kawtar Benghazi; Manuel Noguera; José Luis Garrido (DD4LCCI@EDCC, 2010)

An Agent-, Service-Based Platform Supporting Ontological Integration of Proficient Knowledge Managed in Decision Making. - Elsa Trigueros; María Visitación Hurtado; Kawtar Benghazi Akhlaki; Jose Manuel Zurita (PAAMS (Special Sessions and Workshops), 2010)

Extending and Formalizing UML 2.0 Activity Diagrams for the Specification of Time-Constrained Business Processes. - Kawtar Benghazi Akhlaki; José Luis Garrido; Manuel Noguera; María Visitación Hurtado; Lawrence Chung (RCIS, 2010)

Integrating Groupware Applications into Shared Workspaces. - Ana Belén Pelegrina Ortiz; Carlos Rodríguez-Domínguez; María Luisa Rodríguez 001; Kawtar Benghazi Akhlaki; José Luis Garrido (RCIS, 2010)

Dynamic Ontology-Based Redefinition of Events Intended to Support the Communication of Complex Information in Ubiquitous Computing. - Carlos Rodríguez-Domínguez; Kawtar Benghazi Akhlaki; Manuel Noguera; María Bermúdez-Edo; José Luis Garrido (Netw. Protoc. Algorithms, 2010)

Designing high quality system/software architectures. - Lawrence Chung; José Luis Garrido; Nary Subramanian; Manuel Noguera; Kawtar Benghazi Akhlaki (Sci. Comput. Program., 2010)

Goal-Oriented Software Architecting. - Lawrence Chung; Sam Supakkul; Nary Subramanian; José Luis Garrido; Manuel Noguera; María Visitación Hurtado; María Luisa Rodríguez 001; Kawtar Benghazi Akhlaki (Relating Software Requirements and Architectures, 2011)

Entorno de Interacción Colaborativa mediante Debate Virtual. - María Visitación Hurtado-Torres; Rubén Ramos Ferreira; Elsa Trigueros; Kawtar Benghazi Akhlaki; Manuel Noguera; Carlos Rodríguez-Domínguez (Rev. Iberoam. de Tecnol. del Aprendiz., 2011)

Multi-Tenancy Multi-Target (MT2): A SaaS Architecture for the Cloud. - Antonio Rico Ortega; Manuel Noguera; José Luis Garrido; Kawtar Benghazi Akhlaki; Lawrence Chung (CAiSE Workshops, 2012)

A platform supporting the development of applications in ubiquitous systems: the collaborative application example of mobile forensics. - Carlos Rodríguez-Domínguez; Kawtar Benghazi Akhlaki; José Luis Garrido; Aurora Valenzuela (Interacción, 2012)

Designing a Middleware-Based Framework to Support Multiparadigm Communications in Ubiquitous Systems. - Carlos Rodríguez-Domínguez; Tomás Ruiz-López; Kawtar Benghazi Akhlaki; José Luis Garrido (ISAmI, 2012)

Hierarchical Role-based Design of Web-based Educational Systems for Blended Learning in Higher Education. - 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 (J. Res. Pract. Inf. Technol., 2012)

Enabling correct design and formal analysis of Ambient Assisted Living systems. - Kawtar Benghazi Akhlaki; María Visitación Hurtado; Miguel J. Hornos; María Luisa Rodríguez 001; Carlos Rodríguez-Domínguez; Ana Belén Pelegrina Ortiz; María José Rodríguez-Fórtiz (J. Syst. Softw., 2012)

A Communication Model to Integrate the Request-Response and the Publish-Subscribe Paradigms into Ubiquitous Systems. - Carlos Rodríguez-Domínguez; Kawtar Benghazi Akhlaki; Manuel Noguera; José Luis Garrido; María Luisa Rodríguez 001; Tomás Ruiz-López (Sensors, 2012)

Component-Based Design for Multi-tenant Multi-target Support in the Cloud. - Antonio Rico Ortega; Manuel Noguera; José Luis Garrido; Kawtar Benghazi Akhlaki; Lawrence Chung (EOMAS@CAiSE, 2013)

Designing a Service Platform for Sharing Internet Resources in MANETs. - Gabriel Guerrero-Contreras; José Luis Garrido; Carlos Rodríguez-Domínguez; Manuel Noguera; Kawtar Benghazi Akhlaki (ESOCC Workshops, 2013)

Cloud and Web Services Integration for mHealth Telerehabilitation Support. - Ángel Ruiz-Zafra; Manuel Noguera; Kawtar Benghazi Akhlaki; José Luis Garrido; Gustavo Cuberos Urbano; Alfonso Caracuel (ESOCC Workshops, 2013)

Semantic-Based Recommendation of Nutrition Diets for the Elderly from Agroalimentary Thesauri. - Vanesa Espín; María Visitación Hurtado; Manuel Noguera; Kawtar Benghazi Akhlaki (FQAS, 2013)

A Model-Driven Approach for the Development of Middleware Technologies for Ubiquitous Systems. - Carlos Rodríguez-Domínguez; Tomás Ruiz-López; Kawtar Benghazi Akhlaki; Manuel Noguera; José Luis Garrido (Intelligent Environments, 2013)

Zappa: An Open Mobile Platform to Build Cloud-Based m-Health Systems. - Ángel Ruiz-Zafra; Kawtar Benghazi Akhlaki; Manuel Noguera; José Luis Garrido (ISAmI, 2013)

A mobile cloud-supported e-rehabilitation platform for brain-injured patients. - Ángel Ruiz-Zafra; Manuel Noguera; Kawtar Benghazi Akhlaki; José Luis Garrido; Gustavo Cuberos Urbano; Alfonso Caracuel (PervasiveHealth, 2013)

Leveraging the Model-Driven Architecture for Service Choreography in Ubiquitous Systems. - Carlos Rodríguez-Domínguez; Tomás Ruiz-López; José Luis Garrido; Manuel Noguera; Kawtar Benghazi Akhlaki (UCAmI, 2013)

Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems. - Tomás Ruiz-López; Carlos Rodríguez-Domínguez; Manuel Noguera; María José Rodríguez-Fórtiz; Kawtar Benghazi Akhlaki; José Luis Garrido (J. Ambient Intell. Smart Environ., 2013)

Towards a Model-Driven Approach for Sensor Management in Wireless Body Area Networks. - Ángel Ruiz-Zafra; Manuel Noguera; Kawtar Benghazi Akhlaki (IDCS, 2014)

Towards a Self-Adaptive Deployable Service Architecture for the Consistent Resource Management in Ubiquitous Environments. - Gabriel Guerrero-Contreras; José Luis Garrido; Kawtar Benghazi Akhlaki; Sara Balderas-Díaz; Carlos Rodríguez-Domínguez (Intelligent Environments (Workshops), 2014)

A Reusable and Adaptable Information Model for Ambient Intelligence Systems. - Carlos Rodríguez-Domínguez; Tomás Ruiz-López; Kawtar Benghazi Akhlaki; José Luis Garrido; Aurora Valenzuela (Intelligent Environments (Workshops), 2014)

CloudFit: A Cloud-Based Mobile Wellness Platform Supported by Wearable Computing. - Ángel Ruiz-Zafra; Manuel Noguera; Kawtar Benghazi Akhlaki; José María Heredia Jiménez (ISAmI, 2014)

Energy Expenditure Analysis: A Comparative Research of Based on Mobile Accelerometers. - Ángel Ruiz-Zafra; Eva Orantes-González; Manuel Noguera; Kawtar Benghazi Akhlaki; José María Heredia Jiménez (IWAAL, 2014)

A service-based platform for monitoring and diagnosis of patients with SAHS symptoms. - Sara Balderas-Díaz; Kawtar Benghazi Akhlaki; José Luis Garrido; Gabriel Guerrero-Contreras; Elena Miró (PervasiveHealth, 2014)

Self-monitoring and professional feedback through CloudRehab, a mobile cloud platform for neuro-rehabiliation. - Gustavo Cuberos Urbano; Ángel Ruiz-Zafra; Manuel Noguera; Kawtar Benghazi Akhlaki; Alfonso Caracuel (PervasiveHealth, 2014)

Designing New Low-Cost Home-Oriented Systems for Monitoring and Diagnosis of Patients with Sleep Apnea-Hypopnea. - Sara Balderas-Díaz; Kawtar Benghazi Akhlaki; José Luis Garrido; Gabriel Guerrero-Contreras; Elena Miró (REHAB, 2014)

A Cloud collaborative approach for managing patients wellness. - Ángel Ruiz-Zafra; Manuel Noguera; Kawtar Benghazi Akhlaki; Sergio F. Ochoa (CSCWD, 2015)

Designing Configurable and Adaptive Systems in eHealth. - Sara Balderas-Díaz; Kawtar Benghazi Akhlaki; Germán Prados; Elena Miró (REHAB, 2015)

A model-driven approach to service composition on the basis of the specification of BPMN choreographies. - Carlos Rodríguez-Domínguez; Tomás Ruiz-López; José Luis Garrido; Manuel Noguera; Kawtar Benghazi Akhlaki (Comput. Syst. Sci. Eng., 2015)

A Model-Driven Approach for Wearable Systems Developments. - Ángel Ruiz-Zafra; Manuel Noguera; Kawtar Benghazi Akhlaki; Sergio F. Ochoa (Int. J. Distributed Sens. Networks, 2015)

A Comparative Study on the Suitability of Smartphones and IMU for Mobile, Unsupervised Energy Expenditure Calculi. - Ángel Ruiz-Zafra; Eva Orantes-González; Manuel Noguera; Kawtar Benghazi Akhlaki; José María Heredia Jiménez (Sensors, 2015)

User Progress Modelling in Counselling Systems: An Application to an Adaptive Virtual Coach. - Nuria Medina-Medina; Zoraida Callejas; Kawtar Benghazi Akhlaki; Manuel Noguera (ER, 2016)

Extending multi-tenant architectures: a database model for a multi-target support in SaaS applications. - Antonio Rico Ortega; Manuel Noguera; José Luis Garrido; Kawtar Benghazi Akhlaki; Joseph Barjis (Enterp. Inf. Syst., 2016)

Integrating a Dual Method on a General Architecture to Self-Adaptive Monitoring Systems. - Sara Balderas-Díaz; Kawtar Benghazi Akhlaki; José Luis Garrido; Gregory M. P. O'Hare; Gabriel Guerrero-Contreras (WorldCIST (1), 2017)

An IoT-Aware Architectural Model for Smart Habitats. - Ángel Ruiz-Zafra; Kawtar Benghazi Akhlaki; Constandinos X. Mavromoustakis; Manuel Noguera (EUC, 2018)

Introducing Computational Semantics for Natural Language Understanding in Conversational Nutrition Coaches for Healthy Eating. - Antonio Benítez-Guijarro; Zoraida Callejas; Manuel Noguera; Kawtar Benghazi Akhlaki (UCAmI, 2018)

Coordination of Speech Recognition Devices in Intelligent Environments with Multiple Responsive Devices. - Antonio Benítez-Guijarro; Zoraida Callejas; Manuel Noguera; Kawtar Benghazi Akhlaki (UCAmI, 2019)

MENHIR: Mental health monitoring through interactive conversations. - Zoraida Callejas; Kawtar Benghazi Akhlaki; Manuel Noguera; María Inés Torres; Raquel Justo (Proces. del Leng. Natural, 2019)

General Architecture for Development of Virtual Coaches for Healthy Habits Monitoring and Encouragement. - Antonio Benítez-Guijarro; Ángel Ruiz-Zafra; Zoraida Callejas; Nuria Medina-Medina; Kawtar Benghazi Akhlaki; Manuel Noguera (Sensors, 2019)

First Workshop on Multimodal e-Coaches. - Leonardo Angelini; Mira El Kamali; Elena Mugellini; Omar Abou Khaled; Yordan Dimitrov; Vera Veleva; Zlatka Gospodinova; Nadejda Miteva; Richard Wheeler; Zoraida Callejas; David Griol; Kawtar Benghazi Akhlaki; et al. (ICMI, 2020)

Measuring and Fostering Engagement with Mental Health e-Coaches. - Zoraida Callejas; David Griol; Kawtar Benghazi Akhlaki; Manuel Noguera; Gérard Chollet; María Inés Torres; Anna Esposito (ICMI Companion, 2020)

Towards conversational technology to promote, monitor and protect mental health. - 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; et al. (IberSPEECH, 2021)

Architecting dietary intake monitoring as a service combining NLP and IoT. - Antonio Benítez-Guijarro; Zoraida Callejas; Manuel Noguera; Kawtar Benghazi (J. Ambient Intell. Humaniz. Comput., 2022)

Combining Generative AI and PPTalk Service Specification for Dynamic and Adaptive Task-Oriented Chatbots. - María Jesús Rodríguez-Sánchez; Zoraida Callejas; Ángel Ruiz-Zafra; Kawtar Benghazi (ICSOC (1), 2024)

Servitization of Customized 3D Assets and Performance Comparison of Services and Microservices Implementations. - Ángel Ruiz-Zafra; Janet Pigueiras-del-Real; Manuel Noguera; Lawrence Chung; David Griol Barres; Kawtar Benghazi (IEEE Trans. Serv. Comput., 2024)