Publications
Export 157 results:
Author Keyword Title Type [ Year
Filters: Author is Sprinkle, Jonathan [Clear All Filters]
“A Visual Language for Describing Instruction Sets and Generating Decoders”, in OOPSLA, 4th Workshop on Domain Specific Modeling, 2004, pp. 23–32.
, “5th OOPSLA Workshop on Domain-Specific Modeling (DSM’05)”. OOPSLA, Jyväskylä, Finland, 2005.
, “Computing Inverse MEG Signals in the Brain”, in 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 2005, pp. 332–335.
, “Deciding to Land a UAV Safely in Real Time”, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
, “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, 2005, pp. 229–235.
, “Generative Components for Hybrid Systems Tools”, Journal of Object Technology, vol. 4, pp. 35–40, 2005.
, “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, 2005, pp. 1509–1514.
, “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), 2005, pp. 3931–3934.
, “Online Safety Calculations for Glideslope Recapture”, Innovations in Systems and Software Engineering, vol. 1, pp. 157–175, 2005.
, “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), 2005, pp. 4694–4699.
, , “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 the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools”, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.
, “6th OOPSLA Workshop on Domain-Specific Modeling (DSM’06)”. OOPSLA, Jyväskylä, Finland, 2006.
, , “7th OOPSLA Workshop on Domain-Specific Modeling (DSM’07)”. OOPSLA, Jyväskylä, Finland, 2007.
, , “Domain-Specific Modeling”, in Handbook of Dynamic System Modeling, Chapman & Hall/CRC, 2007, pp. 7-1–7-20.
, “Transitioning Intelligence to Embedded Platforms”, in AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles", 2007.
, “8th OOPSLA Workshop on Domain-Specific Modeling (DSM’08)”. OOPSLA, 2008.
, “Reachability Calculations for Automated Aerial Refueling”, in 47th IEEE Conference on Decision and Control, 2008, pp. 3706-3712.
, , “Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems”, in AAET: Automation, Assistance, and Embedded Systems for Transportation, 2008.
, “Using Integrative Modeling for Advanced Heterogeneous System Simulation”, in The 8th OOPSLA Workshop on Domain-Specific Modeling, 2008, pp. 80-85.
, “9th OOPSLA Workshop on Domain-Specific Modeling (DSM’09)”. OOPSLA, 2009.
, “Automatic Control of VTOL Micro Air Vehicle During Transition Maneuver”, in AIAA Guidance, Navigation and Control Conference, 2009, p. 16 pages.
, , , “Guest Editors’ Introduction: What Kinds of Nails Need a Domain-Specific Hammer?”, IEEE Software, vol. 26, pp. 15-18, 2009.
, “Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems”, in 9th OOPSLA Workshop on Domain-Specific Modeling, 2009, pp. 119–124.
,