Concepedia

Cristina David

CD

Statistics

Publications

12

Citations

348

H-Index

11

Active since

2007

Affiliations

National University of Singapore(Current)

University of Oxford

Singapore-MIT Alliance for Research and Technology

Durham University

Universidade Federal do Amazonas

Cristina David is an author at National University of Singapore specializing in formal methods, verification, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringFormal Specification

Publications per year

2007–2019

12

Publications

12

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen et al. · Science of Computer Programming · 2010 · 131 citations

Geometric Modeling, Computational Logic, Engineering +14

Enhancing modular OO verification with separation logic

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen et al. · 2008 · 62 citations

Program Checking, Engineering, Verification +20

Synthesising Interprocedural Bit-Precise Termination Proofs (T)

Hongyi Chen, Cristina David, Daniel Kroening et al. · 2015 · 28 citations · Full text

Program Checking, Engineering, Verification +20

Automated Verification of Shape, Size and Bag Properties

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen et al. · 2007 · 19 citations · Full text

Engineering, Statistical Shape Analysis, Verification +26

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Alessandro Abate, Iury Bessa, Dario Cattaruzza et al. · 2017 · 18 citations · Full text

1–5 of 12