Cristina Serban

Publication Activity (10 Years)

Years Active: 1996-2019
Publications (10 Years): 7

Top Venues

CoRR

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

VMCAI

Appl. Math. Comput.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Mihaela Sighireanu, Juan Antonio Navarro Pérez, 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, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Cristina Serban, Radu Iosif
An Entailment Checker for Separation Logic with Inductive Definitions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Radu Iosif, Cristina Serban
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. LPAR (2018)
Andrew Reynolds, Radu Iosif, Cristina Serban
Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic. VMCAI (2017)
Radu Iosif, Cristina Serban
Complete Cyclic Proof Systems for Inductive Entailments. CoRR (2017)
Andrew Reynolds, Radu Iosif, Cristina Serban
Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic. CoRR (2016)
Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King
A Decision Procedure for Separation Logic in SMT. ATVA (2016)
Ralf Bierig, Cristina Serban, Alexandra Siriteanu, Mihai Lupu, Allan Hanbury
A System Framework for Concept- and Credibility-Based Multimedia Retrieval. ICMR (2014)
Adrian Iftene, Lenuta Alboaie, Cristina Serban, Alexandra Siriteanu
Image search based on the content and on associated metadata. RoCHI (2014)
Constantin Popa, Cristina Serban
Han-type algorithms for inconsistent systems of linear inequalities - A unified approach. Appl. Math. Comput. 246 (2014)
Cristina Serban, Alexandra Siriteanu, Claudia Gheorghiu, Adrian Iftene, Lenuta Alboaie, Mihaela Breaban
Combining Image Retrieval, Metadata Processing and Naive Bayes Classification at Plant Identification 2013. CLEF (Working Notes) (2013)
Jie Yang, Yingying Chen, Sanjay Macwan, Cristina Serban, Shu Chen, Wade Trappe
Securing Mobile Location-based Services through position verification leveraging key distribution. WCNC (2012)
Gustavo de los Reyes, Sanjay Macwan, Deepak Chawla, Cristina Serban
Securing the mobile enterprise with network-based security and cloud computing. Sarnoff Symposium (2012)
Cristina Serban, Carmen Maftei
Thermal Analysis of Climate Regions using Remote Sensing and Grid Computing CoRR (2011)
Cristina Serban, O. Sami Saydjari
Themes and Highlights of the New Security Paradigms Workshop 2002. ACSAC (2002)
Cristina Serban, Bruce M. McMillin
Run-Time Security Evaluation (RTSE) for Distributed Applications. IEEE Symposium on Security and Privacy (1996)
Cristina Serban, Bruce M. McMillin
Run-time security evaluation: can we afford it? NSPW (1996)

Cristina Serban.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cristina Serban