Publications
“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.
, “The New Metamodeling Generation”, in Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2001, pp. 275–279.
, , “Model-Integrated Computing”, IEEE Potentials, vol. 23, pp. 28–30, 2004.
, “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.
, “Managing Intent: The Driving Forces of Model Transformations”, in {UML} 2003, Workshop in Software Model Engineering, 2003.
, “Teaching students to learn to learn mobile phone programming”, 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. 261–266.
, , “Modeling Languages Applied to Decision Controllers for Embedded Human Systems”, in Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EAsE 2010), 2010, pp. 129–136.
, “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.
, “Model-based design: a report from the trenches of the DARPA Urban Challenge”, Software and Systems Modeling, vol. 8, pp. 551-566, 2009.
, “Improving CBS Tool Development with Technological Spaces”, in Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004, pp. 218–224.
, “7th OOPSLA Workshop on Domain-Specific Modeling (DSM’07)”. OOPSLA, Jyväskylä, Finland, 2007.
, “Analysis of a metamodel to estimate complexity of using a domain-specific language”, in Proceedings of the 10th Workshop on Domain-Specific Modeling, New York, NY, USA, 2010, pp. 13:1–13:6.
, “Toward Design Parameterization Support for Model Predictive Control”, in IEEE 4th International Conference on Intelligent Systems Design and Application, 2004.
, “Online Safety Calculations for Glideslope Recapture”, Innovations in Systems and Software Engineering, vol. 1, pp. 157–175, 2005.
, “Metamodel-Based Metrics for Complexity of Using a DSML”, Software and Systems Modeling, vol. TBD, p. (in preparation), 2012.
, “Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems”, in 9th OOPSLA Workshop on Domain-Specific Modeling, 2009, pp. 119–124.
, “Generative Components for Hybrid Systems Tools”, in Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop, 2004.
, “Model Migration through Visual Modeling”, in OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling, 2003.
, “Domain Translation Using Graph Transformations”, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
, “Robust Control of Autonomous Vehicle Trajectories”, in AIMS, 2016.
, “Modeling Agent Negotiation”, in Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, 2000, vol. 1, pp. 454–459.
, “Deciding to Land a UAV Safely in Real Time”, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
, “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.
, , “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.
,