Cited By
View all- Lee DCheang KThomas ALu CGaddamadugu PVahldiek-Oberwagner AVij MSong DSeshia SAsanovic KYin HStavrou ACremers CShi E(2022)CerberusProceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security10.1145/3548606.3560595(1871-1885)Online publication date: 7-Nov-2022
- O'Connor LWickström OJhala RDillig I(2022)Quickstrom: property-based acceptance testing with LTL specificationsProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523728(1025-1038)Online publication date: 9-Jun-2022
- Qian ZLiu WYao Y(2021)Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOLIEEE Access10.1109/ACCESS.2020.30474119(2854-2863)Online publication date: 2021
- Show More Cited By