Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Relational Verification Through Horn Clause TransformationDe Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto ; Proietti, Maurizio Rival, XavierStatic Analysis, p.147-169 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-LimitingTan, Tian ; Li, Yue ; Xue, Jingling Rival, XavierStatic Analysis, p.489-510 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Cell Morphing: From Array Programs to Array-Free Horn ClausesMonniaux, David ; Gonnord, Laure Rival, XavierStatic Analysis, p.361-382 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
The Julia Static Analyzer for JavaSpoto, Fausto Rival, XavierStatic Analysis, p.39-57 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Validating Numerical Semidefinite Programming Solvers for Polynomial InvariantsRoux, Pierre ; Voronin, Yuen-Lam ; Sankaranarayanan, Sriram Rival, XavierStatic Analysis, p.424-446 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Large Scale, Actively Secure Computation from LPN and Free-XOR Garbled CircuitsBen-Efraim, Aner ; Cong, Kelong ; Omri, Eran ; Orsini, Emmanuela ; Smart, Nigel P ; Soria-Vazquez, Eduardo Standaert, François-Xavier ; Canteaut, AnneAdvances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part III, 2021, Vol.12698, p.33-63 [Periódico revisado por pares]SpringerTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Quantitative Monitor AutomataChatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan Rival, XavierStatic Analysis, p.23-38 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Securing a Compiler TransformationDeng, Chaoqiang ; Namjoshi, Kedar S. Rival, XavierStatic Analysis, p.170-188 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVMMenendez, David ; Nagarakatte, Santosh ; Gupta, Aarti Rival, XavierStatic Analysis, p.317-337 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Exploiting Sparsity in Difference-Bound MatricesGange, Graeme ; Navas, Jorge A. ; Schachte, Peter ; Søndergaard, Harald ; Stuckey, Peter J. Rival, XavierStatic Analysis, p.189-211 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |