According to our database1, Mohammed Foughali authored at least 4 papers between 2016 and 2018.
Legend:Book In proceedings Article PhD thesis Other
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis.
Formal verification of complex robotic systems on resource-constrained platforms.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
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
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.
Proceedings of the Formal Methods and Software Engineering, 2016