Publications

Export 43 results:

] Keyword Title Type Year

Filters: Author is Sprinkle, Jonathan [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

S

J. Sprinkle, Shakernia, O., Miller, R., and S. Sastry, S., “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.

J. Sprinkle, J. Eklund, M., and S. Sastry, S., “Toward Design Parameterization Support for Model Predictive Control”, in IEEE 4th International Conference on Intelligent Systems Design and Application, 2004.

J. Sprinkle, van Buskirk, C. P., and Karsai, G., “Modeling Agent Negotiation”, in Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, 2000, vol. 1, pp. 454–459.

J. Sprinkle, Rumpe, B., Vangheluwe, H., and Karsai, G., “Metamodelling”, in Model-Based Engineering of Embedded Real-Time Systems, vol. 6100, Springer, 2010, pp. 59–78.

J. Sprinkle, J. Eklund, M., and S. Sastry, S., “Deciding to Land a UAV Safely in Real Time”, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.

J. Sprinkle, “Generative Components for Hybrid Systems Tools”, in Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop, 2004.

J. Sprinkle, “Metamodel Driven Model Migration”, Vanderbilt University, Nashville, TN 37203, 2003.

J. Sprinkle and Eames, B., “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.

J. Sprinkle and Eames, B., “Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems”, in 9th OOPSLA Workshop on Domain-Specific Modeling, 2009, pp. 119–124.

J. Sprinkle, “User’s Guide to the PublicationsDatabase”. 2005.

J. Sprinkle, J. Eklund, M., H. Kim, J., and S. Sastry, S., “Pursuit/Evasion of Fixed-wing Aircraft through Model-Predictive Control”, 2004.

J. Sprinkle, “Model Integrated Program Synthesis of Agent Negotiation Protocols”, Vanderbilt University, Nashville, TN 37203, 2000.

J. Sprinkle, “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.