Publications /HomePage

(redirected from Main.Publications)

Publications and Talks

See my BibTeX file for citation information. This page is generated from it, using the bibtexref package.

To ensure that the UTF-8 encoded diacritical marks in authors' names are correctly displayed in your LaTeX file (e.g., Ákos Lédeczi or Árpad Bakay): 

 \usepackage[utf8]{inputenc}

Papers recently accepted, but not yet published

These papers are not sorted by publication type.

  1. Jonathan Sprinkle, Marjan Mernik, Juha-Pekka Tolvanen and Diomidis Spinellis. "Special Issue on Domain-Specific Languages and Modeling." IEEE Software, 26(4):(accepted), 2009. (Cite)
  2. Jerry Ding, Jonathan Sprinkle and S. Shankar Sastry and Claire Tomlin. "Reachability Calculations for Automated Aerial Refueling." In IEEE Conference on Decision and Control. December, (in publication). IEEE, 2008. (Cite)

Papers recently submitted, or in preparation, but not yet evaluated

These papers are not sorted by publication type.

  1. Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Ingar Grøtli , Ben Upcroft Alex Makarenko, Will Uther, Hugh Durrant-Whyte and S. Shankar Sastry. "Model-Based Design: A report from the trenches of the DARPA Urban Challenge." Software and Systems Modeling, (tbd):(submitted), 2009. (Cite)
  2. Jonathan Sprinkle and Brandon Eames. "On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle." In 15th IEEE Real-Time and Embedded Technology and Applications Symposium. apr, (submitted). IEEE, 2009. (Cite)
  3. J. Mikael Eklund, Jonathan Sprinkle and S. Shankar Sastry. "Symmetric and Asymmetric Pursuit Evasion Games With Model Predictive Control." IEEE Transactions on Control Systems Technology, (tbd):(in preparation), 2009. (Cite)
  4. Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Grøtli, Pannag R Sanketi, Michael Moser and S. Shankar Sastry. "Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data.". (Cite)
  5. Jonathan Sprinkle, Jeffrey Gray and Marjan Mernik. "Fundamental Limitations in Domain-Specific Language Evolution." IEEE Transactions on Software Engineering, (tbd):(in preparation). (Cite)

Journals and Magazines

  1. Jonathan Sprinkle, Marjan Mernik, Juha-Pekka Tolvanen and Diomidis Spinellis. "Special Issue on Domain-Specific Languages and Modeling." IEEE Software, 26(4):(accepted), 2009. (Cite)
  2. J. Mikael Eklund, Jonathan Sprinkle and S. Shankar Sastry. "Symmetric and Asymmetric Pursuit Evasion Games With Model Predictive Control." IEEE Transactions on Control Systems Technology, (tbd):(in preparation), 2009. (Cite)
  3. Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Ingar Grøtli , Ben Upcroft Alex Makarenko, Will Uther, Hugh Durrant-Whyte and S. Shankar Sastry. "Model-Based Design: A report from the trenches of the DARPA Urban Challenge." Software and Systems Modeling, (tbd):(submitted), 2009. (Cite)
  4. Jonathan Sprinkle. "Generative Components for Hybrid Systems Tools." Journal of Object Technology, 4(3):35-40, 2005. (Cite)
  5. Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian Mitchell and S. Shankar Sastry. "Online Safety Calculations for Glideslope Recapture." Innovations in Systems and Software Engineering, 1(2):157-175, 2005. (Cite)
  6. Jonathan Sprinkle. "Model-Integrated Computing." IEEE Potentials, 23(1):28-30, 2004. (Cite)
  7. Jonathan Sprinkle and Gábor Karsai. "A Domain-Specific Visual Language for Domain Model Evolution." Journal of Visual Languages and Computing, 15(3-4):291-307, 2004. (Cite)
  8. Steve Nordstrom, Shweta Shetty, Kumar Guarav Chhokra, Jonathan Sprinkle, Brandon Eames and Ákos Lédeczi. "ANEMIC: Automatic Interface Enabler for Model Integrated Computing." Lecture Notes in Computer Science, 2830:138-150, 2003. (Cite)
  9. Gábor Karsai, Aditya Agrawal, Feng Shi and Jonathan Sprinkle. "On the Use of Graph Transformation in the Formal Specification of Model Interpreters." Journal of Universal Computer Science, 9(11):1296-1321, 2003. (Cite)
  10. Ákos Lédeczi, Árpad Bakay, Miklos Maroti, Péter Volgyesi, Greg Nordstrom, Jonathan Sprinkle and Gábor Karsai. "Composing Domain-Specific Design Environments." IEEE Computer, 34(11):44-51, 2001. (Cite)
  11. Jonathan Sprinkle, Jeffrey Gray and Marjan Mernik. "Fundamental Limitations in Domain-Specific Language Evolution." IEEE Transactions on Software Engineering, (tbd):(in preparation). (Cite)

Books and Book Chapters

  1. Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Aniruddha Gokhale, Sandeep Neema and Jonathan Sprinkle. "Domain-Specific Modeling." In Handbook of Dynamic System Modeling, pages 7-1-7-20. . Chapman \& Hall/CRC, 2007. (Cite)

Proceedings

  1. "8th OOPSLA Workshop on Domain-Specific Modeling (DSM'08)." (Jeff Gray and Jonathan Sprinkle and Matti Rossi and Juha-Pekka Tolvanen, Eds.), OOPSLA, University of Alabama at Birmingham, 2008. (Cite)
  2. "7th OOPSLA Workshop on Domain-Specific Modeling (DSM'07)." (Jonathan Sprinkle and Jeff Gray and Matti Rossi and Juha-Pekka Tolvanen, Eds.), Jyväskylä, Finland, OOPSLA, University of Jyväskylä, 2007. (Cite)
  3. "6th OOPSLA Workshop on Domain-Specific Modeling (DSM'06)." (Juha-Pekka Tolvanen and Jeff Gray and Jonathan Sprinkle, Eds.), Jyväskylä, Finland, OOPSLA, University of Jyväskylä, 2006. (Cite)
  4. "5th OOPSLA Workshop on Domain-Specific Modeling (DSM'05)." (Juha-Pekka Tolvanen and Jonathan Sprinkle and Matti Rossi, Eds.), Jyväskylä, Finland, OOPSLA, University of Jyväskylä, 2005. (Cite)
  5. "4th OOPSLA Workshop on Domain-Specific Modeling (DSM'04)." (Juha-Pekka Tolvanen and Jonathan Sprinkle and Matti Rossi, Eds.), Jyväskylä, Finland, OOPSLA, University of Jyväskylä, 2004. (Cite)

Conferences and Workshops

  1. Jonathan Sprinkle and Brandon Eames. "On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle." In 15th IEEE Real-Time and Embedded Technology and Applications Symposium. apr, (submitted). IEEE, 2009. (Cite)
  2. Humberto Gonzalez, Esten I. Grøtli, Todd R. Templeton, Jan O. Biermeyer, Jonathan Sprinkle and S. Shankar Sastry. "Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems." In AAET: Automation, Assistance, and Embedded Systems for Transportation. February 13--14, . Technical University, Braunschweig, 2008. (Cite)
  3. Jerry Ding, Jonathan Sprinkle and S. Shankar Sastry and Claire Tomlin. "Reachability Calculations for Automated Aerial Refueling." In IEEE Conference on Decision and Control. December, (in publication). IEEE, 2008. (Cite)
  4. Tapasya Patki, Hussain Al-Helal, Jacob Gulotta, Jason Hansen and Jonathan Sprinkle. "Using Integrative Modeling for Advanced Heterogeneous System Simulation." In The 8th OOPSLA Workshop on Domain-Specific Modeling. October 19-20, pages 80-85, 2008. (Cite)
  5. J. Mikael Eklund, Jonathan Sprinkle, Todd Templeton and S. Shankar Sastry. "Transitioning Intelligence to Embedded Platforms." In AVT-146 Symposium on "PlatformInnovations and System Integration forUnmanned Air, Land and Sea Vehicles". May, . NATO, 2007. (Cite)
  6. J. Mikael Eklund, Jonathan Sprinkle and S. Shankar Sastry. "Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft." In Proceedings of American Control Conference (ACC) 2005. June, pages 1509-1514, 2005. (Cite)
  7. Jonathan Sprinkle, J. Mikael Eklund and S. Shankar Sastry. "Deciding to Land a UAV Safely in Real Time." In Proceedings of American Control Conference (ACC) 2005. June, pages 3506-3511, 2005. (Cite)
  8. J. Mikael Eklund, Ruzena Bajcsy, Jonathan Sprinkle and Gregory V. Simpson. "Computing Inverse MEG Signals in the Brain." In 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity. August, pages 332-335, 2005. (Cite)
  9. Mark L. McKelvin, Jr, Jonathan Sprinkle, Claudio Pinello and Alberto Sangiovanni-Vincentelli. "Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment." In 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. April, pages 229-235, 2005. (Cite)
  10. Jonathan Sprinkle, Omid Shakernia, Robert Miller and S. Shankar Sastry. "Using the Hybrid Systems Interchange Format to Input Design Models to Verification \& Validation Tools." In IEEE Aerospace Conference, Verification and Validation. March, 2005. (Cite)
  11. J. Mikael Eklund, Thomas Risgaard Hansen, Jonathan Sprinkle and S. Shankar Sastry. "Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living." In 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS). September, pages 3931-3934, 2005. (Cite)
  12. Jonathan Sprinkle, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng and S. Shankar Sastry. "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). December, pages 4694-4699, 2005. (Cite)
  13. Jonathan Sprinkle. "Improving CBS Tool Development with Technological Spaces." In Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. May, pages 218-224, 2004. (Cite)
  14. Jonathan Sprinkle, J. Mikael Eklund and S. Shankar Sastry. "Toward Design Parameterization Support for Model Predictive Control." In IEEE 4th International Conference on Intelligent Systems Design and Application. August. IEEE Press, . IEEE, 2004. (Cite)
  15. Jonathan Sprinkle, James Davis and Greg Nordstrom. "A Paradigm for Teaching Modeling Environment Design." In OOPSLA'04 Educators Symposium (Poster Session). October, . ACM, 2004. (Cite)
  16. Jonathan Sprinkle, J. Mikael Eklund, H. Jin Kim and S. Shankar Sastry. "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. December, pages 2609-2614, 2004. (Cite)
  17. Trevor Meyerowitz, Jonathan Sprinkle and Alberto Sangiovanni-Vincentelli. "A Visual Language for Describing Instruction Sets and Generating Decoders." In OOPSLA, 4th Workshop on Domain Specific Modeling. October, pages 23-32, 2004. (Cite)
  18. Jonathan Sprinkle. "Generative Components for Hybrid Systems Tools." In Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop. October. Reprinted in J. of Obj. Tech., 2004. (Cite)
  19. Jonathan Sprinkle, Aditya Agrawal, Tíhamer Levendovszky, Feng Shi and Gábor Karsai. "Domain Translation Using Graph Transformations." In Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. April, pages 159-168, 2003. (Cite)
  20. Jonathan Sprinkle. "Managing Intent: The Driving Forces of Model Transformations." In {UML} 2003, Workshop in Software Model Engineering. October, 2003. (Cite)
  21. Jonathan Sprinkle and Gábor Karsai. "Model Migration through Visual Modeling." In OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling. October, 2003. (Cite)
  22. Steve Nordstrom, Shweta Shetty, Kumar Guarav Chhokra, Jonathan Sprinkle, Brandon Eames and Ákos Lédeczi. "ANEMIC: Automatic Interface Enabler for Model Integrated Computing." In Generative Programming and Component Engineering (GPCE '03). September, 2003. (Cite)
  23. Aditya Agrawal, Tíhamer Levendovszky, Jonathan Sprinkle, Feng Shi and Gábor Karsai. "Generative Programming via Graph Transformations in the Model-Driven Architecture." In OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture. November, 2002. (Cite)
  24. Jonathan Sprinkle, Aditya Agrawal, Tíhamer Levendovszky, Feng Shi and Gábor Karsai. "Domain Evolution in Visual Languages Using Graph Transformations." In OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages. November, 2002. (Cite)
  25. Jonathan Sprinkle, Gábor Karsai, Ákos Lédeczi and Greg Nordstrom. "The New Metamodeling Generation." In Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. April, pages 275-279, 2001. (Cite)
  26. Jonathan Sprinkle, Christopher P. van Buskirk and Gábor Karsai. "Modeling Agent Negotiation." In Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics. October, pages 454-459, 2000. (Cite)
  27. Dinesh Deva, Jonathan Sprinkle, Greg Nordstrom and Miklos Maroti. "Towards a Standard for Model Specification and Storage." In Proceedings of the IEEE Systems, Man, and Cybernetics Conference. October, 2000. (Cite)
  28. Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Grøtli, Pannag R Sanketi, Michael Moser and S. Shankar Sastry. "Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data.". (Cite)

Academic

  1. Jonathan Sprinkle. "Metamodel Driven Model Migration." PhD thesis, Vanderbilt University, 2003. (Cite)
  2. Jonathan Sprinkle. "Model Integrated Program Synthesis of Agent Negotiation Protocols." Master's thesis, Vanderbilt University, 2000. (Cite)

Technical Reports

  1. Ben Upcroft, Michael Moser, Alexi Makarenko, David Johnson, Ashod Donikan, Alen Alempijevic, Robert Fitch, William Uther, Jan Biermeyer, Humberto Gonzalez, Esten Ingar Grøtli, Todd Templeton, Vason P. Srini and Jonathan Sprinkle. "DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team." Technical report, University of Sydney; University of Technology, Sydney; University of California, Berkeley, 2007. (Cite)
  2. Jonathan Sprinkle. "Metamodel Based Model Migration." Technical report, Vanderbilt University, 2003. (Cite)
  3. Christopher P. van Buskirk, Benoit Dawant, Gábor Karsai, Jonathan Sprinkle, Gabor Szokoli, Karlkim Suwanmongkol and Russ Currer. "Computer-aided aircraft maintenance scheduling." Tech. Rep. ISIS-02-303, Vanderbilt University, 2002. (Cite)
  4. Jonathan Sprinkle, Christopher P. van Buskirk and Gábor Karsai. "Analysis and Representation of Clauses in Satisfiability of Constraints." Technical report ISIS-01-205, Vanderbilt University, 2001. (Cite)

Talks

  • "On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle", University of Arizona Joint Seminar (CS/ECE), 7 November 2008.
  • "When can a UAV get smart with its operator, and say 'NO!'?", UC Berkeley Chess Seminar, 15 April 2008.
  • "Great Fakes; Less Field Testing", Academic Panel, at National Workshop on High-Confidence Automotive Cyber-Physical Systems, Troy, MI, April 3-4, 2008.
  • "The Low-Low-Low Cost DARPA Grand Challenge", Cyber-Physical Systems, a Birds-of-a-feather meeting, at RTSS in Tucson, December 3, 2007.
  • "Autonomous Systems, Modeling, and Code Generation", Computer Engineering Seminar, University of Arizona ECE Department, 4 October, 2007.
  • "Model-Based Systems Engineering", UA Engineering Industrial Advisory Board, 29 September, 2007.

External Publications Links