Skip to Main content
Number of documents

12

CV W. TROJET


Journal articles4 documents

  • Wassim Trojet. Safety Design for Simulation Models based on Formal Methods. International Journal of Computer Applications, Foundation of Computer Science, 2017, 180 (8), pp.1-5. ⟨10.5120/ijca2017916058⟩. ⟨hal-02302225⟩
  • Wassim Trojet, Tahar Berradia. System Reliability using Simulation Models and Formal Methods. International Journal of Computer Applications, Foundation of Computer Science, 2015, 132 (17), pp.1-8. ⟨10.5120/ijca2015907684⟩. ⟨hal-02302229⟩
  • Priyanka Sadananda, Wassim Trojet, Joseph Mouzna. Multicast Authentication Framework for Hierarchical Networks using Chinese Remainder Theorem. International Journal of Computer Applications, Foundation of Computer Science, 2013, 82 (11), pp.1-7. ⟨10.5120/14157-2233⟩. ⟨hal-02302236⟩
  • Mamoun Sqali, Wassim Trojet. Multi-models approach for describing and verifying constraints based interactive systems. International Journal of Electrical and Electronics Engineering (IJEEE), World Academy of Science, Engineering and Technology (WASET 09), 2009, 3 (6), pp.342-352. ⟨hal-01479654⟩

Conference papers6 documents

  • Yosra Fraiji, Lamia Ben Azzouz, Wassim Trojet, Leila Azouz Saidane, Ghaled Hoblos. Adaptive Security for the Intra-Electric Vehicular Wireless Networks. 2019 15th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2019, Tangier, Morocco. pp.1215-1220, ⟨10.1109/IWCMC.2019.8766514⟩. ⟨hal-02302189⟩
  • Insaf Sagaama, Amine Kchiche, Wassim Trojet, Farouk Kamoun. Evaluation of the Energy Consumption Model Performance for Electric Vehicles in SUMO. IEEE/ACM Distributed Simulation and Real Time Applications, Oct 2019, Cosenza, Italy. ⟨hal-02319532⟩
  • Insaf Sagaama, Amine Kchiche, Wassim Trojet, Farouk Kamoun. Improving The Accuracy of The Energy Consumption Model for Electric Vehicle in SUMO Considering The Ambient Temperature Effects. 2018 IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks (PEMWN), Sep 2018, Toulouse, France. pp.1-6, ⟨10.23919/PEMWN.2018.8548928⟩. ⟨hal-02302201⟩
  • Insaf Sagaama, Amine Kchiche, Wassim Trojet, Farouk Kamoun. Proposal of More Accurate Energy Model of Electric Vehicle For SUMO. 2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC), Jun 2018, Limassol, Cyprus. pp.464-469, ⟨10.1109/IWCMC.2018.8450371⟩. ⟨hal-02302195⟩
  • Yosra Fraiji, Lamia Ben Azzouz, Wassim Trojet, Leila Azouz Saidane. Cyber security issues of Internet of electric vehicles. 2018 IEEE Wireless Communications and Networking Conference (WCNC), Apr 2018, Barcelona, Spain. pp.1-6, ⟨10.1109/WCNC.2018.8377181⟩. ⟨hal-02302208⟩
  • Gregory Zacharewicz, Wassim Trojet, Maâmar El-Amine Hamri, Claudia Frydman, Norbert Giambiasi. G-DEVS / HLA Environment for Distributed Simulations of Workflows. International Conference on Modeling and Simulation - Methodology, Tools, Software Applications (M&S-MTSA'06), Jul 2006, Calgary, Canada. pp.ISBN 1-56555-309-8 206-211. ⟨hal-00173590⟩

Book sections1 document

  • Insaf Sagaama, Amine Kchiche, Wassim Trojet, Farouk Kamoun. Impact of Road Gradient on Electric Vehicle Energy Consumption in Real-World Driving. Advanced Information Networking and Applications, pp.393-404, 2020, ⟨10.1007/978-3-030-44041-1_36⟩. ⟨hal-02870001⟩

Reports1 document

  • Wassim Trojet. Formal Verification of DEVS Models Using Z. [Rapport de recherche] LSIS. 2008. ⟨hal-01488817⟩