Ligia Nistor

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Topics

Complex Objects

Spatial Relations

Top Venues

SPLASH (Companion Volume)

MODULARITY (Companion)

Publications

Ligia Nistor, Jonathan Aldrich
The Implementation of Object Propositions: The Oprop Verification Tool. FACS (2017)
Ligia Nistor
Verifying the proxy design pattern using object propositions. SPLASH (Companion Volume) (2017)
Ligia Nistor
The modularity of object propositions. MODULARITY (Companion) (2016)
Ligia Nistor
The Oprop verification tool: object propositions in action. SPLASH (Companion Volume) (2015)
Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
Object Propositions. FM (2014)
Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Type-specific languages to fight injection attacks. HotSoS (2014)
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Safely Composable Type-Specific Languages. ECOOP (2014)
Sarah M. Loos, André Platzer, Ligia Nistor
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. FM (2011)
Tanu Malik, Ligia Nistor, Ashish Gehani
Tracking and Sketching Distributed Data Provenance. eScience (2010)