| A type system for safe memory management and its proof of correctness M Montenegro, R Pena, C Segura Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 39 | 2008 |
| A sharing analysis for SAFE R Pena, C Segura, M Montenegro Trends in Functional Programming 7, 109-128, 2007 | 32 | 2007 |
| A simple region inference algorithm for a first-order functional language M Montenegro, R Pena, C Segura International Workshop on Functional and Constraint Logic Programming, 145-161, 2009 | 31 | 2009 |
| An inference algorithm for guaranteeing safe destruction M Montenegro, R Pena, C Segura Logic-Based Program Synthesis and Transformation: 18th International …, 2009 | 25 | 2009 |
| A space consumption analysis by abstract interpretation M Montenegro, R Pena, C Segura International Workshop on Foundational and Practical Aspects of Resource …, 2009 | 22 | 2009 |
| A resource-aware semantics and abstract machine for a functional language with explicit deallocation M Montenegro, R Pena, C Segura Electronic Notes in Theoretical Computer Science 246, 167-182, 2009 | 18 | 2009 |
| A generic intermediate representation for verification condition generation M Montenegro, R Peña, J Sánchez-Hernández International Symposium on Logic-Based Program Synthesis and Transformation …, 2015 | 13 | 2015 |
| Interpolation-based height analysis for improving a recurrence solver M Montenegro, O Shkaravska, M van Eekelen, R Pena International Workshop on Foundational and Practical Aspects of Resource …, 2011 | 13 | 2011 |
| Certified absence of dangling pointers in a language with explicit deallocation J De Dios, M Montenegro, R Peña International Conference on Integrated Formal Methods, 305-319, 2010 | 12 | 2010 |
| ResAna: a resource analysis toolset for (real‐time) JAVA RWJ Kersten, BE Van Gastel, O Shkaravska, M Montenegro, ... Concurrency and Computation: Practice and Experience 26 (14), 2432-2455, 2014 | 11 | 2014 |
| Making resource analysis practical for real-time Java R Kersten, O Shkaravska, B van Gastel, M Montenegro, M van Eekelen Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012 | 11 | 2012 |
| A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation M Montenegro, R Peña, C Segura Information and Computation 235, 3-35, 2014 | 7 | 2014 |
| Extending Liquid Types to Arrays M Montenegro, S Nieva, R Peña, C Segura ACM Transactions on Computational Logic (TOCL) 21 (2), 1-41, 2020 | 6 | 2020 |
| Liquid types for array invariant synthesis M Montenegro, S Nieva, R Peña, C Segura International Symposium on Automated Technology for Verification and …, 2017 | 6 | 2017 |
| Verification of mutable data structures in Dafny: methodological aspects J Blázquez, M Montenegro Montes, CM Segura Díaz | 5 | 2021 |
| Space consumption analysis by abstract interpretation: Inference of recursive functions M Montenegro, R Peña, C Segura Science of Computer Programming 111, 426-457, 2015 | 5 | 2015 |
| Shape analysis in a functional language by using regular languages M Montenegro, R Peña, C Segura Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 5 | 2013 |
| Verification of the ROS NavFn planner using executable specification languages E Martin-Martin, M Montenegro, A Riesco, J Rodríguez-Hortalá, R Rubio Journal of Logical and Algebraic Methods in Programming 132, 100860, 2023 | 4 | 2023 |
| Verification of ROS navigation using Maude E Martin-Martin, M Montenegro, A Riesco, J Rodríguez-Hortalá, R Rubio XX Jornadas de Programación y Lenguajes (PROLE). Sistedes, 2021 | 4 | 2021 |
| Space consumption analysis by abstract interpretation M Montenegro, R Peña, C Segura Science of Computer Programming 111 (P3), 426-457, 2015 | 4 | 2015 |
RICARDO PEÑA MARIProfesor de Informática, Universidad Complutense de MadridVerified email at sip.ucm.es
