Cristina Serban

19 papers A 1B 5C 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2019 — conf
SL-COMP: Competition of Solvers for Separation Logic.
TACAS (3)
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
2018 B conf
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic.
LPAR
Radu Iosif, Cristina Serban
2018 J jnl
An Entailment Checker for Separation Logic with Inductive Definitions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Cristina Serban, Radu Iosif
2018 — —
Automated Reasoning in Separation Logic with Inductive Definitions. (Raisonnement automatisé pour la Logique de Séparation avec des définitions inductives ).
Cristina Serban
2017 J jnl
Complete Cyclic Proof Systems for Inductive Entailments.
CoRR
Radu Iosif, Cristina Serban
2017 B conf
Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic.
VMCAI
Andrew Reynolds, Radu Iosif, Cristina Serban
2016 B conf
A Decision Procedure for Separation Logic in SMT.
ATVA
Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King
2016 J jnl
Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic.
CoRR
Andrew Reynolds, Radu Iosif, Cristina Serban
2014 B conf
A System Framework for Concept- and Credibility-Based Multimedia Retrieval.
ICMR
Ralf Bierig, Cristina Serban, Alexandra Siriteanu, Mihai Lupu, Allan Hanbury
2014 J jnl
Han-type algorithms for inconsistent systems of linear inequalities - A unified approach.
Appl. Math. Comput.
Constantin Popa, Cristina Serban
2014 — conf
Image search based on the content and on associated metadata.
RoCHI
Adrian Iftene, Lenuta Alboaie, Cristina Serban, Alexandra Siriteanu
2013 — conf
Combining Image Retrieval, Metadata Processing and Naive Bayes Classification at Plant Identification 2013.
CLEF (Working Notes)
Cristina Serban, Alexandra Siriteanu, Claudia Gheorghiu, Adrian Iftene, Lenuta Alboaie, Mihaela Breaban
2012 B conf
Securing Mobile Location-based Services through position verification leveraging key distribution.
WCNC
Jie Yang, Yingying Chen, Sanjay Macwan, Cristina Serban, Shu Chen, Wade Trappe
2012 — conf
Securing the mobile enterprise with network-based security and cloud computing.
Sarnoff Symposium
Gustavo de los Reyes, Sanjay Macwan, Deepak Chawla, Cristina Serban
2011 J jnl
Thermal Analysis of Climate Regions using Remote Sensing and Grid Computing
CoRR
Cristina Serban, Carmen Maftei
2002 C ed.
Proceedings of the 2002 Workshop on New Security Paradigms, Virginia Beach, VA, USA, September 23-26, 2002
NSPW
Cristina Serban, Carla Marceau, Simon N. Foley
2002 A conf
Themes and Highlights of the New Security Paradigms Workshop 2002.
ACSAC
Cristina Serban, O. Sami Saydjari
1996 — conf
Run-Time Security Evaluation (RTSE) for Distributed Applications.
S&P
Cristina Serban, Bruce M. McMillin
1996 C conf
Run-time security evaluation: can we afford it?
NSPW
Cristina Serban, Bruce M. McMillin