Manuel Montenegro

According to our database, Manuel Montenegro authored at least 43 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verification of mutable linear data structures and iterator-based algorithms in Dafny.

Jorge Blázquez, Manuel Montenegro, Clara Segura

J. Log. Algebraic Methods Program., August, 2023

Verification of the ROS NavFn planner using executable specification languages.

Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio

J. Log. Algebraic Methods Program., April, 2023

2022

Improving Database Learning with an Automatic Judge.

Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

A Blockchain Approach for Decentralized V2X (D-V2X).

Isaac Agudo, Manuel Montenegro, Javier López

IEEE Trans. Veh. Technol., 2021

2020

Deriving overloaded success type schemes in Erlang.

Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García

J. Comput. Lang., 2020

Extending Liquid Types to Arrays.

Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura

ACM Trans. Comput. Log., 2020

2018

Case Study-Based Sensitivity Analysis of Scale Estimates w.r.t. the Shape of Fuzzy Data.

María Asunción Lubiano, Carlos Carleos, Manuel Montenegro, María Angeles Gil

Proceedings of the Uncertainty Modelling in Data Science, 2018

Polymorphic success types for Erlang.

Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Liquid Types for Array Invariant Synthesis.

Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Descriptive analysis of responses to items in questionnaires. Why not using a fuzzy rating scale?

María Asunción Lubiano, Sara de la Rosa de Sáa, Manuel Montenegro, Beatriz Sinova, María Angeles Gil

Inf. Sci., 2016

Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications.

María Asunción Lubiano, Manuel Montenegro, Beatriz Sinova, Sara de la Rosa de Sáa, María Angeles Gil

Eur. J. Oper. Res., 2016

An Empirical Analysis of the Coherence Between Fuzzy Rating Scale- and Likert Scale-Based Responses to Questionnaires.

María Asunción Lubiano, Antonia Salas, Sara de la Rosa de Sáa, Manuel Montenegro, María Ángeles Gil

Proceedings of the Soft Methods for Data Science, 2016

Polymorphic Types in Erlang Function Specifications.

Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

Space consumption analysis by abstract interpretation: Reductivity properties.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

Space consumption analysis by abstract interpretation: Inference of recursive functions.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

Shape analysis in a functional language by using regular languages.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

A Generic Intermediate Representation for Verification Condition Generation.

Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Checking Java Assertions Using Automated Test-Case Generation.

Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation.

Manuel Montenegro, Ricardo Peña, Clara Segura

Inf. Comput., 2014

ResAna: a resource analysis toolset for (real-time) JAVA.

Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen

Concurr. Comput. Pract. Exp., 2014

The Wabl/Ldev/Rdev Median of a Random Fuzzy Number and Statistical Properties.

Beatriz Sinova, Sonia Pérez-Fernández, Manuel Montenegro

Proceedings of the Strengthening Links Between Data Analysis and Soft Computing, 2014

2012

A Linear Regression Model for Interval-Valued Response Based on Set Arithmetic.

Ángela Blanco-Fernández, Ana Colubi, Marta García-Bárzana, Manuel Montenegro

Proceedings of the Synergies of Soft Computing and Statistics for Intelligent Data Analysis, 2012

Making resource analysis practical for real-time Java.

Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

Interpolation-Based Height Analysis for Improving a Recurrence Solver.

Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2010

Power Analysis of the Homoscedasticity Test for Random Fuzzy Sets.

Ana Belén Ramos-Guajardo, Gil González-Rodríguez, Manuel Montenegro, María Teresa López

Proceedings of the Combining Soft Computing and Statistical Methods in Data Analysis, 2010

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.

Javier de Dios, Manuel Montenegro, Ricardo Peña

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

Multi-sample test-based clustering for fuzzy random variables.

Gil González-Rodríguez, Ana Colubi, Pierpaolo D'Urso, Manuel Montenegro

Int. J. Approx. Reason., 2009

A Simple Region Inference Algorithm for a First-Order Functional Language.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the Functional and Constraint Logic Programming, 2009

A Space Consumption Analysis by Abstract Interpretation.

Manuel Montenegro, Ricardo Peña, Clara Segura

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

2008

A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

Testing 'Two-Sided' Hypothesis about the Mean of an Interval-Valued Random Set.

Manuel Montenegro, María Rosa Casals, Ana Colubi, María Angeles Gil

Proceedings of the Soft Methods for Handling Variability and Imprecision, 2008

A type system for safe memory management and its proof of correctness.

Manuel Montenegro, Ricardo Pena, Clara Segura

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

An Inference Algorithm for Guaranteeing Safe Destruction.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2007

Comparative study of the prereactive protein kinase A Michaelis complex with Kemptide substrate.

Manuel Montenegro, Mireia Garcia-Viloca, Àngels González-Lafont, José M. Lluch

J. Comput. Aided Mol. Des., 2007

Testing linear independence in linear models with interval-valued data.

María Angeles Gil, Gil González-Rodríguez, Ana Colubi, Manuel Montenegro

Comput. Stat. Data Anal., 2007

A Determination Doefficient for Fuzzy Random Variables in a Fuzzy Frithmetic-based Linear Model.

Ana Colubi, Norberto Corral, Gil González-Rodríguez, Manuel Montenegro

Proceedings of the FUZZ-IEEE 2007, 2007

2006

Bootstrap techniques and fuzzy random variables: Synergy in hypothesis testing with fuzzy data.

Gil González-Rodríguez, Manuel Montenegro, Ana Colubi, María Angeles Gil

Fuzzy Sets Syst., 2006

Bootstrap approach to the multi-sample test of means with imprecise data.

María Angeles Gil, Manuel Montenegro, Gil González-Rodríguez, Ana Colubi, María Rosa Casals

Comput. Stat. Data Anal., 2006

Exploratory Analysis of Random Variables Based on Fuzzifications.

Ana Colubi, Gil González-Rodríguez, María Asunción Lubiano, Manuel Montenegro

Proceedings of the Soft Methods for Integrated Uncertainty Modelling, 2006

A sharing analysis for SAFE.

Ricardo Peña-Marí, Clara Segura, Manuel Montenegro

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

2005

Bootstrap Techniques: A Valuable Tool in Statistical Hypothesis Testing about the Means of Fuzzy Random Variables.

Manuel Montenegro, Gil González-Rodríguez, Ana Colubi, María Angeles Gil

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

2001

Two-sample hypothesis tests of means of a fuzzy random variable.

Manuel Montenegro, María Rosa Casals, María Asunción Lubiano, María Angeles Gil

Inf. Sci., 2001

Testing the expected value of a fuzzy random variable. A discussion.

Manuel Montenegro, María Rosa Casals, Ana Colubi, María Angeles Gil

Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001