Biblio
Filters: Keyword is 1544757 [Clear All Filters]
.
2016. Formal Verification of Stability Properties of Cyber-physical Systems. CoqPL'16: The Second International Workshop on Coq for PL.
.
2015. Towards Verification of Hybrid Systems in a Foundational Proof Assistant. Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign. :248–257.
.
2017. Radio Receiver Design for Unmanned Aerial Wildlife Tracking. ICNC Workshop: The National Workshop for REU Research in Networking and Systems.
.
2016. Modular Deductive Verification of Sampled-data Systems. Proceedings of the 13th International Conference on Embedded Software. :17:1–17:10.