| 2026 | ENASE | Enhancing Smart Contract Testing: A RAG-Based Approach for Unit Test Case Generation. | Feyza Sboui, Mariam Lahami |
| 2026 | IWCMC | A Hedera Hashgraph-Based Decentralized Platform for Secure and Transparent Pharmaceutical Supply Chain Management. | Mariam Lahami, Wiem Boujelben, Nour El Houda Laajili, Tasnim Elleuch |
| 2024 | ICSOC | Towards an Automated Verification Approach for ERC-Based Smart Contracts. | Rim Ben Fekih, Mariam Lahami, Mohamed Salem El Eze, Salma Bradai, Mohamed Jmaiel |
| 2024 | ICSoft | Towards an Ethereum Smart Contract Fuzz Testing Tool. | Mariam Lahami, Moez Krichen, Mohamed Ali Mnassar, Racem Mrabet, Mohamed Ben Rhouma |
| 2023 | ISCC | Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai |
| 2023 | MEDI | Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts. | Mohamed Amin Hammami, Mariam Lahami |
| 2023 | WETICE | Formal Verification of Smart Contracts Based on Model Checking: An Overview. | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai |
| 2023 | VECoS | White-Box Mutation Testing of Smart Contracts: A Quick Review. | Afef Jmal Malej, Mariam Lahami |
| 2022 | COMPSAC | 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 |
| 2022 | CRiSIS | Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. | Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Malej |
| 2022 | ENASE | A Comprehensive Review of Testing Blockchain Oriented Software. | Mariam Lahami, Afef Jmal Malej, Moez Krichen, Mohamed Amin Hammami |
| 2022 | SIN | Formal Methods for the Verification of Smart Contracts: A Review. | Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija |
| 2020 | ICOST | Application of Blockchain Technology in Healthcare: A Comprehensive Study. | Rim Ben Fekih, Mariam Lahami |
| 2013 | ISSTA | Runtime testing framework for improving quality in dynamic service-based systems. | Mariam Lahami, Moez Krichen, Mohamed Jmaiel |
| 2013 | WETICE | Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. | Mariam Lahami, Moez Krichen |