×

zbMATH — the first resource for mathematics

David, Cristina

Compute Distance To:
Author ID: david.cristina Recent zbMATH articles by "David, Cristina"
Published as: David, Cristina; David, C.
Documents Indexed: 13 Publications since 2007

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 40 times in 36 Documents Cited by Year
Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Zbl 1243.68148
Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao
17
2012
Automated verification of shape and size properties via separation logic. Zbl 1132.68477
Nguyen, Huu Hai; David, Cristina; Qin, Shengchao; Chin, Wei-Ngan
12
2007
Enhancing modular OO verification with separation logic. Zbl 1295.68082
Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao
7
2008
Unrestricted termination and non-termination arguments for bit-vector programs. Zbl 1335.68050
David, Cristina; Kroening, Daniel; Lewis, Matt
3
2015
Sound and automated synthesis of digital stabilizing controllers for continuous plants. Zbl 1369.93189
Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel
1
2017
Sound and automated synthesis of digital stabilizing controllers for continuous plants. Zbl 1369.93189
Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel
1
2017
Unrestricted termination and non-termination arguments for bit-vector programs. Zbl 1335.68050
David, Cristina; Kroening, Daniel; Lewis, Matt
3
2015
Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Zbl 1243.68148
Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao
17
2012
Enhancing modular OO verification with separation logic. Zbl 1295.68082
Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao
7
2008
Automated verification of shape and size properties via separation logic. Zbl 1132.68477
Nguyen, Huu Hai; David, Cristina; Qin, Shengchao; Chin, Wei-Ngan
12
2007

Citations by Year