Cristian Gherghina

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Rewrite Systems

Automated Verification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Log. Methods Comput. Sci.

Publications

Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin
A Resource-Based Logic for Termination and Non-termination Proofs. ICFEM (2014)
João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
Expressive program verification via structured specifications. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin
Shape Analysis via Second-Order Bi-Abduction. CAV (2014)
Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin
A Proof Slicing Framework for Program Verification. ICFEM (2013)
Xuan Bach Le, Cristian Gherghina, Aquinas Hobor
Decision Procedures over Sophisticated Fractional Permissions. APLAS (2012)
Aquinas Hobor, Cristian Gherghina
Barriers in Concurrent Separation Logic: Now With Tool Support! Log. Methods Comput. Sci. 8 (2) (2012)
Aquinas Hobor, Cristian Gherghina
Barriers in Concurrent Separation Logic. ESOP (2011)
Wei-Ngan Chin, Cristina David, Cristian Gherghina
A HIP and SLEEK verification system. OOPSLA Companion (2011)
Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
Structured Specifications for Better Verification of Heap-Manipulating Programs. FM (2011)
Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV (2011)
Cristian Gherghina, Cristina David
A Specification Logic for Exceptions and Beyond. ATVA (2010)
Cristian Gherghina, Cristina David
Automated Verification Using Unified Control Flows. TASE (2009)
Cristina David, Cristian Gherghina, Wei-Ngan Chin
Translation and optimization for a core calculus with exceptions. PEPM (2009)