Mohamed Taha Bennani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
11
Active years
2004–2025
Best venue rank
C
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AIAI | Autonomous Vessels Collision Verification: Geometric Optimization. | Hiba Ben Lahbib, Mohamed Taha Bennani, Jri Vain |
| 2025 | VECoS | Rail Requirements Tracking and Architectural Verification. | Aroua Ben Daya, Rim Saddem-Yagoubi, Mohamed Taha Bennani |
| 2024 | ENASE | Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation. | Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki |
| 2024 | VECoS | Optimizing Label Coverage Using Regular Expression-Based Linear Programming. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni |
| 2023 | TAP | Symbolic Observation Graph-Based Generation of Test Paths. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jrg Desel, Hanen Ochi |
| 2022 | COMPSAC | Faultload time model of the MQTT protocol publish service. | Amina Jandoubi, Mohamed Taha Bennani, Abdelaziz El Fazziki |
| 2018 | IWCMC | Congestion control dependability assessment. | Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech |
| 2016 | FORTE | SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. | Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed |
| 2015 | DEPCoS | Aspect-Oriented Test Case Generation from Matlab/Simulink Models. | Manel Tekaya, Mohamed Taha Bennani, Mohamed Abidi Alagui, Samir Ben Ahmed |
| 2010 | AICCSA | Aspect oriented Modeling of Real-Time system with UML and MARTE. | Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed |
| 2009 | INDIN | Aspect Oriented design of real-time applications. | Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed |
| 2004 | DSN | Implementing Simple Replication Protocols using CORBA Portable Interceptors and Java Serialization. | Mohamed Taha Bennani, Laurent Blain, Ludovic Courts, Jean-Charles Fabre, Marc-Olivier Killijian, Eric Marsden, Franois Taani |