Publications
“Proceedings of the 12th Workshop on Domain-specific Modeling”, 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity. ACM, New York, NY, USA, 2012.
, “Proceedings of the 11th Workshop on Domain-Specific Modeling”, ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications. ACM, Portland, OR, 2011.
, “Power Efficient Vehicular Ad Hoc Networks”, WInnComm. Reston, VA, pp. 26-31, 2016.
, “MPM ’12: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling”. ACM, New York, NY, USA, 2012.
, “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.
, “ME ’12: Proceedings of the 6th International Workshop on Models and Evolution”. ACM, New York, NY, USA, 2012.
, “DSM 2015: Proceedings of the Workshop on Domain-Specific Modeling”. ACM, New York, NY, USA, 2015.
, “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)
, “9th OOPSLA Workshop on Domain-Specific Modeling (DSM’09)”. OOPSLA, 2009.
, “8th OOPSLA Workshop on Domain-Specific Modeling (DSM’08)”. OOPSLA, 2008.
, “7th OOPSLA Workshop on Domain-Specific Modeling (DSM’07)”. OOPSLA, Jyväskylä, Finland, 2007.
, “6th OOPSLA Workshop on Domain-Specific Modeling (DSM’06)”. OOPSLA, Jyväskylä, Finland, 2006.
, “5th OOPSLA Workshop on Domain-Specific Modeling (DSM’05)”. OOPSLA, Jyväskylä, Finland, 2005.
, “4th OOPSLA Workshop on Domain-Specific Modeling (DSM’04)”. OOPSLA, Jyväskylä, Finland, 2004.
, “10th Workshop on Domain-Specific Modeling (DSM’10)”. OOPSLA/SPLASH, 2010.
, “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.
, “WiP Abstract: String stability of commercial adaptive cruise control vehicles”, in International Conference on Cyber-Physical Systems, 2019.
, “WiP Abstract: Stabilizing traffic with a single autonomous vehicle”, in 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), 2016, pp. 1-1.
, “A Visual Language for Describing Instruction Sets and Generating Decoders”, in OOPSLA, 4th Workshop on Domain Specific Modeling, 2004, pp. 23–32.
, “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 the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools”, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.
, “Using smart sensors and a camera phone to detect and verify the fall of elderly persons”, in 3rd European Medicine, Biology and Engineering Conference, 2005.
, “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.
, “User-Friendly Method to Optimize the Network of a Cyber-Physical System”, in 85th Annual Meeting of the APS Southeastern Section, Knoxville, Tennessee, 2018. User-Friendly Method to Optimize the Network of a Cyber-Physical System.pdf (6.65 MB)
, “UAV Search : Maximizing Target Acquisition”, in 17th IEEE Conference on the Engineering of Computer Based Systems, 2010, pp. 9–19.
, “Transitioning Intelligence to Embedded Platforms”, in AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles", 2007.
, “Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems”, in AAET: Automation, Assistance, and Embedded Systems for Transportation, 2008.
, “Towards a Standard for Model Specification and Storage”, in Proceedings of the IEEE Systems, Man, and Cybernetics Conference, 2000.
, “Toward ultra high speed locomotors: Design and test of a cheetah robot hind limb”, in Robotics and Automation (ICRA), 2011 IEEE International Conference on, 2011.
,