Publications
“ME ’12: Proceedings of the 6th International Workshop on Models and Evolution”. ACM, New York, NY, USA, 2012.
, “Message Modeling for the Joint Architecture for Unmanned Systems (JAUS)”, in Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, 2011, pp. 251–259.
, “A meta-metamodel for dynamic constraint feedback in modeling languages”, in Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019.
, , “Metamodel Driven Model Migration”, Vanderbilt University, Nashville, TN 37203, 2003.
, “Metamodel-Based Metrics for Complexity of Using a DSML”, Software and Systems Modeling, vol. TBD, p. (in preparation), 2012.
, “Metamodelling”, in Model-Based Engineering of Embedded Real-Time Systems, vol. 6100, Springer, 2010, pp. 59–78.
, “A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations”, University of Arizona, Tucson, AZ, 2014.
, “On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle”, in Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011, pp. 159-168.
, “Mobile Device Software: Model-Based Architectures and Examples”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, p. 215.
, “A Mobile Interface designed for the Safety Verification of Autonomous Vehicle Trajectories”, in ACM Mid-Southeast Conference, Gatlinburg, TN, 2014.
, “Model Based Development with the Skeleton Design Method”, in 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems, 2013, pp. 12-19.
, , “Model Evolution and Management”, in Model-Based Engineering of Embedded Real-Time Systems, vol. 6100, Springer, 2010, pp. 243–272.
, “Model Integrated Program Synthesis of Agent Negotiation Protocols”, Vanderbilt University, Nashville, TN 37203, 2000.
, “Model Migration through Visual Modeling”, in OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling, 2003.
, “Model Predictive Control for Space Missions”, in The First American Model Predictive Control Summer School, 2017.
, “Model Transformation by Domain-Specific Models”, University of Arizona, 2011.
, “Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems”, in 9th OOPSLA Workshop on Domain-Specific Modeling, 2009, pp. 119–124.
, “Model-Based Configuration of a Heterogeneous Human-in-the-loop Command and Control Simulation Environment”, tbd, vol. tbd, p. (in preparation), 2012.
, “Model-based design: a report from the trenches of the DARPA Urban Challenge”, Software and Systems Modeling, vol. 8, pp. 551-566, 2009.
, “Model-based engineering with application to autonomy”, in Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy, Wiley, 2019, pp. 255-285.
, “Model-based Fuzzy Logic Classifier Synthesis for Optimization of Data-Adaptable Embedded Systems”, International Conference on InfoSymbiotics/DDDAS, 2016. Hartford, CT, pp. 293-302, 2016.
, “Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
, “Model-driven Optimization of Data-Adaptable Embedded Systems”, in COMPSAC, 2016, pp. 293-302.
, “Model-Driven Optimization of Data-Adaptable Embedded Systems”, in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), 2016.
, “Modeling Agent Negotiation”, in Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, 2000, vol. 1, pp. 454–459.
, “Modeling and Code Generation with Autonomous Vehicles”, in ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Doctoral Symposium, Innsbruck Austria, 2012.
, “Modeling Autonomous Systems”, AIAA Journal of Aerospace Information Systems, vol. 10, pp. 396-413, 2013.
, ,