| Black-box conformance testing for real-time systems M Krichen, S Tripakis Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004 | 288 | 2004 |
| Conformance testing for real-time systems M Krichen, S Tripakis Formal Methods in System Design 34 (3), 238-304, 2009 | 226 | 2009 |
| Driver drowsiness detection model using convolutional neural networks techniques for android application R Jabbar, M Shinoy, M Kharbeche, K Al-Khalifa, M Krichen, K Barkaoui 2020 IEEE International Conference on Informatics, IoT, and Enabling …, 2020 | 110 | 2020 |
| Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity R Jabbar, N Fetais, M Krichen, K Barkaoui 2020 IEEE International Conference on Informatics, IoT, and Enabling …, 2020 | 67 | 2020 |
| Testing conformance of real-time applications by automatic generation of observers S Bensalem, M Bozga, M Krichen, S Tripakis Electronic Notes in Theoretical Computer Science 113, 23-43, 2005 | 66 | 2005 |
| Blockchain for the internet of vehicles: A decentralized IoT solution for vehicles communication using ethereum R Jabbar, M Kharbeche, K Al-Khalifa, M Krichen, K Barkaoui Sensors 20 (14), 3928, 2020 | 63 | 2020 |
| An IoT framework for screening of COVID-19 using real-time data from wearable sensors H Mukhtar, S Rubaiee, M Krichen, R Alroobaea International journal of environmental research and public health 18 (8), 4022, 2021 | 60 | 2021 |
| An expressive and implementable formal framework for testing real-time systems M Krichen, S Tripakis Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International …, 2005 | 59 | 2005 |
| Off-line test selection with test purposes for non-deterministic timed automata N Bertrand, T Jéron, A Stainer, M Krichen Logical Methods in Computer Science 8 (4), 1-33, 2012 | 55 | 2012 |
| A game approach to determinize timed automata N Bertrand, A Stainer, T Jéron, M Krichen Formal Methods in System Design 46, 42-80, 2015 | 54 | 2015 |
| Denial of service attack detection and mitigation for internet of things using looking-back-enabled machine learning techniques A Mihoub, OB Fredj, O Cheikhrouhou, A Derhab, M Krichen Computers & Electrical Engineering 98, 107716, 2022 | 51 | 2022 |
| A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata M Krichen, R Alroobaea 14th International Conference on Evaluation of Novel Approaches to Software …, 2019 | 48 | 2019 |
| Deep convolutional neural network based image spam classification S Srinivasan, V Ravi, V Sowmya, M Krichen, DB Noureddine, S Anivilla, ... 2020 6th conference on data science and machine learning applications (CDMA …, 2020 | 47* | 2020 |
| 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 | 47 | 2016 |
| CyberSecurity attack prediction: a deep learning approach O Ben Fredj, A Mihoub, M Krichen, O Cheikhrouhou, A Derhab 13th International Conference on Security of Information and Networks, 1-6, 2020 | 46 | 2020 |
| Blockchain technology for intelligent transportation systems: A systematic literature review R Jabbar, E Dhib, AB Said, M Krichen, N Fetais, E Zaidan, K Barkaoui IEEE Access 10, 20995-21031, 2022 | 45 | 2022 |
| Improving formal verification and testing techniques for internet of things and smart cities M Krichen Mobile networks and applications, 1-12, 2019 | 45 | 2019 |
| An OWASP top ten driven survey on web application protection methods OB Fredj, O Cheikhrouhou, M Krichen, H Hamam, A Derhab Risks and Security of Internet and Systems: 15th International Conference …, 2021 | 43 | 2021 |
| Blockchain-assisted secured data management framework for health information analysis based on Internet of Medical Things A Abbas, R Alroobaea, M Krichen, S Rubaiee, S Vimal, FM Almansour Personal and ubiquitous computing, 1-14, 2021 | 42 | 2021 |
| 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, 629-653, 2020 | 42 | 2020 |
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
