Publications
Export 154 results:
Author Keyword Title [ Type
Filters: Author is Jonathan Sprinkle [Clear All Filters]
“6th OOPSLA Workshop on Domain-Specific Modeling (DSM’06)”. OOPSLA, Jyväskylä, Finland, 2006.
, “5th OOPSLA Workshop on Domain-Specific Modeling (DSM’05)”. OOPSLA, Jyväskylä, Finland, 2005.
, “4th OOPSLA Workshop on Domain-Specific Modeling (DSM’04)”. OOPSLA, Jyväskylä, Finland, 2004.
, “10th Workshop on Domain-Specific Modeling (DSM’10)”. OOPSLA/SPLASH, 2010.
, “Workshop Preview of the 15th Workshop on Domain Specific Modeling (DSM 2015)”, in Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, New York, NY, USA, 2015.
, “WiP Abstract: String stability of commercial adaptive cruise control vehicles”, in International Conference on Cyber-Physical Systems, 2019.
, “WiP Abstract: Stabilizing traffic with a single autonomous vehicle”, in 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), 2016, pp. 1-1.
, “A Visual Language for Describing Instruction Sets and Generating Decoders”, in OOPSLA, 4th Workshop on Domain Specific Modeling, 2004, pp. 23–32.
, “Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools”, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.
, “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.
, “Using Integrative Models in an Advanced Heterogeneous System Simulation”, in IEEE International Conference on the Engineering of Computer-Based Systems, Los Alamitos, CA, USA, 2009, pp. 3-10.
, “Using Integrative Modeling for Advanced Heterogeneous System Simulation”, in The 8th OOPSLA Workshop on Domain-Specific Modeling, 2008, pp. 80-85.
, “UAV Search : Maximizing Target Acquisition”, in 17th IEEE Conference on the Engineering of Computer Based Systems, 2010, pp. 9–19.
, “Transitioning Intelligence to Embedded Platforms”, in AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles", 2007.
, “Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems”, in AAET: Automation, Assistance, and Embedded Systems for Transportation, 2008.
, “Towards a Standard for Model Specification and Storage”, in Proceedings of the IEEE Systems, Man, and Cybernetics Conference, 2000.
, “Toward Design Parameterization Support for Model Predictive Control”, in IEEE 4th International Conference on Intelligent Systems Design and Application, 2004.
, “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, 2011, pp. 261–266.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM’12)”, in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, New York, NY, USA, 2012.
, “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, 2011, pp. 260-268.
, “Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster)”, in American Control Conference, 2020.
, “Safety and stability analysis of FollowerStopper”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Safety and stability analysis of FollowerStopper.pdf (2 MB)
, 
“Safer Adaptive Cruise Control for Traffic Wave Dampening”, in ACM/IEEE 12th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2021), 2021.
, “A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language For Non-Expert Development”, in Proceedings of the International Workshop on Domain-Specific Modeling (DSM 2016), Amsterdam, Netherlands, 2016, pp. 42–48.
, “Runtime Hardware/Software Task Transition Scheduling for Runtime-Adaptable Embedded Systems”, in International Conference on Field-Programmable Technology (ICFPT), 2013, pp. 342-345.
, “Robust Control of Autonomous Vehicle Trajectories”, in AIMS, 2016.
, “Reachability Calculations for Automated Aerial Refueling”, in 47th IEEE Conference on Decision and Control, 2008, pp. 3706-3712.
, “Programming the Kennedy Receiver for Capacity Maximization versus Minimizing One-shot Error Probability”, in Frontiers in Optics 2020, Online, 2020.
Preprint - Programming Kennedy Receiver (770.34 KB)
, 
“A Passenger Comfort Controller for an Autonomous Ground Vehicle”, in 51st IEEE Conference on Decision and Control, 2012, pp. 3380-3385.
,