On the enforcement of a class of nonlinear constraints on Petri nets
Chen, YuFeng, Li, ZhiWu, Barkaoui, Kamel, Giua, Alessandro
Published in Automatica (Oxford) (01.05.2015)
Published in Automatica (Oxford) (01.05.2015)
Get full text
Journal Article
Blockchain for the Internet of Vehicles: How to Use Blockchain to Secure Vehicle-to-Everything (V2X) Communication and Payment?
Jabbar, Rateb, Fetais, Noora, Kharbeche, Mohamed, Krichen, Moez, Barkaoui, Kamel, Shinoy, Mohammed
Published in IEEE sensors journal (15.07.2021)
Published in IEEE sensors journal (15.07.2021)
Get full text
Journal Article
Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review
Jabbar, Rateb, Dhib, Eya, Said, Ahmed Ben, Krichen, Moez, Fetais, Noora, Zaidan, Esmat, Barkaoui, Kamel
Published in IEEE access (01.01.2022)
Published in IEEE access (01.01.2022)
Get full text
Journal Article
Preface to the VECoS 2020 & 2021 special issue of ISSE
Barkaoui, Kamel, Ben Hedia, Belgacem
Published in Innovations in systems and software engineering (01.03.2024)
Published in Innovations in systems and software engineering (01.03.2024)
Get full text
Journal Article
Transformation of Business Process Model and Notation models onto Petri nets and their analysis
Mutarraf, Umair, Barkaoui, Kamel, Li, Zhiwu, Wu, Naiqi, Qu, Ting
Published in Advances in mechanical engineering (01.12.2018)
Published in Advances in mechanical engineering (01.12.2018)
Get full text
Journal Article
Maximal Good Step Graph Methods for Reducing the Generation of the State Space
Dou, Hao, Barkaoui, Kamel, Boucheneb, Hanifa, Jiang, Xiaoning, Wang, Shouguang
Published in IEEE access (2019)
Published in IEEE access (2019)
Get full text
Journal Article
IoT-based smart and complex systems: a guest editorial report
Wu, Naiqi, Li, Zhiwu, Barkaoui, Kamel, Li, Xiaoou, Murata, Tadahiko, Zhou, MengChu
Published in IEEE/CAA journal of automatica sinica (01.01.2018)
Published in IEEE/CAA journal of automatica sinica (01.01.2018)
Get full text
Journal Article
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application
Jabbar, Rateb, Shinoy, Mohammed, Kharbeche, Mohamed, Al-Khalifa, Khalifa, Krichen, Moez, Barkaoui, Kamel
Published in 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT) (01.02.2020)
Published in 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT) (01.02.2020)
Get full text
Conference Proceeding
On interleaving in {P,A}-Time Petri nets with strong semantics
Boucheneb, Hanifa, Barkaoui, Kamel
Published in Electronic proceedings in theoretical computer science (28.10.2010)
Published in Electronic proceedings in theoretical computer science (28.10.2010)
Get full text
Journal Article