| 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 | 38 | 2008 |
| A sharing analysis for SAFE R Pena, C Segura, M Montenegro Trends in Functional Programming 7, 109-128, 2007 | 31 | 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 | 30 | 2009 |
| An inference algorithm for guaranteeing safe destruction M Montenegro, R Pena, C Segura Logic-Based Program Synthesis and Transformation: 18th International …, 2009 | 24 | 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 |
| 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 |
| A generic intermediate representation for verification condition generation M Montenegro, R Peña, J Sánchez-Hernández Logic-Based Program Synthesis and Transformation: 25th International …, 2015 | 12 | 2015 |
| Certified absence of dangling pointers in a language with explicit deallocation J De Dios, M Montenegro, R Peña Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 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 | 10 | 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 |
| 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 | 5 | 2023 |
| Verification of mutable data structures in Dafny: methodological aspects J Blázquez, M Montenegro Montes, CM Segura Díaz | 5 | 2021 |
| 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 | 5 | 2020 |
| Liquid types for array invariant synthesis M Montenegro, S Nieva, R Peña, C Segura Automated Technology for Verification and Analysis: 15th International …, 2017 | 5 | 2017 |
| 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 |
| 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 |
| Polymorphic types in erlang function specifications FJ López-Fraguas, M Montenegro, J Rodríguez-Hortalá Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016 | 4 | 2016 |
| 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
