Publications
Export 43 results:
[ Author] Keyword Title Type Year Filters: Author is Sprinkle, Jonathan [Clear All Filters]
“Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems”. IEEE Computer Society, Las Vegas, NV, p. 292, 2011.
, “Model Migration through Visual Modeling”, in OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling, 2003.
, “Model-based design: a report from the trenches of the DARPA Urban Challenge”, Software and Systems Modeling, vol. 8, pp. 551-566, 2009.
, “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.
, “Toward Design Parameterization Support for Model Predictive Control”, in IEEE 4th International Conference on Intelligent Systems Design and Application, 2004.
, “Metamodelling”, in Model-Based Engineering of Embedded Real-Time Systems, vol. 6100, Springer, 2010, pp. 59–78.
, “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.
, “Generative Components for Hybrid Systems Tools”, in Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop, 2004.
, “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.
, “Metamodel Driven Model Migration”, Vanderbilt University, Nashville, TN 37203, 2003.
, “Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems”, in 9th OOPSLA Workshop on Domain-Specific Modeling, 2009, pp. 119–124.
, ,