Publications
Export 21 results:
Author Keyword Title [ Type
Filters: First Letter Of Last Name is A [Clear All Filters]
“Provable Detection Of Moving Targets With Reliable Sensors”, University of Arizona, 2011.
, “On the Use of Graph Transformation in the Formal Specification of Model Interpreters”, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.
, , “Online Safety Calculations for Glideslope Recapture”, Innovations in Systems and Software Engineering, vol. 1, pp. 157–175, 2005.
, , “Power Efficient Vehicular Ad Hoc Networks”, WInnComm. Reston, VA, pp. 26-31, 2016.
, “Validation of a CRV Model Using TVWS Measurements”, in Proceedings of SDR-WinnComm 2017 Wireless Innovation Conference on Wireless Communications Technologies and Software Defined Radio, San Diego, California, 2017.
Validation of a CRV Model Using TVWS Measurements.pdf (719.32 KB)
, 
“Using Integrative Models in an Advanced Heterogeneous System Simulation”, in IEEE International Conference on the Engineering of Computer-Based Systems, Los Alamitos, CA, USA, 2009, pp. 3-10.
, “Using Integrative Modeling for Advanced Heterogeneous System Simulation”, in The 8th OOPSLA Workshop on Domain-Specific Modeling, 2008, pp. 80-85.
, “UAV Search : Maximizing Target Acquisition”, in 17th IEEE Conference on the Engineering of Computer Based Systems, 2010, pp. 9–19.
, “Reinforcement Learning for Autonomous Driving using CAT Vehicle Testbed”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Reinforcement Learning for Autonomous Driving.pdf (488.41 KB)
, 
“On the Partitioning of Syntax and Semantics For Hybrid Systems Tools”, in 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05), 2005, pp. 4694–4699.
, “Intersection Management via the Opportunistic Organization of Platoons by Route”, in WinnComm 2016, 2015.
, “Generative Programming via Graph Transformations in the Model-Driven Architecture”, in OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, 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 Language for Test World Creation”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Domain Specific Modeling Language for Test World Creation.pdf (77.75 KB)
, 
“Domain Evolution in Visual Languages Using Graph Transformations”, in OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages, 2002.
, “Constrained data acquisition for mobile citizen science applications”, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
, “Cognitive Engine Testbed for Vehicular Communications”, in CAT Vehicle Research Experience for Undergraduates, Tucson, Arizona, 2018.
Cognitive Engine Testbed for Vehicular Communications.pdf (1.69 MB)
, 
“Cognitive Engine Testbed for Vehicular Communications”, in CAT Vehicle Research Experience for Undergraduates, Tucson, Arizona, 2018.
Cognitive Engine Testbed for Vehicular Communications.pdf (1.69 MB)
, 
“Citizen Science in Support of Vegetation Index and Phenology Research”, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
,