Accueil › Annuaire des chercheurs › Mariam Lahami
Mariam Lahami
Affiliation : University of Sfax
- 39Publications (affiliation tunisienne)
- 43Publications au total
- 620Citations
- 12Indice h
Profil de recherche
Mariam Lahami compte 39 publications référencées (2010–2026). Ses travaux paraissent principalement dans « Lecture notes in computer science », « International Conference on Evaluation of Novel Approaches to Software Engineering » et « Science of Computer Programming ». Son article le plus cité, « Application of Blockchain Technology in Healthcare: A Comprehensive Study » (2020), a été cité 132 fois. 9 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 12 chercheurs, notamment dans des établissements de Arabie saoudite, Irak.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- 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
Revues de publication
- 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 par année
- 20263
- 20253
- 20243
- 20236
- 20223
- 20211
- 20202
- 20194
- 20184
- 20171
Collaborations
Établissements partenaires : 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
Pays des co-auteurs : Arabie saoudite · Irak
Co-auteurs
- 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
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.