Ligia Nistor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2011–2017
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | OOPSLA | Verifying the proxy design pattern using object propositions. | Ligia Nistor |
| 2015 | OOPSLA | The Oprop verification tool: object propositions in action. | Ligia Nistor |
| 2014 | ECOOP | Safely Composable Type-Specific Languages. | Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich |
| 2014 | FM | Object Propositions. | Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert |
| 2011 | FM | Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. | Sarah M. Loos, Andr Platzer, Ligia Nistor |