default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMariam Lahami
Person information
- affiliation: University of Sfax, National Engineering School, Sfax, Tunisia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j6]Mariam Lahami
, Afef Jmal Maâlej, Moez Krichen:
A systematic literature review on dynamic testing of blockchain oriented software. Sci. Comput. Program. 240: 103211 (2025)- 2024
- [c22]Mariam Lahami, Moez Krichen, Mohamed Ali Mnassar, Racem Mrabet, Mohamed Ben Rhouma:
Towards an Ethereum Smart Contract Fuzz Testing Tool. ICSOFT 2024: 137-144 - 2023
- [c21]Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai:
Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. ISCC 2023: 556-561 - [c20]Mohamed Amin Hammami, Mariam Lahami:
Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts. MEDI 2023: 44-57 - [c19]Mariam Lahami, Faten Chaabane:
Improving the supply chain management via Blockchain: an olive oil case study. TACC 2023: 182-193 - [c18]Afef Jmal Maâlej, Mariam Lahami:
White-Box Mutation Testing of Smart Contracts: A Quick Review. VECoS 2023: 135-148 - [c17]Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai:
Formal Verification of Smart Contracts Based on Model Checking: An Overview. WETICE 2023: 1-6 - 2022
- [c16]Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier:
Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. COMPSAC 2022: 83-88 - [c15]Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Maâlej:
Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. CRiSIS 2022: 85-100 - [c14]Mariam Lahami, Afef Jmal Maâlej, Moez Krichen, Mohamed Amin Hammami:
A Comprehensive Review of Testing Blockchain Oriented Software. ENASE 2022: 355-362 - [c13]Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija:
Formal Methods for the Verification of Smart Contracts: A Review. SIN 2022: 1-8 - 2021
- [j5]Mariam Lahami, Moez Krichen:
A survey on runtime testing of dynamically adaptable and distributed systems. Softw. Qual. J. 29(2): 555-593 (2021) - 2020
- [c12]Mariem Chaari, Mariem Abid, Youssef Ouakrim, Mariam Lahami, Neila Mezghani:
A Mobile Application for Physical Activity Recognition using Acceleration Data from Wearable Sensors for Cardiac Rehabilitation. HEALTHINF 2020: 625-632 - [c11]Rim Ben Fekih, Mariam Lahami:
Application of Blockchain Technology in Healthcare: A Comprehensive Study. ICOST 2020: 268-276
2010 – 2019
- 2019
- [j4]Mariam Lahami, Moez Krichen, Roobaea Alroobaea:
TEPaaS: test execution platform as-a-service applied in the context of e-health. Int. J. Auton. Adapt. Commun. Syst. 12(3): 264-283 (2019) - [c10]Moez Krichen, Roobaea Alroobaea, Mariam Lahami:
Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems. ICEIS (1) 2019: 121-129 - 2018
- [j3]Moez Krichen, Afef Jmal Maâlej, Mariam Lahami:
A model-based approach to combine conformance and load tests: an eHealth case study. Int. J. Crit. Comput. Based Syst. 8(3/4): 282-310 (2018) - [c9]Mariam Lahami, Moez Krichen, Roobaea Alroobaea:
Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain. ICCAD 2018: 1-6 - [c8]Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel:
Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. ICEIS (2) 2018: 29-38 - [c7]Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, Mohamed Jmaiel:
A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. ICEIS (Revised Selected Papers) 2018: 130-157 - 2017
- [b1]Mariam Lahami:
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). École nationale d'ingénieurs de Sfax, Tunisia, 2017 - 2016
- [j2]Mariam Lahami, Moez Krichen, Mohamed Jmaiel:
Safe and efficient runtime testing framework applied in dynamic and distributed systems. Sci. Comput. Program. 122: 1-28 (2016) - 2015
- [j1]Mariam Lahami, Moez Krichen, Mohamed Jmaïel:
Runtime testing approach of structural adaptations for dynamic and distributed systems. Int. J. Comput. Appl. Technol. 51(4): 259-272 (2015) - [c6]Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel:
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. ICTSS 2015: 224-239 - 2013
- [c5]Mariam Lahami, Moez Krichen, Mohamed Jmaiel:
Runtime testing framework for improving quality in dynamic service-based systems. QASBA@ISSTA 2013: 17-24 - [c4]Mariam Lahami, Moez Krichen:
Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. WETICE 2013: 377-382 - 2012
- [c3]Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel:
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. ICTSS 2012: 71-86 - [c2]Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel:
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. ICTSS 2012: 103-118 - 2011
- [c1]Mariam Lahami, Moez Krichen, Mohamed Jmaiel:
A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. CAL 2011: 73-92
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
