Seguir
Cristina David
Cristina David
Dirección de correo verificada de bristol.ac.uk
Título
Citado por
Citado por
Año
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
2112015
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
2112012
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
2062007
Measurement of the top quark pair production charge asymmetry in proton-proton collisions at = 7 TeV using the ATLAS detector
G Aad, T Abajyan, B Abbott, J Abdallah, S Abdel Khalek, R Aben, B Abi, ...
Journal of High Energy Physics 2014 (2), 1-38, 2014
1922014
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
812018
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
601986
Program synthesis: challenges and opportunities
C David, D Kroening
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
492017
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
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
451997
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
422015
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
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
302007
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
292015
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
282011
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
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
262013
collisions at√ s= 8 TeV with the ATLAS detector
G Aad
JHEP 1411, 104, 2014
252014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20