Mohamed Mustafa

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 3

Top Topics

Registration Process

Interval Analysis

Rigid Transformation

Top Venues

Robotics Auton. Syst.

Publications

Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu
Bounded Model Checking of Software Using Interval Methods via Contractors. CoRR (2020)
Mohamed Mustafa, Alexandru Stancu, Nicolas Delanoue, Eduard Codres
Guaranteed SLAM - An interval approach. Robotics Auton. Syst. 100 (2018)
Mohamed Mustafa, Alexandru Stancu, Salvador Pacheco Gutierrez, Eduard Alexandru Codres, Luc Jaulin
Rigid Transformation Using Interval Analysis for Robot Motion Estimation. CSCS (2015)
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
Bridging Physical and Digital Traffic System Simulations with the Gulliver Test-Bed. Nets4Cars/Nets4Trains (2013)
Mohamed Mustafa, Marina Papatriantafilou, Elad Michael Schiller, Amir Tohidi, Philippas Tsigas
Autonomous TDMA Alignment for VANETs. VTC Fall (2012)