Cristian Gherghina

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