Cristina Serban

According to our database, Cristina Serban authored at least 18 papers between 1996 and 2019.

Collaborative distances:

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

2019

SL-COMP: Competition of Solvers for Separation Logic.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Automated Reasoning in Separation Logic with Inductive Definitions. (Raisonnement automatisé pour la Logique de Séparation avec des définitions inductives ).

Cristina Serban

PhD thesis, 2018

An Entailment Checker for Separation Logic with Inductive Definitions.

Cristina Serban, Radu Iosif

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

A Complete Cyclic Proof System for Inductive Entailments in First Order Logic.

Radu Iosif, Cristina Serban

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Complete Cyclic Proof Systems for Inductive Entailments.

Radu Iosif, Cristina Serban

CoRR, 2017

Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic.

Andrew Reynolds, Radu Iosif, Cristina Serban

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic.

Andrew Reynolds, Radu Iosif, Cristina Serban

CoRR, 2016

A Decision Procedure for Separation Logic in SMT.

Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King

Proceedings of the Automated Technology for Verification and Analysis, 2016

2014

Han-type algorithms for inconsistent systems of linear inequalities - A unified approach.

Constantin Popa, Cristina Serban

Appl. Math. Comput., 2014

Image search based on the content and on associated metadata.

Adrian Iftene, Lenuta Alboaie, Cristina Serban, Alexandra Siriteanu

Proceedings of the 11th Romanian Human-Computer Interaction Conference, 2014

A System Framework for Concept- and Credibility-Based Multimedia Retrieval.

Ralf Bierig, Cristina Serban, Alexandra Siriteanu, Mihai Lupu, Allan Hanbury

Proceedings of the International Conference on Multimedia Retrieval, 2014

2013

Combining Image Retrieval, Metadata Processing and Naive Bayes Classification at Plant Identification 2013.

Cristina Serban, Alexandra Siriteanu, Claudia Gheorghiu, Adrian Iftene, Lenuta Alboaie, Mihaela Breaban

Proceedings of the Working Notes for CLEF 2013 Conference , 2013

2012

Securing Mobile Location-based Services through position verification leveraging key distribution.

Jie Yang, Yingying Chen, Sanjay Macwan, Cristina Serban, Shu Chen, Wade Trappe

Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

Securing the mobile enterprise with network-based security and cloud computing.

Gustavo de los Reyes, Sanjay Macwan, Deepak Chawla, Cristina Serban

Proceedings of the 35th IEEE Sarnoff Symposium 2012, Newark, NJ, USA, May 21-22, 2012, 2012

2011

Thermal Analysis of Climate Regions using Remote Sensing and Grid Computing

Cristina Serban, Carmen Maftei

CoRR, 2011

2002

Themes and Highlights of the New Security Paradigms Workshop 2002.

Cristina Serban, O. Sami Saydjari

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

1996

Run-Time Security Evaluation (RTSE) for Distributed Applications.

Cristina Serban, Bruce M. McMillin

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

Run-time security evaluation: can we afford it?

Cristina Serban, Bruce M. McMillin

Proceedings of the 1996 Workshop on New Security Paradigms, 1996