Mohammed Foughali

According to our database1, Mohammed Foughali authored at least 4 papers between 2016 and 2018.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis.
CoRR, 2018

Formal verification of complex robotic systems on resource-constrained platforms.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.
Proceedings of the Formal Methods and Software Engineering, 2016


  Loading...