E. Guerfala
AuthID: R-00G-WFA
1
TITLE: Dual mode for vehicular platoon safety: Simulation and formal verification Full Text
AUTHORS: Karoui, O; Khalgui, M; Koubaa, A; Guerfala, E; Li, ZW; Tovar, E ;
PUBLISHED: 2017, SOURCE: INFORMATION SCIENCES, VOLUME: 402
AUTHORS: Karoui, O; Khalgui, M; Koubaa, A; Guerfala, E; Li, ZW; Tovar, E ;
PUBLISHED: 2017, SOURCE: INFORMATION SCIENCES, VOLUME: 402
2
TITLE: Performance evaluation of vehicular platoons using Webots
AUTHORS: Oussama Karoui; Emna Guerfala; Anis Koubaa; Mohamed Khalgui; Eduardo Tovard ; Naiqi Q Wu; Abdulrahman Al Ahmari; Zhiwu W Li;
PUBLISHED: 2017, SOURCE: IET INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 11, ISSUE: 8
AUTHORS: Oussama Karoui; Emna Guerfala; Anis Koubaa; Mohamed Khalgui; Eduardo Tovard ; Naiqi Q Wu; Abdulrahman Al Ahmari; Zhiwu W Li;
PUBLISHED: 2017, SOURCE: IET INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 11, ISSUE: 8
INDEXED IN: 
Scopus 
WOS
Scopus WOS3
TITLE: Modeling and formal verification of reconfigurable vehicular platoons
AUTHORS: Guerfala, E; Khalgui, M; Koubâa, A; Karoui, O;
PUBLISHED: 2015, SOURCE: 29th Annual European Simulation and Modelling Conference 2015, ESM 2015 in 29th Annual European Simulation and Modelling Conference 2015, ESM 2015
AUTHORS: Guerfala, E; Khalgui, M; Koubâa, A; Karoui, O;
PUBLISHED: 2015, SOURCE: 29th Annual European Simulation and Modelling Conference 2015, ESM 2015 in 29th Annual European Simulation and Modelling Conference 2015, ESM 2015
INDEXED IN: Scopus
Scopus