Cristian Gherghina

According to our database, Cristian Gherghina authored at least 14 papers between 2009 and 2014.

Collaborative distances:

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

2014

Expressive program verification via structured specifications.

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

Int. J. Softw. Tools Technol. Transf., 2014

Automated verification of the FreeRTOS scheduler in Hip/Sleek.

João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Int. J. Softw. Tools Technol. Transf., 2014

A Resource-Based Logic for Termination and Non-termination Proofs.

Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2014

Shape Analysis via Second-Order Bi-Abduction.

Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

A Proof Slicing Framework for Program Verification.

Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Barriers in Concurrent Separation Logic: Now With Tool Support!

Aquinas Hobor, Cristian Gherghina

Log. Methods Comput. Sci., 2012

Decision Procedures over Sophisticated Fractional Permissions.

Xuan Bach Le, Cristian Gherghina, Aquinas Hobor

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

A HIP and SLEEK verification system.

Wei-Ngan Chin, Cristina David, Cristian Gherghina

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Structured Specifications for Better Verification of Heap-Manipulating Programs.

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

Proceedings of the FM 2011: Formal Methods, 2011

Barriers in Concurrent Separation Logic.

Aquinas Hobor, Cristian Gherghina

Proceedings of the Programming Languages and Systems, 2011

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.

Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

A Specification Logic for Exceptions and Beyond.

Cristian Gherghina, Cristina David

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Automated Verification Using Unified Control Flows.

Cristian Gherghina, Cristina David

Proceedings of the TASE 2009, 2009

Translation and optimization for a core calculus with exceptions.

Cristina David, Cristian Gherghina, Wei-Ngan Chin

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009