default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoez Krichen
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j60]Mariam Lahami
, Afef Jmal Maâlej, Moez Krichen:
A systematic literature review on dynamic testing of blockchain oriented software. Sci. Comput. Program. 240: 103211 (2025)- 2024
- [j59]Karim Gasmi, Lassaad Ben Ammar, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Manel Mrabet:
Optimal Ensemble Learning Model for Dyslexia Prediction Based on an Adaptive Genetic Algorithm. IEEE Access 12: 64754-64764 (2024) - [j58]Sidra Abbas, Stephen Ojo, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Lucia Vilcekova:
A Novel Deep Learning Approach for Myocardial Infarction Detection and Multi-Label Classification. IEEE Access 12: 76003-76021 (2024) - [j57]Sidra Abbas, Gabriel Avelino R. Sampedro, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Rastislav Kulhanek:
Effective Hypertension Detection Using Predictive Feature Engineering and Deep Learning. IEEE Access 12: 89055-89068 (2024) - [j56]Gabriel Avelino R. Sampedro, Stephen Ojo, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Vincent Karovic:
Defending AI Models Against Adversarial Attacks in Smart Grids Using Deep Learning. IEEE Access 12: 157408-157417 (2024) - [j55]Tae Hoon Kim, Moez Krichen, Stephen Ojo, Gabriel Avelino R. Sampedro, Meznah A. Alamro:
SS-DRPL: self-supervised deep representation pattern learning for voice-based Parkinson's disease detection. Frontiers Comput. Neurosci. 18 (2024) - [j54]Moez Krichen, Mohamed S. Abdalzaher:
Performance enhancement of artificial intelligence: A survey. J. Netw. Comput. Appl. 232: 104034 (2024) - [j53]Tae Hoon Kim, Moez Krichen, Meznah A. Alamro, Alaeddine Mihoub, Gabriel Avelino R. Sampedro, Sidra Abbas:
Exploiting smartphone defence: a novel adversarial malware dataset and approach for adversarial malware detection. Peer Peer Netw. Appl. 17(5): 3369-3384 (2024) - [j52]Mohamed S. Abdalzaher, M. Sami Soliman, Moez Krichen, Meznah A. Alamro, Mostafa M. Fouda:
Employing Machine Learning for Seismic Intensity Estimation Using a Single Station for Earthquake Early Warning. Remote. Sens. 16(12): 2159 (2024) - [c63]Mariam Lahami, Moez Krichen, Mohamed Ali Mnassar, Racem Mrabet, Mohamed Ben Rhouma:
Towards an Ethereum Smart Contract Fuzz Testing Tool. ICSOFT 2024: 137-144 - [e1]Belgacem Ben Hedia, Yassine Maleh, Moez Krichen:
Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings. Lecture Notes in Computer Science 14368, Springer 2024, ISBN 978-3-031-49736-0 [contents] - 2023
- [j51]Mohamed Kharrat, Moez Krichen, Loay Alkhalifa, Karim Gasmi:
Neural-Networks-Based Adaptive Fault-Tolerant Control of Nonlinear Systems With Actuator Faults and Input Quantization. IEEE Access 11: 137680-137687 (2023) - [j50]Sarah El Himer, Mariyam Ouaissa, Mariya Ouaissa, Moez Krichen, Mohannad A. Alswailim, Mutiq Almutiq:
Energy Consumption Monitoring System Based on IoT for Residential Rooftops. Comput. 11(4): 78 (2023) - [j49]Moez Krichen:
Strengthening the Security of Smart Contracts through the Power of Artificial Intelligence. Comput. 12(5): 107 (2023) - [j48]Moez Krichen:
Convolutional Neural Networks: A Survey. Comput. 12(8): 151 (2023) - [j47]Nagappan Mageshkumar, J. Swapna, A. Pandiaraj, Rajakumar Ramalingam, Moez Krichen, Vinayakumar Ravi:
Hybrid cloud storage system with enhanced multilayer cryptosystem for secure deduplication in cloud. Int. J. Intell. Networks 4: 301-309 (2023) - [j46]Ricky Mohanty, Hemanta Kumar Bhuyan, Subhendu Kumar Pani, Vinayakumar Ravi, Moez Krichen:
Bird species recognition using spiking neural network along with distance based fuzzy co-clustering. Int. J. Speech Technol. 26(3): 681-694 (2023) - [j45]Omar Azib Alkhudaydi, Moez Krichen, Ans D. Alghamdi:
A Deep Learning Methodology for Predicting Cybersecurity Attacks on the Internet of Things. Inf. 14(10): 550 (2023) - [j44]Moez Krichen:
Formal Methods and Validation Techniques for Ensuring Automotive Systems Security. Inf. 14(12): 666 (2023) - [j43]Zhaoyang Han, Yaoqi Yang, Muhammad Bilal, Weizheng Wang, Moez Krichen, Abeer Abdullah Alsadhan, Chunpeng Ge:
Smart Optimization Solution for Channel Access Attack Defense Under UAV-Aided Heterogeneous Network. IEEE Internet Things J. 10(21): 18890-18897 (2023) - [j42]Salah Zidi, Alaeddine Mihoub, Saeed Mian Qaisar, Moez Krichen, Qasem Abu Al-Haija:
Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment. J. King Saud Univ. Comput. Inf. Sci. 35(1): 13-25 (2023) - [j41]Saeed Mian Qaisar, Sibghatullah I. Khan, Kathiravan Srinivasan, Moez Krichen:
Arrhythmia classification using multirate processing metaheuristic optimization and variational mode decomposition. J. King Saud Univ. Comput. Inf. Sci. 35(1): 26-37 (2023) - [j40]Oumaima Chakir, Abdeslam Rehaimi, Yassine Sadqi, El Arbi Abdellaoui Alaoui, Moez Krichen, Gurjot Singh Gaba, Andrei V. Gurtov:
An empirical assessment of ensemble methods and traditional machine learning techniques for web-based attack detection in industry 5.0. J. King Saud Univ. Comput. Inf. Sci. 35(3): 103-119 (2023) - [j39]Muhammad Ayzed Mirza, Junsheng Yu, Salman Raza, Moez Krichen, Manzoor Ahmed, Wali Ullah Khan, Khaled M. Rabie, Thokozani Shongwe:
DRL-assisted delay optimized task offloading in automotive-industry 5.0 based VECNs. J. King Saud Univ. Comput. Inf. Sci. 35(6): 101512 (2023) - [j38]Moez Krichen:
Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities. Mob. Networks Appl. 28(2): 732-743 (2023) - [j37]Mujahid Hussain, Makhmoor Fiza, Aiman Khalil, Asad Ali Siyal, Fayaz Ali Dharejo, Waheeduddin Hyder, Antonella Guzzo, Moez Krichen, Giancarlo Fortino:
Transfer learning-based quantized deep learning models for nail melanoma classification. Neural Comput. Appl. 35(30): 22163-22178 (2023) - [j36]Shalli Rani, Himanshi Babbar, Moez Krichen, Keping Yu, Fida Hussain Memon:
Network Slicing for Zero-Touch Networks: A Top-Notch Technology. IEEE Netw. 37(5): 16-24 (2023) - [j35]Souhir Sghaier, Moez Krichen, Imed Ben Dhaou, Hela Elmannai, Reem Alkanhel:
Identification, 3D-Reconstruction, and Classification of Dangerous Road Cracks. Sensors 23(7): 3578 (2023) - [j34]Dalila Say, Salah Zidi, Saeed Mian Qaisar, Moez Krichen:
Automated Categorization of Multiclass Welding Defects Using the X-ray Image Augmentation and Convolutional Neural Network. Sensors 23(14): 6422 (2023) - [j33]Hussam Saeed Musa, Moez Krichen, Adem Alpaslan Altun, Meryem Ammi:
Survey on Blockchain-Based Data Storage Security for Android Mobile Applications. Sensors 23(21): 8749 (2023) - [j32]Mostafa Hussien, Kim Khoa Nguyen, Ali Ranjha, Moez Krichen, Abdulaziz Alshammari, Mohamed Cheriet:
Enabling Efficient Data Integration of Industry 5.0 Nodes Through Highly Accurate Neural CSI Feedback. IEEE Trans. Consumer Electron. 69(4): 813-824 (2023) - [j31]Ankita Sharma, Shalli Rani, Ali Kashif Bashir, Moez Krichen, Abdulaziz Alshammari:
A Low-Rank Learning-Based Multi-Label Security Solution for Industry 5.0 Consumers Using Machine Learning Classifiers. IEEE Trans. Consumer Electron. 69(4): 833-841 (2023) - [c62]Mohamed S. Abdalzaher, Moez Krichen, Sayed S. R. Moustafa, Mohannad A. Alswailim:
Using Machine Learning for Earthquakes and Quarry Blasts Discrimination. AICCSA 2023: 1-6 - [c61]Zakaria Boulouard, Mariya Ouaissa, Mariyam Ouaissa, Moez Krichen, Mutiq Almutiq, Mohammad Algarni:
Streamlining River Flood Prevention with an Integrated AIoT Framework. AICCSA 2023: 1-6 - [c60]Moez Krichen:
Efficient Approaches for Safeguarding Sensitive Data during Natural Disasters. AICCSA 2023: 1-6 - [c59]Moez Krichen, Mohammed Yahya Alzahrani:
Formal Methods for Enhanced Natural Disaster Management. AICCSA 2023: 1-6 - [c58]Moez Krichen, Mohamed S. Abdalzaher:
Advances in AI and Drone-based Natural Disaster Management: A Survey. AICCSA 2023: 1-6 - [c57]Moez Krichen:
Generative Adversarial Networks. ICCCNT 2023: 1-7 - [c56]Moez Krichen:
Deep Reinforcement Learning. ICCCNT 2023: 1-7 - [c55]Seifeddine Mechti, Rim Faiz, Nabil Khoufi, Shaima Antit, Moez Krichen:
Sentiment Analysis: Effect of Combining BERT as an Embedding Technique with CNN Model for Tunisian Dialect. ICIKS 2023: 309-320 - [c54]Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen:
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. VECoS 2023: 45-59 - 2022
- [j30]Rateb Jabbar, Eya Dhib, Ahmed Ben Said, Moez Krichen, Noora Fetais, Esmat Zaidan, Kamel Barkaoui:
Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review. IEEE Access 10: 20995-21031 (2022) - [j29]Alaeddine Mihoub, Ouissem Ben Fredj, Omar Cheikhrouhou, Abdelouahid Derhab, Moez Krichen:
Denial of service attack detection and mitigation for internet of things using looking-back-enabled machine learning techniques. Comput. Electr. Eng. 98: 107716 (2022) - [j28]Ghullam Murtaza Jatoi, Bhagwan Das, Sarang Karim, Jitander Kumar Pabani, Moez Krichen, Roobaea Alroobaea, Mahender Kumar:
Floating Nodes Assisted Cluster-Based Routing for Efficient Data Collection in Underwater Acoustic Sensor Networks. Comput. Commun. 195: 137-147 (2022) - [j27]Qasem Abu Al-Haija, Moez Krichen:
A Lightweight In-Vehicle Alcohol Detection Using Smart Sensing and Supervised Learning. Comput. 11(8): 121 (2022) - [j26]Seifeddine Mechti, Moez Krichen, Dhouha Ben Noureddine, Lamia Hadrich Belguith:
A decision system for computational authors profiling: From machine learning to deep learning. Concurr. Comput. Pract. Exp. 34(7) (2022) - [j25]Mourad Ellouze, Seifeddine Mechti, Moez Krichen, Vinayakumar Ravi, Lamia Hadrich Belguith:
A deep learning approach for detecting the behaviour of people having personality disorders towards COVID-19 from Twitter. Int. J. Comput. Sci. Eng. 25(4): 353-366 (2022) - [j24]Muhammad Zia Ul Haq, Muhammad Zahid Khan, Haseeb Ur Rehman, Gulzar Mehmood, Ahmed Binmahfoudh, Moez Krichen, Roobaea Alroobaea:
An Adaptive Topology Management Scheme to Maintain Network Connectivity in Wireless Sensor Networks. Sensors 22(8): 2855 (2022) - [j23]Moez Krichen, Meryem Ammi, Alaeddine Mihoub, Mutiq Almutiq:
Blockchain for Modern Applications: A Survey. Sensors 22(14): 5274 (2022) - [j22]Shivani Batra, Harsh Sharma, Wadii Boulila, Vaishali Arya, Prakash Srivastava, Mohammad Zubair Khan, Moez Krichen:
An Intelligent Sensor Based Decision Support System for Diagnosing Pulmonary Ailment through Standardized Chest X-ray Scans. Sensors 22(19): 7474 (2022) - [j21]Zakaria Boulouard, Mariyam Ouaissa, Mariya Ouaissa, Farhan Siddiqui, Mutiq Almutiq, Moez Krichen:
An Integrated Artificial Intelligence of Things Environment for River Flood Prevention. Sensors 22(23): 9485 (2022) - [j20]Saeed Mian Qaisar, Nehal Alyamani, Asad Waqar, Moez Krichen:
Machine Learning with Adaptive Rate Processing for Power Quality Disturbances Identification. SN Comput. Sci. 3(1): 14 (2022) - [j19]Elio Jordan Lopes, Shaolin Kataria, Shashank Keshav, Sumaiya Thaseen Ikram, Muhammad Rukunuddin Ghalib, Achyut Shankar, Moez Krichen:
Live video streaming service with pay-as-you-use model on Ethereum Blockchain and InterPlanetary file system. Wirel. Networks 28(7): 3111-3125 (2022) - [c53]Mariam Lahami, Afef Jmal Maâlej, Moez Krichen, Mohamed Amin Hammami:
A Comprehensive Review of Testing Blockchain Oriented Software. ENASE 2022: 355-362 - [c52]Souhir Sghaier, Moez Krichen, Abir Othman Elfaki, Qasem Abu Al-Haija:
Efficient Machine-Learning Based 3D Face Identification System Under Large Pose Variation. ICCCI (CCIS Volume) 2022: 273-285 - [c51]Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija:
Formal Methods for the Verification of Smart Contracts: A Review. SIN 2022: 1-8 - 2021
- [j18]Mohammad Kamrul Hasan, Teong Chee Chuah, Ayman A. El-Saleh, Muhammad Shafiq, Shoaib Ahmed Shaikh, Shayla Islam, Moez Krichen:
Constriction Factor Particle Swarm Optimization based load balancing and cell association for 5G heterogeneous networks. Comput. Commun. 180: 328-337 (2021) - [j17]Hashem Alyami, Wael Alosaimi, Moez Krichen, Roobaea Alroobaea:
Monitoring Social Distancing Using Artificial Intelligence for Fighting COVID-19 Virus Spread. Int. J. Open Source Softw. Process. 12(3): 48-63 (2021) - [j16]Saeed Mian Qaisar, Alaeddine Mihoub, Moez Krichen, Humaira Nisar:
Multirate Processing with Selective Subbands and Machine Learning for Efficient Arrhythmia Classification. Sensors 21(4): 1511 (2021) - [j15]Asad Abbas, Moez Krichen, Roobaea Alroobaea, Sharaf Jameel Malebary, Usman Tariq, Md. Jalil Piran:
An opportunistic data dissemination for autonomous vehicles communication. Soft Comput. 25(18): 11899-11912 (2021) - [j14]Mariam Lahami, Moez Krichen:
A survey on runtime testing of dynamically adaptable and distributed systems. Softw. Qual. J. 29(2): 555-593 (2021) - [c50]Shamika Ganesan, Vinayakumar Ravi, Moez Krichen, V. Sowmya, Roobaea Alroobaea, Soman K. P.:
Robust Malware Detection using Residual Attention Network. ICCE 2021: 1-6 - [c49]Moez Krichen:
Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata. TACC 2021: 62-73 - [i3]Wadii Boulila, Maha Driss, Mohammed Al-Sarem, Faisal Saeed, Moez Krichen:
Weight Initialization Techniques for Deep Learning Algorithms in Remote Sensing: Recent Trends and Future Perspectives. CoRR abs/2102.07004 (2021) - 2020
- [j13]Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Brahim Aghezzaf, Abdeltif Elbyed:
A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems. Distributed Parallel Databases 38(2): 495-530 (2020) - [j12]Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Abdeltif El byed, Ismail Assayad:
DHPV: a distributed algorithm for large-scale graph partitioning. J. Big Data 7(1): 1-25 (2020) - [j11]Rateb Jabbar, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum. Sensors 20(14): 3928 (2020) - [c48]Roobaea Alroobaea, Ahmed H. Almulihi, Fahd S. Alharithi, Seifeddine Mechti, Moez Krichen, Lamia Hadrich Belguith:
A Deep Learning Model to Predict Gender, Age and Occupation of the Celebrities based on Tweets Followers. CLEF (Working Notes) 2020 - [c47]Ouissem Ben Fredj, Omar Cheikhrouhou, Moez Krichen, Habib Hamam, Abdelouahid Derhab:
An OWASP Top Ten Driven Survey on Web Application Protection Methods. CRiSIS 2020: 235-252 - [c46]Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui:
A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. ENASE 2020: 595-602 - [c45]Rateb Jabbar, Moez Krichen, Noora Fetais, Kamel Barkaoui:
Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. ICEIS (1) 2020: 261-268 - [c44]Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. ICIoT 2020: 237-242 - [c43]Rateb Jabbar, Noora Fetais, Moez Krichen, Kamel Barkaoui:
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity. ICIoT 2020: 310-317 - [c42]Saeed Mian Qaisar, Moez Krichen, Fatma Jallouli:
Multirate ECG Processing and k-Nearest Neighbor Classifier Based Efficient Arrhythmia Diagnosis. ICOST 2020: 329-337 - [c41]Samir Ouchani, Moez Krichen:
Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems. ICOST 2020: 364-372 - [c40]Rateb Jabbar, Moez Krichen, Mohammed Shinoy, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui:
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. IWCMC 2020: 1252-1259 - [c39]Ouissem Ben Fredj, Alaeddine Mihoub, Moez Krichen, Omar Cheikhrouhou, Abdelouahid Derhab:
CyberSecurity Attack Prediction: A Deep Learning Approach. SIN 2020: 5:1-5:6 - [c38]Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed:
Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design. VECoS 2020: 195-204 - [i2]Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. CoRR abs/2002.03728 (2020) - [i1]Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. CoRR abs/2003.07672 (2020)
2010 – 2019
- 2019
- [j10]Mariam Lahami, Moez Krichen, Roobaea Alroobaea:
TEPaaS: test execution platform as-a-service applied in the context of e-health. Int. J. Auton. Adapt. Commun. Syst. 12(3): 264-283 (2019) - [c37]Moez Krichen, Roobaea Alroobaea:
Towards Optimizing the Placement of Security Testing Components for Internet of Things Architectures. AICCSA 2019: 1-2 - [c36]Moez Krichen, Afef Jmal Maâlej:
Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge. CAL 2019: 91-102 - [c35]Afef Jmal Maâlej, Moez Krichen:
Une Approche de Test de Charge de Compositions de ServicesWeb. CAL 2019: 103-120 - [c34]Moez Krichen, Roobaea Alroobaea:
A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata. ENASE 2019: 570-577 - [c33]Moez Krichen, Roobaea Alroobaea, Mariam Lahami:
Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems. ICEIS (1) 2019: 121-129 - [c32]Moez Krichen:
Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems. ICEIS (Revised Selected Papers) 2019: 457-472 - [c31]Moez Krichen:
Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. ICTAC 2019: 124-133 - [c30]Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. IINTEC 2019: 13-18 - 2018
- [b1]Moez Krichen:
Contributions to Model-Based Testing of Dynamic and Distributed Real-Time Systems. (Contributions au Test à Base-de-Modèles de Systèmes Temps-Réels Dynamiques et Distribués). École nationale d'ingénieurs de Sfax, Tunisia, 2018 - [j9]Moez Krichen, Afef Jmal Maâlej, Mariam Lahami:
A model-based approach to combine conformance and load tests: an eHealth case study. Int. J. Crit. Comput. Based Syst. 8(3/4): 282-310 (2018) - [c29]Mariam Lahami, Moez Krichen, Roobaea Alroobaea:
Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain. ICCAD 2018: 1-6 - [c28]Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel:
Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. ICEIS (2) 2018: 29-38 - [c27]Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, Mohamed Jmaiel:
A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. ICEIS (Revised Selected Papers) 2018: 130-157 - 2017
- [c26]Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel:
WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions. TAP@STAF 2017: 139-151 - 2016
- [j8]Mariam Lahami, Moez Krichen, Mohamed Jmaiel:
Safe and efficient runtime testing framework applied in dynamic and distributed systems. Sci. Comput. Program. 122: 1-28 (2016) - [c25]Afef Jmal Maâlej, Moez Krichen:
A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. VECoS 2016: 123-140 - 2015
- [j7]Afef Jmal Maâlej, Moez Krichen:
Study on the Limitations of WS-BPEL Compositions Under Load Conditions. Comput. J. 58(3): 385-402 (2015) - [j6]Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen:
A game approach to determinize timed automata. Formal Methods Syst. Des. 46(1): 42-80 (2015) - [j5]Mariam Lahami, Moez Krichen, Mohamed Jmaïel:
Runtime testing approach of structural adaptations for dynamic and distributed systems. Int. J. Comput. Appl. Technol. 51(4): 259-272 (2015) - [j4]Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel:
A comparative evaluation of state-of-the-art load and stress testing approaches. Int. J. Comput. Appl. Technol. 51(4): 283-293 (2015) - [c24]Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel:
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. ICTSS 2015: 224-239 - 2013
- [c23]Afef Jmal Maâlej, Manel Hamza, Moez Krichen, Mohamed Jmaiel:
Automated Significant Load Testing for WS-BPEL Compositions. ICST Workshops 2013: 144-153 - [c22]Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel:
Conformance testing for quality assurance of clustering architectures. QASBA@ISSTA 2013: 9-16 - [c21]Mariam Lahami, Moez Krichen, Mohamed Jmaiel:
Runtime testing framework for improving quality in dynamic service-based systems. QASBA@ISSTA 2013: 17-24 - [c20]Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel:
WSCCT: a tool for WS-BPEL compositions conformance testing. SAC 2013: 1055-1061 - [c19]Afef Jmal Maâlej, Manel Hamza, Moez Krichen:
WSCLT: A Tool for WS-BPEL Compositions Load Testing. WETICE 2013: 272-277 - [c18]Mariam Lahami, Moez Krichen:
Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. WETICE 2013: 377-382 - 2012
- [j3]Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen:
Off-line test selection with test purposes for non-deterministic timed automata. Log. Methods Comput. Sci. 8(4) (2012) - [j2]Moez Krichen:
A formal framework for black-box conformance testing of distributed real-time systems. Int. J. Crit. Comput. Based Syst. 3(1/2): 26-43 (2012) - [c17]Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel:
Conformance Testing of WS-BPEL Compositions under Various Load Conditions. COMPSAC 2012: 371 - [c16]Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel:
Model-Based Conformance Testing of WS-BPEL Compositions. COMPSAC Workshops 2012: 452-457 - [c15]Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel:
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. ICTSS 2012: 71-86 - [c14]Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel:
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. ICTSS 2012: 103-118 - 2011
- [c13]Mariam Lahami, Moez Krichen, Mohamed Jmaiel:
A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. CAL 2011: 73-92 - [c12]Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen:
A Game Approach to Determinize Timed Automata. FoSSaCS 2011: 245-259 - [c11]Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen:
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS 2011: 96-111 - 2010
- [c10]Moez Krichen:
A Formal Framework for Conformance Testing of Distributed Real-Time Systems. OPODIS 2010: 139-142
2000 – 2009
- 2009
- [j1]Moez Krichen, Stavros Tripakis:
Conformance testing for real-time systems. Formal Methods Syst. Des. 34(3): 238-304 (2009) - 2007
- [c9]Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis:
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA 2007: 191-202 - 2006
- [c8]Moez Krichen, Stavros Tripakis:
State-Identification Problems for Finite-State Transducers. FATES/RV 2006: 148-162 - [c7]Moez Krichen, Stavros Tripakis:
Interesting Properties of the Real-Time Conformance Relation. ICTAC 2006: 317-331 - 2005
- [c6]Moez Krichen, Stavros Tripakis:
State Identification Problems for Timed Automata. TestCom 2005: 175-191 - [c5]Moez Krichen, Stavros Tripakis:
An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom 2005: 209-225 - 2004
- [c4]Moez Krichen:
State Identification. Model-Based Testing of Reactive Systems 2004: 35-67 - [c3]Moez Krichen, Stavros Tripakis:
Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151 - [c2]Moez Krichen, Stavros Tripakis:
Black-Box Conformance Testing for Real-Time Systems. SPIN 2004: 109-126 - [c1]Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis:
Testing Conformance of Real-Time Applications by Automatic Generation of Observers. RV@ETAPS 2004: 23-43
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
