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. Ben Upcroft, Alexei Makarenko, Alex Brooks, Michael Moser, Alen Alempijevic, Ashod Donikian, Jonathan Sprinkle, William Uther and and Robert Fitch. "Empirical Evaluation of an Autonomous Vehicle in an Urban Environment." In TBD, (accepted). . Spring, 2010. (Cite)
  2. Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe and Gabor Karsai. "Metamodelling: State of the Art, and Research Challenges." In Model-Based Engineering of Embedded Real-Time Systems, (accepted). . Springer, 2009. (Cite)
  3. Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle and Hans Vangheluwe. "Model Evolution and Management." In Model-Based Engineering of Embedded Real-Time Systems, (accepted). . Springer, 2009. (Cite)
  4. Andreas Schuster and Jonathan Sprinkle. "Synthesizing Executable Simulations from Structural Models of Component-Based Systems." In 3rd International Workshop on Multi-Paradigm Modeling., (accepted), October, 2009. (Cite)
  5. Jonathan Sprinkle and Brandon Eames. "Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems." In 9th OOPSLA Workshop on Domain-Specific Modeling., (accepted), October, 2009. (Cite)
  6. Andreas Schuster and Jonathan Sprinkle. "Synthesizing Executable Simulations from Structural Models of Component-Based Systems." Electronic Communications of the EASST, 21:(in publication), 2009. (Cite)

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

These papers are not sorted by publication type.

  1. Jonathan Sprinkle. "Codesign of Human-In-The-Loop Systems with a Domain-Specific Modeling Interface." In Hybrid Systems: Computation and Control., (under review), 2010. (Cite)
  2. Roman Lysecky, Jonathan Sprinkle, Jerzy Rozenblit and Michael Marcellin. "A Technique for Data-Adaptable Reconfigurable Embedded Systems." IEEE Embedded Systems Letters, tbd(tbd):(under review), 2010. (Cite)
  3. Jonathan Sprinkle and Brandon Eames. "Time-Triggered Buffers for Event-Based Middleware Systems." Innovations in Software and Systems Engineering, tbd(tbd):(under review), 2010. (Cite)
  4. Jonathan Sprinkle, Jeffrey Gray and Marjan Mernik. "Fundamental Limitations in Domain-Specific Language Evolution." IEEE Transactions on Software Engineering, (tbd):(under review), 2010. (Cite)
  5. Diyang Chu, Jonathan Sprinkle, Ryan Randall and Sergey Shkarayev. "Automatic Controls for Transition Maneuvers of VTOL Micro Air Vehicle." AIAA Guidance, Navigation and Dynamics, tbd(tbd):(in preparation), 2010. (Cite)
  6. Jerry Ding, Jonathan Sprinkle, Claire Tomlin, S. Shankar Sastry and James L. Paunicka. "Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction." AIAA Guidance, Navigation, and Dynamics, tbd(tbd):(in preparation), 2010. (Cite)
  7. Diyang Chu, Jacob Gulotta and Jonathan Sprinkle. "An Integrated Camera and Controller Approach to Aerial Search." IEEE Transactions on Systems, Man, and Cybernetics---Part B: Cybernetics, tbd(tbd):(in preparation), 2010. (Cite)
  8. Hussain Al-Helal, Maribel Hudson and Jonathan Sprinkle. "Synthesizing Evidence for Semantically Transformed Dataflow Graphs." In International Conference on Model Transformations., (in preparation), tbd, 2010. (Cite)
  9. 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)
  10. Jonathan Sprinkle and Brandon Eames. "On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle." In (TBD)., (in preparation). IEEE, 2009. (Cite)
  11. 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)

Journals and Magazines

  1. Andreas Schuster and Jonathan Sprinkle. "Synthesizing Executable Simulations from Structural Models of Component-Based Systems." Electronic Communications of the EASST, 21:(in publication), 2009. (Cite)
  2. Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Ingar Grøtli, Ben Upcroft, Alex Makarenko, Will Uther, Michael Moser, Robert Fitch, Hugh Durrant-Whyte and S. Shankar Sastry. "Model-based design: a report from the trenches of the DARPA Urban Challenge." Software and Systems Modeling, 8(4):551-566, 2009. (Cite)
  3. Jonathan Sprinkle, Marjan Mernik, Juha-Pekka Tolvanen and Diomidis Spinellis. "Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer?" IEEE Software, 26(4):15-18, 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)

Books and Book Chapters

  1. Ben Upcroft, Alexei Makarenko, Alex Brooks, Michael Moser, Alen Alempijevic, Ashod Donikian, Jonathan Sprinkle, William Uther and and Robert Fitch. "Empirical Evaluation of an Autonomous Vehicle in an Urban Environment." In TBD, (accepted). . Spring, 2010. (Cite)
  2. Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe and Gabor Karsai. "Metamodelling: State of the Art, and Research Challenges." In Model-Based Engineering of Embedded Real-Time Systems, (accepted). . Springer, 2009. (Cite)
  3. Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle and Hans Vangheluwe. "Model Evolution and Management." In Model-Based Engineering of Embedded Real-Time Systems, (accepted). . Springer, 2009. (Cite)
  4. 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. "9th OOPSLA Workshop on Domain-Specific Modeling (DSM'09)." (Matti Rossi and Jeff Gray and Juha-Pekka Tolvanen and Jonathan Sprinkle, Eds.), OOPSLA, Helsinki Institute of Technology, 2009. (Cite)
  2. "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)
  3. "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)
  4. "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)
  5. "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)
  6. "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. "Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems." In 9th OOPSLA Workshop on Domain-Specific Modeling., (accepted), October, 2009. (Cite)
  2. Diyang Chu, Jonathan Sprinkle, Ryan Randall and Sergey Shkarayev. "Automatic Controls for Transition Maneuvers of VTOL Micro Air Vehicle." In AIAA Guidance, Navigation and Control Conference., . AIAA, August, 2009. (Cite)
  3. Andreas Schuster and Jonathan Sprinkle. "Synthesizing Executable Simulations from Structural Models of Component-Based Systems." In 3rd International Workshop on Multi-Paradigm Modeling., (accepted), October, 2009. (Cite)
  4. Jacob Gulotta, Diyang Chu, Ximing Yu, Hussain Al-Helal Tapasya Patki, Jason Hansen, Maribel Hudson and Jonathan Sprinkle. "Using Integrative Models in an Advanced Heterogeneous System Simulation." In IEEE International Conference on the Engineering of Computer-Based Systems. Los Alamitos, CA, USA. IEEE Computer Society, pages 3-10, 2009. (Cite)
  5. 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., . Technical University, Braunschweig, February 13--14, 2008. (Cite)
  6. 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., pages 80-85, October 19-20, 2008. (Cite)
  7. Jerry Ding, Jonathan Sprinkle and S. Shankar Sastry and Claire J. Tomlin. "Reachability Calculations for Automated Aerial Refueling." In 47th IEEE Conference on Decision and Control., pages 3706-3712, December, 2008. (Cite)
  8. J. Mikael Eklund, Jonathan Sprinkle, Todd Templeton and S. Shankar Sastry. "Transitioning Intelligence to Embedded Platforms." In AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles"., . NATO, May, 2007. (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., pages 229-235, April, 2005. (Cite)
  10. 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., pages 1509-1514, June, 2005. (Cite)
  11. 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., pages 1-6, March, 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)., pages 4694-4699, December, 2005. (Cite)
  13. 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)., pages 3931-3934, September, 2005. (Cite)
  14. 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., pages 332-335, August, 2005. (Cite)
  15. 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., pages 3506-3511, June, 2005. (Cite)
  16. 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.. IEEE Press, . IEEE, August, 2004. (Cite)
  17. Jonathan Sprinkle, James Davis and Greg Nordstrom. "A Paradigm for Teaching Modeling Environment Design." In OOPSLA'04 Educators Symposium (Poster Session)., . ACM, October, 2004. (Cite)
  18. 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., pages 2609-2614, December, 2004. (Cite)
  19. Jonathan Sprinkle. "Improving CBS Tool Development with Technological Spaces." In Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems., pages 218-224, May, 2004. (Cite)
  20. 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., pages 23-32, October, 2004. (Cite)
  21. Jonathan Sprinkle. "Generative Components for Hybrid Systems Tools." In Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop.. Reprinted in J. of Obj. Tech. October, 2004. (Cite)
  22. 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., pages 159-168, April, 2003. (Cite)
  23. Jonathan Sprinkle and Gábor Karsai. "Model Migration through Visual Modeling." In OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling. October, 2003. (Cite)
  24. 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)
  25. Jonathan Sprinkle. "Managing Intent: The Driving Forces of Model Transformations." In {UML} 2003, Workshop in Software Model Engineering. October, 2003. (Cite)
  26. 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)
  27. 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)
  28. 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., pages 275-279, April, 2001. (Cite)
  29. 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., pages 454-459, October, 2000. (Cite)
  30. 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)

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. Hussain Al-Helal. "UAV Search: Maximising Target Acquisition." IEEE Student Paper Competition, University of Arizona, 2009. (Cite)
  2. 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)
  3. Jonathan Sprinkle. "Metamodel Based Model Migration." Technical report, Vanderbilt University, 2003. (Cite)
  4. 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)
  5. 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

  • "Synthesizing Executable Simulations from Structural Models of Component-Based Systems", Andreas Schuster, Jonathan Sprinkle. Presented at 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, October 6, 2009.
  • "Model-Based Design and Decision Control", presented at the UA Aerospace and Mechanical Engineering Departmental Seminar.
  • "An Introduction to the Theory and Application of Domain-Specific Modeling Languages", presented at the Cognitive Science Society's 2009 Conference in the workshop Large-Scale Cognitive Modeling using Model Integrated Computing, 29 July 2009.
  • "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