Home › Researcher directory › Mariam Lahami
Mariam Lahami
Affiliation : University of Sfax
- 39Publications (affiliation in Tunisia)
- 43Total publications
- 620Citations
- 12h-index
Research profile
Mariam Lahami has 39 indexed publications (2010–2026). Their work appears mainly in “Lecture notes in computer science”, “International Conference on Evaluation of Novel Approaches to Software Engineering” and “Science of Computer Programming”. Their most cited article, “Application of Blockchain Technology in Healthcare: A Comprehensive Study” (2020), has been cited 132 times. 9 of these publications date from the last three years of activity. Their work is co-authored with at least 12 researchers, including institutions in Saudi Arabia, Iraq.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- Software Testing and Debugging Techniques
- Blockchain Technology Applications and Security
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Software System Performance and Reliability
Publications (39)
- Enhancing Smart Contract Testing: A RAG-Based Approach for Unit Test Case Generation
- Architectural perspectives on GenAI-driven software testing systems: A systematic literature review
- A Hedera Hashgraph-Based Decentralized Platform for Secure and Transparent Pharmaceutical Supply Chain Management
- Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review
- Blockchain-Enabled Disaster Resilience: A Paradigm for Enhancing Transparency, Securing Funds, and Optimizing Aid Delivery
- SmartGuard: Verifying Safety and Compliance of Ethereum Smart Contracts
- A systematic literature review on dynamic testing of blockchain oriented software
- Towards an Automated Verification Approach for ERC-Based Smart Contracts
- Towards an Ethereum Smart Contract Fuzz Testing Tool
- Formal Modeling and Verification of ERC Smart Contracts: Application to NFT
- Formal Verification of Smart Contracts Based on Model Checking: An Overview
- Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts
- Assessing the quality of microservice and monolithic architectures: systematic literature review
- White-Box Mutation Testing of Smart Contracts: A Quick Review
- Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts
- Formal Methods for the Verification of Smart Contracts: A Review
- A Comprehensive Review of Testing Blockchain Oriented Software
- Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum
- A survey on runtime testing of dynamically adaptable and distributed systems
- Application of Blockchain Technology in Healthcare: A Comprehensive Study
- A Mobile Application for Physical Activity Recognition using Acceleration Data from Wearable Sensors for Cardiac Rehabilitation
- Security Testing of Internet of Things for Smart City Applications: A Formal Approach
- Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems
- Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities
- A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions
- Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications
- A model-based approach to combine conformance and load tests: an eHealth case study
- A model-based approach to combine conformance and load tests: an eHealth case study
- Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain
- Runtime Testing of Dynamically Adaptable and Distributed Component-based Systems
- Safe and efficient runtime testing framework applied in dynamic and distributed systems
- Runtime testing approach of structural adaptations for dynamic and distributed systems
- Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations
- Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems
- Runtime testing framework for improving quality in dynamic service-based systems
- Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems
- Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems
- A Unified Deployment and Management Model for Dynamic and Distributed Software Architectures
- A generic process to build reliable distributed software components from early to late stages of software development
Publication venues
- Lecture notes in computer science × 8
- International Conference on Evaluation of Novel Approaches to Software Engineering × 2
- Science of Computer Programming × 2
- IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) × 2
- EAI/Springer Innovations in Communication and Computing × 2
- International Journal of Critical Computer-Based Systems × 2
Publications per year
- 20263
- 20253
- 20243
- 20236
- 20223
- 20211
- 20202
- 20194
- 20184
- 20171
Collaborations
Partner institutions : Al Baha University · University of Sousse · Digital Research Centre of Sfax · Institut Supérieur d'Informatique et des Technologies de Communication de Hammam Sousse · University of Monastir
Co-authors’ countries : Saudi Arabia · Iraq
Co-authors
- Moez Krichen
- Mohamed Jmaïel
- Afef Jmal Maâlej
- Rim Ben Fekih
- Wiem Boujelben
- Tasnim Elleuch
- Nour El Houda Laajili
- Feyza Sboui
- Saad Eddin Masood Hussein
- Racem Mrabet
- Mohamed Mnassar
- Mohamed Hammami
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.