Publications /HomePage

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. Sean Whitsitt and Jonathan Sprinkle. "Modeling Autonomous Systems." AIAA Journal of Aerospace Computing, Information, and Communication, 2013. (Cite)

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

These papers are not sorted by publication type.

  1. Fahd Shaikh, Wei He, Janet Roveda and Jonathan Sprinkle. "TBD." In TBD., (submitted), 2013. (Cite)
  2. Kun Zhang and Jonathan Sprinkle. "Automobile Localization with Commodity Sensors." (under review), 2013. (Cite)
  3. Jonathan Sprinkle. "Metamodel-Based Metrics for Complexity of Using a DSML." Software and Systems Modeling, TBD(TBD):(in preparation), 2012. (Cite)
  4. Diyang Chu, Jacob Gulotta, Jonathan Sprinkle, Himanshu Neema, Harmon Nine, Nicholas Kottenstette, Graham Hemingway and Janos Sztipanovits. "Model-Based Configuration of a Heterogeneous Human-in-the-loop Command and Control Simulation Environment." tbd, tbd(tbd):(in preparation), 2012. (Cite)
  5. Jonathan Sprinkle, Jeffrey Gray and Marjan Mernik. "Fundamental Limitations in Domain-Specific Language Evolution." (in preparation), (tbd):(in preparation), (tbd). (Cite)
  6. Jonathan Sprinkle. "A Domain-Specific Modeling Environment Applied to the Design of an Embedded Human System." In TBD., (in preparation). (Cite)

Journals and Magazines

  1. Sean Whitsitt and Jonathan Sprinkle. "Modeling Autonomous Systems." AIAA Journal of Aerospace Computing, Information, and Communication, 2013. (Cite)
  2. J. Mikael Eklund, Jonathan Sprinkle and S. Shankar Sastry. "Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control." IEEE Transactions on Control Systems Technology, 20(3):604-620, 2012. (Cite)
  3. Jerry Ding, Jonathan Sprinkle, Claire Tomlin, S. Shankar Sastry and James L. Paunicka. "Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction." AIAA Journal of Guidance, Control, and Dynamics, 35(1):138-152, 2012. (Cite)
  4. Bart Meyers, Manuel Wimmer, Antonio Cicchetti and Jonathan Sprinkle. "A generic in-place transformation-based approach to structured model co-evolution." Electronic Communications of the European Association of Software Science and Technology (EASST), 42:1-13, 2012. (Cite)
  5. Jonathan Sprinkle and Brandon Eames. "Time-Triggered Buffers for Event-Based Middleware Systems." Innovations in Systems and Software Engineering, 7(1):9-22, 2011. (Cite)
  6. Diyang Chu, Jonathan Sprinkle, Ryan Randall and Sergey Shkarayev. "Simulations and Flight Experiments of Transition Maneuvers of a VTOL Micro Air Vehicle." International Journal of Micro Air Vehicles, 2(2):69-89, 2010. (Cite)
  7. Andreas Schuster and Jonathan Sprinkle. "Synthesizing Executable Simulations from Structural Models of Component-Based Systems." Electronic Communications of the European Association of Software Science and Technology (EASST), 21:10 pages, 2009. (Cite)
  8. 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)
  9. 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)
  10. 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)
  11. Jonathan Sprinkle. "Generative Components for Hybrid Systems Tools." Journal of Object Technology, 4(3):35-40, 2005. (Cite)
  12. 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)
  13. Jonathan Sprinkle. "Model-Integrated Computing." IEEE Potentials, 23(1):28-30, 2004. (Cite)
  14. 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)
  15. 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)
  16. Á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 Experience from the DARPA Urban Challenge, pages 273-301. . Springer, 2012. (Cite)
  2. Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe and Gabor Karsai. "Metamodelling." In Model-Based Engineering of Embedded Real-Time Systems, pages 59-78. . Springer, 2010. (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, pages 243-272. . Springer, 2010. (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. "10th Workshop on Domain-Specific Modeling (DSM'10)." (Matti Rossi and Juha-Pekka Tolvanen and Jonathan Sprinkle and Steven Kelly, Eds.), OOPSLA/SPLASH, Aalto University School of Economics, B-120, Aalto-Print, 2010. (Cite)
  2. "9th OOPSLA Workshop on Domain-Specific Modeling (DSM'09)." (Matti Rossi and Jonathan Sprinkle and Jeff Gray and Juha-Pekka Tolvanen, Eds.), OOPSLA, Helsinki School of Economics, 2009. (Cite)
  3. "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)
  4. "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)
  5. "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)
  6. "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)
  7. "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. Sean Whitsitt and Jonathan Sprinkle. "Model Based Development with the Skeleton Design Method." In 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems., (in press), 2013. (Cite)
  2. Kun Zhang and Jonathan Sprinkle. "Model-Based Software Synthesis for a Self-reconfigurable Sensor Network Used in Water Monitoring." In 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems., (in press), 2013. (Cite)
  3. Nathan Sandoval, Casey Mackin, Sean Whitsitt, Roman Lysecky and Jonathan Sprinkle. "System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems." In 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems., (in press), 2013. (Cite)
  4. Sean Whitsitt, Abishek Gopalan, Sangman Cho, Jonathan Sprinkle, Srinivasan Ramasubramanian, Liana Suantak and Jerzy Rozenblit. "On the Extraction and Analysis of a Social Network with Partial Organizational Observation." In Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems., pages 249-256, 2012. (Cite)
  5. Fahd Shaikh, Wei He, Jonathan Sprinkle and Janet Meiling Wang-Roveda. "Identifying key components of variability using Energy based Control." In The 2012 Workshop on Variability Modeling and Characterization (VMC)., 2 pages, 2012. (Cite)
  6. Milakovich, Andrew, Gopinath, Vijay Shankar, Lysecky, Roman and Sprinkle, Jonathan. "Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems." In Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on., pages 15-23, april, 2012. (Cite)
  7. Sean Whitsitt and Jonathan Sprinkle. "A Passenger Comfort Controller for an Autonomous Ground Vehicle." In 51st IEEE Conference on Decision and Control., pages 3380-3385, 2012. (Cite)
  8. Sean Whitsitt and Jonathan Sprinkle. "Message Modeling for the Joint Architecture for Unmanned Systems (JAUS)." In Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems., pages 251-259, April, 2011. (Cite)
  9. Maribel Hudson and Jonathan Sprinkle. "Simplification of Semantically-Rich Model Transformations Through Generated Transformation Blocks." In Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems., pages 260-268, April, 2011. (Cite)
  10. Sprinkle, Jonathan. "Teaching students to learn to learn mobile phone programming." In Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, \&\#38; VMIL'11. New York, NY, USA. ACM, pages 261-266, 2011. (Cite)
  11. Whitsitt, Sean, Barreto, Armando, Hudson, Maribel, Al-Helal, Hussain, Chu, Diyang, Didan, Kamel and Sprinkle, Jonathan. "Constrained data acquisition for mobile citizen science applications." In Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, \&\#38; VMIL'11. New York, NY, USA. ACM, pages 267-272, 2011. (Cite)
  12. Vijay Shankar Gopinath, Jonathan Sprinkle and Roman Lysecky. "Modeling of Data Adaptable Reconfigurable Embedded Systems." In Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems., pages 276-285, April, 2011. (Cite)
  13. Jones, Erica and Sprinkle, Jonathan. "autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers." In Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, \&\#38; VMIL'11. New York, NY, USA. ACM, pages 71-76, 2011. (Cite)
  14. Sachidanand Mahadevan, Vijay Gopinath, Roman Lysecky, Jonathan Sprinkle, Jerzy Rozenblit and Michael Marcellin. "Hardware/Software Communication Middleware for Data Adaptable Embedded Systems." In Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.. IEEE Computer Society Press, pages 34-43, 2011. (Cite)
  15. Jonathan Sprinkle and Brandon Eames. "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., pages 159-168, . IEEE, 2011. (Cite)
  16. Hussain Al-Helal and Jonathan Sprinkle. "UAV Search : Maximizing Target Acquisition." In 17th IEEE Conference on the Engineering of Computer Based Systems., pages 9-19, . IEEE, March, 2010. (Cite)
  17. Jonathan Sprinkle and Diyang Chu. "Modeling Languages Applied to Decision Controllers for Embedded Human Systems." In Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EAsE 2010)., pages 129-136, . IEEE, March, 2010. (Cite)
  18. Whitsitt, Sean, Armando Barreto, Sundaresh Ram, Hussain Al-Helal, Maribel Hudson, Diyang Chu, Jonathan Sprinkle and Kamel Didan. "Citizen Science in Support of Vegetation Index and Phenology Research." In Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE). October, 2010. (Cite)
  19. Jonathan 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. ACM, pages 13:1-13:6, 2010. (Cite)
  20. 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)
  21. Diyang Chu, Jonathan Sprinkle, Ryan Randall and Sergey Shkarayev. "Automatic Control of VTOL Micro Air Vehicle During Transition Maneuver." In AIAA Guidance, Navigation and Control Conference., 16 pages, . AIAA, August, 2009. (Cite)
  22. 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., pages 119-124, October, 2009. (Cite)
  23. 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)
  24. 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)
  25. 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)
  26. 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)
  27. Hansen, T.R., 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. (Cite)
  28. 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)
  29. 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)
  30. 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)
  31. 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)
  32. 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)
  33. 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)
  34. 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)
  35. 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)
  36. 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)
  37. 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)
  38. 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)
  39. 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)
  40. 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)
  41. 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)
  42. Jonathan Sprinkle. "Managing Intent: The Driving Forces of Model Transformations." In {UML} 2003, Workshop in Software Model Engineering. October, 2003. (Cite)
  43. Jonathan Sprinkle and Gábor Karsai. "Model Migration through Visual Modeling." In OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling. October, 2003. (Cite)
  44. 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)
  45. 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)
  46. 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)
  47. 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)
  48. 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)
  49. 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)

Academic

  1. Hussain Al-Helal. "Provable Detection Of Moving Targets With Reliable Sensors." Master's thesis, University of Arizona, 2011. (Cite)
  2. Erica Jones. "A Domain-Specific Modeling Approach to the Auto-Generation of VHDL Core Wrappers." Master's thesis, University of Arizona, 2011. (Cite)
  3. Maribel Hudson. "Model Transformation by Domain-Specific Models." Master's thesis, University of Arizona, 2011. (Cite)
  4. Sean Whitsitt. "Modeling the Messaging and Component Interfaces of Autonomous Systems." Master's thesis, University of Arizona, 2011. (Cite)
  5. Jacob Gulotta. "Automatic Optimization of Models Using Metamodels." Master's thesis, University of Arizona, 2010. (Cite)
  6. Jonathan Sprinkle. "Metamodel Driven Model Migration." PhD thesis, Vanderbilt University, 2003. (Cite)
  7. 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. Jonathan Sprinkle, Jeffrey Gray and Marjan Mernik. "Fundamental Limitations in Domain-Specific Language Evolution." Technical report TR-090831, University of Arizona, 2009. (Cite)
  3. Radha Poovendran, Raj Rajkumar, David Corman, Jim Paunicka, William P. Milam, K Venkatesh Prasad, Shige Wang, Jim Barhorst, Christopher Gill, Sandeep Gupta, Krishna Sampigethaya, Jonathan Sprinkle, Doug Stuart, Wayne Wolf and Rahul Mangharam. "A Community Report of the 2008 High Confidence Transportation Cyber‐ Physical Systems (HCTCPS) Workshop." Technical report, 2009. (Cite)
  4. Jonathan Sprinkle, J. Mikael Eklund and Humberto Gonzalez, Esten Ingar Grøtli and Pannag R Sanketi, Michael Moser and S. Shankar Sastry. "Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data." Technical report, University of California, Berkeley, 2008. (Cite)
  5. 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 and 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)
  6. Jonathan Sprinkle. "Metamodel Based Model Migration." Technical report, Vanderbilt University, 2003. (Cite)
  7. 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)
  8. 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

External Publications Links