Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Riadh Ben Halima

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ahmed Hadj Kacem

> Home > Persons > Riadh Ben Halima

Publications

2023
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/HalimaHJK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/HalimaHJK23
Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, Ahmed Hadj Kacem:
MAPE-K patterns for self-adaptation in cyber-physical systems. J. Supercomput. 79(5): 4917-4943 (2023)
2022
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsinnov/HachichaHK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsinnov/HachichaHK22
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling Autonomic Systems: Review, Classification, and Research Challenges. Int. J. Softw. Innov. 10(1): 1-22 (2022)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/HachichaHK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/HachichaHK22
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems. Innov. Syst. Softw. Eng. 18(4): 505-521 (2022)
2019
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/HachichaHK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/HachichaHK19
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Formal Verification approaches of Self-adaptive Systems: A Survey. KES 2019: 1853-1862
2018
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcat/HachichaHK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcat/HachichaHK18
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns. Int. J. Comput. Appl. Technol. 57(1): 28-44 (2018)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/isda/HachichaHK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isda/HachichaHK18
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Translation of UML Models for Self-adaptive Systems into Event-B Specifications. ISDA (2) 2018: 421-430
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/HachichaHK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/HachichaHK18
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. RCIS 2018: 1-10
2017
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ACISicis/HachichaHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACISicis/HachichaHK17
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Design and timed verification of self-adaptive systems. ICIS 2017: 227-232
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/isda/HachichaHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isda/HachichaHK17
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Designing Compound MAPE Patterns for Self-adaptive Systems. ISDA 2017: 92-101
2016
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/HachichaHK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/HachichaHK16
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling and verifying self-adaptive systems: A refinement approach. SMC 2016: 3967-3972
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/snpd/HachichaDHK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snpd/HachichaDHK16
Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem:
A correct by construction approach for modeling and formalizing self-adaptive systems. SNPD 2016: 379-384
2014
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/JemalHHKDJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/JemalHHKDJ14
Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel:
Energy Saving in WSN Using Monitoring Values Prediction. ANT/SEIT 2014: 1154-1159
2012
[c12]
- view
  - electronic edition @ editions-rnti.fr
  - no references & citations available
- export record
  dblp key:
  - conf/cal/KhemakhemHK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cal/KhemakhemHK12
Faten Khemakhem, Riadh Ben Halima, Ahmed Hadj Kacem:
Vers une architecture d'auto-réparation sur le Cloud Computing. CAL 2012: 123-146

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.