Tracking and Sketching Distributed Data Provenance. - Tanu Malik; Ligia Nistor; Ashish Gehani (eScience, 2010)

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. - Sarah M. Loos; André Platzer; Ligia Nistor (FM, 2011)

Safely Composable Type-Specific Languages. - Cyrus Omar; Darya Kurilova; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (ECOOP, 2014)

Object Propositions. - Ligia Nistor; Jonathan Aldrich; Stephanie Balzer; Hannes Mehnert (FM, 2014)

Type-specific languages to fight injection attacks. - Darya Kurilova; Cyrus Omar; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (HotSoS, 2014)

The Oprop verification tool: object propositions in action. - Ligia Nistor (SPLASH (Companion Volume), 2015)

The modularity of object propositions. - Ligia Nistor (MODULARITY (Companion), 2016)

The Implementation of Object Propositions: The Oprop Verification Tool. - Ligia Nistor; Jonathan Aldrich (FACS, 2017)

Verifying the proxy design pattern using object propositions. - Ligia Nistor (SPLASH (Companion Volume), 2017)