Mariam Lahami

According to our database, Mariam Lahami authored at least 27 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Formal Verification of Smart Contracts Based on Model Checking: An Overview.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

White-Box Mutation Testing of Smart Contracts: A Quick Review.

Afef Jmal Maâlej, Mariam Lahami

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

Improving the supply chain management via Blockchain: an olive oil case study.

Mariam Lahami, Faten Chaabane

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023

Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts.

Mohamed Amin Hammami, Mariam Lahami

Proceedings of the Model and Data Engineering - 12th International Conference, 2023

Formal Modeling and Verification of ERC Smart Contracts: Application to NFT.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2022

Formal Methods for the Verification of Smart Contracts: A Review.

Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija

Proceedings of the 15th International Conference on Security of Information and Networks, 2022

A Comprehensive Review of Testing Blockchain Oriented Software.

Mariam Lahami, Afef Jmal Maâlej, Moez Krichen, Mohamed Amin Hammami

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts.

Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Maâlej

Proceedings of the Risks and Security of Internet and Systems, 2022

Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

A survey on runtime testing of dynamically adaptable and distributed systems.

Mariam Lahami, Moez Krichen

Softw. Qual. J., 2021

2020

Application of Blockchain Technology in Healthcare: A Comprehensive Study.

Rim Ben Fekih, Mariam Lahami

Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

A Mobile Application for Physical Activity Recognition using Acceleration Data from Wearable Sensors for Cardiac Rehabilitation.

Mariem Chaari, Mariem Abid, Youssef Ouakrim, Mariam Lahami, Neila Mezghani

Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020

2019

TEPaaS: test execution platform as-a-service applied in the context of e-health.

Mariam Lahami, Moez Krichen, Roobaea Alroobaea

Int. J. Auton. Adapt. Commun. Syst., 2019

Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems.

Moez Krichen, Roobaea Alroobaea, Mariam Lahami

Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

2018

A model-based approach to combine conformance and load tests: an eHealth case study.

Moez Krichen, Afef Jmal Maâlej, Mariam Lahami

Int. J. Crit. Comput. Based Syst., 2018

Distributed and Resource-Aware Load Testing of WS-BPEL Compositions.

Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel

Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions.

Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, Mohamed Jmaiel

Proceedings of the Enterprise Information Systems - 20th International Conference, 2018

Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain.

Mariam Lahami, Moez Krichen, Roobaea Alroobaea

Proceedings of the International Conference on Control, Automation and Diagnosis, 2018

2017

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).

Mariam Lahami

PhD thesis, 2017

2016

Safe and efficient runtime testing framework applied in dynamic and distributed systems.

Mariam Lahami, Moez Krichen, Mohamed Jmaiel

Sci. Comput. Program., 2016

2015

Runtime testing approach of structural adaptations for dynamic and distributed systems.

Mariam Lahami, Moez Krichen, Mohamed Jmaïel

Int. J. Comput. Appl. Technol., 2015

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations.

Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel

Proceedings of the Testing Software and Systems, 2015

2013

Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems.

Mariam Lahami, Moez Krichen

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Runtime testing framework for improving quality in dynamic service-based systems.

Mariam Lahami, Moez Krichen, Mohamed Jmaiel

Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013

2012

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.

Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel

Proceedings of the Testing Software and Systems, 2012

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems.

Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel

Proceedings of the Testing Software and Systems, 2012

2011

A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems.

Mariam Lahami, Moez Krichen, Mohamed Jmaiel

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011