30848  | 0.879 | Krichen M. | Improving Formal Verification And Testing Techniques For Internet Of Things And Smart Cities | Mobile Networks and Applications, 28, 2 (2023) |
47987  | 0.871 | Krichen M.; Lahami M.; Cheikhrouhou O.; Alroobaea R.; Maâlej A.J. | Security Testing Of Internet Of Things For Smart City Applications: A Formal Approach | EAI/Springer Innovations in Communication and Computing (2020) |
3100  | 0.86 | Krichen M.; Alroobaea R. | A New Model-Based Framework For Testing Security Of Iot Systems In Smart Cities Using Attack Trees And Price Timed Automata | ENASE 2019 - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (2019) |
14363  | 0.852 | Yoo J.; Hwang J.; Lee J.; Yoo S.; Song J. | Clocis: Cloud-Based Conformance Testing Framework For Iot Devices In The Future Internet | Electronics (Switzerland), 12, 24 (2023) |
18501  | 0.85 | Bhadula S.; Adnan M.M.; Kumar R.; Kaliyaperumal G.; Rao B.D.; Boob N.S. | Design And Evaluation Of Iot Prototypes: Leveraging Test-Beds For Performance Assessment And Innovation | 2024 IEEE 4th International Conference on ICT in Business Industry and Government, ICTBIG 2024 (2024) |