Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mariam Lahami

> Home > Persons

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

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Lahami17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Lahami17
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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/LahamiK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/LahamiK21
Mariam Lahami, Moez Krichen:
A survey on runtime testing of dynamically adaptable and distributed systems. Softw. Qual. J. 29(2): 555-593 (2021)
2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijaacs/LahamiKA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijaacs/LahamiKA19
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)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/KrichenML18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/KrichenML18
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)
2016
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LahamiKJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LahamiKJ16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcat/LahamiKJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcat/LahamiKJ15
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/FekihLJB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/FekihLJB23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/HammamiL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/HammamiL23
Mohamed Amin Hammami, Mariam Lahami:
Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts. MEDI 2023: 44-57
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tacc/LahamiC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacc/LahamiC23
Mariam Lahami, Faten Chaabane:
Improving the supply chain management via Blockchain: an olive oil case study. TACC 2023: 182-193
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/MaalejL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/MaalejL23
Afef Jmal Maâlej, Mariam Lahami:
White-Box Mutation Testing of Smart Contracts: A Quick Review. VECoS 2023: 135-148
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/FekihLJB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/FekihLJB23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/FekihLJAG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/FekihLJAG22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/HammamiLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/HammamiLM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/LahamiMKH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/LahamiMKH22
Mariam Lahami, Afef Jmal Maâlej, Moez Krichen, Mohamed Amin Hammami:
A Comprehensive Review of Testing Blockchain Oriented Software. ENASE 2022: 355-362
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sin/KrichenLA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sin/KrichenLA22
Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija:
Formal Methods for the Verification of Smart Contracts: A Review. SIN 2022: 1-8
2020
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/biostec/ChaariAOLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/biostec/ChaariAOLM20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icost/FekihL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icost/FekihL20
Rim Ben Fekih, Mariam Lahami:
Application of Blockchain Technology in Healthcare: A Comprehensive Study. ICOST 2020: 268-276
2019
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/KrichenAL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/KrichenAL19
Moez Krichen, Roobaea Alroobaea, Mariam Lahami:
Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems. ICEIS (1) 2019: 121-129
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad2/LahamiKA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad2/LahamiKA18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/MaalejLKJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/MaalejLKJ18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/KrichenMLJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/KrichenMLJ18
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
2015
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/LahamiKBJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/LahamiKBJ15
Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel:
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. ICTSS 2015: 224-239
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LahamiKJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LahamiKJ13
Mariam Lahami, Moez Krichen, Mohamed Jmaiel:
Runtime testing framework for improving quality in dynamic service-based systems. QASBA@ISSTA 2013: 17-24
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/LahamiK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/LahamiK13
Mariam Lahami, Moez Krichen:
Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. WETICE 2013: 377-382
2012
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/LahamiFKJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/LahamiFKJ12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/LahamiKBJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/LahamiKBJ12
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]
- view
  - electronic edition @ editions-rnti.fr
  - no references & citations available
- export record
  dblp key:
  - conf/cal/LahamiKJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cal/LahamiKJ11
Mariam Lahami, Moez Krichen, Mohamed Jmaiel:
A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. CAL 2011: 73-92

a service of

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.