Mohamed Taha Bennani

23 papers A 2B 3C 5Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Faultload sequences for the MQTT protocol services.
Int. J. Internet Protoc. Technol.
Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi
2025 — conf
A Computational Approach to Modeling Conversational Systems: Analyzing Large-Scale Quasi-Patterned Dialogue Flows.
EUROCON
Mohamed Achref Ben Ammar, Mohamed Taha Bennani
2025 J jnl
A Computational Approach to Modeling Conversational Systems: Analyzing Large-Scale Quasi-Patterned Dialogue Flows.
CoRR
Mohamed Achref Ben Ammar, Mohamed Taha Bennani
2025 — conf
Autonomous Vessels Collision Verification: Geometric Optimization.
AIAI (1)
Hiba Ben Lahbib, Mohamed Taha Bennani, Jüri Vain
2024 B conf
Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation.
ENASE
Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki
2024 C conf
Optimizing Label Coverage Using Regular Expression-Based Linear Programming.
VECoS
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni
2023 — conf
Equitable water distribution: Solution based on genetic algorithms.
SITIS
Amina Jandoubi, Abdelaziz El Fazziki, Mohamed Taha Bennani, Olfa Mosbahi
2023 C conf
Symbolic Observation Graph-Based Generation of Test Paths.
TAP
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi
2022 B conf
Faultload time model of the MQTT protocol publish service.
COMPSAC
Amina Jandoubi, Mohamed Taha Bennani, Abdelaziz El Fazziki
2022 A conf
Permanent magnet synchronous machines position sensor failure identification using sequence mining.
ICCAD
Safa Aloui Dkhil, Mohamed Taha Bennani, Houda Ben Attia Sethom
2022 — conf
Smart Irrigation Management System.
SITIS
Bassem Sellami, Abdelaziz El Fazziki, Mohamed Taha Bennani, Sadok Ben Yahia
2019 — conf
A New Test Suite Reduction Approach Based on Hypergraph Minimal Transversal Mining.
FDSE
Shaima Trabelsi, Mohamed Taha Bennani, Sadok Ben Yahia
2019 J jnl
Transport layer dependability benchmarking: TCP congestion control with fault injection.
Int. J. Wirel. Mob. Comput.
Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed
2018 B conf
Congestion control dependability assessment.
IWCMC
Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech
2018 — conf
Dependability Assessment of the Transport Layer's Reliability Service.
HPCS
Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech
2016 — conf
Network Layer Benchmarking: Investigation of AODV Dependability.
ISCIS
Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech
2016 C conf
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models.
FORTE
Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed
2015 — conf
Aspect-Oriented Test Case Generation from Matlab/Simulink Models.
DepCoS-RELCOMEX
Manel Tekaya, Mohamed Taha Bennani, Mohamed Abidi Alagui, Samir Ben Ahmed
2010 C conf
Aspect oriented Modeling of Real-Time system with UML and MARTE.
AICCSA
Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed
2009 C conf
Aspect Oriented design of real-time applications.
INDIN
Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed
2007 — conf
Fault tolerance using standard reflexive middleware mechanisms.
Parallel and Distributed Computing and Networks
Mohamed Taha Bennani
2005 — —
Tolérance aux fautes dans les systèmes répartis à base d'intergiciels réflexifs standards.
Mohamed Taha Bennani
2004 A conf
Implementing Simple Replication Protocols using CORBA Portable Interceptors and Java Serialization.
DSN
Mohamed Taha Bennani, Laurent Blain, Ludovic Courtès, Jean-Charles Fabre, Marc-Olivier Killijian, Eric Marsden, François Taïani