| Formal API specification of the PikeOS separation kernel F Verbeek, O Havle, J Schmaltz, S Tverdyshev, H Blasum, B Langenstein, ... NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 39 | 2015 |
| Isabelle/SACM: Computer-assisted assurance cases with integrated formal methods Y Nemouchi, S Foster, M Gleirscher, T Kelly Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019 | 21 | 2019 |
| Integration of formal proof into unified assurance cases with Isabelle/SACM S Foster, Y Nemouchi, M Gleirscher, R Wei, T Kelly Formal Aspects of Computing 33 (6), 855-884, 2021 | 20 | 2021 |
| Evolution of formal model-based assurance cases for autonomous robots M Gleirscher, S Foster, Y Nemouchi Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019 | 20 | 2019 |
| Formal model-based assurance cases in Isabelle/SACM: An autonomous underwater vehicle case study S Foster, Y Nemouchi, C O'Halloran, K Stephenson, N Tudor Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 15 | 2020 |
| Isabelle/UTP: mechanised theory engineering for unifying theories of programming SD Foster, F Zeyda, Y Nemouchi, PFDOS Ribeiro, B Wolff Archive of Formal Proofs, 2019 | 14 | 2019 |
| Formal specification of a generic separation kernel F Verbeek, S Tverdyshev, O Havle, H Blasum, B Langenstein, W Stephan, ... Archive of Formal Proofs 2014 (2014-07-18), 2014 | 14 | 2014 |
| Test program generation for a microprocessor: A case-study AD Brucker, A Feliachi, Y Nemouchi, B Wolff Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013 | 11 | 2013 |
| Testing the IPC protocol for a real-time operating system AD Brucker, O Havle, Y Nemouchi, B Wolff Verified Software: Theories, Tools, and Experiments: 7th International …, 2016 | 9 | 2016 |
| Mechanised assurance cases with integrated formal methods in Isabelle Y Nemouchi, S Foster, M Gleirscher, T Kelly arXiv preprint arXiv:1905.06192, 2019 | 6 | 2019 |
| Isabelle/UTP: mechanised theory engineering for unifying theories of programming. Archive of Formal Proofs (2019) S Foster, F Zeyda, Y Nemouchi, P Ribeiro, B Wolff | 6 | 2019 |
| Using Isabelle/UTP for the verification of sorting algorithms J Bockenek, P Lammich, Y Nemouchi, B Wolff Proceedings of the Isabelle Workshop (FLoC), 2018 | 3 | 2018 |
| Isabelle in certification processes Y Nemouchi, A Feliachi, B Wolff, C Proch Technical Report 1583, LRI, Univ. Paris-Sud, CNRS, Université Paris-Saclay, 2015 | 3 | 2015 |
| Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study J Bockenek, P Lammich, Y Nemouchi, B Wolff | 1 | 2018 |
| Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL Y Nemouchi, S Etigowni, A Zolan, R Macwan National Renewable Energy Laboratory (NREL), Golden, CO (United States), 2023 | | 2023 |
| Cyber-Resilient Distributed Autonomous Energy Grid R Macwan, Y Nemouchi National Renewable Energy Lab.(NREL), Golden, CO (United States), 2023 | | 2023 |
| Theory of Designs in Isabelle/UTP SD Foster, Y Nemouchi, F Zeyda York, 2018 | | 2018 |
| Isabelle/UTP: Mechanised Theory Engineering for the UTP SD Foster, F Zeyda, Y Nemouchi, PF De Oliveira Salazar Ribeiro, B Wolff York, 2018 | | 2018 |
| HOL-TestGen Version 1.8 USER GUIDE A Brucker, L Brügger, A Feliachi, C Keller, M Krieger, D Longuet, ... Univeristé Paris-Saclay; LRI-CNRS, University Paris-Sud, 2016 | | 2016 |
| Model-based Testing of Operating System-Level Security Mechanisms Y Nemouchi Université Paris Saclay (COmUE), 2016 | | 2016 |
