Skip to Main content
Number of documents

16

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 papers10 documents

  • 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⟩
  • 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. 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⟩
  • 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⟩
  • Wassim Trojet, Mamoun Sqali, Claudia Frydman, Lucile Torres, Maamar El Amine Hamri. Validating the Global Behaviour of a System Described with Scenarios using GDEVS and Z. 21th European Modeling and Simulation Symposium, Sep 2009, Canary Island, Spain. ⟨hal-03555686⟩
  • Wassim Trojet, Maamar El Amine Hamri, Claudia Frydman. Practical Application of "lightweight" Z in DEVS Framework. Spring Simulation Multiconference 2009, Mar 2009, San Diego - California, United States. ⟨hal-03555694⟩
  • Wassim Trojet, Claudia Frydman, Maamar El Amine Hamri. Integrating Z in DEVS : a Case Study Lift Control System. International Conference on Software Engineering Research and Practice, Jul 2008, Las Vegas - Nevada, United States. ⟨hal-03555714⟩
  • Wassim Trojet, Maamar El Amine Hamri, Claudia Frydman. Logical Analysis of DEVS Models Using Z. International Simulation Multi-conference, Jul 2008, Edinburgh, Ireland. ⟨hal-03555743⟩
  • 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⟩