| Abstract extensionality: on the properties of incomplete abstract interpretations R Bruni, R Giacobazzi, R Gori, I Garcia-Contreras, D Pavlovic Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 14 | 2019 |
| Semantic code browsing I Garcia-Contreras, JF Morales, MV Hermenegildo Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016 | 14 | 2016 |
| Incremental and Modular Context-sensitive Analysis I GARCIA-CONTRERAS, JF MORALES, MV HERMENEGILDO Theory and Practice of Logic Programming 21 (2), 196-243, 2021 | 9* | 2021 |
| Incremental analysis of logic programs with assertions and open predicates I Garcia-Contreras, JF Morales, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2019 | 8 | 2019 |
| Multivariant Assertion-Based Guidance in Abstract Interpretation I Garcia-Contreras, JF Morales, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2018 | 7 | 2018 |
| Towards Incremental and Modular Context-Sensitive Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo Technical Communications of the 34th International Conference on Logic …, 2018 | 5 | 2018 |
| Verifly: On-the-fly Assertion checking via incrementality MA Sanchez-Ordaz, I Garcia-Contreras, V PEREZ, JF Morales, ... Theory and Practice of Logic Programming 21 (6), 768-784, 2021 | 4 | 2021 |
| Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP I Garcia-Contreras, J Morales, MV Hermenegildo 10th Workshop on Tools for Automatic Program Analysis (TAPAS’19), 2019 | 2 | 2019 |
| An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs I Garcia-Contreras, JF Morales, MV Hermenegildo Technical Report CLIP, 2018 | 2* | 2018 |
| A scalable static analysis framework for reliable program development exploiting incrementality and modularity I García Contreras ETSI_Informatica, 2021 | | 2021 |
| Incrementalizing Context-sensitive Analyses for Modularized Programs I García-Contreras, JF Morales, MV Hermenegildo arXiv preprint arXiv:1804.01839, 2018 | | 2018 |
| Efficient Modular SMT-Based Model Checking of Pointer Programs I Garcia-Contreras | | |
| VeriFly: On-the-fly Assertion Checking with CiaoPP (tool presentation) MA Sanchez-Ordaz, I Garcia-Contreras, V Pérez, JF Morales, ... | | |
| Code. Analyze. Repeat. Incremental and Modular Static Program Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo | | |
| Ingenieros Informáticos I Garcia-Contreras | | |
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Dirección de correo verificada de upm.es
