Search:
By Year:
2023 | |
[72] | A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning, In 2022 IEEE/ACS 19th International Conference on Computer Systems and Applications (AICCSA), volume , 2023. [bibtex] [doi] | ,
[71] | Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment, In Journal of King Saud University-Computer and Information Sciences, Elsevier, volume 35, 2023. [bibtex] | ,
[70] | NFT-IoT Pharma Chain: IoT Drug traceability system based on Blockchain and Non Fungible Tokens (NFTs), In Journal of King Saud University-Computer and Information Sciences, Elsevier, 2023. [bibtex] | ,
[69] | A low-rank learning-based multi-label security solution for industry 5.0 consumers using machine learning classifiers, In IEEE Transactions on Consumer Electronics, IEEE, volume 69, 2023. [bibtex] | ,
[68] | Identification, 3D-reconstruction, and classification of dangerous road cracks, In Sensors, MDPI, volume 23, 2023. [bibtex] | ,
[67] | Real time health care big data analytics model for improved QoS in cardiac disease prediction with IoT devices, In Health and Technology, Springer Berlin Heidelberg Berlin/Heidelberg, volume 13, 2023. [bibtex] | ,
[66] | Connected and automated vehicles: Infrastructure, applications, security, critical challenges, and future aspects, In Technologies, MDPI, volume 11, 2023. [bibtex] | ,
[65] | Network Slicing for Zero-Touch Networks: A Top-Notch Technology, In IEEE Network, IEEE, volume 37, 2023. [bibtex] | ,
[64] | Arrhythmia classification using multirate processing metaheuristic optimization and variational mode decomposition, In Journal of King Saud University-Computer and Information Sciences, Elsevier, volume 35, 2023. [bibtex] | ,
[63] | Survey on blockchain-based data storage security for android mobile applications, In Sensors, MDPI, volume 23, 2023. [bibtex] | ,
[62] | DRL-assisted delay optimized task offloading in automotive-industry 5.0 based VECNs, In Journal of King Saud University-Computer and Information Sciences, Elsevier, volume 35, 2023. [bibtex] | ,
[61] | Road scanner: A road state scanning approach based on machine learning techniques, In Applied Sciences, MDPI, volume 13, 2023. [bibtex] | ,
[60] | Automated Categorization of Multiclass Welding Defects Using the X-ray Image Augmentation and Convolutional Neural Network, In , MDPI, 2023. [bibtex] | ,
[59] | Hybrid cloud storage system with enhanced multilayer cryptosystem for secure deduplication in cloud, In International Journal of Intelligent Networks, Elsevier, volume 4, 2023. [bibtex] | ,
[58] | Unmanned aerial vehicles communications security challenges: A survey, Chapter in Unmanned Aerial Vehicles Applications: Challenges and Trends, Springer International Publishing Cham, 2023. [bibtex] | ,
[57] | A survey on formal verification and validation techniques for internet of things, In Applied Sciences, MDPI, volume 13, 2023. [bibtex] | ,
[56] | Strengthening the security of smart contracts through the power of artificial intelligence, In Computers, MDPI, volume 12, 2023. [bibtex] | ,
[55] | Improving formal verification and testing techniques for internet of things and smart cities, In Mobile networks and applications, Springer US New York, volume 28, 2023. [bibtex] | ,
[54] | Generative adversarial networks, In 2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT), 2023. [bibtex] | ,
[53] | Formal methods and validation techniques for ensuring automotive systems security, In Information, MDPI, volume 14, 2023. [bibtex] | ,
[52] | Efficient Approaches for Safeguarding Sensitive Data during Natural Disasters, In 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2023. [bibtex] | ,
[51] | Deep reinforcement learning, In 2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT), 2023. [bibtex] | ,
[50] | Convolutional neural networks: A survey, In Computers, MDPI, volume 12, 2023. [bibtex] | ,
[49] | How Artificial Intelligence Can Revolutionize Software Testing, In Innovations in Bio-Inspired Computing and Applications: Proceedings of the 13th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2022) Held During December 15-17, 2022, volume 649, 2023. [bibtex] | ,
[48] | Neural-networks-based adaptive fault-tolerant control of nonlinear systems with actuator faults and input quantization, In IEEE Access, IEEE, volume 11, 2023. [bibtex] | ,
[47] | A Comparative Study of GAN Methods for Physiological Signal Generation, In Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods - ICPRAM,, SciTePress, 2023. [bibtex] [doi] | ,
[46] | InsectDSOT: A Neural Network for Insect Detection in Olive Trees, SciTePress, 2023. [bibtex] [doi] | ,
[45] | Enabling efficient data integration of industry 5.0 nodes through highly accurate neural CSI feedback, In IEEE Transactions on Consumer Electronics, IEEE, volume 69, 2023. [bibtex] | ,
[44] | Transfer learning-based quantized deep learning models for nail melanoma classification, In Neural Computing and Applications, Springer London London, volume 35, 2023. [bibtex] | ,
[43] | Smart optimization solution for channel access attack defense under UAV-aided heterogeneous network, In IEEE Internet of Things Journal, IEEE, volume 10, 2023. [bibtex] | ,
[42] | On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation, In International Conference on Verification and Evaluation of Computer and Communication Systems, 2023. [bibtex] | ,
[41] | Wake-Up Receiver Based Routing Protocols in Internet of Things: A Survey, In 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2023. [bibtex] | ,
[40] | Chord-based distributed middleware architecture for Internet of Things, In 2023 International Wireless Communications and Mobile Computing (IWCMC), 2023. [bibtex] | ,
[39] | An empirical assessment of ensemble methods and traditional machine learning techniques for web-based attack detection in industry 5.0, In Journal of King Saud University-Computer and Information Sciences, Elsevier, volume 35, 2023. [bibtex] | ,
[38] | Streamlining River Flood Prevention with an Integrated AIoT Framework, In 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2023. [bibtex] | ,
[37] | Personalized, Context-Aware, and Adaptable Persuasive Approach for Encouraging Physical Activity among Older Adults, In Entertainment Computing, Elsevier, 2023. [bibtex] | ,
[36] | A deep learning methodology for predicting cybersecurity attacks on the internet of things, In Information, MDPI, volume 14, 2023. [bibtex] | ,
[35] | Securing Data Based on Lightweight Algorithm for Internet of Things Networks, In International Conference on Human-Centric Smart Computing, 2023. [bibtex] | ,
[34] | Early detection of earthquakes using iot and cloud infrastructure: A survey, In Sustainability, MDPI, volume 15, 2023. [bibtex] | ,
[33] | Misbehavior detection systems in IoT environment: A survey, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] | ,
[32] | Access control in Internet of Things: A survey, In Computers & Security, volume 135, 2023. [bibtex] [pdf] [doi] | ,
[31] | Towards Bidirectional Conversion between Arabic Sign Language and Speech/Text, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, nov 6-8, 2023, 2023. (https://ceur-ws.org/Vol-3642/paper18.pdf) [bibtex] [pdf] | ,
[30] | Integrating Blockchain and Deep Learning for Intelligent Greenhouse Control and Traceability, In Alexandria Engineering Journal, volume 79, 2023. (\textcolorblueRanked \textbfQ1 on \textbfScopus and \textbfSJR. \textbfIF=6.8 (Web of Science)) [bibtex] [pdf] [doi] | ,
[29] | Embedded decision support platform based on multi-agent systems, In Multimedia Tools and Applications, Springer Nature, volume 82, 2023. [bibtex] [doi] | ,
[28] | A survey on automation approaches of smart contract generation, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] | ,
[27] | Introduction to the special issue on new trends in autonomous systems engineering, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] | ,
[26] | Multi-objective approach for scheduling time-aware business processes in cloud-fog environment, In J. Supercomput., volume 79, 2023. [bibtex] [pdf] [doi] | ,
[25] | A core IoT ontology for automation support in edge computing, In Serv. Oriented Comput. Appl., volume 17, 2023. [bibtex] [pdf] [doi] | ,
[24] | Spatiotemporal Clustering of Parking Lots at the City Level for Efficiently Sharing Occupancy Forecasting Models, In Sensors, volume 23, 2023. [bibtex] [pdf] [doi] | ,
[23] | A New Schedule-Based Scheme for Uplink Communications in LoRaWAN, In IEEE Open J. Commun. Soc., volume 4, 2023. [bibtex] [pdf] [doi] | ,
[22] | Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications, In J. Syst. Softw., volume 195, 2023. [bibtex] [pdf] [doi] | ,
[21] | A formal approach to specify and verify Internet of Things architecture, In Internet Things, volume 24, 2023. [bibtex] [pdf] [doi] | ,
[20] | Internet of Things design patterns modeling proven correct by construction: Application to aged care solution, In Future Gener. Comput. Syst., volume 148, 2023. [bibtex] [pdf] [doi] | ,
[19] | Unraveling Spatio-Temporal Behavior in Collaborative Cyber-Physical Systems Inspired by Social Insects, In IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, Paris, France, December 14-16, 2023, IEEE, 2023. [bibtex] [pdf] [doi] | ,
[18] | Formal Verification of Smart Contracts Based on Model Checking: An Overview, In IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, Paris, France, December 14-16, 2023, IEEE, 2023. [bibtex] [pdf] [doi] | ,
[17] | White-Box Mutation Testing of Smart Contracts: A Quick Review, In Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, Springer, volume 14368, 2023. [bibtex] [pdf] [doi] | ,
[16] | A survey on event log extraction from blockchain, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] | ,
[15] | Improving the supply chain management via Blockchain: an olive oil case study, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] | ,
[14] | MCSR: A graph transformation based approach for Minimal and Compact Set Representation of Causal Dependencies in Distributed Systems, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] | ,
[13] | MW4BPM: A middleware for blockchain-based business process monitoring, In Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023, CEUR-WS.org, volume 3642, 2023. [bibtex] [pdf] | ,
[12] | Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022, (Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel, eds.), CEUR-WS.org, volume 3333, 2023. [bibtex] [pdf] |
[11] | Fault Diagnosis and Prognosis Modeling Methods in Predictive Maintenance: A Systematic Review, In 25th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2023 Summer, Taiyuan, Taiwan, July 5-7, 2023, IEEE, 2023. [bibtex] [pdf] [doi] | ,
[10] | Detection of anomalies in the HDFS dataset, In 21st IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2023, Orlando, FL, USA, May 23-25, 2023, IEEE, 2023. [bibtex] [pdf] [doi] | ,
[9] | Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts, In Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings, Springer, volume 14396, 2023. [bibtex] [pdf] [doi] | ,
[8] | A Comparative Analysis of Time Series Prediction Techniques a Systematic Literature Review (SLR), In Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings, Springer, volume 14396, 2023. [bibtex] [pdf] [doi] | ,
[7] | Proposal Generation Process for Ensuring the Negotiation within the Cloud Environment, In 19th International Wireless Communications & Mobile Computing Conference, IWCMC 2023, Marrakesh, Morocco, May 19-23, 2023, IEEE, 2023. [bibtex] | ,
[6] | Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective, In IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, IEEE, 2023. [bibtex] [pdf] [doi] | ,
[5] | Formal Modeling and Verification of ERC Smart Contracts: Application to NFT, In IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, IEEE, 2023. [bibtex] [pdf] [doi] | ,
[4] | Context Sensitive Detection of Long-term Elderly Behavior Change, In International Conference on Innovations in Intelligent Systems and Applications, INISTA 2023, Hammamet, Tunisia, September 20-23, 2023, IEEE, 2023. [bibtex] [pdf] [doi] | ,
[3] | An Approach for Modeling Annotation in the e-Health Domain, In Digital Health Transformation, Smart Ageing, and Managing Disability: 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings, Springer, volume 14237, 2023. [bibtex] [pdf] [doi] | ,
[2] | Prediction in Smart Environments and Administration: Systematic Literature Review, In Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3 (Leonard Barolli, ed.), Springer, volume 655, 2023. [bibtex] [pdf] [doi] | ,
[1] | Developing IoT-based Smart Health Monitoring Systems using Design Patterns, In 20th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2023, Giza, Egypt, December 4-7, 2023, IEEE, 2023. [bibtex] [pdf] [doi] | ,
ReDCAD
National School of Engineering of Sfax
www.enis.rnu.tn
University of Sfax, Tunisia
www.uss.rnu.tn
Contact
Prof. Dr. Eng. Mohamed Jmaiel
Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an EmailPhone: +216 74 666 578
Address
National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia