Publications
“autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers”, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11, New York, NY, USA, 2011, pp. 71–76.
, “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.
, “The 12th Workshop on Domain-specific Modeling”, in Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, New York, NY, USA, 2012.
, “The 11th Workshop on Domain-specific Modeling”, in Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, New York, NY, USA, 2011.
, “The 11th Workshop on Domain-specific Modeling”, in Proceedings of the Compilation of the Co-located Workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11, New York, NY, USA, 2011.
, “Workshop Preview of the 15th Workshop on Domain Specific Modeling (DSM 2015)”, in Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, New York, NY, USA, 2015.
, “Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves”, International Conference on Cyber-Physical Systems 2019. Montreal, Canada, 2019.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 213-214.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “Task Transition Scheduling for Data-Adaptable Systems”, ACM Transactions on Embedded Computing Systems (TECS), vol. 16, pp. 105:1–105:28, 2017.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems”, in Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on, 2012, pp. 15-23.
, “Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories”, in Proceedings of the Workshop on Domain-Specific Modeling, New York, NY, USA, 2015, pp. 17–22.
, “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.
, “CAN Coach: Vehicular Control through Human Cyber-Physical Systems”, in Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, New York, NY, USA, 2021.
, “Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments”, Transportation Research Part C, vol. 89, 2018.
, “Dissipation of Emergent Traffic Waves in Stop-and-Go Traffic Using a Supervisory Controller”, 57th IEEE Conference on Decision and Control, vol. 57. IEEE, Fontainbleau, Miami Beach, USA, 2018.
Preprint (1.5 MB)
Slides at CDC '18 (6.58 MB)
, 

“Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations”, in NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems, Washington, DC, 2014.
, “CAN Coach: Vehicular Control through Human Cyber-Physical Systems”, in Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, New York, NY, USA, 2021.
, “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.
, “Safety and stability analysis of FollowerStopper”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Safety and stability analysis of FollowerStopper.pdf (2 MB)
, 
“A Fuzzy based approach to Dampen Emergent Traffic Waves”, in CAT Vehicle Research Experience for Undergraduates, The University of Arizona, 2017.
A Fuzzy based approach to Dampen Emergent Traffic Waves.pdf (716.6 KB)
, 
“How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 213-214.
, “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.
,