Follow
Cristina David
Cristina David
Verified email at bristol.ac.uk
Title
Cited by
Cited by
Year
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
WN Chin, C David, HH Nguyen, S Qin
Science of Computer Programming 77 (9), 1006-1036, 2012
2052012
Automated verification of shape and size properties via separation logic
HH Nguyen, C David, S Qin, WN Chin
International Workshop on Verification, Model Checking, and Abstract …, 2007
2042007
Enhancing modular OO verification with separation logic
WN Chin, C David, HH Nguyen, S Qin
ACM SIGPLAN Notices 43 (1), 87-99, 2008
982008
Counterexample guided inductive synthesis modulo theories
A Abate, C David, P Kesseli, D Kroening, E Polgreen
International Conference on Computer Aided Verification, 270-288, 2018
732018
An optimal load flow study by the generalized reduced gradient approach
CY David, JE Fagan, B Foote, AA Aly
Electric Power Systems Research 10 (1), 47-53, 1986
611986
Automatically inferring quantified loop invariants by algorithmic learning from simple templates
S Kong, Y Jung, C David, BY Wang, K Yi
Asian Symposium on Programming Languages and Systems, 328-343, 2010
472010
Program synthesis: challenges and opportunities
C David, D Kroening
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
462017
Impact parameter determination in experimental analysis using a neural network
F Haddad, K Hagel, J Li, N Mdeiwayeh, JB Natowitz, R Wada, B Xiao, ...
Physical Review C 55 (3), 1371, 1997
441997
Automated formal synthesis of digital controllers for state-space physical plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
432017
Synthesising interprocedural bit-precise termination proofs (T)
HY Chen, C David, D Kroening, P Schrammel, B Wachter
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
402015
Shape and evolution of the fundamental niche in marine Vibrio
AC Materna, J Friedman, C Bauer, C David, S Chen, IB Huang, A Gillens, ...
The ISME journal 6 (12), 2168-2177, 2012
362012
Measurement of the top quark mass in the and channels using   ATLAS data
ATLAS Collaboration atlas. publications@ cern. ch, G Aad, B Abbott, ...
The European Physical Journal C 75, 1-36, 2015
352015
Unrestricted termination and non-termination arguments for bit-vector programs
C David, D Kroening, M Lewis
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
302015
Automated verification of shape, size and bag properties
WN Chin, C David, HH Nguyen, S Qin
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
292007
Sound and automated synthesis of digital stabilizing controllers for continuous plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
272017
Using program synthesis for program analysis
C David, D Kroening, M Lewis
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
272015
Structured specifications for better verification of heap-manipulating programs
C Gherghina, C David, S Qin, WN Chin
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
262011
Bi-abduction with pure properties for specification inference
MT Trinh, QL Le, C David, WN Chin
Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013
252013
collisions at√ s= 8 TeV with the ATLAS detector
G Aad
JHEP 1411, 104, 2014
242014
Danger invariants
C David, P Kesseli, D Kroening, M Lewis
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
232016
The system can't perform the operation now. Try again later.
Articles 1–20