Author of the publication

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.

, , , , , , , , , , , , , , , , , , , , , , , and . IoT 360 (1), volume 169 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 118-130. (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Safe & Robust Reachability Analysis of Hybrid Systems., , , and . CoRR, (2017)MicroITS: A Scaled-Down ITS Platform., , , and . CyPhy/WESE, volume 11615 of Lecture Notes in Computer Science, page 214-221. Springer, (2018)Gradual typing for functional languages, and . Seventh Workshop on Scheme and Functional Programming, Technical Report TR-2006-06, page 81--92. University of Chicago, (September 2006)Multi-Stage Programming: Axiomatization and Type Safety., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 918-929. Springer, (1998)Staged Notational Definitions., and . GPCE, volume 2830 of Lecture Notes in Computer Science, page 97-116. Springer, (2003)Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment., , , , , and . HPCC/CSS/ICESS, page 1093-1096. IEEE, (2015)Reasoning about Multi-stage Programs., and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 357-376. Springer, (2012)A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract).. PEPM, page 34-43. ACM, (2000)Multi-Stage Programming with Explicit Annotations., and . PEPM, page 203-217. ACM, (1997)Multi-Stage Programming., and . ICFP, page 321. ACM, (1997)SIGPLAN Notices 32(8), August 1997.