Ligia Nistor

According to our database, Ligia Nistor authored at least 9 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Verifying the proxy design pattern using object propositions.

Ligia Nistor

Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017

The Implementation of Object Propositions: The Oprop Verification Tool.

Ligia Nistor, Jonathan Aldrich

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

The modularity of object propositions.

Ligia Nistor

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

The Oprop verification tool: object propositions in action.

Ligia Nistor

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

2014

Type-specific languages to fight injection attacks.

Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Object Propositions.

Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert

Proceedings of the FM 2014: Formal Methods, 2014

Safely Composable Type-Specific Languages.

Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2011

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified.

Sarah M. Loos, André Platzer, Ligia Nistor

Proceedings of the FM 2011: Formal Methods, 2011

2010

Tracking and Sketching Distributed Data Provenance.

Tanu Malik, Ligia Nistor, Ashish Gehani

Proceedings of the Sixth International Conference on e-Science, 2010