Publications
“A Domain-Specific Modeling Approach to the Auto-Generation of VHDL Core Wrappers”, University of Arizona, 2011.
, “Metamodel Driven Model Migration”, Vanderbilt University, Nashville, TN 37203, 2003.
, “A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations”, University of Arizona, Tucson, AZ, 2014.
, “Model Integrated Program Synthesis of Agent Negotiation Protocols”, Vanderbilt University, Nashville, TN 37203, 2000.
, “Model Transformation by Domain-Specific Models”, University of Arizona, 2011.
, “Modeling the Messaging and Component Interfaces of Autonomous Systems”, University of Arizona, 2011.
, “Provable Detection Of Moving Targets With Reliable Sensors”, University of Arizona, 2011.
,