الرئيسية › دليل الباحثين › Mariam Lahami
Mariam Lahami
الانتماء : University of Sfax
- 39منشورات (انتماء تونسي)
- 43مجموع المنشورات
- 620الاستشهادات
- 12مؤشر h
الملف البحثي
لدى Mariam Lahami 39 منشور(ات) مفهرسة (2010–2026). تُنشر أعماله أساسًا في «Lecture notes in computer science»، «International Conference on Evaluation of Novel Approaches to Software Engineering» و«Science of Computer Programming». أكثر مقالاته استشهادًا هو «Application of Blockchain Technology in Healthcare: A Comprehensive Study» (2020)، وقد استُشهد به 132 مرة. 9 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 12 باحثًا على الأقل، منهم باحثون من مؤسسات في السعودية، العراق.
هل هذا أنت؟ عرّف بأبحاثك
أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.
إنشاء ملفي المجاني إضافة منشوراتيمجالات البحث
- Software Testing and Debugging Techniques
- Blockchain Technology Applications and Security
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Software System Performance and Reliability
المنشورات (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
مجلات النشر
- 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
المنشورات حسب السنة
- 20263
- 20253
- 20243
- 20236
- 20223
- 20211
- 20202
- 20194
- 20184
- 20171
التعاون العلمي
المؤسسات الشريكة : 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
بلدان المؤلفين المشاركين : السعودية · العراق
المؤلفون المشاركون
- 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
البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).
لماذا تختارون Dzcademia؟
ملفات أكاديمية ومقالات ومداخلات علمية: امنحوا أبحاثكم حضوراً عاماً منظماً. تساعد البيانات الوصفية المدمجة محركات البحث ومساعدات الذكاء الاصطناعي على التعرف على أعمالكم وفهم مراجعها.
علّق عبر Google
سجّل الدخول عبر Google للتعليق مباشرة على هذه الصفحة.