selected publications

• academic article

  • Map Meshing Impact on the Efficiency of Nonlinear Set-based Model Predictive Control for Water Quality Assessment.  IFAC-PapersOnLine.  55:105-110. 2022

• blog posting

  • Mercury: a Model for Live Remote Debugging in Reflective Languages.  HAL (Le Centre pour la Communication Scientifique Directe). 2014

• chapter

  • Differential Testing of Simulation-Based Virtual Machine Generators.  Lecture notes in computer science. 103-119. 2022

• conference paper

  • Differential Testing of Simulation-Based Virtual Machine Generators Automatic Detection of VM Generator Semantic Gaps Between Simulation and Generated VMs.  HAL (Le Centre pour la Communication Scientifique Directe). 2022
  • Nonlinear Set-based Model Predictive Control for Exploration: Application to Environmental Missions.  Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics. 230-237. 2022
  • Analyzing permission transfer channels for dynamically typed languages.  . 23-34. 2021
  • A Meta Model Supporting Both Hardware and Smalltalk-Based Execution of Fpga Circuits.  . 1-14. 2015
  • Reifying the reflectogram.  . 2015
  • A methodology for testing mobile autonomous robots.  2011 IEEE/RSJ International Conference on Intelligent Robots and Systems. 1842-1847. 2013

• report

  • Remarkable Challenges of High-Performance Language Virtual Machines.  HAL (Le Centre pour la Communication Scientifique Directe). 2022