Kawtar Benghazi Akhlaki

According to our database1, Kawtar Benghazi Akhlaki authored at least 59 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
General Architecture for Development of Virtual Coaches for Healthy Habits Monitoring and Encouragement.
Sensors, 2019

MENHIR: Mental health monitoring through interactive conversations.
Procesamiento del Lenguaje 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

An IoT-Aware Architectural Model for Smart Habitats.
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.
Enterprise IS, 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

A Model-Driven Approach for Wearable Systems Developments.
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

Designing Configurable and Adaptive Systems in eHealth.
Proceedings of the 3rd 2015 Workshop on ICTs for improving Patients Rehabilitation Research Techniques, 2015

A Cloud collaborative approach for managing patients wellness.
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

CloudFit: A Cloud-Based Mobile Wellness Platform Supported by Wearable Computing.
Proceedings of the Ambient Intelligence - Software and Applications, 2014

A Reusable and Adaptable Information Model for Ambient Intelligence Systems.
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

A mobile cloud-supported e-rehabilitation platform for brain-injured patients.
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

Zappa: An Open Mobile Platform to Build Cloud-Based m-Health Systems.
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

Cloud and Web Services Integration for mHealth Telerehabilitation Support.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Designing a Service Platform for Sharing Internet Resources in MANETs.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Component-Based Design for Multi-tenant Multi-target Support in the Cloud.
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

Enabling correct design and formal analysis of Ambient Assisted Living systems.
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

Multi-Tenancy Multi-Target (MT2): A SaaS Architecture for the Cloud.
Proceedings of the Advanced Information Systems Engineering Workshops, 2012

2011
Entorno de Interacción Colaborativa mediante Debate Virtual.
Rev. Iberoam. de Tecnol. del Aprendiz., 2011

Goal-Oriented Software Architecting.
Proceedings of the Relating Software Requirements and Architectures., 2011

2010
Designing high quality system/software architectures.
Sci. Comput. Program., 2010

Dynamic Ontology-Based Redefinition of Events Intended to Support the Communication of Complex Information in Ubiquitous Computing.
Netw. Protoc. Algorithms, 2010

Integrating Groupware Applications into Shared Workspaces.
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

A Survey on Indoor Positioning Systems: Foreseeing a Quality Design.
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
Applying Formal Verification Techniques to Ambient Assisted Living Systems.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009

Towards Compositional Verification in MEDISTAM-RT Methodological Framework.
Proceedings of the Distributed Computing, 2009

2008
Automatic verification of business process integrity.
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

Compositional Model-Checking Verification of Critical Systems.
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


  Loading...