Get started
Author

Mohamed Taha Bennani

Observed names: BENNANI, Mohamed Taha, Bennani, Mohamed Taha, M. Bennani, M. Taha Bennani, M.T. Bennani, M.Taha Bennani, T. Bennani, Taha Bennani, Mohamed
Observed institutions: Tunis University, Centre National de la Recherche Scientifique, University of Carthage, Laboratoire d'Analyse et d'Architecture des Systèmes, Université Tunis Carthage, National Engineering School of Tunis, Institut Supérieur d'Informatique et de Mathématiques de Monastir, Tunis El Manar University
ORCID: 0000-0001-6693-6352
Observed ORCID: 0000-0001-6693-6352
OpenAlex ID: A5018520401
Implementing simple replication protocols using CORBA portable interceptors and Java serialization
2004 · T. Bennani, L. Blain, et al. · International Conference on Dependable Systems & Networks/Proceedings · 16
Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation
2024 · Amina Jandoubi, M. Bennani, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 6
Test case generation for automotive applications
2014 · Manel Tekaya, Mohamed Taha Bennani, et al. · World Symposium on Computer Applications & Research (WSCAR) · 5
Aspect-Oriented Test Case Generation from Matlab/Simulink Models
2015 · Manel Tekaya, Mohamed Taha Bennani, et al. · Advances in intelligent systems and computing · 4
Smart Irrigation Management System
2022 · Bassem Sellami, Abdelaziz El Fazziki, et al. · International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) · 3
Sequence Mining and Property Verification for Fault-Localization in Simulink Models
2020 · Safa Aloui Dkhil, Mohamed Taha Bennani, et al. · Advances in intelligent systems and computing · 3
Network Layer Benchmarking: Investigation of AODV Dependability
2016 · Maroua Belkneni, M. Taha Bennani, et al. · Communications in computer and information science · 3
PDF
Symbolic Observation Graph-Based Generation of Test Paths
2023 · Kais Klai, Mohamed Taha Bennani, et al. · Lecture notes in computer science · 2
PDF
Weaving real-time constraints on behavioral and structural application model
2009 · Naoufel Machta, M. Taha Bennani, et al. · International Conference on the Applications of Digital Information and Web Technologies (ICADIWT) · 2
Aspect Oriented design of real-time applications
2009 · Naoufel Machta, M. Taha Bennani, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 2
Autonomous Vessels Collision Verification: Geometric Optimization
2025 · Hiba Ben Lahbib, M. Taha Bennani, et al. · IFIP advances in information and communication technology · 1
Permanent magnet synchronous machines position sensor failure identification using sequence mining
2022 · Safa Aloui Dkhil, Mohamed Taha Bennani, et al. · International Conference on Control, Automation and Diagnosis (ICCAD) · 1
Faultload time model of the MQTT protocol publish service
2022 · Amina Jandoubi, M. Taha Bennani, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 1
Congestion control dependability assessment
2018 · Maroua Belkneni, M. Taha Bennani, et al. · International Wireless Communications and Mobile Computing Conference (IWCMC) · 1
Network Layer Dependability Benchmarking: Route identification
2016 · Maroua Belkneni, Mohamed Taha Bennani, et al. · Ubiquitous Computing Systems · 1
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models
2016 · Manel Tekaya, Mohamed Taha Bennani, et al. · Lecture notes in computer science · 1
NOLE: An AOM Weaver for Aspect Oriented Modeling of Real-time System
2015 · Naoufel Machta, Mohamed Taha Bennani, et al. · Procedia Computer Science · 1
PDF
Aspect oriented Modeling of Real-Time system with UML and MARTE
2010 · Naoufel Machta, M. Taha Bennani, et al. · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) · 1
Toward Weaving UML MARTE Real-Time Constraints on UML Application Model
2010 · N. Machta, M.T. Bennani, et al. · Advances in Computer Science and Engineering · 1
Tolérance aux Fautes dans les Systèmes Répartis à base d'Intergiciels Réflexifs Standards
2005 · Mohamed Taha Bennani · HAL · 1
PDF
Optimizing Petri Net Transition Coverage for Test Generation Using Linear Programming and Symbolic Observation Graphs
2026 · Klai, Kais, Bennani, Mohamed Taha, et al. · HAL
Autonomous vessel collision avoidance verification using geometric optimization
2026 · Hiba Ben Lahbib, Mohamed Taha Bennani, et al. · Integrated Computer-Aided Engineering
Rail Requirements Tracking and Architectural Verification
2026 · Aroua Ben Daya, Rim Saddem-Yagoubi, et al. · Lecture notes in computer science
Faultload Sequences for the MQTT Protocol Services
2025 · Amina Jandoubi, M.Taha Bennani, et al. · International Journal of Internet Protocol Technology
A Computational Approach to Modeling Conversational Systems: Analyzing Large-Scale Quasi-Patterned Dialogue Flows
2025 · Mohamed Achref Ben Ammar, Mohamed Taha Bennani · IEEE EUROCON - International Conference on Computer as a Tool (EUROCON)
PDF
Works count: 40
Citation count: 57
H-index: 4
I10-index: 1
Year
Topic
Type