Manuel Montenegro

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 18

Top Topics

Abstract Interpretation

Specification Language

Top Venues

Sci. Comput. Program.

J. Log. Algebraic Methods Program.

Publications

Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio
Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebraic Methods Program. 132 (2023)
Jorge Blázquez, Manuel Montenegro, Clara Segura
Verification of mutable linear data structures and iterator-based algorithms in Dafny. J. Log. Algebraic Methods Program. 134 (2023)
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio
Improving Database Learning with an Automatic Judge. SEKE (2022)
Isaac Agudo, Manuel Montenegro, Javier López
A Blockchain Approach for Decentralized V2X (D-V2X). IEEE Trans. Veh. Technol. 70 (5) (2021)
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
Extending Liquid Types to Arrays. ACM Trans. Comput. Log. 21 (2) (2020)
Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García
Deriving overloaded success type schemes in Erlang. J. Comput. Lang. 58 (2020)
Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García
Polymorphic success types for Erlang. LPAR (2018)
María Asunción Lubiano, Carlos Carleos, Manuel Montenegro, María Angeles Gil
Case Study-Based Sensitivity Analysis of Scale Estimates w.r.t. the Shape of Fuzzy Data. SMPS (2018)
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
Liquid Types for Array Invariant Synthesis. ATVA (2017)
María Asunción Lubiano, Manuel Montenegro, Beatriz Sinova, Sara de la Rosa de Sáa, María Angeles Gil
Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications. Eur. J. Oper. Res. 251 (3) (2016)
María Asunción Lubiano, Sara de la Rosa de Sáa, Manuel Montenegro, Beatriz Sinova, María Angeles Gil
Descriptive analysis of responses to items in questionnaires. Why not using a fuzzy rating scale? Inf. Sci. 360 (2016)
Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá
Polymorphic Types in Erlang Function Specifications. FLOPS (2016)
María Asunción Lubiano, Antonia Salas, Sara de la Rosa de Sáa, Manuel Montenegro, María Ángeles Gil
An Empirical Analysis of the Coherence Between Fuzzy Rating Scale- and Likert Scale-Based Responses to Questionnaires. SMPS (2016)
Manuel Montenegro, Ricardo Peña, Clara Segura
Space consumption analysis by abstract interpretation: Inference of recursive functions. Sci. Comput. Program. 111 (2015)
Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof
Checking Java Assertions Using Automated Test-Case Generation. LOPSTR (2015)
Manuel Montenegro, Ricardo Peña, Clara Segura
Space consumption analysis by abstract interpretation: Reductivity properties. Sci. Comput. Program. 111 (2015)
Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández
A Generic Intermediate Representation for Verification Condition Generation. LOPSTR (2015)
Manuel Montenegro, Ricardo Peña, Clara Segura
Shape analysis in a functional language by using regular languages. Sci. Comput. Program. 111 (2015)
Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen
ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26 (14) (2014)
Manuel Montenegro, Ricardo Peña, Clara Segura
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. Inf. Comput. 235 (2014)
Beatriz Sinova, Sonia Pérez-Fernández, Manuel Montenegro
The Wabl/Ldev/Rdev Median of a Random Fuzzy Number and Statistical Properties. SMPS (2014)
Manuel Montenegro, Ricardo Peña, Clara Segura
Shape analysis in a functional language by using regular languages. PPDP (2013)
Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen
Making resource analysis practical for real-time Java. JTRES (2012)
Ángela Blanco-Fernández, Ana Colubi, Marta García-Bárzana, Manuel Montenegro
A Linear Regression Model for Interval-Valued Response Based on Set Arithmetic. SMPS (2012)
Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña
Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA (2011)
Javier de Dios, Manuel Montenegro, Ricardo Peña
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. IFM (2010)
Ana Belén Ramos-Guajardo, Gil González-Rodríguez, Manuel Montenegro, María Teresa López
Power Analysis of the Homoscedasticity Test for Random Fuzzy Sets. SMPS (2010)
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
A Simple Region Inference Algorithm for a First-Order Functional Language. WFLP (2009)
Gil González-Rodríguez, Ana Colubi, Pierpaolo D'Urso, Manuel Montenegro
Multi-sample test-based clustering for fuzzy random variables. Int. J. Approx. Reason. 50 (5) (2009)
Manuel Montenegro, Ricardo Peña, Clara Segura
A Space Consumption Analysis by Abstract Interpretation. FOPARA (2009)
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. Electron. Notes Theor. Comput. Sci. 246 (2009)
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR (2008)
Manuel Montenegro, María Rosa Casals, Ana Colubi, María Angeles Gil
Testing 'Two-Sided' Hypothesis about the Mean of an Interval-Valued Random Set. SMPS (2008)
Manuel Montenegro, Ricardo Pena, Clara Segura
A type system for safe memory management and its proof of correctness. PPDP (2008)
Manuel Montenegro, Mireia Garcia-Viloca, Àngels González-Lafont, José M. Lluch
Comparative study of the prereactive protein kinase A Michaelis complex with Kemptide substrate. J. Comput. Aided Mol. Des. 21 (10-11) (2007)
María Angeles Gil, Gil González-Rodríguez, Ana Colubi, Manuel Montenegro
Testing linear independence in linear models with interval-valued data. Comput. Stat. Data Anal. 51 (6) (2007)
Ana Colubi, Norberto Corral, Gil González-Rodríguez, Manuel Montenegro
A Determination Doefficient for Fuzzy Random Variables in a Fuzzy Frithmetic-based Linear Model. FUZZ-IEEE (2007)
Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
A sharing analysis for SAFE. Trends in Functional Programming (2006)
Gil González-Rodríguez, Manuel Montenegro, Ana Colubi, María Angeles Gil
Bootstrap techniques and fuzzy random variables: Synergy in hypothesis testing with fuzzy data. Fuzzy Sets Syst. 157 (19) (2006)
María Angeles Gil, Manuel Montenegro, Gil González-Rodríguez, Ana Colubi, María Rosa Casals
Bootstrap approach to the multi-sample test of means with imprecise data. Comput. Stat. Data Anal. 51 (1) (2006)
Ana Colubi, Gil González-Rodríguez, María Asunción Lubiano, Manuel Montenegro
Exploratory Analysis of Random Variables Based on Fuzzifications. SMPS (2006)
Manuel Montenegro, Gil González-Rodríguez, Ana Colubi, María Angeles Gil
Bootstrap Techniques: A Valuable Tool in Statistical Hypothesis Testing about the Means of Fuzzy Random Variables. EUSFLAT Conf. (2005)
Manuel Montenegro, María Rosa Casals, María Asunción Lubiano, María Angeles Gil
Two-sample hypothesis tests of means of a fuzzy random variable. Inf. Sci. 133 (1-2) (2001)
Manuel Montenegro, María Rosa Casals, Ana Colubi, María Angeles Gil
Testing the expected value of a fuzzy random variable. A discussion. EUSFLAT Conf. (2001)