A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. - Mariam Lahami; Moez Krichen; Mohamed Jmaiel (CAL, 2011)

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. - Mariam Lahami; Fairouz Fakhfakh; Moez Krichen; Mohamed Jmaiel (ICTSS, 2012)

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. - Mariam Lahami; Moez Krichen; Mariam Bouchakwa; Mohamed Jmaiel (ICTSS, 2012)

Runtime testing framework for improving quality in dynamic service-based systems. - Mariam Lahami; Moez Krichen; Mohamed Jmaiel (QASBA@ISSTA, 2013)

Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. - Mariam Lahami; Moez Krichen (WETICE, 2013)

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. - Mariam Lahami; Moez Krichen; Hajer Barhoumi; Mohamed Jmaiel (ICTSS, 2015)

Runtime testing approach of structural adaptations for dynamic and distributed systems. - Mariam Lahami; Moez Krichen; Mohamed Jmaïel (Int. J. Comput. Appl. Technol., 2015)

Safe and efficient runtime testing framework applied in dynamic and distributed systems. - Mariam Lahami; Moez Krichen; Mohamed Jmaiel (Sci. Comput. Program., 2016)

Runtime testing of dynamically adaptable and distributed component based Systems. (Test d'exécution des systèmes à base de composants logiciels distribués etdynamiquement adaptables). - Mariam Lahami (2017)

Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain. - Mariam Lahami; Moez Krichen; Roobaea Alroobaea (ICCAD, 2018)

A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. - Moez Krichen; Afef Jmal Maâlej; Mariam Lahami; Mohamed Jmaiel (ICEIS (Revised Selected Papers), 2018)

Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. - Afef Jmal Maâlej; Mariam Lahami; Moez Krichen; Mohamed Jmaïel (ICEIS (2), 2018)

A model-based approach to combine conformance and load tests: an eHealth case study. - Moez Krichen; Afef Jmal Maâlej; Mariam Lahami (Int. J. Crit. Comput. Based Syst., 2018)

Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems. - Moez Krichen; Roobaea Alroobaea; Mariam Lahami (ICEIS (1), 2019)

TEPaaS: test execution platform as-a-service applied in the context of e-health. - Mariam Lahami; Moez Krichen; Roobaea Alroobaea (Int. J. Auton. Adapt. Commun. Syst., 2019)

A Mobile Application for Physical Activity Recognition using Acceleration Data from Wearable Sensors for Cardiac Rehabilitation. - Mariem Chaari; Mariem Abid; Youssef Ouakrim; Mariam Lahami; Neila Mezghani (HEALTHINF, 2020)

Application of Blockchain Technology in Healthcare: A Comprehensive Study. - Rim Ben Fekih; Mariam Lahami (ICOST, 2020)

A survey on runtime testing of dynamically adaptable and distributed systems. - Mariam Lahami; Moez Krichen (Softw. Qual. J., 2021)

Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Ahmed Ben Ali; Philippe Genestier (COMPSAC, 2022)

Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. - Mohamed Amin Hammami; Mariam Lahami; Afef Jmal Maâlej (CRiSIS, 2022)

A Comprehensive Review of Testing Blockchain Oriented Software. - Mariam Lahami; Afef Jmal Maâlej; Moez Krichen; Mohamed Amin Hammami (ENASE, 2022)

Formal Methods for the Verification of Smart Contracts: A Review. - Moez Krichen; Mariam Lahami; Qasem Abu Al-Haija (SIN, 2022)

Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Salma Bradai (ISCC, 2023)

Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts. - Mohamed Amin Hammami; Mariam Lahami (MEDI, 2023)

Improving the supply chain management via Blockchain: an olive oil case study. - Mariam Lahami; Faten Chaabane (TACC, 2023)

White-Box Mutation Testing of Smart Contracts: A Quick Review. - Afef Jmal Maâlej; Mariam Lahami (VECoS, 2023)

Formal Verification of Smart Contracts Based on Model Checking: An Overview. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Salma Bradai (WETICE, 2023)

Towards an Automated Verification Approach for ERC-Based Smart Contracts. - Rim Ben Fekih; Mariam Lahami; Mohamed Salem El Eze; Salma Bradai; Mohamed Jmaiel (ICSOC (2), 2024)

Towards an Ethereum Smart Contract Fuzz Testing Tool. - Mariam Lahami; Moez Krichen; Mohamed Ali Mnassar; Racem Mrabet; Mohamed Ben Rhouma (ICSOFT, 2024)

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review. - Rim Ben Fekih; Mariam Lahami; Salma Bradai; Mohamed Jmaiel (IEEE Access, 2025)

A systematic literature review on dynamic testing of blockchain oriented software. - Mariam Lahami; Afef Jmal Maâlej; Moez Krichen (Sci. Comput. Program., 2025)