Publications
Export 157 results:
Author Keyword [ Title
Filters: Author is Sprinkle, Jonathan [Clear All Filters]
“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 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.
, “A Visual Language for Describing Instruction Sets and Generating Decoders”, in OOPSLA, 4th Workshop on Domain Specific Modeling, 2004, pp. 23–32.
, “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.
, “WiP Abstract: String stability of commercial adaptive cruise control vehicles”, in International Conference on Cyber-Physical Systems, 2019.
, “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.
,