Mohamed Taha Bennani

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 11

Top Venues

INSA Toulouse, France (PHD)

Education History

INSA Toulouse, France

PHD

Publications

Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki
Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation. ENASE (2024)
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi
Symbolic Observation Graph-Based Generation of Test Paths. TAP (2023)
Amina Jandoubi, Abdelaziz El Fazziki, Mohamed Taha Bennani, Olfa Mosbahi
Equitable water distribution: Solution based on genetic algorithms. SITIS (2023)
Safa Aloui Dkhil, Mohamed Taha Bennani, Houda Ben Attia Sethom
Permanent magnet synchronous machines position sensor failure identification using sequence mining. ICCAD (2022)
Bassem Sellami, Abdelaziz El Fazziki, Mohamed Taha Bennani, Sadok Ben Yahia
Smart Irrigation Management System. SITIS (2022)
Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed
Transport layer dependability benchmarking: TCP congestion control with fault injection. Int. J. Wirel. Mob. Comput. 17 (4) (2019)
Shaima Trabelsi, Mohamed Taha Bennani, Sadok Ben Yahia
A New Test Suite Reduction Approach Based on Hypergraph Minimal Transversal Mining. FDSE (2019)
Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech
Congestion control dependability assessment. IWCMC (2018)
Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech
Dependability Assessment of the Transport Layer's Reliability Service. HPCS (2018)
Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. FORTE (2016)
Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech
Network Layer Benchmarking: Investigation of AODV Dependability. ISCIS (2016)
Manel Tekaya, Mohamed Taha Bennani, Mohamed Abidi Alagui, Samir Ben Ahmed
Aspect-Oriented Test Case Generation from Matlab/Simulink Models. DepCoS-RELCOMEX (2015)
Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed
Aspect oriented Modeling of Real-Time system with UML and MARTE. AICCSA (2010)
Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed
Aspect Oriented design of real-time applications. INDIN (2009)
Mohamed Taha Bennani
Fault tolerance using standard reflexive middleware mechanisms. Parallel and Distributed Computing and Networks (2007)
Mohamed Taha Bennani, Laurent Blain, Ludovic Courtès, Jean-Charles Fabre, Marc-Olivier Killijian, Eric Marsden, François Taïani
Implementing Simple Replication Protocols using CORBA Portable Interceptors and Java Serialization. DSN (2004)

Mohamed Taha Bennani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohamed Taha Bennani