Mohamed Mustafa

According to our database, Mohamed Mustafa authored at least 5 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Bounded Model Checking of Software Using Interval Methods via Contractors.

Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu

CoRR, 2020

2018

Guaranteed SLAM - An interval approach.

Mohamed Mustafa, Alexandru Stancu, Nicolas Delanoue, Eduard Codres

Robotics Auton. Syst., 2018

2015

Rigid Transformation Using Interval Analysis for Robot Motion Estimation.

Mohamed Mustafa, Alexandru Stancu, Salvador Pacheco Gutierrez, Eduard Alexandru Codres, Luc Jaulin

Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015

2013

Bridging Physical and Digital Traffic System Simulations with the Gulliver Test-Bed.

Christian Berger, Erik Dahlgren, Johan Grunden, Daniel Gunnarsson, Nadia Holtryd, Anmar Khazal, Mohamed Mustafa, Marina Papatriantafilou, Elad Michael Schiller, Christoph Steup, Viktor Swantesson, Philippas Tsigas

Proceedings of the Communication Technologies for Vehicles, 5th International Workshop, 2013

2012

Autonomous TDMA Alignment for VANETs.

Mohamed Mustafa, Marina Papatriantafilou, Elad Michael Schiller, Amir Tohidi, Philippas Tsigas

Proceedings of the 76th IEEE Vehicular Technology Conference, 2012