| 2025 | IFM | Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees. | Jorge Blzquez, Manuel Montenegro, Clara Segura |
| 2022 | SEKE | Improving Database Learning with an Automatic Judge. | Enrique Martin-Martin, Manuel Montenegro, Adrin Riesco, Rubn Rubio |
| 2018 | LPAR | Polymorphic success types for Erlang. | Francisco Javier Lpez-Fraguas, Manuel Montenegro, Gorka Surez-Garca |
| 2017 | ATVA | Liquid Types for Array Invariant Synthesis. | Manuel Montenegro, Susana Nieva, Ricardo Pea, Clara Segura |
| 2016 | FLOPS | Polymorphic Types in Erlang Function Specifications. | Francisco Javier Lpez-Fraguas, Manuel Montenegro, Juan Rodrguez-Hortal |
| 2015 | LOPSTR | Checking Java Assertions Using Automated Test-Case Generation. | Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof |
| 2015 | LOPSTR | A Generic Intermediate Representation for Verification Condition Generation. | Manuel Montenegro, Ricardo Pea, Jaime Snchez-Hernndez |
| 2013 | PPDP | Shape analysis in a functional language by using regular languages. | Manuel Montenegro, Ricardo Pea, Clara Segura |
| 2010 | IFM | Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. | Javier de Dios, Manuel Montenegro, Ricardo Pea |
| 2008 | LOPSTR | An Inference Algorithm for Guaranteeing Safe Destruction. | Manuel Montenegro, Ricardo Pea-Mar, Clara Segura |
| 2008 | PPDP | A type system for safe memory management and its proof of correctness. | Manuel Montenegro, Ricardo Pena, Clara Segura |
| 2005 | EUSFLAT | Bootstrap Techniques: A Valuable Tool in Statistical Hypothesis Testing about the Means of Fuzzy Random Variables. | Manuel Montenegro, Gil Gonzlez-Rodrguez, Ana Colubi, Mara Angeles Gil |
| 2001 | EUSFLAT | Testing the expected value of a fuzzy random variable. A discussion. | Manuel Montenegro, Mara Rosa Casals, Ana Colubi, Mara Angeles Gil |