Autonomous TDMA Alignment for VANETs. - Mohamed Mustafa; Marina Papatriantafilou; Elad Michael Schiller; Amir Tohidi; Philippas Tsigas (VTC Fall, 2012)

Bridging Physical and Digital Traffic System Simulations with the Gulliver Test-Bed. - Christian Berger 001; Erik Dahlgren; Johan Grunden; Daniel Gunnarsson; Nadia Holtryd; Anmar Khazal; Mohamed Mustafa; Marina Papatriantafilou; Elad Michael Schiller; Christoph Steup; Viktor Swantesson; Philippas Tsigas (Nets4Cars/Nets4Trains, 2013)

Rigid Transformation Using Interval Analysis for Robot Motion Estimation. - Mohamed Mustafa; Alexandru Stancu; Salvador Pacheco Gutierrez; Eduard Alexandru Codres; Luc Jaulin (CSCS, 2015)

Guaranteed SLAM - An interval approach. - Mohamed Mustafa; Alexandru Stancu; Nicolas Delanoue; Eduard Codres (Robotics Auton. Syst., 2018)

Bounded Model Checking of Software Using Interval Methods via Contractors. - Mohannad Aldughaim; Kaled M. Alshmrany; Mohamed Mustafa; Lucas C. Cordeiro; Alexandru Stancu (CoRR, 2020)