| Application of blockchain technology in healthcare: a comprehensive study R Ben Fekih, M Lahami The Impact of Digital Technologies on Public Health in Developed and …, 2020 | 140 | 2020 |
| Formal methods for the verification of smart contracts: A review M Krichen, M Lahami, QA Al–Haija 2022 15th International Conference on Security of Information and Networks …, 2022 | 69 | 2022 |
| Security testing of internet of things for smart city applications: A formal approach M Krichen, M Lahami, O Cheikhrouhou, R Alroobaea, AJ Maâlej Smart Infrastructure and Applications: Foundations for Smarter Cities and …, 2020 | 62 | 2020 |
| A model-based approach to combine conformance and load tests: an ehealth case study M Krichen, AJ Maâlej, M Lahami International Journal of Critical Computer-Based Systems 8 (3-4), 282-310, 2018 | 54 | 2018 |
| Towards a model-based testing framework for the security of internet of things for smart city applications M Krichen, O Cheikhrouhou, M Lahami, R Alroobaea, A Jmal Maâlej Smart Societies, Infrastructure, Technologies and Applications: First …, 2018 | 54 | 2018 |
| Towards a TTCN-3 test system for runtime testing of adaptable and distributed systems M Lahami, F Fakhfakh, M Krichen, M Jmaiel Testing Software and Systems: 24th IFIP WG 6.1 International Conference …, 2012 | 53 | 2012 |
| Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. AJ Maâlej, M Lahami, M Krichen, M Jmaïel ICEIS (2), 29-38, 2018 | 52 | 2018 |
| Safe and efficient runtime testing framework applied in dynamic and distributed systems M Lahami, M Krichen, M Jmaiel Science of Computer Programming 122, 1-28, 2016 | 52 | 2016 |
| Runtime testing approach of structural adaptations for dynamic and distributed systems M Lahami, M Krichen, M Jmaïel International Journal of Computer Applications in Technology 51 (4), 259-272, 2015 | 52 | 2015 |
| Using knapsack problem model to design a resource aware test architecture for adaptable and distributed systems M Lahami, M Krichen, M Bouchakwa, M Jmaiel Testing Software and Systems: 24th IFIP WG 6.1 International Conference …, 2012 | 52 | 2012 |
| Selective test generation approach for testing dynamic behavioral adaptations M Lahami, M Krichen, H Barhoumi, M Jmaiel Testing Software and Systems: 27th IFIP WG 6.1 International Conference …, 2015 | 41 | 2015 |
| A survey on runtime testing of dynamically adaptable and distributed systems M Lahami, M Krichen Software Quality Journal 29 (2), 555-593, 2021 | 31 | 2021 |
| A Comprehensive Review of Testing Blockchain Oriented Software. M Lahami, AJ Maâlej, M Krichen, MA Hammami ENASE 182, 355-362, 2022 | 21 | 2022 |
| Test isolation policy for safe runtime validation of evolvable software systems M Lahami, M Krichen 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013 | 16 | 2013 |
| Towards a test execution platform as-a-service: Application in the e-health domain M Lahami, M Krichen, R Alroobaea 2018 International Conference on Control, Automation and Diagnosis (ICCAD), 1-6, 2018 | 10 | 2018 |
| A resource-aware model-based framework for load testing of ws-bpel compositions M Krichen, AJ Maâlej, M Lahami, M Jmaiel Enterprise Information Systems: 20th International Conference, ICEIS 2018 …, 2019 | 9 | 2019 |
| A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. M Lahami, M Krichen, M Jmaiel CAL, 73-92, 2011 | 9 | 2011 |
| Towards a runtime testing framework for dynamically adaptable internet of things networks in smart cities M Krichen, M Lahami Smart Infrastructure and Applications: Foundations for Smarter Cities and …, 2020 | 7 | 2020 |
| TEPaaS: test execution platform as-a-service applied in the context of e-health M Lahami, M Krichen, R Alroobaea International Journal of Autonomous and Adaptive Communications Systems 12 …, 2019 | 7 | 2019 |
| Runtime testing framework for improving quality in dynamic service-based systems M Lahami, M Krichen, M Jmaiel Proceedings of the 2013 International Workshop on Quality Assurance for …, 2013 | 7 | 2013 |
