Volgen
Moez Krichen
Moez Krichen
Associate Professor of Computer Science, Albaha University
Geverifieerd e-mailadres voor redcad.org
Titel
Geciteerd door
Geciteerd door
Jaar
Black-box conformance testing for real-time systems
M Krichen, S Tripakis
International SPIN Workshop on Model Checking of Software, 109-126, 2004
2802004
Conformance testing for real-time systems
M Krichen, S Tripakis
Formal Methods in System Design 34 (3), 238-304, 2009
2192009
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
782020
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
652005
An expressive and implementable formal framework for testing real-time systems
M Krichen, S Tripakis
IFIP International Conference on Testing of Communicating Systems, 209-225, 2005
592005
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
562012
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
452016
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
422020
Towards a TTCN-3 test system for runtime testing of adaptable and distributed systems
M Lahami, F Fakhfakh, M Krichen, M Jmaiel
IFIP International Conference on Testing Software and Systems, 71-86, 2012
412012
Real-time testing with timed automata testers and coverage criteria
M Krichen, S Tripakis
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
412004
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
382021
An OWASP top ten driven survey on web application protection methods
OB Fredj, O Cheikhrouhou, M Krichen, H Hamam, A Derhab
International Conference on Risks and Security of Internet and Systems, 235-252, 2020
372020
A game approach to determinize timed automata
N Bertrand, A Stainer, T Jéron, M Krichen
International Conference on Foundations of Software Science and …, 2011
372011
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
362019
A formal framework for black-box conformance testing of distributed real-time systems
M Krichen
International Journal of Critical Computer-Based Systems 3 (1-2), 26-43, 2012
362012
Improving formal verification and testing techniques for internet of things and smart cities
M Krichen
Mobile networks and applications, 1-12, 2019
342019
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
International conference on smart cities, infrastructure, technologies and …, 2017
342017
Using knapsack problem model to design a resource aware test architecture for adaptable and distributed systems
M Lahami, M Krichen, M Bouchakwa, M Jmaiel
IFIP International Conference on Testing Software and Systems, 103-118, 2012
342012
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
332020
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
322020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20