Edit from the top of the file...
% File generated by GenerateBibTeX (in GME) % For more information, contact: % Jonathan Sprinkle <sprinkle(at)ieee.org> % (at sign omitted not because i am afraid of spam, but % because it makes some versions of BibTeX throw a warning) % Version:Jan 9 2008 % Generation date:Thu Jan 10 22:56:42 2008
Journals
@INPROCEEDINGS{ c:sprinkle-hscc-2010,
AUTHOR = {Jonathan Sprinkle},
TITLE = {Codesign of Human-In-The-Loop Systems with a Domain-Specific Modeling Interface},
BOOKTITLE = {Hybrid Systems: Computation and Control},
YEAR = {2010},
PAGES = (under review),
}
@ARTICLE{ j:lysecky-esl-2010,
AUTHOR = {Roman Lysecky and Jonathan Sprinkle and Jerzy Rozenblit and Michael Marcellin},
TITLE = {A Technique for Data-Adaptable Reconfigurable Embedded Systems},
JOURNAL = {IEEE Embedded Systems Letters},
VOLUME = {tbd},
NUMBER = {tbd},
PAGES = (under review),
year = {2010},
}
@ARTICLE{ j:chu-gnd-2010,
author = {Diyang Chu and Jonathan Sprinkle and Ryan Randall and Sergey Shkarayev},
title = {Automatic Controls for Transition Maneuvers of {VTOL} Micro Air Vehicle},
JOURNAL = {AIAA Guidance, Navigation and Dynamics},
VOLUME = {tbd},
NUMBER = {tbd},
PAGES = (in preparation),
year = {2010},
}
@ARTICLE{ j:sprinkle-isse-2009,
AUTHOR ={Jonathan Sprinkle and Brandon Eames},
TITLE ={Time-Triggered Buffers for Event-Based Middleware Systems},
JOURNAL ={Innovations in Software and Systems Engineering},
VOLUME ={tbd},
NUMBER ={tbd},
YEAR ={2010},
PAGES =(under review),
}
@ARTICLE{ j:smc-b-camera-controller,
AUTHOR ={Diyang Chu and Jacob Gulotta and Jonathan Sprinkle},
TITLE ={An Integrated Camera and Controller Approach to Aerial Search},
JOURNAL ={IEEE Transactions on Systems, Man, and Cybernetics---Part B: Cybernetics},
VOLUME ={tbd},
NUMBER ={tbd},
YEAR ={2010},
PAGES =(in preparation),
}
@ARTICLE{ j:ding-aiaa-gnd-2010,
author ={Jerry Ding and Jonathan Sprinkle and Claire Tomlin and S. Shankar Sastry and James L. Paunicka},
title ={Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction},
journal ={AIAA Guidance, Navigation, and Dynamics},
volume ={tbd},
number ={tbd},
year ={2010},
pages =(in preparation),
}
@ARTICLE{ j:schuster-eceasst-2009,
author ={Andreas Schuster and Jonathan Sprinkle},
title ={Synthesizing Executable Simulations from Structural Models of Component-Based Systems},
journal ={Electronic Communications of the EASST},
year ={2009},
volume ={21},
note ={{ISSN} 1863-2122},
pages =(in publication),
}
@article{ j:sprinkle-software-2009,
author = {Jonathan Sprinkle and Marjan Mernik and Juha-Pekka Tolvanen and Diomidis Spinellis},
title = {Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer?},
journal ={IEEE Software},
volume = {26},
number = {4},
issn = {0740-7459},
year = {2009},
pages = {15-18},
url = {http://dx.doi.org/10.1109/MS.2009.92},
doi = {10.1109/MS.2009.92},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@ARTICLE{j:sprinkle-tse-2009,
author ={Jonathan Sprinkle and Jeffrey Gray and Marjan Mernik },
title ={Fundamental Limitations in Domain-Specific Language Evolution},
journal ={IEEE Transactions on Software Engineering},
year ={2010},
volume =(tbd),
pages =(under review),
Abstract ={In this paper we address language engineering issues surrounding domain-specific
modeling languages (DSMLs). By definition, such languages track the domain, meaning that changes to the domain require changes to the DSML in order to provide an intuitive specification of domain-specific programs or models. For this work, our primary focus is on fundamental limitations that affect the preservation of semantics during domain model evolution. We specifically address fundamental limitations in semantics-preserving transformations, and/or the implementation of algorithms that specify such transformations. This work has profound implications for language engineers who are planning for the maintenance of models, or designing model transformations for the purpose of preserving semantics. We provide a brief representative example from the discipline of hybrid systems, where such results can be interpreted.}, }
@article{ j:sprinkle-sosym-2009,
title = {Model-based design: a report from the trenches of the {DARPA} Urban Challenge},
author = {Jonathan Sprinkle and J. Mikael Eklund and Humberto Gonzalez and Esten Ingar
Grøtli and Ben Upcroft and Alex Makarenko and Will Uther and Michael Moser and
Robert Fitch and Hugh Durrant-Whyte and S. Shankar Sastry},
journal = {Software and Systems Modeling},
publisher = {Springer Berlin / Heidelberg},
volume = {8},
number= {4},
pages = {551-566},
month = {September},
issn = {1619-1366 (Print) 1619-1374 (Online)},
url = {http://dx.doi.org/10.1007/s10270-009-0116-5},
abstract = {The impact of model-based design on the software engineering community is impressive, and recent
research in model transformations, and elegant behavioral specifications of systems has the potential to
revolutionize the way in which systems are designed. Such techniques aim to raise the level of abstraction at which
systems are specified, to remove the burden of producing application-specific programs with general-purpose
programming. For complex real-time systems, however, the impact of model-driven approaches is not nearly so
widespread. In this paper, we present a perspective of model-based design researchers who joined with software
experts in robotics to enter the DARPA Urban Challenge, and to what extent model-based design techniques were used.
Further, we speculate on why, according to our experience and the testimonies of many teams, the full promises of
model-based design were not widely realized for the competition. Finally, we present some thoughts for the future of
model-based design in complex systems such as these, and what advancements in modeling are needed to motivate
small-scale projects to use model-based design in these domains.},
doi = {10.1007/s10270-009-0116-5},
year = {2009},
}
@ARTICLE{j:eklund-tcst-peg,
author ={J. Mikael Eklund and Jonathan Sprinkle and S. Shankar Sastry},
title ={{Symmetric and Asymmetric Pursuit Evasion Games With Model Predictive Control}},
journal ={IEEE Transactions on Control Systems Technology},
volume =(tbd),
pages =(in preparation),
year ={2009},
}
@ARTICLE{j:SprinkleJOT,
author ={Jonathan Sprinkle},
title ={Generative Components for Hybrid Systems Tools},
journal ={Journal of Object Technology},
year ={2005},
volume ={4},
number ={3},
pages ={35--40},
month ={April},
note ={{Special Issue from GPCE Young Researchers Workshop}},
Url = {http://www.jot.fm/issues/issue_2005_04/article5},
}
@ARTICLE{j:SprinklePotentials2004,
author ={Jonathan Sprinkle},
title ={Model-Integrated Computing},
journal ={IEEE Potentials},
year ={2004},
volume ={23},
number ={1},
pages ={28--30},
month ={February},
DOI ={10.1109/MP.2004.1266937}
Url = {http://dx.doi.org/10.1109/MP.2004.1266937},
}
@ARTICLE{j:SprinkleJVLC2004,
author ={Jonathan Sprinkle and Gábor Karsai},
title ={A Domain-Specific Visual Language for Domain Model Evolution},
journal ={Journal of Visual Languages and Computing},
year ={2004},
volume ={15},
number ={3-4},
pages ={291-307},
month ={June},
note ={Special Issue: Domain-Specific Modeling with Visual Languages},
Url = {http://dx.doi.org/10.1016/j.jvlc.2004.01.006},
}
@ARTICLE{j:KarsaiJUCS,
author ={Gábor Karsai and Aditya Agrawal and Feng Shi and Jonathan Sprinkle},
title ={On the Use of Graph Transformation in the Formal Specification of Model Interpreters},
journal ={Journal of Universal Computer Science},
year ={2003},
volume ={9},
number ={11},
pages ={1296--1321},
month ={November},
Url = {http://www.isis.vanderbilt.edu/publications/archive/Karsai_G_0_0_2003_On_the_Use.pdf},
}
@ARTICLE{j:NordstromLNCS2003,
author ={Steve Nordstrom and Shweta Shetty and Kumar Guarav Chhokra and Jonathan Sprinkle and Brandon Eames and Ákos Lédeczi},
title ={ANEMIC: Automatic Interface Enabler for Model Integrated Computing},
journal ={Lecture Notes in Computer Science},
year ={2003},
volume ={2830},
pages ={138--150},
month ={November},
note ={ISBN: 3-540-20102-5},
Url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=138},
}
@ARTICLE{j:LedecziComputer2001,
author ={Ákos Lédeczi and Árpad Bakay and Miklos Maroti and Péter Volgyesi and Greg Nordstrom and Jonathan Sprinkle and Gábor Karsai},
title ={Composing Domain-Specific Design Environments},
journal ={IEEE Computer},
year ={2001},
volume ={34},
number ={11},
pages ={44--51},
month ={November},
DOI ={10.1109/2.963443},
Url = {http://dx.doi.org/10.1109/2.963443},
}
Academics @PHDTHESIS{a:MyDissertation,
author ={Jonathan Sprinkle},
title ={Metamodel Driven Model Migration},
school ={Vanderbilt University},
year ={2003},
address ={Nashville, TN 37203},
month ={August},
Url = {http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_JM_8_0_2003_Metamodel_.pdf},
}
@TECHREPORT{a:MyAreaPaper,
author ={Jonathan Sprinkle},
title ={Metamodel Based Model Migration},
institution ={Vanderbilt University},
year ={2003},
address ={2015 Terrace Place},
month ={February},
Url = {http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_JM_2_5_2003_Metamodel_.pdf},
}
@MASTERSTHESIS{a:MyMsThesis,
author ={Jonathan Sprinkle},
title ={Model Integrated Program Synthesis of Agent Negotiation Protocols},
school ={Vanderbilt University},
year ={2000},
address ={Nashville, TN 37203},
month ={August},
}
Books
Conferences
@inproceedings{ c:chu-gnc-2009,
author = {Diyang Chu and Jonathan Sprinkle and Ryan Randall and Sergey Shkarayev},
title = {Automatic Controls for Transition Maneuvers of {VTOL} Micro Air Vehicle},
note = {{AIAA-2009-5875}},
booktitle = {AIAA Guidance, Navigation and Control Conference},
organization = {AIAA},
year = {2009},
month = {August},
}
@inproceedings{ c:sprinkle-multicore,
author = {Jonathan Sprinkle and Brandon Eames},
title = {On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle},
pages = (in preparation),
booktitle = (TBD),
organization = {IEEE},
year = 2009,
}
@inproceedings{ c:gulotta-ecbs-2009,
author = {Jacob Gulotta and Diyang Chu and Ximing Yu and Hussain Al-Helal Tapasya Patki and Jason Hansen and Maribel Hudson and Jonathan Sprinkle},
title = {Using Integrative Models in an Advanced Heterogeneous System Simulation},
booktitle ={IEEE International Conference on the Engineering of Computer-Based Systems},
year = {2009},
isbn = {978-0-7695-3602-6},
pages = {3-10},
doi = {10.1109/ECBS.2009.42},
URL = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2009.42},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@inproceedings{SprinkleEklundGonzalezGrøtliSanketiMoserSastry2008,
author = {Jonathan Sprinkle and J. Mikael Eklund and Humberto
Gonzalez and Esten Grøtli and Pannag R Sanketi and Michael
Moser and S. Shankar Sastry},
title = {Recovering Models of a Four-Wheel Vehicle Using
Vehicular System Data},
pages = (in preparation),
URL = {http://chess.eecs.berkeley.edu/pubs/405.html}
}
@inproceedings{DingSprinkleSastryTomlin2008,
author = {Jerry Ding and Jonathan Sprinkle and S. Shankar Sastry and
Claire J. Tomlin},
title = {Reachability Calculations for Automated Aerial
Refueling},
booktitle = {47th IEEE Conference on Decision and Control},
month = {December},
pages = {3706-3712},
year = {2008},
doi={10.1109/CDC.2008.4738998},
URL = {http://chess.eecs.berkeley.edu/pubs/404.html}
}
@inproceedings{c:gonzalezAAET2008,
author = {Humberto Gonzalez and Esten I. Grøtli and Todd R. Templeton and
Jan O. Biermeyer and Jonathan Sprinkle and S. Shankar Sastry},
title = {Transitioning Control and Sensing Technologies from
Fully-autonomous Driving to Driver Assistance Systems },
booktitle ={AAET: Automation, Assistance, and Embedded Systems for Transportation},
year ={2008},
month ={February 13--14},
organization ={Technical University, Braunschweig},
}
@INPROCEEDINGS{c:EklundAVT2007,
author ={J. Mikael Eklund and Jonathan Sprinkle and Todd Templeton and S. Shankar Sastry},
title ={Transitioning Intelligence to Embedded Platforms},
booktitle ={AVT-146 Symposium on "Platform
Innovations and System Integration for
Unmanned Air, Land and Sea Vehicles"},
year ={2007},
series ={Applied Vehicle Technology},
month ={May},
organization ={NATO},
}
@INPROCEEDINGS{c:EklundEMBS2005,
author ={J. Mikael Eklund and Thomas Risgaard Hansen and Jonathan Sprinkle and S. Shankar Sastry},
title ={Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living},
booktitle ={27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS)},
year ={2005},
series ={Innovation from Biomolecules to Biosystems},
pages ={3931--3934 },
month ={September},
DOI ={10.1109/IEMBS.2005.1615321},
Url ={http://dx.doi.org/10.1109/IEMBS.2005.1615321},
}
@INPROCEEDINGS{c:SprinkleCDC2005,
author ={Jonathan Sprinkle and Aaron D. Ames and Alessandro Pinto and Haiyang Zheng and S. Shankar Sastry},
title ={On the Partitioning of Syntax and Semantics For Hybrid Systems Tools},
booktitle ={44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05)},
year ={2005},
pages ={4694--4699},
month ={December},
Url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1582903},
}
@INPROCEEDINGS{c:McKelvinECBS2005,
author ={Mark L. McKelvin, Jr and Jonathan Sprinkle and Claudio Pinello and Alberto Sangiovanni-Vincentelli},
title ={Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment},
booktitle ={12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems},
year ={2005},
pages ={229--235 },
month ={April},
DOI ={10.1109/ECBS.2005.38},
Url ={http://dx.doi.org/10.1109/ECBS.2005.38},
}
@INPROCEEDINGS{c:EklundACC2005,
author ={J. Mikael Eklund and Jonathan Sprinkle and S. Shankar Sastry},
title ={Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft},
booktitle ={Proceedings of American Control Conference (ACC) 2005},
year ={2005},
pages ={1509--1514},
month ={June},
DOI ={10.1109/ACC.2005.1470179},
Url = {http://dx.doi.org/10.1109/ACC.2005.1470179},
}
@INPROCEEDINGS{c:SprinkleACC2005,
author ={Jonathan Sprinkle and J. Mikael Eklund and S. Shankar Sastry},
title ={Deciding to Land a {UAV} Safely in Real Time},
booktitle ={Proceedings of American Control Conference (ACC) 2005},
year ={2005},
pages ={3506--3511},
month ={June},
DOI ={10.1109/ACC.2005.1470516},
Url = {http://dx.doi.org/10.1109/ACC.2005.1470516},
Presentation = {../presentations/sprinkle-ACCLandingSafely.pps},
}
@INPROCEEDINGS{c:SprinkleISDA2004,
author ={Jonathan Sprinkle and J. Mikael Eklund and S. Shankar Sastry},
title ={Toward Design Parameterization Support for Model Predictive Control},
booktitle ={IEEE 4th International Conference on Intelligent Systems Design and Application},
year ={2004},
month ={August},
organization ={IEEE},
publisher ={IEEE Press},
note ={ISBN: 963-7154-30-2},
Url = {http://www.eecs.berkeley.edu/~sprinkle/work/publications/rep/sprinkleISDA2004-final.pdf},
Presentation = {../presentations/sprinkle-MPC-param.pdf},
}
@INPROCEEDINGS{c:OOPSLA_EdSym04,
author ={Jonathan Sprinkle and James Davis and Greg Nordstrom},
title ={A Paradigm for Teaching Modeling Environment Design},
booktitle ={OOPSLA'04 Educators Symposium (Poster Session)},
year ={2004},
month ={October},
organization ={ACM},
Url = {http://www.eecs.berkeley.edu/~sprinkle/work/publications/rep/TeachingModelingWithGME.pdf},
Presentation = {http://www.eecs.berkeley.edu/~sprinkle/work/presentations/sprinkleEducSymp-Poster.pdf},
}
@INPROCEEDINGS{c:SprinkleECBS2004,
author ={Jonathan Sprinkle},
title ={Improving CBS Tool Development with Technological Spaces},
booktitle ={Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems},
year ={2004},
pages ={218--224 },
month ={May},
DOI ={10.1109/ECBS.2004.1316702},
Url = {http://dx.doi.org/10.1109/ECBS.2004.1316702},
Presentation = {../presentations/sprinkle-ecbs-TechnologicalSpaces.pdf},
}
@INPROCEEDINGS{c:SprinkleCDC2004,
author ={Jonathan Sprinkle and J. Mikael Eklund and H. Jin Kim and S. Shankar Sastry},
title ={Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller},
booktitle ={Proceedings of the 43rd IEEE Conference on Decision and Control},
year ={2004},
volume ={3},
pages ={2609--2614},
month ={December},
Url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1428851},
}
@INPROCEEDINGS{c:SprinkleECBS2003,
author ={Jonathan Sprinkle and Aditya Agrawal and Tíhamer Levendovszky and Feng Shi and Gábor Karsai},
title ={Domain Translation Using Graph Transformations},
booktitle ={Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems},
year ={2003},
pages ={159--168},
month ={April},
DOI ={10.1109/ECBS.2003.1194795},
Url = {http://dx.doi.org/10.1109/ECBS.2003.1194795},
}
@INPROCEEDINGS{c:NordstromGPCE,
author ={Steve Nordstrom and Shweta Shetty and Kumar Guarav Chhokra and Jonathan Sprinkle and Brandon Eames and Ákos Lédeczi},
title ={ANEMIC: Automatic Interface Enabler for Model Integrated Computing},
booktitle ={Generative Programming and Component Engineering (GPCE '03)},
year ={2003},
month ={September},
Url = {http://www.isis.vanderbilt.edu/publications/archive/Nordstrom_SG_9_22_2003_ANEMIC__Au.pdf},
}
@INPROCEEDINGS{c:SprinkleECBS2001,
author ={Jonathan Sprinkle and Gábor Karsai and Ákos Lédeczi and Greg Nordstrom},
title ={The New Metamodeling Generation},
booktitle ={Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems},
year ={2001},
pages ={275--279},
month ={April},
DOI ={10.1109/ECBS.2001.922433},
Url = {http://dx.doi.org/10.1109/ECBS.2001.922433},
}
@INPROCEEDINGS{c:SprinkleSMC2000,
author ={Jonathan Sprinkle and Christopher P. van Buskirk and Gábor Karsai},
title ={Modeling Agent Negotiation},
booktitle ={Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics},
year ={2000},
volume ={1},
pages ={454--459},
month ={October},
DOI ={10.1109/ICSMC.2000.885034},
Url = {http://dx.doi.org/10.1109/ICSMC.2000.885034},
}
@INPROCEEDINGS{c:DevaSMC2000,
author ={Dinesh Deva and Jonathan Sprinkle and Greg Nordstrom and Miklos Maroti},
title ={Towards a Standard for Model Specification and Storage},
booktitle ={Proceedings of the IEEE Systems, Man, and Cybernetics Conference},
year ={2000},
month ={October},
DOI ={10.1109/ICSMC.2000.885018},
Url = {http://dx.doi.org/10.1109/ICSMC.2000.885018},
}
Contributed Works
@INCOLLECTION{cont:sbdt-book-chapter-2010,
author ={Ben Upcroft and Alexei Makarenko and Alex Brooks and Michael Moser and Alen Alempijevic and Ashod Donikian and Jonathan Sprinkle and William Uther and and Robert Fitch},
title ={Empirical Evaluation of an Autonomous Vehicle in an Urban Environment},
booktitle ={TBD},
chapter ={TBD},
publisher ={Spring},
year ={2010},
pages =(accepted),
editor ={Christopher Rouff},
chapter ={TBD},
}
@INCOLLECTION{ j:sprinkle-mbeerts4-2009,
AUTHOR ={Jonathan Sprinkle and Bernhard Rumpe and Hans Vangheluwe and Gabor Karsai},
TITLE ={Metamodelling: State of the Art, and Research Challenges},
BOOKTITLE ={Model-Based Engineering of Embedded Real-Time Systems},
PUBLISHER ={Springer},
CHAPTER ={4},
YEAR ={2009},
PAGES =(accepted),
}
@INCOLLECTION{ j:levendovszky-mbeerts9-2009,
AUTHOR ={Tihamer Levendovszky and Bernhard Rumpe and Bernhard Schätz and Jonathan Sprinkle and Hans Vangheluwe},
TITLE ={Model Evolution and Management},
BOOKTITLE ={Model-Based Engineering of Embedded Real-Time Systems},
PUBLISHER ={Springer},
CHAPTER ={9},
YEAR ={2009},
PAGES =(accepted),
}
@INCOLLECTION{cont:DSMBookChapter,
author ={Jeff Gray and Juha-Pekka Tolvanen and Steven Kelly and Aniruddha Gokhale and Sandeep Neema and Jonathan Sprinkle},
title ={Domain-Specific Modeling},
booktitle ={Handbook of Dynamic System Modeling},
chapter ={7},
publisher ={Chapman \& Hall/CRC},
year ={2007},
pages ={7-1--7-20},
editor ={Paul A. Fishwick},
chapter ={7},
note ={ISBN: 1584885653},
}
Invited Journals @ARTICLE{j:sprinkle-ISSE-2005,
author ={Jonathan Sprinkle and Aaron D. Ames and J. Mikael Eklund and Ian Mitchell and S. Shankar Sastry},
title ={Online Safety Calculations for Glideslope Recapture},
journal ={Innovations in Systems and Software Engineering},
year ={2005},
volume ={1},
number ={2},
pages ={157--175 },
month ={September},
DOI ={10.1007/s11334-005-0017-x},
Url = {http://dx.doi.org/10.1007/s11334-005-0017-x},
}
Presentations @UNPUBLISHED{p:sprinkleEmbeddedSystems,
author ={Jonathan Sprinkle},
title ={Model Based Systems Engineering},
year ={2006},
Presentation = {rep/sprinkle_EmbeddedSystems.pps},
}
@UNPUBLISHED{p:sprinkleForgettingUML,
author ={Jonathan Sprinkle},
title ={Forgetting UML (A Useful Guide to Formal Modeling)},
note ={Berkeley Weekly Chess Seminar},
month ={September},
year ={2004},
Presentation = {http://chess.eecs.berkeley.edu/publications/talks/04/sprinkle9-14.pdf},
}
@UNPUBLISHED{p:sprinkleNASAGSFC,
author ={Jonathan Sprinkle and J. Mikael Eklund and H. Jin Kim and S. Shankar Sastry},
title ={Pursuit/Evasion of Fixed-wing Aircraft through Model-Predictive Control},
note ={The NASA/Goddard Space Flight Centers Information Science and Technology (IS\&T) Colloquium Series},
month ={October},
year ={2004},
Presentation = {../presentations/041006-sprinkle-eklund-GSFC.pps},
}
Proceedings @PROCEEDINGS{p:DSM09,
title ={9th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}'09)},
year ={2009},
editor ={Matti Rossi and Jeff Gray and Juha-Pekka Tolvanen and Jonathan Sprinkle},
month ={October},
organization ={OOPSLA},
publisher ={Helsinki Institute of Technology},
note ={ISBN: (TBD)},
url={http://www.dsmforum.org/events/DSM09/papers.html}
}
@PROCEEDINGS{p:DSM08,
title ={8th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}'08)},
year ={2008},
editor ={Jeff Gray and Jonathan Sprinkle and Matti Rossi and Juha-Pekka Tolvanen},
month ={October},
organization ={OOPSLA},
publisher ={University of Alabama at Birmingham},
note ={{ISBN: 978-0-61523-024-5}},
url={http://www.dsmforum.org/events/DSM08/Papers/DSM08-proceedings.pdf}
}
@PROCEEDINGS{p:DSM07,
title ={7th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}'07)},
year ={2007},
editor ={Jonathan Sprinkle and Jeff Gray and Matti Rossi and Juha-Pekka Tolvanen},
address ={Jyväskylä, Finland},
month ={October},
organization ={OOPSLA},
publisher ={University of Jyväskylä},
note ={ISBN: 978-951-39-2915-2},
url={http://www.dsmforum.org/events/DSM07/Papers.html}
}
@PROCEEDINGS{p:DSM06,
title ={6th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}'06)},
year ={2006},
editor ={Juha-Pekka Tolvanen and Jeff Gray and Jonathan Sprinkle},
address ={Jyväskylä, Finland},
month ={October},
organization ={OOPSLA},
publisher ={University of Jyväskylä},
note ={ISBN: 951-39-2631-1},
}
@PROCEEDINGS{p:DSM05,
title ={5th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}'05)},
year ={2005},
editor ={Juha-Pekka Tolvanen and Jonathan Sprinkle and Matti Rossi},
address ={Jyväskylä, Finland},
month ={October},
organization ={OOPSLA},
publisher ={University of Jyväskylä},
note ={ISBN 951-39-2202-2},
}
@PROCEEDINGS{p:DSM04,
title ={4th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}'04)},
year ={2004},
editor ={Juha-Pekka Tolvanen and Jonathan Sprinkle and Matti Rossi},
address ={Jyväskylä, Finland},
month ={October},
organization ={OOPSLA},
publisher ={University of Jyväskylä},
note ={ISBN: 951-39-1947-1},
Url = {http://www.dsmforum.org/events/DSM04/Proceedings-DSM04.zip},
}
Whitepapers @TECHREPORT{tr:AlHelal-IEEE-StudentPaper-2009,
author ={Hussain Al-Helal},
title ={UAV Search: Maximising Target Acquisition},
institution ={University of Arizona},
year ={2009},
type ={IEEE Student Paper Competition},
address ={1230 E. Speedway Blvd., Bldg. 104},
month ={April},
URL ={http://www.ece.arizona.edu/~sprinkjm/wiki/uploads/Main/UAVSearch-MaximisingTargetAcquisition-AlHelal.pdf},
}
@techreport{tr:sbdt2007,
author = {Ben Upcroft and Michael Moser and Alexi Makarenko and David
Johnson and Ashod Donikan and Alen Alempijevic and Robert
Fitch and William Uther and Jan Biermeyer and Humberto
Gonzalez and Esten Ingar Grøtli and Todd Templeton,
Vason P. Srini and Jonathan Sprinkle},
title = {DARPA Urban Challenge Technical Paper:
Sydney-Berkeley Driving Team},
institution = {University of Sydney; University of Technology,
Sydney; University of California, Berkeley},
month = {June},
year = {2007},
URL = {http://chess.eecs.berkeley.edu/pubs/379.html}
}
@TECHREPORT{tr:ANTSTechReport,
author ={Christopher P. van Buskirk and Benoit Dawant and Gábor Karsai and Jonathan Sprinkle and Gabor Szokoli and Karlkim Suwanmongkol and Russ Currer},
title ={Computer-aided aircraft maintenance scheduling},
institution ={Vanderbilt University},
year ={2002},
type ={Tech. Rep.},
address ={2015 Terrace Place},
number ={ISIS-02-303},
month ={November},
}
@TECHREPORT{tr:SprinkleConstraintClauses,
author ={Jonathan Sprinkle and Christopher P. van Buskirk and Gábor Karsai},
title ={Analysis and Representation of Clauses in Satisfiability of Constraints},
institution ={Vanderbilt University},
year ={2001},
address ={Nashville, TN},
number ={ISIS-01-205},
month ={August},
}
@MANUAL{m:PublicationsDatabase,
title ={User's Guide to the PublicationsDatabase},
author ={Jonathan Sprinkle},
edition ={v.5.7.11},
month ={July},
year ={2005},
note ={Available at \url{http://www.eecs.berkeley.edu/~sprinkle/work/pubdb}},
Url = {http://www.eecs.berkeley.edu/~sprinkle/work/pubdb/},
}
@MANUAL{m:GME2000UsersManual,
title ={GME 2000 Users Manual (v2.0)},
author ={Ákos Lédeczi and Miklos Maroti and Árpad Bakay and Greg Nordstrom and Jason T. Garrett and Chuck Thomason and Jonathan Sprinkle and Péter Volgyesi},
organization ={Vanderbilt University, ISIS},
month ={December},
year ={2001},
}
Workshops
@INPROCEEDINGS{ w:schuster-models-campm-2009,
author ={Andreas Schuster and Jonathan Sprinkle},
title ={Synthesizing Executable Simulations from Structural Models of Component-Based Systems},
booktitle ={3rd International Workshop on Multi-Paradigm Modeling},
year ={2009},
month ={October},
pages =(accepted),
}
@INPROCEEDINGS{ w:sprinkle-oopsla-2009,
author ={Jonathan Sprinkle and Brandon Eames},
title ={Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems},
booktitle ={9th OOPSLA Workshop on Domain-Specific Modeling},
year ={2009},
month ={October},
pages =(accepted),
} @INPROCEEDINGS{ c:alhelal-icmt-2010,
author ={Hussain Al-Helal and Maribel Hudson and Jonathan Sprinkle},
title ={Synthesizing Evidence for Semantically Transformed Dataflow Graphs},
booktitle ={International Conference on Model Transformations},
year ={2010},
month ={tbd},
pages =(in preparation),
}
@INPROCEEDINGS{ w:patki-oopsla-2008,
author ={Tapasya Patki and Hussain Al-Helal and Jacob Gulotta and Jason Hansen and Jonathan Sprinkle},
title ={Using Integrative Modeling for Advanced Heterogeneous System Simulation},
booktitle ={The 8th OOPSLA Workshop on Domain-Specific Modeling},
year ={2008},
pages ={80-85},
month ={October 19-20},
URL ={http://www.dsmforum.org/events/DSM08/Papers/14-Patki.pdf}
}
@INPROCEEDINGS{w:EklundCSB2005,
author ={J. Mikael Eklund and Ruzena Bajcsy and Jonathan Sprinkle and Gregory V. Simpson},
title ={Computing Inverse {MEG} Signals in the Brain},
booktitle ={2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity},
year ={2005},
pages ={332--335 },
month ={August},
Url ={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1540637},
}
@INPROCEEDINGS{w:MeyerowitzDSM04,
author ={Trevor Meyerowitz and Jonathan Sprinkle and Alberto Sangiovanni-Vincentelli},
title ={A Visual Language for Describing Instruction Sets and Generating Decoders},
booktitle ={OOPSLA, 4th Workshop on Domain Specific Modeling},
year ={2004},
pages ={23--32},
month ={October},
Url = {http://www.dsmforum.org/events/DSM04/Meyerowitz.pdf},
}
@INPROCEEDINGS{w:GPCE_YRW04,
author ={Jonathan Sprinkle},
title ={Generative Components for Hybrid Systems Tools},
booktitle ={Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop},
year ={2004},
month ={October},
publisher ={Reprinted in J. of Obj. Tech.},
Url = {http://www.jot.fm/issues/issue_2005_04/article5},
Presentation = {../presentations/sprinkleGPCE-YRW-2004-pdf.pdf},
}
@INPROCEEDINGS{w:SprinkleOOPSLA2003,
author ={Jonathan Sprinkle and Gábor Karsai},
title ={Model Migration through Visual Modeling},
booktitle ={OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling},
year ={2003},
month ={October},
Url = {http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_J_10_26_2003_Model_Migr.pdf},
}
@INPROCEEDINGS{w:SprinkleUML2003,
author ={Jonathan Sprinkle},
title ={Managing Intent: The Driving Forces of Model Transformations},
booktitle ={{UML} 2003, Workshop in Software Model Engineering},
year ={2003},
month ={October},
Url = {http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_J_10_21_2003_Managing_I.pdf},
}
@INPROCEEDINGS{w:SprinkleOOPSLA2002,
author ={Jonathan Sprinkle and Aditya Agrawal and Tíhamer Levendovszky and Feng Shi and Gábor Karsai},
title ={Domain Evolution in Visual Languages Using Graph Transformations},
booktitle ={OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages},
year ={2002},
month ={November},
Url = {http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_JM_11_4_2002_Domain_Evo.doc},
}
@INPROCEEDINGS{w:Agrawal2002,
author ={Aditya Agrawal and Tíhamer Levendovszky and Jonathan Sprinkle and Feng Shi and Gábor Karsai},
title ={Generative Programming via Graph Transformations in the Model-Driven Architecture},
booktitle ={OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture},
year ={2002},
month ={November},
Url = {http://www.isis.vanderbilt.edu/publications/archive/Agrawal_A_11_5_2002_Generative.pdf},
}
Invited Workshops @INPROCEEDINGS{w:SprinkleAerospace2004,
author ={Jonathan Sprinkle and Omid Shakernia and Robert Miller and S. Shankar Sastry},
title ={Using the Hybrid Systems Interchange Format to Input Design Models to Verification \& Validation Tools},
booktitle ={IEEE Aerospace Conference, Verification and Validation},
year ={2005},
month ={March},
pages ={1--6},
Url ={http://dx.doi.org/10.1109/AERO.2005.1559595},
}