Mohamed Taha Bennani

According to our database, Mohamed Taha Bennani authored at least 18 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation.

Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023

Symbolic Observation Graph-Based Generation of Test Paths.

Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Equitable water distribution: Solution based on genetic algorithms.

Amina Jandoubi, Abdelaziz El Fazziki, Mohamed Taha Bennani, Olfa Mosbahi

Proceedings of the 17th International Conference on Signal-Image Technology & Internet-Based Systems, 2023

2022

Smart Irrigation Management System.

Bassem Sellami, Abdelaziz El Fazziki, Mohamed Taha Bennani, Sadok Ben Yahia

Proceedings of the 16th International Conference on Signal-Image Technology & Internet-Based Systems, 2022

Permanent magnet synchronous machines position sensor failure identification using sequence mining.

Safa Aloui Dkhil, Mohamed Taha Bennani, Houda Ben Attia Sethom

Proceedings of the International Conference on Control, Automation and Diagnosis, 2022

Faultload time model of the MQTT protocol publish service.

Amina Jandoubi, Mohamed Taha Bennani, Abdelaziz El Fazziki

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2019

Transport layer dependability benchmarking: TCP congestion control with fault injection.

Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed

Int. J. Wirel. Mob. Comput., 2019

A New Test Suite Reduction Approach Based on Hypergraph Minimal Transversal Mining.

Shaima Trabelsi, Mohamed Taha Bennani, Sadok Ben Yahia

Proceedings of the Future Data and Security Engineering - 6th International Conference, 2019

2018

Congestion control dependability assessment.

Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech

Proceedings of the 14th International Wireless Communications & Mobile Computing Conference, 2018

Dependability Assessment of the Transport Layer's Reliability Service.

Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2016

Network Layer Benchmarking: Investigation of AODV Dependability.

Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech

Proceedings of the Computer and Information Sciences - 31st International Symposium, 2016

SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models.

Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Aspect-Oriented Test Case Generation from Matlab/Simulink Models.

Manel Tekaya, Mohamed Taha Bennani, Mohamed Abidi Alagui, Samir Ben Ahmed

Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

2010

Aspect oriented Modeling of Real-Time system with UML and MARTE.

Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Aspect Oriented design of real-time applications.

Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

2007

Fault tolerance using standard reflexive middleware mechanisms.

Mohamed Taha Bennani

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

2005

Tolérance aux fautes dans les systèmes répartis à base d'intergiciels réflexifs standards.

Mohamed Taha Bennani

PhD thesis, 2005

2004

Implementing Simple Replication Protocols using CORBA Portable Interceptors and Java Serialization.

Mohamed Taha Bennani, Laurent Blain, Ludovic Courtès, Jean-Charles Fabre, Marc-Olivier Killijian, Eric Marsden, François Taïani

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004