Journals

Jonathan Sprinkle, "Generative Components for Hybrid Systems Tools", J. of Obj. Tech., vol. 4, no. 3, pp. 35--40, Apr., 2005.

Jonathan Sprinkle, "Model-Integrated Computing", IEEE Potentials, vol. 23, no. 1, pp. 28--30, Feb., 2004.

Jonathan Sprinkle, Gabor Karsai, "A Domain-Specific Visual Language for Domain Model Evolution", J. Vis. Lang. and Comp., vol. 15, no. 3-4, pp. 291-307, Jun., 2004.

Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle, "On the Use of Graph Transformation in the Formal Specification of Model Interpreters", Journal of Universal Computer Science, vol. 9, no. 11, pp. 1296--1321, Nov., 2003.

Steve Nordstrom, Shweta Shetty, Kumar Guarav Chhokra, Jonathan Sprinkle, Brandon Eames, Akos Ledeczi, "ANEMIC: Automatic Interface Enabler for Model Integrated Computing", Lecture Notes in Computer Science, vol. 2830, pp. 138--150, Nov., 2003.

Akos Ledeczi, Arpad Bakay, Miklos Maroti, Peter Volgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai, "Composing Domain-Specific Design Environments", IEEE Computer, pp. 44--51, Nov., 2001.

Invited Journals

Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian Mitchell, S. Shankar Sastry, "Online Safety Calculations for Glideslope Recapture", Innovations in Systems and Software Engineering, vol. 1, no. 2, pp. 157--175 , Sep., 2005.

Conferences

J. Mikael Eklund, Thomas Risgaard Hansen, Jonathan Sprinkle, S. Shankar Sastry, "Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living", 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS), series in Innovation from Biomolecules to Biosystems, 3931--3934 , Shanghai, China, Sep., 1--4, 2005.

Jonathan Sprinkle, Aaron D. Ames, S. Shankar Sastry, "On the Partitioning of Syntax and Semantics For Hybrid Systems Tools", 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), 4694--4699, Seville, Spain, Dec., 12--15, 2005.

Mark L. McKelvin, Jr, Jonathan Sprinkle, Claudio Pinello, Alberto Sangiovanni-Vincentelli, "Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment", 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 229--235 , Greenbelt, Maryland, Apr., 4--5, 2005.

J. Mikael Eklund, Jonathan Sprinkle, S. Shankar Sastry, "Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft", Proceedings of American Control Conference (ACC) 2005, 1509--1514, Portland, OR, Jun., 8--10, 2005.

Jonathan Sprinkle, J. Mikael Eklund, S. Shankar Sastry, "Deciding to Land a UAV Safely in Real Time", Proceedings of American Control Conference (ACC) 2005, 3506--3511, Portland, OR, Jun., 8--10, 2005.

Jonathan Sprinkle, J. Mikael Eklund, S. Shankar Sastry, "Toward Design Parameterization Support for Model Predictive Control", IEEE 4th International Conference on Intelligent Systems Design and Application, IEEE, IEEE Press, Budapest, Hungary, Aug., 26--28, 2004.

Jonathan Sprinkle, James Davis, Greg Nordstrom, "A Paradigm for Teaching Modeling Environment Design", OOPSLA'04 Educators Symposium (Poster Session), ACM, Vancouver, BC, Oct., 24--28, 2004.

Jonathan Sprinkle, "Improving CBS Tool Development with Technological Spaces", Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 218--224 , Brno, Czech Rep., May., 25--27, 2004.

Jonathan Sprinkle, J. Mikael Eklund, H. Jin Kim, S. Shankar Sastry, "Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller", Proceedings of the 43rd IEEE Conference on Decision and Control, vol. 3, 2609--2614, Nassau, Bahamas, Dec., 14--17, 2004.

Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai, "Domain Translation Using Graph Transformations", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 159--168, Apr., 2003.

Steve Nordstrom, Shweta Shetty, Kumar Guarav Chhokra, Jonathan Sprinkle, Brandon Eames, Akos Ledeczi, "ANEMIC: Automatic Interface Enabler for Model Integrated Computing", Generative Programming and Component Engineering (GPCE '03), Erfurt, Germany, Sep., 22, 2003.

Jonathan Sprinkle, Gabor Karsai, Akos Ledeczi, Greg Nordstrom, "The New Metamodeling Generation", Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 275--279, Washington, D.C., Apr., 17--20, 2001.

Jonathan Sprinkle, Christopher P. van Buskirk, Gabor Karsai, "Modeling Agent Negotiation", Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, vol. 1, 454--459, Nashville, TN, Oct., 8--11, 2000.

Dinesh Deva, Jonathan Sprinkle, Greg Nordstrom, Miklos Maroti, "Towards a Standard for Model Specification and Storage", Proceedings of the IEEE Systems, Man, and Cybernetics Conference, Nashville, TN, Oct., 2000.

Workshops

J. Mikael Eklund, Ruzena Bajcsy, Jonathan Sprinkle, Gregory V. Simpson, "Computing Inverse MEG Signals in the Brain", 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 332--335 , Stanford, CA, Aug., 12, 2005.

Trevor Meyerowitz, Jonathan Sprinkle, Alberto Sangiovanni-Vincentelli, "A Visual Language for Describing Instruction Sets and Generating Decoders", OOPSLA, 4th Workshop on Domain Specific Modeling, 23--32, Vancouver, BC, Oct., 25, 2004.

Jonathan Sprinkle, "Generative Components for Hybrid Systems Tools", Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop, Reprinted in J. of Obj. Tech., Vancouver, BC, Oct., 2004.

Jonathan Sprinkle, Gabor Karsai, "Model Migration through Visual Modeling", OOPSLA, Anaheim, CA, Oct., 26, 2003.

Jonathan Sprinkle, "Managing Intent: The Driving Forces of Model Transformations", UML 2003, San Francisco, CA, Oct., 21, 2003.

Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai, "Domain Evolution in Visual Languages Using Graph Transformations", OOPSLA, Seattle, WA, Nov., 4, 2002.

Aditya Agrawal, Tihamer Levendovszky, Jonathan Sprinkle, Feng Shi, Gabor Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Nov., 2002.

Contributed Works

Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Aniruddha Gokhale, Sandeep Neema, Jonathan Sprinkle, "Domain-Specific Modeling", Handbook of Dynamic System Modeling, Paul A. Fishwick ed., pp. (in publication), CRC, 2006.

Invited Workshops

Jonathan Sprinkle, Omid Shakernia, Robert Miller, S. Shankar Sastry, "Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools", IEEE Aerospace Conference, Verification and Validation, Big Sky, MT, Mar., 2005.

Presentations

Jonathan Sprinkle, "Model Based Systems Engineering", 2006.

Jonathan Sprinkle, "Forgetting UML (A Useful Guide to Formal Modeling)", Sep., 2004.

Jonathan Sprinkle, J. Mikael Eklund, H. Jin Kim, S. Shankar Sastry, "Pursuit/Evasion of Fixed-wing Aircraft through Model-Predictive Control", Oct., 2004.

Proceedings

Juha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi, 5th OOPSLA Workshop on Domain-Specific Modeling (DSM'05), Jyvavaskyla, Finland, OOPSLA, University of Jyvavaskyla, Oct., 2005.

Juha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi, 4th OOPSLA Workshop on Domain-Specific Modeling (DSM'04), Jyvavaskyla, Finland, OOPSLA, University of Jyvavaskyla, Oct., 2004.

Academics

Jonathan Sprinkle, "Metamodel Driven Model Migration", Vanderbilt University, Nashville, TN 37203, Aug., 2003.

Jonathan Sprinkle, "Metamodel Based Model Migration", Vanderbilt University, 2015 Terrace Place, Feb., 2003.

Jonathan Sprinkle, "Model Integrated Program Synthesis of Agent Negotiation Protocols", Vanderbilt University, Nashville, TN 37203, Aug., 2000.

Whitepapers

Christopher P. van Buskirk, Benoit Dawant, Gabor Karsai, Jonathan Sprinkle, Gabor Szokoli, Karlkim Suwanmongkol, Russ Currer, "Computer-aided aircraft maintenance scheduling", Vanderbilt University, Tech. Rep., 2015 Terrace Place, ISIS-02-303, Nov., 2002.

Jonathan Sprinkle, Christopher P. van Buskirk, Gabor Karsai, "Analysis and Representation of Clauses in Satisfiability of Constraints", Vanderbilt University, Nashville, TN, ISIS-01-205, Aug., 2001.

Jonathan Sprinkle, "User's Guide to the PublicationsDatabase", v.5.7.11, Jul., 2005.

Akos Ledeczi, Miklos Maroti, Arpad Bakay, Greg Nordstrom, Jason T. Garrett, Chuck Thomason, Jonathan Sprinkle, Peter Volgyesi, "GME 2000 Users Manual (v2.0)", Vanderbilt University, ISIS, Dec., 2001.

	Jonathan Sprinkle, "Generative Components for Hybrid Systems Tools", J. of Obj. Tech., vol. 4, no. 3, pp. 35--40, Apr., 2005.
	Jonathan Sprinkle, "Model-Integrated Computing", IEEE Potentials, vol. 23, no. 1, pp. 28--30, Feb., 2004.
	Jonathan Sprinkle, Gabor Karsai, "A Domain-Specific Visual Language for Domain Model Evolution", J. Vis. Lang. and Comp., vol. 15, no. 3-4, pp. 291-307, Jun., 2004.
	Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle, "On the Use of Graph Transformation in the Formal Specification of Model Interpreters", Journal of Universal Computer Science, vol. 9, no. 11, pp. 1296--1321, Nov., 2003.
	Steve Nordstrom, Shweta Shetty, Kumar Guarav Chhokra, Jonathan Sprinkle, Brandon Eames, Akos Ledeczi, "ANEMIC: Automatic Interface Enabler for Model Integrated Computing", Lecture Notes in Computer Science, vol. 2830, pp. 138--150, Nov., 2003.
	Akos Ledeczi, Arpad Bakay, Miklos Maroti, Peter Volgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai, "Composing Domain-Specific Design Environments", IEEE Computer, pp. 44--51, Nov., 2001.

	J. Mikael Eklund, Thomas Risgaard Hansen, Jonathan Sprinkle, S. Shankar Sastry, "Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living", 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS), series in Innovation from Biomolecules to Biosystems, 3931--3934 , Shanghai, China, Sep., 1--4, 2005.
	Jonathan Sprinkle, Aaron D. Ames, S. Shankar Sastry, "On the Partitioning of Syntax and Semantics For Hybrid Systems Tools", 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), 4694--4699, Seville, Spain, Dec., 12--15, 2005.
	Mark L. McKelvin, Jr, Jonathan Sprinkle, Claudio Pinello, Alberto Sangiovanni-Vincentelli, "Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment", 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 229--235 , Greenbelt, Maryland, Apr., 4--5, 2005.
	J. Mikael Eklund, Jonathan Sprinkle, S. Shankar Sastry, "Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft", Proceedings of American Control Conference (ACC) 2005, 1509--1514, Portland, OR, Jun., 8--10, 2005.
	Jonathan Sprinkle, J. Mikael Eklund, S. Shankar Sastry, "Deciding to Land a UAV Safely in Real Time", Proceedings of American Control Conference (ACC) 2005, 3506--3511, Portland, OR, Jun., 8--10, 2005.
	Jonathan Sprinkle, J. Mikael Eklund, S. Shankar Sastry, "Toward Design Parameterization Support for Model Predictive Control", IEEE 4th International Conference on Intelligent Systems Design and Application, IEEE, IEEE Press, Budapest, Hungary, Aug., 26--28, 2004.
	Jonathan Sprinkle, James Davis, Greg Nordstrom, "A Paradigm for Teaching Modeling Environment Design", OOPSLA'04 Educators Symposium (Poster Session), ACM, Vancouver, BC, Oct., 24--28, 2004.
	Jonathan Sprinkle, "Improving CBS Tool Development with Technological Spaces", Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 218--224 , Brno, Czech Rep., May., 25--27, 2004.
	Jonathan Sprinkle, J. Mikael Eklund, H. Jin Kim, S. Shankar Sastry, "Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller", Proceedings of the 43rd IEEE Conference on Decision and Control, vol. 3, 2609--2614, Nassau, Bahamas, Dec., 14--17, 2004.
	Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai, "Domain Translation Using Graph Transformations", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 159--168, Apr., 2003.
	Steve Nordstrom, Shweta Shetty, Kumar Guarav Chhokra, Jonathan Sprinkle, Brandon Eames, Akos Ledeczi, "ANEMIC: Automatic Interface Enabler for Model Integrated Computing", Generative Programming and Component Engineering (GPCE '03), Erfurt, Germany, Sep., 22, 2003.
	Jonathan Sprinkle, Gabor Karsai, Akos Ledeczi, Greg Nordstrom, "The New Metamodeling Generation", Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 275--279, Washington, D.C., Apr., 17--20, 2001.
	Jonathan Sprinkle, Christopher P. van Buskirk, Gabor Karsai, "Modeling Agent Negotiation", Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, vol. 1, 454--459, Nashville, TN, Oct., 8--11, 2000.
	Dinesh Deva, Jonathan Sprinkle, Greg Nordstrom, Miklos Maroti, "Towards a Standard for Model Specification and Storage", Proceedings of the IEEE Systems, Man, and Cybernetics Conference, Nashville, TN, Oct., 2000.

	J. Mikael Eklund, Ruzena Bajcsy, Jonathan Sprinkle, Gregory V. Simpson, "Computing Inverse MEG Signals in the Brain", 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 332--335 , Stanford, CA, Aug., 12, 2005.
	Trevor Meyerowitz, Jonathan Sprinkle, Alberto Sangiovanni-Vincentelli, "A Visual Language for Describing Instruction Sets and Generating Decoders", OOPSLA, 4th Workshop on Domain Specific Modeling, 23--32, Vancouver, BC, Oct., 25, 2004.
	Jonathan Sprinkle, "Generative Components for Hybrid Systems Tools", Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop, Reprinted in J. of Obj. Tech., Vancouver, BC, Oct., 2004.
	Jonathan Sprinkle, Gabor Karsai, "Model Migration through Visual Modeling", OOPSLA, Anaheim, CA, Oct., 26, 2003.
	Jonathan Sprinkle, "Managing Intent: The Driving Forces of Model Transformations", UML 2003, San Francisco, CA, Oct., 21, 2003.
	Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai, "Domain Evolution in Visual Languages Using Graph Transformations", OOPSLA, Seattle, WA, Nov., 4, 2002.
	Aditya Agrawal, Tihamer Levendovszky, Jonathan Sprinkle, Feng Shi, Gabor Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Nov., 2002.

	Jonathan Sprinkle, "Model Based Systems Engineering", 2006.
	Jonathan Sprinkle, "Forgetting UML (A Useful Guide to Formal Modeling)", Sep., 2004.
	Jonathan Sprinkle, J. Mikael Eklund, H. Jin Kim, S. Shankar Sastry, "Pursuit/Evasion of Fixed-wing Aircraft through Model-Predictive Control", Oct., 2004.

	Jonathan Sprinkle, "Metamodel Driven Model Migration", Vanderbilt University, Nashville, TN 37203, Aug., 2003.
	Jonathan Sprinkle, "Metamodel Based Model Migration", Vanderbilt University, 2015 Terrace Place, Feb., 2003.
	Jonathan Sprinkle, "Model Integrated Program Synthesis of Agent Negotiation Protocols", Vanderbilt University, Nashville, TN 37203, Aug., 2000.

	Christopher P. van Buskirk, Benoit Dawant, Gabor Karsai, Jonathan Sprinkle, Gabor Szokoli, Karlkim Suwanmongkol, Russ Currer, "Computer-aided aircraft maintenance scheduling", Vanderbilt University, Tech. Rep., 2015 Terrace Place, ISIS-02-303, Nov., 2002.
	Jonathan Sprinkle, Christopher P. van Buskirk, Gabor Karsai, "Analysis and Representation of Clauses in Satisfiability of Constraints", Vanderbilt University, Nashville, TN, ISIS-01-205, Aug., 2001.
	Jonathan Sprinkle, "User's Guide to the PublicationsDatabase", v.5.7.11, Jul., 2005.
	Akos Ledeczi, Miklos Maroti, Arpad Bakay, Greg Nordstrom, Jason T. Garrett, Chuck Thomason, Jonathan Sprinkle, Peter Volgyesi, "GME 2000 Users Manual (v2.0)", Vanderbilt University, ISIS, Dec., 2001.