Mariam Lahami - RankMe

32 papers A 1B 2C 12Journal 8Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A systematic literature review on dynamic testing of blockchain oriented software. Sci. Comput. Program. Mariam Lahami, Afef Jmal Maâlej, Moez Krichen
2025	J	`jnl`	Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review. IEEE Access Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel
2025	J	`jnl`	SmartGuard: Verifying Safety and Compliance of Ethereum Smart Contracts. SN Comput. Sci. Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel
2024	—	`conf`	Towards an Automated Verification Approach for ERC-Based Smart Contracts. ICSOC (2) Rim Ben Fekih, Mariam Lahami, Mohamed Salem El Eze, Salma Bradai, Mohamed Jmaiel
2024	C	`conf`	Towards an Ethereum Smart Contract Fuzz Testing Tool. ICSOFT Mariam Lahami, Moez Krichen, Mohamed Ali Mnassar, Racem Mrabet, Mohamed Ben Rhouma
2023	C	`conf`	Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. ISCC Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
2023	C	`conf`	Formal Verification of Smart Contracts Based on Model Checking: An Overview. WETICE Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
2023	—	`conf`	Improving the supply chain management via Blockchain: an olive oil case study. TACC Mariam Lahami, Faten Chaabane
2023	C	`conf`	Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts. MEDI Mohamed Amin Hammami, Mariam Lahami
2023	C	`conf`	White-Box Mutation Testing of Smart Contracts: A Quick Review. VECoS Afef Jmal Maâlej, Mariam Lahami
2022	B	`conf`	A Comprehensive Review of Testing Blockchain Oriented Software. ENASE Mariam Lahami, Afef Jmal Maâlej, Moez Krichen, Mohamed Amin Hammami
2022	C	`conf`	Formal Methods for the Verification of Smart Contracts: A Review. SIN Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija
2022	B	`conf`	Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. COMPSAC Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier
2022	C	`conf`	Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. CRiSIS Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Maâlej
2021	J	`jnl`	A survey on runtime testing of dynamically adaptable and distributed systems. Softw. Qual. J. Mariam Lahami, Moez Krichen
2020	—	`conf`	A Mobile Application for Physical Activity Recognition using Acceleration Data from Wearable Sensors for Cardiac Rehabilitation. HEALTHINF Mariem Chaari, Mariem Abid, Youssef Ouakrim, Mariam Lahami, Neila Mezghani
2020	C	`conf`	Application of Blockchain Technology in Healthcare: A Comprehensive Study. ICOST Rim Ben Fekih, Mariam Lahami
2019	J	`jnl`	TEPaaS: test execution platform as-a-service applied in the context of e-health. Int. J. Auton. Adapt. Commun. Syst. Mariam Lahami, Moez Krichen, Roobaea Alroobaea
2019	—	`conf`	Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems. ICEIS (1) Moez Krichen, Roobaea Alroobaea, Mariam Lahami
2018	—	`conf`	A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. ICEIS (Revised Selected Papers) Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, Mohamed Jmaiel
2018	J	`jnl`	A model-based approach to combine conformance and load tests: an eHealth case study. Int. J. Crit. Comput. Based Syst. Moez Krichen, Afef Jmal Maâlej, Mariam Lahami
2018	—	`conf`	Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. ICEIS (2) Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel
2018	A	`conf`	Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain. ICCAD Mariam Lahami, Moez Krichen, Roobaea Alroobaea
2017	—	`—`	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
2016	J	`jnl`	Safe and efficient runtime testing framework applied in dynamic and distributed systems. Sci. Comput. Program. Mariam Lahami, Moez Krichen, Mohamed Jmaiel
2015	J	`jnl`	Runtime testing approach of structural adaptations for dynamic and distributed systems. Int. J. Comput. Appl. Technol. Mariam Lahami, Moez Krichen, Mohamed Jmaïel
2015	C	`conf`	Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. ICTSS Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel
2013	—	`conf`	Runtime testing framework for improving quality in dynamic service-based systems. QASBA@ISSTA Mariam Lahami, Moez Krichen, Mohamed Jmaiel
2013	C	`conf`	Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. WETICE Mariam Lahami, Moez Krichen
2012	C	`conf`	Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. ICTSS Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel
2012	C	`conf`	Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. ICTSS Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel
2011	—	`conf`	A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. CAL Mariam Lahami, Moez Krichen, Mohamed Jmaiel