• Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).
  • Notice: Undefined property: stdClass::$biblio_keyword in biblio_category_section() (line 858 of /home/csl/public_html/sites/all/modules/biblio/includes/biblio.pages.inc).

Jonathan Sprinkle

Primary tabs

Export 154 results:
Author [ Keyword(Desc)] Title Type Year
Filters: Author is Tíhamer Levendovszky  [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 
No Keywords
J. Sprinkle, User’s Guide to the PublicationsDatabase. 2005.
T. R. Hansen, Eklund, J. M., Sprinkle, J., Bajcsy, R., and Sastry, S., 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.
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. - P. Tolvanen, Sprinkle, J., and Rossi, M., Eds., 4th OOPSLA Workshop on Domain-Specific Modeling (DSM’04). OOPSLA, Jyväskylä, Finland, 2004.
J. Sprinkle and Karsai, G., A Domain-Specific Visual Language for Domain Model Evolution, Journal of Visual Languages and Computing, vol. 15, pp. 291-307, 2004.
J. Sprinkle, J. Eklund, M., H. Kim, J., and S. Sastry, S., Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller, in Proceedings of the 43rd IEEE Conference on Decision and Control, 2004, vol. 3, pp. 2609–2614.
J. Sprinkle, Forgetting UML (A Useful Guide to Formal Modeling), 2004.
J. Sprinkle, Generative Components for Hybrid Systems Tools, in Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop, 2004.
J. Sprinkle, 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.
J. Sprinkle, Model-Integrated Computing, IEEE Potentials, vol. 23, pp. 28–30, 2004.
J. Sprinkle, Davis, J., and Nordstrom, G., A Paradigm for Teaching Modeling Environment Design, in OOPSLA’04 Educators Symposium (Poster Session), 2004.
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, 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.
T. Meyerowitz, Sprinkle, J., and Sangiovanni-Vincentelli, A., A Visual Language for Describing Instruction Sets and Generating Decoders, in OOPSLA, 4th Workshop on Domain Specific Modeling, 2004, pp. 23–32.
S. Nordstrom, Shetty, S., Chhokra, K. Guarav, Sprinkle, J., Eames, B., and Lédeczi, Á., ANEMIC: Automatic Interface Enabler for Model Integrated Computing, Lecture Notes in Computer Science, vol. 2830, pp. 138–150, 2003.
S. Nordstrom, Shetty, S., Chhokra, K. Guarav, Sprinkle, J., Eames, B., and Lédeczi, Á., ANEMIC: Automatic Interface Enabler for Model Integrated Computing, in Generative Programming and Component Engineering (GPCE ’03), 2003.
J. Sprinkle, Agrawal, A., Levendovszky, T., Shi, F., and Karsai, G., Domain Translation Using Graph Transformations, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
J. Sprinkle, Managing Intent: The Driving Forces of Model Transformations, in {UML} 2003, Workshop in Software Model Engineering, 2003.
J. Sprinkle, Metamodel Based Model Migration, 2003.
J. Sprinkle, Metamodel Driven Model Migration, Vanderbilt University, Nashville, TN 37203, 2003.
J. Sprinkle and Karsai, G., Model Migration through Visual Modeling, in OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling, 2003.
G. Karsai, Agrawal, A., Shi, F., and Sprinkle, J., On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.
C. P. van Buskirk, Dawant, B., Karsai, G., Sprinkle, J., Szokoli, G., Suwanmongkol, K., and Currer, R., Computer-aided aircraft maintenance scheduling, 2002.
J. Sprinkle, Agrawal, A., Levendovszky, T., Shi, F., and Karsai, G., Domain Evolution in Visual Languages Using Graph Transformations, in OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages, 2002.
A. Agrawal, Levendovszky, T., Sprinkle, J., Shi, F., and Karsai, G., Generative Programming via Graph Transformations in the Model-Driven Architecture, in OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, 2002.
Á. Lédeczi, Bakay, Á., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., and Karsai, G., Composing Domain-Specific Design Environments, IEEE Computer, vol. 34, pp. 44–51, 2001.
Á. Lédeczi, Maroti, M., Bakay, Á., Nordstrom, G., Garrett, J. T., Thomason, C., Sprinkle, J., and Volgyesi, P., GME 2000 Users Manual (v2.0), 2001.
J. Sprinkle, Karsai, G., Lédeczi, Á., and Nordstrom, G., The New Metamodeling Generation, in Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2001, pp. 275–279.
J. Sprinkle, Model Integrated Program Synthesis of Agent Negotiation Protocols, Vanderbilt University, Nashville, TN 37203, 2000.
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.