Kawtar Benghazi Akhlaki
Orcid: 0000-0002-6677-7301Affiliations:
- University of Granada, Spain
According to our database1,
Kawtar Benghazi Akhlaki
authored at least 66 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Servitization of Customized 3D Assets and Performance Comparison of Services and Microservices Implementations.
IEEE Trans. Serv. Comput., 2024
2022
J. Ambient Intell. Humaniz. Comput., 2022
2021
Proceedings of the Fifth International Conference, 2021
2020
Proceedings of the Companion Publication of the 2020 International Conference on Multimodal Interaction, 2020
Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020
2019
General Architecture for Development of Virtual Coaches for Healthy Habits Monitoring and Encouragement.
Sensors, 2019
Proces. del Leng. Natural, 2019
Coordination of Speech Recognition Devices in Intelligent Environments with Multiple Responsive Devices.
Proceedings of the 13th International Conference on Ubiquitous Computing and Ambient Intelligence, 2019
2018
Introducing Computational Semantics for Natural Language Understanding in Conversational Nutrition Coaches for Healthy Eating.
Proceedings of the 12th International Conference on Ubiquitous Computing and Ambient Intelligence, 2018
Proceedings of the 16th IEEE International Conference on Embedded and Ubiquitous Computing, 2018
2017
Integrating a Dual Method on a General Architecture to Self-Adaptive Monitoring Systems.
Proceedings of the Recent Advances in Information Systems and Technologies, 2017
2016
Extending multi-tenant architectures: a database model for a multi-target support in SaaS applications.
Enterp. Inf. Syst., 2016
User Progress Modelling in Counselling Systems: An Application to an Adaptive Virtual Coach.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016
2015
A Comparative Study on the Suitability of Smartphones and IMU for Mobile, Unsupervised Energy Expenditure Calculi.
Sensors, 2015
Int. J. Distributed Sens. Networks, 2015
A model-driven approach to service composition on the basis of the specification of BPMN choreographies.
Comput. Syst. Sci. Eng., 2015
Proceedings of the 3rd 2015 Workshop on ICTs for improving Patients Rehabilitation Research Techniques, 2015
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015
2014
Designing New Low-Cost Home-Oriented Systems for Monitoring and Diagnosis of Patients with Sleep Apnea-Hypopnea.
Proceedings of the ICTs for Improving Patients Rehabilitation Research Techniques, 2014
Self-monitoring and professional feedback through CloudRehab, a mobile cloud platform for neuro-rehabiliation.
Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014
A service-based platform for monitoring and diagnosis of patients with SAHS symptoms.
Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014
Energy Expenditure Analysis: A Comparative Research of Based on Mobile Accelerometers.
Proceedings of the Ambient Assisted Living and Daily Activities, 2014
Proceedings of the Ambient Intelligence - Software and Applications, 2014
Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014
Towards a Self-Adaptive Deployable Service Architecture for the Consistent Resource Management in Ubiquitous Environments.
Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014
Towards a Model-Driven Approach for Sensor Management in Wireless Body Area Networks.
Proceedings of the Internet and Distributed Computing Systems, 2014
2013
Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems.
J. Ambient Intell. Smart Environ., 2013
Leveraging the Model-Driven Architecture for Service Choreography in Ubiquitous Systems.
Proceedings of the Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction, 2013
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013
Proceedings of the Ambient Intelligence - Software and Applications, 2013
A Model-Driven Approach for the Development of Middleware Technologies for Ubiquitous Systems.
Proceedings of the 9th International Conference on Intelligent Environments, 2013
Semantic-Based Recommendation of Nutrition Diets for the Elderly from Agroalimentary Thesauri.
Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2013
2012
A Communication Model to Integrate the Request-Response and the Publish-Subscribe Paradigms into Ubiquitous Systems.
Sensors, 2012
J. Syst. Softw., 2012
Hierarchical Role-based Design of Web-based Educational Systems for Blended Learning in Higher Education.
J. Res. Pract. Inf. Technol., 2012
Designing a Middleware-Based Framework to Support Multiparadigm Communications in Ubiquitous Systems.
Proceedings of the Ambient Intelligence - Software and Applications, 2012
A platform supporting the development of applications in ubiquitous systems: the collaborative application example of mobile forensics.
Proceedings of the 13th International Conference on Interacción Persona-Ordenador, 2012
Proceedings of the Advanced Information Systems Engineering Workshops, 2012
2011
Rev. Iberoam. de Tecnol. del Aprendiz., 2011
Proceedings of the Relating Software Requirements and Architectures., 2011
2010
Dynamic Ontology-Based Redefinition of Events Intended to Support the Communication of Complex Information in Ubiquitous Computing.
Netw. Protoc. Algorithms, 2010
Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, 2010
Extending and Formalizing UML 2.0 Activity Diagrams for the Specification of Time-Constrained Business Processes.
Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, 2010
An Agent-, Service-Based Platform Supporting Ontological Integration of Proficient Knowledge Managed in Decision Making.
Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010
Redefinable events for dynamic reconfiguration of communications in ubiquitous computing.
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures, 2010
Proceedings of the Distributed Computing and Artificial Intelligence, 2010
A Framework for the Semantic Representation of Business Processes within Business Organizational Models.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2010
2009
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009
Proceedings of the Distributed Computing, 2009
2008
Int. J. Simul. Process. Model., 2008
Towards the Correctness Verifcation of Business Processes Modelled with UML.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.
Proceedings of the ICEIS 2008, 2008
Proceedings of the Enterprise Information Systems, 10th International Conference, 2008
2007
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
Sci. Comput. Program., 2007
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
Proceedings of the Modelling, 2007
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.
Proceedings of the ICEIS 2007, 2007
Towards UML-RT Behavioural Consistency.
Proceedings of the ICEIS 2007, 2007
2006
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code.
Proceedings of the Modelling, 2006
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.
Proceedings of the Modelling, 2006
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.
Proceedings of the ICEIS 2006, 2006
2005
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems.
Proceedings of the International Enformatika Conference, 2005