Publications
“Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems”, in 9th OOPSLA Workshop on Domain-Specific Modeling, 2009, pp. 119–124.
, “Domain Translation Using Graph Transformations”, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
, “Deciding to Land a UAV Safely in Real Time”, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
, “Fundamental Limitations in Domain-Specific Language Evolution”, (in preparation), vol. (tbd), p. (in preparation).
, “Robust Control of Autonomous Vehicle Trajectories”, in AIMS, 2016.
, “Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools”, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.
, , “Metamodel Driven Model Migration”, Vanderbilt University, Nashville, TN 37203, 2003.
, “Model Integrated Program Synthesis of Agent Negotiation Protocols”, Vanderbilt University, Nashville, TN 37203, 2000.
, “Metamodelling”, in Model-Based Engineering of Embedded Real-Time Systems, vol. 6100, Springer, 2010, pp. 59–78.
, , “Guest Editors’ Introduction: What Kinds of Nails Need a Domain-Specific Hammer?”, IEEE Software, vol. 26, pp. 15-18, 2009.
, “Domain Evolution in Visual Languages Using Graph Transformations”, in OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages, 2002.
, “A Domain-Specific Modeling Environment Applied to the Design of an Embedded Human System”, in TBD, p. (in preparation).
, “A Paradigm for Teaching Modeling Environment Design”, in OOPSLA’04 Educators Symposium (Poster Session), 2004.
, , “Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems”. IEEE Computer Society, Las Vegas, NV, p. 292, 2011.
, “The New Metamodeling Generation”, in Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2001, pp. 275–279.
, “Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller”, in Proceedings of the 43rd IEEE Conference on Decision and Control, 2004, vol. 3, pp. 2609–2614.
, , “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.
, , “Time-Triggered Buffers for Event-Based Middleware Systems”, Innovations in Systems and Software Engineering, vol. 7, pp. 9–22, 2011.
, , “Model-Integrated Computing”, IEEE Potentials, vol. 23, pp. 28–30, 2004.
, “Managing Intent: The Driving Forces of Model Transformations”, in {UML} 2003, Workshop in Software Model Engineering, 2003.
, “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.
, “Generative Components for Hybrid Systems Tools”, Journal of Object Technology, vol. 4, pp. 35–40, 2005.
, “A Domain-Specific Visual Language for Domain Model Evolution”, Journal of Visual Languages and Computing, vol. 15, pp. 291-307, 2004.
, “Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments”, Transportation Research Part C, vol. 89, 2018.
,