Cristina Serban
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
1996–2019
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2018 | LPAR | A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. | Radu Iosif, Cristina Serban |
| 2017 | VMCAI | Reasoning in the Bernays-Schnfinkel-Ramsey Fragment of Separation Logic. | Andrew Reynolds, Radu Iosif, Cristina Serban |
| 2016 | ATVA | A Decision Procedure for Separation Logic in SMT. | Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King |
| 2012 | WCNC | Securing Mobile Location-based Services through position verification leveraging key distribution. | Jie Yang, Yingying Chen, Sanjay Macwan, Cristina Serban, Shu Chen, Wade Trappe |
| 2002 | ACSAC | Themes and Highlights of the New Security Paradigms Workshop 2002. | Cristina Serban, O. Sami Saydjari |
| 1996 | NSPW | Run-time security evaluation: can we afford it? | Cristina Serban, Bruce M. McMillin |
| 1996 | SP | Run-Time Security Evaluation (RTSE) for Distributed Applications. | Cristina Serban, Bruce M. McMillin |