Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

83 résultats
Page :
triés par
Image document

Un Cadre de Test Formel pour la Validation d'un Système de Communication Inter-Véhiculaire Basé sur les IOTs et la Blockchain

 Rateb Jabbar , Moez Krichen , Mohamed Kharbeche , Noora Fetais , Kamel Barkaoui
2020
Pré-publication, Document de travail hal-02513235v1
Image document

Some Placement Techniques of Test Components Inspired by Fog Computing Approaches

 Moez Krichen , Wilfried Yves Hamilton Adoni , Tarik Nahhal
2019
Pré-publication, Document de travail hal-02299922v1
Image document

Tests basés sur des modèles et méthodes formelles pour la sécurité des services Web

 Moez Krichen
[Rapport de recherche] REDCAD Laboratory. 2021
Rapport hal-03139203v1

Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata.

 Nathalie Bertrand , Thierry Jéron , Amélie Stainer , Moez Krichen
17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), Mar 2011, Saarbrücken, Germany. pp. 96-111
Communication dans un congrès inria-00629177v1
Image document

A Novel Architecture Prototyping Framework With Generic Properties Verification for Sub-architectures

 Ismail Assayad , Lamia Eljadiri , Moez Krichen , Abdelouahed Zakari , Wilfried Adoni , et al.
Engineering Letters, 2021, 29 (2), pp.634-644
Article dans une revue hal-03591898v1

Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity

 Rateb Jabbar , Noora Fetais , Moez Krichen , Kamel Barkaoui
2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), Feb 2020, Doha, France. pp.310-317, ⟨10.1109/ICIoT48696.2020.9089570⟩
Communication dans un congrès hal-03027751v1

Blockchain for The Internet of Vehicles: How to use Blockchain to secure Vehicle-to-Everything (V2X) Communication and Payment ?

 Rateb Jabbar , Noora Fetais , Mohamed Kharbeche , Moez Krichen , Kamel Barkaoui , et al.
IEEE Sensors Journal, 2021, pp.1-1. ⟨10.1109/JSEN.2021.3062219⟩
Article dans une revue hal-03154122v1
Image document

Gestion des données de l'Internet des objets axée sur la qualité

 Moez Krichen
2024
Pré-publication, Document de travail hal-04420392v1

A Game Approach to Determinize Timed Automata.

 Nathalie Bertrand , Amélie Stainer , Thierry Jéron , Moez Krichen
14th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'11), Mar 2011, Saarbrücken, Germany. pp. 245-259
Communication dans un congrès inria-00629179v1
Image document

Comment l'intelligence artificielle peut révolutionner les techniques de test de logiciels

 Moez Krichen
2023
Pré-publication, Document de travail hal-04054712v1
Image document

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems

 Mariam Lahami , Moez Krichen , Mariam Bouchakwa , Mohamed Jmaiel
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.103-118, ⟨10.1007/978-3-642-34691-0_9⟩
Communication dans un congrès hal-01482414v1
Image document

Méthodes formelles et techniques de validation pour garantir la sécurité des systèmes automobiles

 Moez Krichen
2024
Pré-publication, Document de travail hal-04371620v1
Image document

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

 Mariam Lahami , Moez Krichen , Hajer Barhoumi , Mohamed Jmaiel
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.224-239, ⟨10.1007/978-3-319-25945-1_14⟩
Communication dans un congrès hal-01470172v1
Image document

Détection des anomalies environnementales via les capteurs des smartphones

 Moez Krichen
[Rapport de recherche] Sfax University - ReDCAD Laboratory. 2021
Rapport hal-03214225v1
Image document

Brève Revue sur le Test des Applications des Téléviseurs Intelligents

 Moez Krichen
[Rapport de recherche] REDCAD Laboratory. 2019
Rapport hal-02988436v1
Image document

Intégration de la Blockchain et de l'Intelligence Artificielle dans les Systèmes de Transport

 Moez Krichen
2024
Pré-publication, Document de travail hal-04436583v1
Image document

Adoption de Techniques de Vérification Formelle et de Test Basé sur des Modèles pour Valider un Système de Partage de Dossiers Médicaux Basé sur la Blockchain

 Rateb Jabbar , Moez Krichen , Noora Fetais , Kamel Barkaoui
2020
Pré-publication, Document de travail hal-02512300v1

Testing Conformance of Real-Time Applications: Case of Planetary Rover Controller

 Saddek Bensalem , Marius Bozga , Moez Krichen , Stavros Tripakis
Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems VVPS'05, Jun 2005, Monterey, CA, United States. pp.23-32
Communication dans un congrès hal-00375287v1
Image document

Un Nouveau Cadre Basé sur des Modèles pour le Test de Sécurité à l'aide d'Arbres d'Attaque et d'Automates Temporisés

 Moez Krichen
2020
Pré-publication, Document de travail hal-02867710v1
Image document

Renforcer la sécurité des contrats intelligents grâce à la puissance de l'intelligence artificielle

 Moez Krichen
2023
Pré-publication, Document de travail hal-04102977v1
Image document

Vérification et validation formelles pour l'Internet des objets

 Moez Krichen
2024
Pré-publication, Document de travail hal-04374915v1
Image document

Exploring the Feasibility of Formal Methods in Machine Learning and Artificial Intelligence

 Moez Krichen
2024
Pré-publication, Document de travail hal-04373389v1
Image document

Les méthodes formelles pour la vérification des contrats intelligents

 Moez Krichen
2022
Pré-publication, Document de travail hal-03753067v1
Image document

Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata

 Nathalie Bertrand , Thierry Jéron , Amélie Stainer , Moez Krichen
Logical Methods in Computer Science, 2012, 8 (4:8), pp.1-33
Article dans une revue hal-00744074v1
Image document

A game approach to determinize timed automata

 Nathalie Bertrand , Amélie Stainer , Thierry Jéron , Moez Krichen
[Research Report] RR-7381, INRIA. 2010
Rapport inria-00524830v2
Image document

Stratégies pour Optimiser l'Éco-Efficacité des Systèmes d'Intelligence Artificielle

 Moez Krichen
2024
Pré-publication, Document de travail hal-04447805v1

A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain

 Rateb Jabbar , Moez Krichen , Mohammed Shinoy , Mohamed Kharbeche , Noora Fetais , et al.
2020 International Wireless Communications and Mobile Computing (IWCMC), Jun 2020, Limassol, France. pp.1252-1259, ⟨10.1109/IWCMC48107.2020.9148212⟩
Communication dans un congrès hal-03027784v1
Image document

Comment améliorer votre flux de travail à l'aide de tests basés sur des modèles

 Moez Krichen
2023
Pré-publication, Document de travail hal-04063134v1
Image document

Une enquête sur les techniques de vérification et de validation formelles pour l'Internet des objets

 Moez Krichen
2023
Pré-publication, Document de travail hal-04101441v1
Image document

Quelques Astuces pour Améliorer les Techniques de Vérification Formelle et de Test Basé sur des Modèles

 Moez Krichen
2019
Pré-publication, Document de travail hal-02289917v1
Page :