Wassim TROJET

Publications

Article dans une revue (4)

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

Communication dans un congrès (10)

Adaptive Security for the Intra-Electric Vehicular Wireless Networks Yosra Fraiji,Lamia Ben Azzouz,Wassim Trojet,Leila Azouz Saidane,Ghaled Hoblos 2019 15th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2019, Tangier, Morocco. pp.1215-1220, ⟨10.1109/IWCMC.2019.8766514⟩ Communication dans un congrès hal-02302189v1
Evaluation of the Energy Consumption Model Performance for Electric Vehicles in SUMO Insaf Sagaama,Amine Kchiche,Wassim Trojet,Farouk Kamoun IEEE/ACM Distributed Simulation and Real Time Applications, Oct 2019, Cosenza, Italy Communication dans un congrès hal-02319532v1
Proposal of More Accurate Energy Model of Electric Vehicle For SUMO Insaf Sagaama,Amine Kchiche,Wassim Trojet,Farouk Kamoun 2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC), Jun 2018, Limassol, Cyprus. pp.464-469, ⟨10.1109/IWCMC.2018.8450371⟩ Communication dans un congrès hal-02302195v1
Cyber security issues of Internet of electric vehicles Yosra Fraiji,Lamia Ben Azzouz,Wassim Trojet,Leila Azouz Saidane 2018 IEEE Wireless Communications and Networking Conference (WCNC), Apr 2018, Barcelona, Spain. pp.1-6, ⟨10.1109/WCNC.2018.8377181⟩ Communication dans un congrès hal-02302208v1
Improving The Accuracy of The Energy Consumption Model for Electric Vehicle in SUMO Considering The Ambient Temperature Effects Insaf Sagaama,Amine Kchiche,Wassim Trojet,Farouk Kamoun 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⟩ Communication dans un congrès hal-02302201v1
Practical Application of &quot;lightweight&quot; Z in DEVS Framework Wassim Trojet,Maamar El Amine Hamri,Claudia Frydman Spring Simulation Multiconference 2009, Mar 2009, San Diego - California, United States Communication dans un congrès hal-03555694v1
Validating the Global Behaviour of a System Described with Scenarios using GDEVS and Z Wassim Trojet,Mamoun Sqali,Claudia Frydman,Lucile Torres,Maamar El Amine Hamri 21th European Modeling and Simulation Symposium, Sep 2009, Canary Island, Spain Communication dans un congrès hal-03555686v1
Integrating Z in DEVS : a Case Study Lift Control System Wassim Trojet,Claudia Frydman,Maamar El Amine Hamri International Conference on Software Engineering Research and Practice, Jul 2008, Las Vegas - Nevada, United States Communication dans un congrès hal-03555714v1
Logical Analysis of DEVS Models Using Z Wassim Trojet,Maamar El Amine Hamri,Claudia Frydman International Simulation Multi-conference, Jul 2008, Edinburgh, Ireland Communication dans un congrès hal-03555743v1
G-DEVS / HLA Environment for Distributed Simulations of Workflows Gregory Zacharewicz,Wassim Trojet,Maâmar El-Amine Hamri,Claudia Frydman,Norbert Giambiasi 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 Communication dans un congrès hal-00173590v1

Chapitre d'ouvrage (1)

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

Rapport (1)

Formal Verification of DEVS Models Using Z Wassim Trojet [Rapport de recherche] LSIS. 2008 Rapport (rapport de recherche) hal-01488817v1