BibTeX records: Kawtar Benghazi Akhlaki

download as .bib file

@article{DBLP:journals/tsc/RuizZafraPNCBB24,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Janet Pigueiras{-}del{-}Real and
                  Manuel Noguera and
                  Lawrence Chung and
                  David Griol Barres and
                  Kawtar Benghazi},
  title        = {Servitization of Customized 3D Assets and Performance Comparison of
                  Services and Microservices Implementations},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {17},
  number       = {1},
  pages        = {194--208},
  year         = {2024},
  url          = {https://doi.org/10.1109/TSC.2023.3339991},
  doi          = {10.1109/TSC.2023.3339991},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tsc/RuizZafraPNCBB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaihc/Benitez-Guijarro22,
  author       = {Antonio Ben{\'{\i}}tez{-}Guijarro and
                  Zoraida Callejas and
                  Manuel Noguera and
                  Kawtar Benghazi},
  title        = {Architecting dietary intake monitoring as a service combining {NLP}
                  and IoT},
  journal      = {J. Ambient Intell. Humaniz. Comput.},
  volume       = {13},
  number       = {11},
  pages        = {5377--5389},
  year         = {2022},
  url          = {https://doi.org/10.1007/s12652-019-01553-2},
  doi          = {10.1007/S12652-019-01553-2},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jaihc/Benitez-Guijarro22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberspeech/CallejasGANTJEC21,
  author       = {Zoraida Callejas and
                  David Griol and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  Mar{\'{\i}}a In{\'{e}}s Torres and
                  Raquel Justo and
                  Anna Esposito and
                  Gennaro Cordasco and
                  Raymond R. Bond and
                  Maurice D. Mulvenna and
                  Edel Ennis and
                  Siobhan O'Neill and
                  Huiru Zheng and
                  Matthias Kraus and
                  Nicolas Wagner and
                  Wolfgang Minker and
                  Gavin McConvey and
                  Matthias L. Hemmje and
                  Michael Fuchs and
                  Neil Glackin and
                  G{\'{e}}rard Chollet},
  editor       = {Valent{\'{\i}}n Carde{\~{n}}oso{-}Payo and
                  David Escudero Mancebo and
                  C{\'{e}}sar Gonz{\'{a}}lez Ferreras},
  title        = {Towards conversational technology to promote, monitor and protect
                  mental health},
  booktitle    = {Fifth International Conference, IberSPEECH 2021, Valladolid, Spain,
                  24-25 March 2021, Proceedings},
  publisher    = {{ISCA}},
  year         = {2021},
  url          = {http://www.isca-speech.org/archive/IberSPEECH\_2021/pdfs/32.pdf},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iberspeech/CallejasGANTJEC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/CallejasGANCTE20,
  author       = {Zoraida Callejas and
                  David Griol and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  G{\'{e}}rard Chollet and
                  Mar{\'{\i}}a In{\'{e}}s Torres and
                  Anna Esposito},
  editor       = {Khiet P. Truong and
                  Dirk Heylen and
                  Mary Czerwinski and
                  Nadia Berthouze and
                  Mohamed Chetouani and
                  Mikio Nakano},
  title        = {Measuring and Fostering Engagement with Mental Health e-Coaches},
  booktitle    = {Companion Publication of the 2020 International Conference on Multimodal
                  Interaction, {ICMI} Companion 2020, Virtual Event, The Netherlands,
                  October, 2020},
  pages        = {275--279},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3395035.3425316},
  doi          = {10.1145/3395035.3425316},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icmi/CallejasGANCTE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/AngeliniKMKDVGM20,
  author       = {Leonardo Angelini and
                  Mira El Kamali and
                  Elena Mugellini and
                  Omar Abou Khaled and
                  Yordan Dimitrov and
                  Vera Veleva and
                  Zlatka Gospodinova and
                  Nadejda Miteva and
                  Richard Wheeler and
                  Zoraida Callejas and
                  David Griol and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  Panagiotis D. Bamidis and
                  Evdokimos I. Konstantinidis and
                  Despoina Petsani and
                  Andoni Beristain Iraola and
                  Dimitrios I. Fotiadis and
                  G{\'{e}}rard Chollet and
                  In{\'{e}}s Torres and
                  Anna Esposito and
                  Hannes Schlieter},
  editor       = {Khiet P. Truong and
                  Dirk Heylen and
                  Mary Czerwinski and
                  Nadia Berthouze and
                  Mohamed Chetouani and
                  Mikio Nakano},
  title        = {First Workshop on Multimodal e-Coaches},
  booktitle    = {{ICMI} '20: International Conference on Multimodal Interaction, Virtual
                  Event, The Netherlands, October 25-29, 2020},
  pages        = {890--892},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3382507.3420056},
  doi          = {10.1145/3382507.3420056},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icmi/AngeliniKMKDVGM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pdln/CallejasANTJ19,
  author       = {Zoraida Callejas and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  Mar{\'{\i}}a In{\'{e}}s Torres and
                  Raquel Justo},
  title        = {{MENHIR:} Mental health monitoring through interactive conversations},
  journal      = {Proces. del Leng. Natural},
  volume       = {63},
  pages        = {139--142},
  year         = {2019},
  url          = {http://journal.sepln.org/sepln/ojs/ojs/index.php/pln/article/view/6104},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pdln/CallejasANTJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/Benitez-Guijarro19,
  author       = {Antonio Ben{\'{\i}}tez{-}Guijarro and
                  {\'{A}}ngel Ruiz{-}Zafra and
                  Zoraida Callejas and
                  Nuria Medina{-}Medina and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera},
  title        = {General Architecture for Development of Virtual Coaches for Healthy
                  Habits Monitoring and Encouragement},
  journal      = {Sensors},
  volume       = {19},
  number       = {1},
  pages        = {108},
  year         = {2019},
  url          = {https://doi.org/10.3390/s19010108},
  doi          = {10.3390/S19010108},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/Benitez-Guijarro19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucami/Benitez-Guijarro19,
  author       = {Antonio Ben{\'{\i}}tez{-}Guijarro and
                  Zoraida Callejas and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki},
  editor       = {Jos{\'{e}} Bravo and
                  Iv{\'{a}}n Gonz{\'{a}}lez},
  title        = {Coordination of Speech Recognition Devices in Intelligent Environments
                  with Multiple Responsive Devices},
  booktitle    = {13th International Conference on Ubiquitous Computing and Ambient
                  Intelligence, UCAmI 2019, Toledo, Spain, December 2-5, 2019},
  series       = {{MDPI} Proceedings},
  volume       = {31},
  pages        = {54},
  publisher    = {{MDPI}},
  year         = {2019},
  url          = {https://doi.org/10.3390/proceedings2019031054},
  doi          = {10.3390/PROCEEDINGS2019031054},
  timestamp    = {Mon, 07 Nov 2022 21:23:28 +0100},
  biburl       = {https://dblp.org/rec/conf/ucami/Benitez-Guijarro19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/Ruiz-ZafraAMN18,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Kawtar Benghazi Akhlaki and
                  Constandinos X. Mavromoustakis and
                  Manuel Noguera},
  editor       = {Ciprian Dobre and
                  Francisco J. Melero and
                  Radu{-}Ioan Ciobanu and
                  Francesco Palmieri},
  title        = {An IoT-Aware Architectural Model for Smart Habitats},
  booktitle    = {16th {IEEE} International Conference on Embedded and Ubiquitous Computing,
                  {EUC} 2018, Bucharest, Romania, October 29-31, 2018},
  pages        = {103--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/EUC.2018.00022},
  doi          = {10.1109/EUC.2018.00022},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euc/Ruiz-ZafraAMN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucami/Benitez-Guijarro18,
  author       = {Antonio Ben{\'{\i}}tez{-}Guijarro and
                  Zoraida Callejas and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki},
  editor       = {Jos{\'{e}} Bravo and
                  Oresti Ba{\~{n}}os},
  title        = {Introducing Computational Semantics for Natural Language Understanding
                  in Conversational Nutrition Coaches for Healthy Eating},
  booktitle    = {12th International Conference on Ubiquitous Computing and Ambient
                  Intelligence, UCAmI 2018, Punta Cana, Dominican Republic, December
                  4-7, 2018},
  series       = {{MDPI} Proceedings},
  volume       = {2},
  number       = {19},
  pages        = {506},
  publisher    = {{MDPI}},
  year         = {2018},
  url          = {https://doi.org/10.3390/proceedings2190506},
  doi          = {10.3390/PROCEEDINGS2190506},
  timestamp    = {Mon, 07 Nov 2022 21:23:28 +0100},
  biburl       = {https://dblp.org/rec/conf/ucami/Benitez-Guijarro18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/Balderas-DiazAG17,
  author       = {Sara Balderas{-}D{\'{\i}}az and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido and
                  Gregory M. P. O'Hare and
                  Gabriel Guerrero{-}Contreras},
  editor       = {{\'{A}}lvaro Rocha and
                  Ana Maria R. Correia and
                  Hojjat Adeli and
                  Lu{\'{\i}}s Paulo Reis and
                  Sandra Costanzo},
  title        = {Integrating a Dual Method on a General Architecture to Self-Adaptive
                  Monitoring Systems},
  booktitle    = {Recent Advances in Information Systems and Technologies - Volume 1
                  [WorldCIST'17, Porto Santo Island, Madeira, Portugal, April 11-13,
                  2017]},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {569},
  pages        = {528--538},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-56535-4\_54},
  doi          = {10.1007/978-3-319-56535-4\_54},
  timestamp    = {Wed, 21 Oct 2020 09:19:56 +0200},
  biburl       = {https://dblp.org/rec/conf/worldcist/Balderas-DiazAG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eis/OrtegaNGAB16,
  author       = {Antonio Rico Ortega and
                  Manuel Noguera and
                  Jos{\'{e}} Luis Garrido and
                  Kawtar Benghazi Akhlaki and
                  Joseph Barjis},
  title        = {Extending multi-tenant architectures: a database model for a multi-target
                  support in SaaS applications},
  journal      = {Enterp. Inf. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {400--421},
  year         = {2016},
  url          = {https://doi.org/10.1080/17517575.2014.947636},
  doi          = {10.1080/17517575.2014.947636},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eis/OrtegaNGAB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Medina-MedinaCA16,
  author       = {Nuria Medina{-}Medina and
                  Zoraida Callejas and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera},
  editor       = {Isabelle Comyn{-}Wattiau and
                  Katsumi Tanaka and
                  Il{-}Yeol Song and
                  Shuichiro Yamamoto and
                  Motoshi Saeki},
  title        = {User Progress Modelling in Counselling Systems: An Application to
                  an Adaptive Virtual Coach},
  booktitle    = {Conceptual Modeling - 35th International Conference, {ER} 2016, Gifu,
                  Japan, November 14-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9974},
  pages        = {479--487},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46397-1\_36},
  doi          = {10.1007/978-3-319-46397-1\_36},
  timestamp    = {Thu, 23 Jun 2022 19:56:58 +0200},
  biburl       = {https://dblp.org/rec/conf/er/Medina-MedinaCA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/Rodriguez-Dominguez15,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Tom{\'{a}}s Ruiz{-}L{\'{o}}pez and
                  Jos{\'{e}} Luis Garrido and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki},
  title        = {A model-driven approach to service composition on the basis of the
                  specification of {BPMN} choreographies},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {30},
  number       = {1},
  year         = {2015},
  timestamp    = {Mon, 27 Jun 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/Rodriguez-Dominguez15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/Ruiz-ZafraNAO15,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki and
                  Sergio F. Ochoa},
  title        = {A Model-Driven Approach for Wearable Systems Developments},
  journal      = {Int. J. Distributed Sens. Networks},
  volume       = {11},
  pages        = {637130:1--637130:12},
  year         = {2015},
  url          = {https://doi.org/10.1155/2015/637130},
  doi          = {10.1155/2015/637130},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijdsn/Ruiz-ZafraNAO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/Ruiz-ZafraONAJ15,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Eva Orantes{-}Gonz{\'{a}}lez and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Mar{\'{\i}}a Heredia Jim{\'{e}}nez},
  title        = {A Comparative Study on the Suitability of Smartphones and {IMU} for
                  Mobile, Unsupervised Energy Expenditure Calculi},
  journal      = {Sensors},
  volume       = {15},
  number       = {8},
  pages        = {18270--18286},
  year         = {2015},
  url          = {https://doi.org/10.3390/s150818270},
  doi          = {10.3390/S150818270},
  timestamp    = {Mon, 11 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/Ruiz-ZafraONAJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/Ruiz-ZafraNAO15,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki and
                  Sergio F. Ochoa},
  editor       = {Giancarlo Fortino and
                  Weiming Shen and
                  Jean{-}Paul A. Barth{\`{e}}s and
                  Junzhou Luo and
                  Wenfeng Li and
                  Sergio F. Ochoa and
                  Marie{-}H{\'{e}}l{\`{e}}ne Abel and
                  Antonio Guerrieri and
                  Milton Pires Ramos},
  title        = {A Cloud collaborative approach for managing patients wellness},
  booktitle    = {19th {IEEE} International Conference on Computer Supported Cooperative
                  Work in Design, {CSCWD} 2015, Calabria, Italy, May 6-8, 2015},
  pages        = {637--642},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CSCWD.2015.7231032},
  doi          = {10.1109/CSCWD.2015.7231032},
  timestamp    = {Sat, 10 Sep 2022 20:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/cscwd/Ruiz-ZafraNAO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rehab/Balderas-DiazAP15,
  author       = {Sara Balderas{-}D{\'{\i}}az and
                  Kawtar Benghazi Akhlaki and
                  Germ{\'{a}}n Prados and
                  Elena Mir{\'{o}}},
  editor       = {Habib M. Fardoun and
                  Pedro Gamito and
                  Victor M. Ruiz Penichet and
                  Daniyal M. Alghazzawi},
  title        = {Designing Configurable and Adaptive Systems in eHealth},
  booktitle    = {Proceedings of the 3rd 2015 Workshop on ICTs for improving Patients
                  Rehabilitation Research Techniques, {REHAB} 2015, Lisbon, Portugal,
                  October 1-2, 2015},
  pages        = {118--121},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2838944.2838973},
  doi          = {10.1145/2838944.2838973},
  timestamp    = {Tue, 06 Nov 2018 16:59:07 +0100},
  biburl       = {https://dblp.org/rec/conf/rehab/Balderas-DiazAP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idcs/Ruiz-ZafraNA14,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki},
  editor       = {Giancarlo Fortino and
                  Giuseppe Di Fatta and
                  Wenfeng Li and
                  Sergio F. Ochoa and
                  Alfredo Cuzzocrea and
                  Mukaddim Pathan},
  title        = {Towards a Model-Driven Approach for Sensor Management in Wireless
                  Body Area Networks},
  booktitle    = {Internet and Distributed Computing Systems - 7th International Conference,
                  {IDCS} 2014, Calabria, Italy, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8729},
  pages        = {335--347},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11692-1\_29},
  doi          = {10.1007/978-3-319-11692-1\_29},
  timestamp    = {Sat, 10 Sep 2022 20:50:33 +0200},
  biburl       = {https://dblp.org/rec/conf/idcs/Ruiz-ZafraNA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/Rodriguez-DominguezRAGV14,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Tom{\'{a}}s Ruiz{-}L{\'{o}}pez and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido and
                  Aurora Valenzuela},
  editor       = {Juan Carlos Augusto and
                  Tongzhen Zhang},
  title        = {A Reusable and Adaptable Information Model for Ambient Intelligence
                  Systems},
  booktitle    = {Workshop Proceedings of the 10th International Conference on Intelligent
                  Environments, Shanghai, China, June 30 - July 1, 2014},
  series       = {Ambient Intelligence and Smart Environments},
  volume       = {18},
  pages        = {183--193},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-411-4-183},
  doi          = {10.3233/978-1-61499-411-4-183},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/Rodriguez-DominguezRAGV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/Guerrero-ContrerasGABR14,
  author       = {Gabriel Guerrero{-}Contreras and
                  Jos{\'{e}} Luis Garrido and
                  Kawtar Benghazi Akhlaki and
                  Sara Balderas{-}D{\'{\i}}az and
                  Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez},
  editor       = {Juan Carlos Augusto and
                  Tongzhen Zhang},
  title        = {Towards a Self-Adaptive Deployable Service Architecture for the Consistent
                  Resource Management in Ubiquitous Environments},
  booktitle    = {Workshop Proceedings of the 10th International Conference on Intelligent
                  Environments, Shanghai, China, June 30 - July 1, 2014},
  series       = {Ambient Intelligence and Smart Environments},
  volume       = {18},
  pages        = {206--217},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-411-4-206},
  doi          = {10.3233/978-1-61499-411-4-206},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/intenv/Guerrero-ContrerasGABR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isami/Ruiz-ZafraNAJ14,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Mar{\'{\i}}a Heredia Jim{\'{e}}nez},
  editor       = {Carlos Ramos and
                  Paulo Novais and
                  C{\'{e}}line Ehrwein Nihan and
                  Juan M. Corchado Rodr{\'{\i}}guez},
  title        = {CloudFit: {A} Cloud-Based Mobile Wellness Platform Supported by Wearable
                  Computing},
  booktitle    = {Ambient Intelligence - Software and Applications - 5th International
                  Symposium on Ambient Intelligence, ISAmI 2014, Salamanca, Spain, June
                  4-6, 2014},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {291},
  pages        = {151--159},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07596-9\_17},
  doi          = {10.1007/978-3-319-07596-9\_17},
  timestamp    = {Tue, 05 Sep 2023 15:47:22 +0200},
  biburl       = {https://dblp.org/rec/conf/isami/Ruiz-ZafraNAJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwaal/Ruiz-ZafraGNAJ14,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Eva Orantes{-}Gonz{\'{a}}lez and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Mar{\'{\i}}a Heredia Jim{\'{e}}nez},
  editor       = {Leandro Pecchia and
                  Liming Luke Chen and
                  Chris D. Nugent and
                  Jos{\'{e}} Bravo},
  title        = {Energy Expenditure Analysis: {A} Comparative Research of Based on
                  Mobile Accelerometers},
  booktitle    = {Ambient Assisted Living and Daily Activities - 6th International Work-Conference,
                  {IWAAL} 2014, Belfast, UK, December 2-5, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8868},
  pages        = {38--45},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13105-4\_7},
  doi          = {10.1007/978-3-319-13105-4\_7},
  timestamp    = {Tue, 21 Mar 2023 21:00:58 +0100},
  biburl       = {https://dblp.org/rec/conf/iwaal/Ruiz-ZafraGNAJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/UrbanoRNAC14,
  author       = {Gustavo Cuberos Urbano and
                  {\'{A}}ngel Ruiz{-}Zafra and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki and
                  Alfonso Caracuel},
  editor       = {Andreas Hein and
                  Susanne Boll and
                  Friedrich K{\"{o}}hler},
  title        = {Self-monitoring and professional feedback through CloudRehab, a mobile
                  cloud platform for neuro-rehabiliation},
  booktitle    = {Proceedings of the 8th International Conference on Pervasive Computing
                  Technologies for Healthcare, PervasiveHealth 2014, Oldenburg, Germany,
                  May 20-23, 2014},
  pages        = {266--269},
  publisher    = {{ICST}},
  year         = {2014},
  url          = {https://doi.org/10.4108/icst.pervasivehealth.2014.255384},
  doi          = {10.4108/ICST.PERVASIVEHEALTH.2014.255384},
  timestamp    = {Mon, 11 Mar 2024 15:42:29 +0100},
  biburl       = {https://dblp.org/rec/conf/ph/UrbanoRNAC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/Balderas-DiazAGGM14,
  author       = {Sara Balderas{-}D{\'{\i}}az and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido and
                  Gabriel Guerrero{-}Contreras and
                  Elena Mir{\'{o}}},
  editor       = {Andreas Hein and
                  Susanne Boll and
                  Friedrich K{\"{o}}hler},
  title        = {A service-based platform for monitoring and diagnosis of patients
                  with {SAHS} symptoms},
  booktitle    = {Proceedings of the 8th International Conference on Pervasive Computing
                  Technologies for Healthcare, PervasiveHealth 2014, Oldenburg, Germany,
                  May 20-23, 2014},
  pages        = {290--293},
  publisher    = {{ICST}},
  year         = {2014},
  url          = {https://doi.org/10.4108/icst.pervasivehealth.2014.255365},
  doi          = {10.4108/ICST.PERVASIVEHEALTH.2014.255365},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ph/Balderas-DiazAGGM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rehab/Balderas-DiazAG14,
  author       = {Sara Balderas{-}D{\'{\i}}az and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido and
                  Gabriel Guerrero{-}Contreras and
                  Elena Mir{\'{o}}},
  editor       = {Habib M. Fardoun and
                  Victor M. Ruiz Penichet and
                  Daniyal M. Alghazzawi},
  title        = {Designing New Low-Cost Home-Oriented Systems for Monitoring and Diagnosis
                  of Patients with Sleep Apnea-Hypopnea},
  booktitle    = {ICTs for Improving Patients Rehabilitation Research Techniques - Second
                  International Workshop, {REHAB} 2014, Oldenburg, Germany, May 20-23,
                  2014, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {515},
  pages        = {210--221},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-48645-0\_18},
  doi          = {10.1007/978-3-662-48645-0\_18},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rehab/Balderas-DiazAG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/Ruiz-LopezRNRAG13,
  author       = {Tom{\'{a}}s Ruiz{-}L{\'{o}}pez and
                  Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Manuel Noguera and
                  Mar{\'{\i}}a Jos{\'{e}} Rodr{\'{\i}}guez{-}F{\'{o}}rtiz and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido},
  title        = {Applying model-driven engineering to a method for systematic treatment
                  of NFRs in AmI systems},
  journal      = {J. Ambient Intell. Smart Environ.},
  volume       = {5},
  number       = {3},
  pages        = {287--310},
  year         = {2013},
  url          = {https://doi.org/10.3233/AIS-130209},
  doi          = {10.3233/AIS-130209},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jaise/Ruiz-LopezRNRAG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/OrtegaNGAC13,
  author       = {Antonio Rico Ortega and
                  Manuel Noguera and
                  Jos{\'{e}} Luis Garrido and
                  Kawtar Benghazi Akhlaki and
                  Lawrence Chung},
  editor       = {Joseph Barjis and
                  Ashish Gupta and
                  Amir Meshkat},
  title        = {Component-Based Design for Multi-tenant Multi-target Support in the
                  Cloud},
  booktitle    = {Enterprise and Organizational Modeling and Simulation - 9th International
                  Workshop, {EOMAS} 2013, Held at CAiSE 2013, Valencia, Spain, June
                  17, 2013, Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {153},
  pages        = {146--160},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41638-5\_10},
  doi          = {10.1007/978-3-642-41638-5\_10},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/OrtegaNGAC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/Ruiz-ZafraNAGUC13,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido and
                  Gustavo Cuberos Urbano and
                  Alfonso Caracuel},
  editor       = {Carlos Canal and
                  Massimo Villari},
  title        = {Cloud and Web Services Integration for mHealth Telerehabilitation
                  Support},
  booktitle    = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
                  2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {393},
  pages        = {266--276},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45364-9\_22},
  doi          = {10.1007/978-3-642-45364-9\_22},
  timestamp    = {Mon, 11 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esocc/Ruiz-ZafraNAGUC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/Guerrero-ContrerasGRNA13,
  author       = {Gabriel Guerrero{-}Contreras and
                  Jos{\'{e}} Luis Garrido and
                  Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki},
  editor       = {Carlos Canal and
                  Massimo Villari},
  title        = {Designing a Service Platform for Sharing Internet Resources in MANETs},
  booktitle    = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
                  2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {393},
  pages        = {331--345},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45364-9\_27},
  doi          = {10.1007/978-3-642-45364-9\_27},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esocc/Guerrero-ContrerasGRNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/EspinHNA13,
  author       = {Vanesa Esp{\'{\i}}n and
                  Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki},
  editor       = {Henrik Legind Larsen and
                  Mar{\'{\i}}a J. Mart{\'{\i}}n{-}Bautista and
                  Maria{-}Amparo Vila and
                  Troels Andreasen and
                  Henning Christiansen},
  title        = {Semantic-Based Recommendation of Nutrition Diets for the Elderly from
                  Agroalimentary Thesauri},
  booktitle    = {Flexible Query Answering Systems - 10th International Conference,
                  {FQAS} 2013, Granada, Spain, September 18-20, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8132},
  pages        = {471--482},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40769-7\_41},
  doi          = {10.1007/978-3-642-40769-7\_41},
  timestamp    = {Thu, 13 Jul 2023 08:31:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fqas/EspinHNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/Rodriguez-DominguezRANG13,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Tom{\'{a}}s Ruiz{-}L{\'{o}}pez and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  Jos{\'{e}} Luis Garrido},
  editor       = {Juan Carlos Augusto and
                  Vassilis Bourdakis and
                  Daniela Braga and
                  Simon Egerton and
                  Kaori Fujinami and
                  Gordon Hunter and
                  Fahim Kawsar and
                  Ahmad Lotfi and
                  Davy Preuveneers and
                  Abdul Wahab bin Abdul Rahman and
                  V{\'{\i}}ctor Zamudio},
  title        = {A Model-Driven Approach for the Development of Middleware Technologies
                  for Ubiquitous Systems},
  booktitle    = {The 9th International Conference on Intelligent Environments, Athens,
                  Greece, June 18-19, 2013 (workshops on 16-17 July 2013)},
  pages        = {16--23},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/IE.2013.17},
  doi          = {10.1109/IE.2013.17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/Rodriguez-DominguezRANG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isami/Ruiz-ZafraANG13,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  Jos{\'{e}} Luis Garrido},
  editor       = {Ad van Berlo and
                  Kasper Hallenborg and
                  Juan M. Corchado Rodr{\'{\i}}guez and
                  Dante I. Tapia and
                  Paulo Novais},
  title        = {Zappa: An Open Mobile Platform to Build Cloud-Based m-Health Systems},
  booktitle    = {Ambient Intelligence - Software and Applications - 4th International
                  Symposium on Ambient Intelligence, ISAmI 2013, Salamanca, Spain, May
                  22-24, 2013},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {219},
  pages        = {87--94},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-00566-9\_12},
  doi          = {10.1007/978-3-319-00566-9\_12},
  timestamp    = {Sun, 02 Jun 2019 21:24:05 +0200},
  biburl       = {https://dblp.org/rec/conf/isami/Ruiz-ZafraANG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/Ruiz-ZafraNAGUC13,
  author       = {{\'{A}}ngel Ruiz{-}Zafra and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido and
                  Gustavo Cuberos Urbano and
                  Alfonso Caracuel},
  title        = {A mobile cloud-supported e-rehabilitation platform for brain-injured
                  patients},
  booktitle    = {7th International Conference on Pervasive Computing Technologies for
                  Healthcare and Workshops, PervasiveHealth 2013, Venice, Italy, May
                  5-8, 2013},
  pages        = {352--355},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.4108/icst.pervasivehealth.2013.252308},
  doi          = {10.4108/ICST.PERVASIVEHEALTH.2013.252308},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ph/Ruiz-ZafraNAGUC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucami/Rodriguez-DominguezRGNA13,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Tom{\'{a}}s Ruiz{-}L{\'{o}}pez and
                  Jos{\'{e}} Luis Garrido and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki},
  editor       = {Gabriel Urzaiz and
                  Sergio F. Ochoa and
                  Jos{\'{e}} Bravo and
                  Liming Luke Chen and
                  Jonice Oliveira},
  title        = {Leveraging the Model-Driven Architecture for Service Choreography
                  in Ubiquitous Systems},
  booktitle    = {Ubiquitous Computing and Ambient Intelligence. Context-Awareness and
                  Context-Driven Interaction - 7th International Conference, UCAmI 2013,
                  Carrillo, Costa Rica, December 2-6, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8276},
  pages        = {303--310},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03176-7\_39},
  doi          = {10.1007/978-3-319-03176-7\_39},
  timestamp    = {Mon, 07 Nov 2022 21:23:28 +0100},
  biburl       = {https://dblp.org/rec/conf/ucami/Rodriguez-DominguezRGNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/HornosHFLARA12,
  author       = {Miguel J. Hornos and
                  Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
                  M. Pilar Fern{\'{a}}ndez{-}S{\'{a}}nchez and
                  {\'{A}}lvaro L{\'{o}}pez{-}Mart{\'{\i}}nez and
                  Kawtar Benghazi Akhlaki and
                  Mar{\'{\i}}a Luisa Rodr{\'{\i}}guez{-}Almendros and
                  Mar{\'{\i}}a M. Abad{-}Grau},
  title        = {Hierarchical Role-based Design of Web-based Educational Systems for
                  Blended Learning in Higher Education},
  journal      = {J. Res. Pract. Inf. Technol.},
  volume       = {44},
  number       = {2},
  year         = {2012},
  url          = {http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT44/JRPIT\%20Vol-44No.2.223\%20Hornos\%20Hierarchical\%20Role-based\%20Design\%20for\%20Web-based\%20Educational\%20Systems.pdf},
  timestamp    = {Thu, 26 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acj/HornosHFLARA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AkhlakiHHRRPR12,
  author       = {Kawtar Benghazi Akhlaki and
                  Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
                  Miguel J. Hornos and
                  Mar{\'{\i}}a Luisa Rodr{\'{\i}}guez and
                  Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Ana Bel{\'{e}}n Pelegrina Ortiz and
                  Mar{\'{\i}}a Jos{\'{e}} Rodr{\'{\i}}guez{-}F{\'{o}}rtiz},
  title        = {Enabling correct design and formal analysis of Ambient Assisted Living
                  systems},
  journal      = {J. Syst. Softw.},
  volume       = {85},
  number       = {3},
  pages        = {498--510},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jss.2011.05.022},
  doi          = {10.1016/J.JSS.2011.05.022},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/AkhlakiHHRRPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/Rodriguez-Dominguez12,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  Jos{\'{e}} Luis Garrido and
                  Mar{\'{\i}}a Luisa Rodr{\'{\i}}guez and
                  Tom{\'{a}}s Ruiz{-}L{\'{o}}pez},
  title        = {A Communication Model to Integrate the Request-Response and the Publish-Subscribe
                  Paradigms into Ubiquitous Systems},
  journal      = {Sensors},
  volume       = {12},
  number       = {6},
  pages        = {7648--7668},
  year         = {2012},
  url          = {https://doi.org/10.3390/s120607648},
  doi          = {10.3390/S120607648},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/Rodriguez-Dominguez12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/OrtegaNGAC12,
  author       = {Antonio Rico Ortega and
                  Manuel Noguera and
                  Jos{\'{e}} Luis Garrido and
                  Kawtar Benghazi Akhlaki and
                  Lawrence Chung},
  editor       = {Marko Bajec and
                  Johann Eder},
  title        = {Multi-Tenancy Multi-Target {(MT2):} {A} SaaS Architecture for the
                  Cloud},
  booktitle    = {Advanced Information Systems Engineering Workshops - CAiSE 2012 International
                  Workshops, Gda{\'{n}}sk, Poland, June 25-26, 2012. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {112},
  pages        = {214--227},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31069-0\_19},
  doi          = {10.1007/978-3-642-31069-0\_19},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/OrtegaNGAC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interaccion/Rodriguez-Dominguez12a,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido and
                  Aurora Valenzuela},
  editor       = {Federico Botella and
                  Mar{\'{\i}}a Dolores Lozano and
                  Jos{\'{e}} A. Gallud and
                  Antonio Pe{\~{n}}alver Benavent and
                  Abdulfattah S. Mashat},
  title        = {A platform supporting the development of applications in ubiquitous
                  systems: the collaborative application example of mobile forensics},
  booktitle    = {Proceedings of the 13th International Conference on Interacci{\'{o}}n
                  Persona-Ordenador, Interacci{\'{o}}n '12, Elche, Spain, October
                  3-5, 2012},
  pages        = {41:1--41:7},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2379636.2379676},
  doi          = {10.1145/2379636.2379676},
  timestamp    = {Wed, 22 Mar 2023 21:20:48 +0100},
  biburl       = {https://dblp.org/rec/conf/interaccion/Rodriguez-Dominguez12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isami/Rodriguez-DominguezRAG12,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Tom{\'{a}}s Ruiz{-}L{\'{o}}pez and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido},
  editor       = {Paulo Novais and
                  Kasper Hallenborg and
                  Dante I. Tapia and
                  Juan M. Corchado Rodr{\'{\i}}guez},
  title        = {Designing a Middleware-Based Framework to Support Multiparadigm Communications
                  in Ubiquitous Systems},
  booktitle    = {Ambient Intelligence - Software and Applications - 3rd International
                  Symposium on Ambient Intelligence, ISAmI 2012, Salamanca, Spain, March
                  28-30, 2012},
  series       = {Advances in Intelligent and Soft Computing},
  volume       = {153},
  pages        = {163--170},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28783-1\_20},
  doi          = {10.1007/978-3-642-28783-1\_20},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isami/Rodriguez-DominguezRAG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieee-rita/Hurtado-TorresFTANR11,
  author       = {Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado{-}Torres and
                  Rub{\'{e}}n Ramos Ferreira and
                  Elsa Trigueros and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez},
  title        = {Entorno de Interacci{\'{o}}n Colaborativa mediante Debate Virtual},
  journal      = {Rev. Iberoam. de Tecnol. del Aprendiz.},
  volume       = {6},
  number       = {4},
  pages        = {175--182},
  year         = {2011},
  url          = {http://rita.det.uvigo.es/201111/uploads/IEEE-RITA.2011.V6.N4.A5.pdf},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieee-rita/Hurtado-TorresFTANR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/ChungSSGNHRA11,
  author       = {Lawrence Chung and
                  Sam Supakkul and
                  Nary Subramanian and
                  Jos{\'{e}} Luis Garrido and
                  Manuel Noguera and
                  Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
                  Mar{\'{\i}}a Luisa Rodr{\'{\i}}guez and
                  Kawtar Benghazi Akhlaki},
  editor       = {Paris Avgeriou and
                  John Grundy and
                  Jon G. Hall and
                  Patricia Lago and
                  Ivan Mistr{\'{\i}}k},
  title        = {Goal-Oriented Software Architecting},
  booktitle    = {Relating Software Requirements and Architectures},
  pages        = {91--109},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21001-3\_7},
  doi          = {10.1007/978-3-642-21001-3\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/ChungSSGNHRA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/npa/Rodriguez-Dominguez10,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Kawtar Benghazi Akhlaki and
                  Manuel Noguera and
                  Mar{\'{\i}}a Berm{\'{u}}dez{-}Edo and
                  Jos{\'{e}} Luis Garrido},
  title        = {Dynamic Ontology-Based Redefinition of Events Intended to Support
                  the Communication of Complex Information in Ubiquitous Computing},
  journal      = {Netw. Protoc. Algorithms},
  volume       = {2},
  number       = {3},
  pages        = {85--99},
  year         = {2010},
  url          = {https://doi.org/10.5296/npa.v2i3.421},
  doi          = {10.5296/NPA.V2I3.421},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/npa/Rodriguez-Dominguez10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChungGSNA10,
  author       = {Lawrence Chung and
                  Jos{\'{e}} Luis Garrido and
                  Nary Subramanian and
                  Manuel Noguera and
                  Kawtar Benghazi Akhlaki},
  title        = {Designing high quality system/software architectures},
  journal      = {Sci. Comput. Program.},
  volume       = {75},
  number       = {8},
  pages        = {669--671},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.scico.2010.01.006},
  doi          = {10.1016/J.SCICO.2010.01.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ChungGSNA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PelegrinaAHN10,
  author       = {Ana Bel{\'{e}}n Pelegrina Ortiz and
                  Kawtar Benghazi Akhlaki and
                  Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
                  Manuel Noguera},
  editor       = {Joseph Barjis},
  title        = {A Framework for the Semantic Representation of Business Processes
                  within Business Organizational Models},
  booktitle    = {Enterprise and Organizational Modeling and Simulation - 6th International
                  Workshop, {EOMAS} 2010, held at CAiSE 2010, Hammamet, Tunisia, June
                  7-8, 2010. Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {63},
  pages        = {79--94},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15723-3\_6},
  doi          = {10.1007/978-3-642-15723-3\_6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/PelegrinaAHN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/Ruiz-LopezGAC10,
  author       = {Tom{\'{a}}s Ruiz{-}L{\'{o}}pez and
                  Jos{\'{e}} Luis Garrido and
                  Kawtar Benghazi Akhlaki and
                  Lawrence Chung},
  editor       = {Andr{\'{e}} Carlos Ponce de Leon Ferreira de Carvalho and
                  Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez and
                  Juan F. De Paz Santana and
                  Juan M. Corchado Rodr{\'{\i}}guez},
  title        = {A Survey on Indoor Positioning Systems: Foreseeing a Quality Design},
  booktitle    = {Distributed Computing and Artificial Intelligence - 7th International
                  Symposium, {DCAI} 2010, 7-10 September 2010, Valencia, Spain},
  series       = {Advances in Intelligent and Soft Computing},
  volume       = {79},
  pages        = {373--380},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14883-5\_48},
  doi          = {10.1007/978-3-642-14883-5\_48},
  timestamp    = {Fri, 29 Mar 2019 18:01:37 +0100},
  biburl       = {https://dblp.org/rec/conf/dcai/Ruiz-LopezGAC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/Rodriguez-Dominguez10,
  author       = {Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Kawtar Benghazi and
                  Manuel Noguera and
                  Jos{\'{e}} Luis Garrido},
  editor       = {Christian Esposito and
                  Aniruddha Gokhale and
                  Domenico Cotroneo and
                  Douglas C. Schmidt},
  title        = {Redefinable events for dynamic reconfiguration of communications in
                  ubiquitous computing},
  booktitle    = {Proceedings of the First International Workshop on Data Dissemination
                  for Large Scale Complex Critical Infrastructures, {DD4LCCI} '10, Valencia,
                  Spain, April 27, 2010},
  pages        = {17--22},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1862821.1862824},
  doi          = {10.1145/1862821.1862824},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/Rodriguez-Dominguez10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/TriguerosHAZ10,
  author       = {Elsa Trigueros and
                  Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
                  Kawtar Benghazi Akhlaki and
                  Jose Manuel Zurita},
  editor       = {Yves Demazeau and
                  Frank Dignum and
                  Juan M. Corchado and
                  Javier Bajo and
                  Rafael Corchuelo and
                  Emilio Corchado and
                  Florentino Fern{\'{a}}ndez Riverola and
                  Vicente Juli{\'{a}}n and
                  Pawel Pawlewski and
                  Andrew T. Campbell},
  title        = {An Agent-, Service-Based Platform Supporting Ontological Integration
                  of Proficient Knowledge Managed in Decision Making},
  booktitle    = {Trends in Practical Applications of Agents and Multiagent Systems
                  - 8th International Conference on Practical Applications of Agents
                  and Multiagent Systems, {PAAMS} 2010 Special Sessions and Workshops,
                  Salamanca, Spain, 26-28 April 2010},
  series       = {Advances in Intelligent and Soft Computing},
  volume       = {71},
  pages        = {331--338},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12433-4\_39},
  doi          = {10.1007/978-3-642-12433-4\_39},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paams/TriguerosHAZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/AkhlakiGNHC10,
  author       = {Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido and
                  Manuel Noguera and
                  Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
                  Lawrence Chung},
  editor       = {Pericles Loucopoulos and
                  Jean{-}Louis Cavarero},
  title        = {Extending and Formalizing {UML} 2.0 Activity Diagrams for the Specification
                  of Time-Constrained Business Processes},
  booktitle    = {Proceedings of the Fourth {IEEE} International Conference on Research
                  Challenges in Information Science, {RCIS} 2010, Nice, France, May
                  19-21, 2010},
  pages        = {93--100},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/RCIS.2010.5507368},
  doi          = {10.1109/RCIS.2010.5507368},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/rcis/AkhlakiGNHC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/PelegrinaRRAG10,
  author       = {Ana Bel{\'{e}}n Pelegrina Ortiz and
                  Carlos Rodr{\'{\i}}guez{-}Dom{\'{\i}}nguez and
                  Mar{\'{\i}}a Luisa Rodr{\'{\i}}guez and
                  Kawtar Benghazi Akhlaki and
                  Jos{\'{e}} Luis Garrido},
  editor       = {Pericles Loucopoulos and
                  Jean{-}Louis Cavarero},
  title        = {Integrating Groupware Applications into Shared Workspaces},
  booktitle    = {Proceedings of the Fourth {IEEE} International Conference on Research
                  Challenges in Information Science, {RCIS} 2010, Nice, France, May
                  19-21, 2010},
  pages        = {557--568},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/RCIS.2010.5507416},
  doi          = {10.1109/RCIS.2010.5507416},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rcis/PelegrinaRRAG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/AkhlakiHN09,
  author       = {Kawtar Benghazi Akhlaki and
                  Miguel J. Hornos and
                  Manuel Noguera},
  editor       = {Sigeru Omatu and
                  Miguel Rocha and
                  Jos{\'{e}} Bravo and
                  Florentino Fern{\'{a}}ndez Riverola and
                  Emilio Corchado and
                  Andr{\'{e}}s Bustillo and
                  Juan M. Corchado},
  title        = {Towards Compositional Verification in {MEDISTAM-RT} Methodological
                  Framework},
  booktitle    = {Distributed Computing, Artificial Intelligence, Bioinformatics, Soft
                  Computing, and Ambient Assisted Living, 10th International Work-Conference
                  on Artificial Neural Networks, {IWANN} 2009 Workshops, Salamanca,
                  Spain, June 10-12, 2009. Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5518},
  pages        = {211--218},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02481-8\_29},
  doi          = {10.1007/978-3-642-02481-8\_29},
  timestamp    = {Tue, 15 Nov 2022 15:22:37 +0100},
  biburl       = {https://dblp.org/rec/conf/iwann/AkhlakiHN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/AkhlakiHRN09,
  author       = {Kawtar Benghazi Akhlaki and
                  Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
                  Mar{\'{\i}}a Luisa Rodr{\'{\i}}guez and
                  Manuel Noguera},
  editor       = {Robert Meersman and
                  Pilar Herrero and
                  Tharam S. Dillon},
  title        = {Applying Formal Verification Techniques to Ambient Assisted Living
                  Systems},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2009 Workshops,
                  Confederated International Workshops and Posters, ADI, CAMS, EI2N,
                  ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, {OTM} Academy, SWWS, SEMELS,
                  Beyond SAWSDL, and {COMBEK} 2009, Vilamoura, Portugal, November 1-6,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5872},
  pages        = {381--390},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-05290-3\_50},
  doi          = {10.1007/978-3-642-05290-3\_50},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/AkhlakiHRN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijspm/TunonMA08,
  author       = {Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Luis E. Mendoza Morales and
                  Kawtar Benghazi Akhlaki},
  title        = {Automatic verification of business process integrity},
  journal      = {Int. J. Simul. Process. Model.},
  volume       = {4},
  number       = {3/4},
  pages        = {167--182},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJSPM.2008.023679},
  doi          = {10.1504/IJSPM.2008.023679},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijspm/TunonMA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesTPA08,
  author       = {Luis E. Mendoza Morales and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Mar{\'{\i}}a A. P{\'{e}}rez and
                  Kawtar Benghazi Akhlaki},
  editor       = {Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {A Conceptual Scheme for Compositional Model-Checking Verification
                  of Critical Communicating Systems},
  booktitle    = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on
                  Enterprise Information Systems, Volume ISAS-1, Barcelona, Spain, June
                  12-16, 2008},
  pages        = {86--93},
  year         = {2008},
  timestamp    = {Tue, 08 Sep 2009 16:03:50 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/MoralesTPA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesCPA08,
  author       = {Luis E. Mendoza Morales and
                  Manuel I. Capel and
                  Mar{\'{\i}}a A. P{\'{e}}rez and
                  Kawtar Benghazi Akhlaki},
  editor       = {Joaquim Filipe and
                  Jos{\'{e}} Cordeiro},
  title        = {Compositional Model-Checking Verification of Critical Systems},
  booktitle    = {Enterprise Information Systems, 10th International Conference, {ICEIS}
                  2008, Barcelona, Spain, June 12-16, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {19},
  pages        = {213--225},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00670-8\_16},
  doi          = {10.1007/978-3-642-00670-8\_16},
  timestamp    = {Tue, 16 Aug 2022 23:04:29 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/MoralesCPA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/MendozaCA08,
  author       = {Luis Eduardo Mendoza and
                  Manuel I. Capel and
                  Kawtar Benghazi Akhlaki},
  editor       = {Ana Moreira and
                  Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
                  Claudio de la Riva and
                  Javier Tuya},
  title        = {Towards the Correctness Verifcation of Business Processes Modelled
                  with {UML}},
  booktitle    = {{XIII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de
                  Datos {(JISBD} 2008), Gij{\'{o}}n, Spain, October 7-10, 2008.
                  Proceedings},
  pages        = {159--170},
  year         = {2008},
  timestamp    = {Tue, 23 Jan 2018 13:29:37 +0100},
  biburl       = {https://dblp.org/rec/conf/jisbd/MendozaCA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AkhlakiTTM07,
  author       = {Kawtar Benghazi Akhlaki and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Juan Antonio Holgado Terriza and
                  Luis E. Mendoza Morales},
  title        = {A methodological approach to the formal specification of real-time
                  systems by transformation of {UML-RT} design models},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  pages        = {41--56},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.08.005},
  doi          = {10.1016/J.SCICO.2006.08.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AkhlakiTTM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesTA07,
  author       = {Luis E. Mendoza Morales and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Kawtar Benghazi Akhlaki},
  editor       = {Jorge Cardoso and
                  Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {Checking Behavioural Consistency of {UML-RT} Models through Trace-Based
                  Semantics},
  booktitle    = {{ICEIS} 2007 - Proceedings of the Ninth International Conference on
                  Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal,
                  June 12-16, 2007},
  pages        = {205--211},
  year         = {2007},
  timestamp    = {Thu, 03 Feb 2022 09:27:49 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/MoralesTA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AkhlakiTTM07,
  author       = {Kawtar Benghazi Akhlaki and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Juan Antonio Holgado Terriza and
                  Luis E. Mendoza Morales},
  editor       = {Jorge Cardoso and
                  Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {Towards {UML-RT} Behavioural Consistency},
  booktitle    = {{ICEIS} 2007 - Proceedings of the Ninth International Conference on
                  Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal,
                  June 12-16, 2007},
  pages        = {612--615},
  year         = {2007},
  timestamp    = {Sun, 13 Jan 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/AkhlakiTTM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/TunonATM07,
  author       = {Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Kawtar Benghazi Akhlaki and
                  Juan Antonio Holgado Terriza and
                  Luis E. Mendoza Morales},
  editor       = {Juan Carlos Augusto and
                  Joseph Barjis and
                  Ulrich Ultes{-}Nitsche},
  title        = {An Interpretation of Behavioral Consistency of {UML-RT} Diagrams in
                  Terms of {CSP+T}},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 5th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
                  Madeira, Portugal, June 2007},
  pages        = {74--83},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2007},
  timestamp    = {Thu, 24 Jan 2008 13:49:05 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/TunonATM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AkhlakiTT06,
  author       = {Kawtar Benghazi Akhlaki and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Juan Antonio Holgado Terriza},
  editor       = {Yannis Manolopoulos and
                  Joaquim Filipe and
                  Panos Constantopoulos and
                  Jos{\'{e}} Cordeiro},
  title        = {Design of Real-Time Systems by Systematic Transformation of {UML/RT}
                  Models into Simple Timed Process Algebra System Specifications},
  booktitle    = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
                  on Enterprise Information Systems: Databases and Information Systems
                  Integration, Paphos, Cyprus, May 23-27, 2006},
  pages        = {290--297},
  year         = {2006},
  timestamp    = {Thu, 02 Feb 2017 12:53:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/AkhlakiTT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/CapelMAT06,
  author       = {Manuel I. Capel and
                  Luis E. Mendoza Morales and
                  Kawtar Benghazi Akhlaki and
                  Juan Antonio Holgado Terriza},
  editor       = {Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
                  Pere Botella},
  title        = {A Semantic Formalization of {UML-RT} Models with csp+t Processes Applicable
                  to Real-time Systems Verification},
  booktitle    = {{XI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
                  {(JISBD} 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain},
  pages        = {283--292},
  year         = {2006},
  timestamp    = {Thu, 04 Oct 2007 15:05:39 +0200},
  biburl       = {https://dblp.org/rec/conf/jisbd/CapelMAT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/AkhlakiTTM06,
  author       = {Kawtar Benghazi Akhlaki and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Juan Antonio Holgado Terriza and
                  Luis E. Mendoza Morales},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Formal Specification of Real-Time Systems by Transformation of {UML-RT}
                  Design Models},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {16--25},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 13:10:42 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/AkhlakiTTM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/EscamezATC06,
  author       = {Agust{\'{\i}}n Esc{\'{a}}mez and
                  Kawtar Benghazi Akhlaki and
                  Juan Antonio Holgado Terriza and
                  Manuel I. Capel},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {CSPJade: Architectural Driven Development of Complex Embedded System
                  Software Using a {CSP} Paradigm Based Generation Tool Code},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {128--133},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Sun, 15 Apr 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/EscamezATC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wec/AkhlakiT05,
  author       = {Kawtar Benghazi Akhlaki and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  editor       = {Cemal Ardil},
  title        = {Combining the Description Features of {UMLRT} and {CSP+T} Specifications
                  Applied to a Complete Design of Real- Time Systems},
  booktitle    = {International Enformatika Conference, IEC'05, August 26-28, 2005,
                  Prague, Czech Republic, {CDROM}},
  pages        = {193--198},
  publisher    = {Enformatika, {\c{C}}anakkale, Turkey},
  year         = {2005},
  timestamp    = {Thu, 13 Oct 2005 14:01:12 +0200},
  biburl       = {https://dblp.org/rec/conf/wec/AkhlakiT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics