Manuel Montenegro

46 papers B 5C 6Misc 1Journal 19Unranked 15

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