selected publications

• conference paper

  • Integrating Safety into MBSE Processes with Formal Methods.  . 2021
  • ArTIC-M&S: An Architecture for Tosca-Based Inter-Cloud Modeling and Simulation.  . 2020
  • RESTful Software Architecture for ROS-based Onboard Mission System for Drones.  AIAA Scitech 2020 Forum. 2020
  • Running High Level Architecture in Real-Time for Flight Simulator Integration.  AIAA Modeling and Simulation Technologies Conference. 2016