Publications
Export 20 results:
Author Keyword [ Title
Filters: First Letter Of Last Name is K [Clear All Filters]
“10th Workshop on Domain-Specific Modeling (DSM’10)”. OOPSLA/SPLASH, 2010.
, “Composing Domain-Specific Design Environments”, IEEE Computer, vol. 34, pp. 44–51, 2001.
, , “Domain Evolution in Visual Languages Using Graph Transformations”, in OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages, 2002.
, “Domain Translation Using Graph Transformations”, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
, “Domain-Specific Modeling”, in Handbook of Dynamic System Modeling, Chapman & Hall/CRC, 2007, pp. 7-1–7-20.
, “A Domain-Specific Visual Language for Domain Model Evolution”, Journal of Visual Languages and Computing, vol. 15, pp. 291-307, 2004.
, “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.
, “Generative Programming via Graph Transformations in the Model-Driven Architecture”, in OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, 2002.
, “Metamodelling”, in Model-Based Engineering of Embedded Real-Time Systems, vol. 6100, Springer, 2010, pp. 59–78.
, “Model Migration through Visual Modeling”, in OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling, 2003.
, “Model-Based Configuration of a Heterogeneous Human-in-the-loop Command and Control Simulation Environment”, tbd, vol. tbd, p. (in preparation), 2012.
, “Modeling Agent Negotiation”, in Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, 2000, vol. 1, pp. 454–459.
, “The New Metamodeling Generation”, in Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2001, pp. 275–279.
, “Power Efficient Vehicular Ad Hoc Networks”, WInnComm. Reston, VA, pp. 26-31, 2016.
, , “Real-Time Traffic Lights Identification using YOLOv3 Algorithm For Autonomous Vehicles”, in CAT Vehicle 2020 Technical Reports, 2020.
Yolov3.pdf (2.22 MB)
, 
“Safety and stability analysis of FollowerStopper”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Safety and stability analysis of FollowerStopper.pdf (2 MB)
, 
“Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster)”, in American Control Conference, 2020.
, “On the Use of Graph Transformation in the Formal Specification of Model Interpreters”, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.
,