Nicolas Rouquette

Nicolas F. Rouquette

Principal Computer Scientist, Jet Propulsion Laboratory, California Institute of Technology

Formal methods and model-based systems engineering for space systems: Lean 4 formalizations, SysML v2, ontologies, assume-guarantee contracts, F´ flight software.

I work on the foundations that make engineering models trustworthy: what a model means, what a tool is allowed to conclude from it, and how to prove that the conclusion is right.

At JPL I co-lead openCAESAR, an ontology-based approach to model-based systems engineering built on the Ontological Modeling Language (OML), and I contributed to Pacti, a library for assume-guarantee contracts. Earlier I worked on the Deep Space 1 Remote Agent experiment, model-based diagnosis, and the SysML–Modelica transformation specification.

Lately most of my work is in Lean 4: machine-checked parsers and semantics, formalizations of metrology (kinds of property, units, uncertainty), SysML v2 execution semantics, and provable observability for F´ flight software.

Interests

Recent publications

  1. An Engineering Life-Cycle Assurance Process for Autonomous Space Systems Alessandro Pinto, Caleb Wagner, Klaus Havelund, Nicolas Rouquette. Proceedings - IEEE Aerospace Conference, 2026. doi
  2. Autonomous Onboard Planning, Execution and Resource Management for the Endurance Lunar Rover Michel D. Ingham, Zaki Hasnain, Steven Ardito, Saptarshi Bandyopadhyay, Tristan D. Hasseler, Bennett Huffmann, Katharine Patterson, Gregg Rabideau, Nicolas Rouquette, Tiago Vaquero. 2026. doi
  3. Supervised and Unsupervised Methods for Detecting Anomalies in an Autonomous Long-Range Lunar Rover Sofie Claridge, Jack Patterson, Zaki Hasnain, Ashish Goel, Katharine Patterson, Nicolas Rouquette, Caleb Wagner, Tristan D. Hasseler, Michel D. Ingham. PHM Society European Conference, 2026. doi pdf
  4. Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia. ACM Transactions on Cyber-Physical Systems, 2025. doi pdf dblp 11 cites
  5. openCAESAR Application to Power Balance Analysis in Early Space Mission Formulation Yuta Nakajima, Haruhi Katsumata, Daiki Tate, Yutaka Komatsu, Aaron Levitt, J. Steven Jenkins, Maged Elaasar, Nicolas F. Rouquette, David A. Wagner. MODELS-C, 2025. doi dblp 3 cites
  6. Codiscovering graphical structure and functional relationships within data: A Gaussian Process framework for connecting the dots Théo Bourdais, Pau Batlle, Xianjin Yang, Ricardo Baptista, Nicolas Rouquette, Houman Owhadi. Proceedings of the National Academy of Sciences, 2024. doi pdf 7 cites

All 72 publications →

Code