| Model checking real-time properties on the functional layer of autonomous robots M Foughali, B Berthomieu, S Dal Zilio, F Ingrand, A Mallet Formal Methods and Software Engineering: 18th International Conference on …, 2016 | 40 | 2016 |
| Formal verification of complex robotic systems on resource-constrained platforms M Foughali, B Berthomieu, SD Zilio, PE Hladik, F Ingrand, A Mallet Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2-9, 2018 | 33 | 2018 |
| Bridging the gap between formal verification and schedulability analysis: The case of robotics M Foughali, PE Hladik Journal of Systems Architecture 111, 101817, 2020 | 19 | 2020 |
| Statistical Model Checking of Complex Robotic Systems M Foughali, F Ingrand, C Seceleanu 26th International SPIN Symposium on Model Checking of Software, 114-134, 2019 | 17 | 2019 |
| Runtime verification of timed properties in autonomous robots M Foughali, S Bensalem, J Combaz, F Ingrand 2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020 | 15 | 2020 |
| Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools M Foughali IEEE Application of Concurrency to System Design, 29-38, 2017 | 15 | 2017 |
| Formal verification of the functionnal layer of robotic and autonomous systems M Foughali INSA de Toulouse, 2018 | 11 | 2018 |
| ADE: Autonomous DEcision making in very long traverses J Ocón, I Dragomir, A Coles, A Green, L Kunze, R Marc, CJ Perez, ... Lunar and Planetary Institute, 2020 | 10 | 2020 |
| On the semantics of the GenoM3 framework M Foughali, S Dal Zilio, F Ingrand | 9 | 2019 |
| GenoM3 Templates: from middleware independence to formal models synthesis M Foughali, F Ingrand, A Mallet arXiv preprint arXiv:1807.10154, 2018 | 8 | 2018 |
| Formal verification of real-time autonomous robots: An interdisciplinary approach M Foughali, A Zuepke Frontiers in Robotics and AI 9, 791757, 2022 | 6 | 2022 |
| Repeatable Decentralized Simulations for Cyber-Physical Systems C Reymann, M Foughali, S Lacroix IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 5 | 2019 |
| Compositional verification of embedded real-time systems M Foughali, PE Hladik, A Zuepke Journal of Systems Architecture 142, 102928, 2023 | 4 | 2023 |
| On reconciling schedulability analysis and model checking in robotics M Foughali New Trends in Model and Data Engineering: MEDI 2019 International Workshops …, 2019 | 4 | 2019 |
| A two-step hybrid approach for verifying real-time robotic systems M Foughali 2020 IEEE 26th International Conference on Embedded and Real-Time Computing …, 2020 | 3 | 2020 |
| Contract-based verification of model transformations: a formally founded approach G Brau, M Foughali Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1559-1568, 2021 | 1 | 2021 |
| Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL N Rino, M Foughali, E Asarin International Conference on Quantitative Evaluation of Systems and Formal …, 2024 | | 2024 |
| Scalable Computation of Inter-Core Bounds Through Exact Abstractions MA Foughali, M Mikučionis, M Zhang arXiv preprint arXiv:2405.06387, 2024 | | 2024 |
| Efficiently Computable Distance-Based Robustness for a Practical Fragment N Rino, M Foughali, E Asarin Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed …, 2024 | | 2024 |
| Some thoughts on teaching introductory programming and the first language dilemma (Discussion Paper) MA Foughali Proceedings of the 23rd Koli Calling International Conference on Computing …, 2023 | | 2023 |
Bernard BerthomieuLAAS-CNRSVerified email at laas.fr
