Wassim TROJET
16
Documents
Publications
Safety Design for Simulation Models based on Formal MethodsInternational Journal of Computer Applications, 2017, 180 (8), pp.1-5. ⟨10.5120/ijca2017916058⟩
Journal articles
hal-02302225v1
|
|
System Reliability using Simulation Models and Formal MethodsInternational Journal of Computer Applications, 2015, 132 (17), pp.1-8. ⟨10.5120/ijca2015907684⟩
Journal articles
hal-02302229v1
|
|
Multicast Authentication Framework for Hierarchical Networks using Chinese Remainder TheoremInternational Journal of Computer Applications, 2013, 82 (11), pp.1-7. ⟨10.5120/14157-2233⟩
Journal articles
hal-02302236v1
|
|
Multi-models approach for describing and verifying constraints based interactive systemsInternational Journal of Electrical and Electronics Engineering (IJEEE), World Academy of Science, Engineering and Technology (WASET 09), 2009, 3 (6), pp.342-352
Journal articles
hal-01479654v1
|
Evaluation of the Energy Consumption Model Performance for Electric Vehicles in SUMOIEEE/ACM Distributed Simulation and Real Time Applications, Oct 2019, Cosenza, Italy
Conference papers
hal-02319532v1
|
|
Adaptive Security for the Intra-Electric Vehicular Wireless Networks2019 15th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2019, Tangier, Morocco. pp.1215-1220, ⟨10.1109/IWCMC.2019.8766514⟩
Conference papers
hal-02302189v1
|
|
Proposal of More Accurate Energy Model of Electric Vehicle For SUMO2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC), Jun 2018, Limassol, Cyprus. pp.464-469, ⟨10.1109/IWCMC.2018.8450371⟩
Conference papers
hal-02302195v1
|
|
Cyber security issues of Internet of electric vehicles2018 IEEE Wireless Communications and Networking Conference (WCNC), Apr 2018, Barcelona, Spain. pp.1-6, ⟨10.1109/WCNC.2018.8377181⟩
Conference papers
hal-02302208v1
|
|
Improving The Accuracy of The Energy Consumption Model for Electric Vehicle in SUMO Considering The Ambient Temperature Effects2018 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⟩
Conference papers
hal-02302201v1
|
|
Practical Application of "lightweight" Z in DEVS FrameworkSpring Simulation Multiconference 2009, Mar 2009, San Diego - California, United States
Conference papers
hal-03555694v1
|
|
Validating the Global Behaviour of a System Described with Scenarios using GDEVS and Z21th European Modeling and Simulation Symposium, Sep 2009, Canary Island, Spain
Conference papers
hal-03555686v1
|
|
Integrating Z in DEVS : a Case Study Lift Control SystemInternational Conference on Software Engineering Research and Practice, Jul 2008, Las Vegas - Nevada, United States
Conference papers
hal-03555714v1
|
|
Logical Analysis of DEVS Models Using ZInternational Simulation Multi-conference, Jul 2008, Edinburgh, Ireland
Conference papers
hal-03555743v1
|
|
G-DEVS / HLA Environment for Distributed Simulations of WorkflowsInternational 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
Conference papers
hal-00173590v1
|
Impact of Road Gradient on Electric Vehicle Energy Consumption in Real-World DrivingAdvanced Information Networking and Applications, pp.393-404, 2020, ⟨10.1007/978-3-030-44041-1_36⟩
Book sections
hal-02870001v1
|
Formal Verification of DEVS Models Using Z[Rapport de recherche] LSIS. 2008
Reports
hal-01488817v1
|