Documentation
Français (FR)

Anglais (EN)

Wassim TROJET

16

Documents

Publications

	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

	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
	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
	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
	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
	Practical Application of "lightweight" 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
	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
	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
	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

	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

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