Manuel Montenegro

Orcid: 0000-0002-7182-8150

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Verification of mutable linear data structures and iterator-based algorithms in Dafny.
J. Log. Algebraic Methods Program., August, 2023

Verification of the ROS NavFn planner using executable specification languages.
J. Log. Algebraic Methods Program., April, 2023

2022
Improving Database Learning with an Automatic Judge.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021
A Blockchain Approach for Decentralized V2X (D-V2X).
IEEE Trans. Veh. Technol., 2021

2020
Deriving overloaded success type schemes in Erlang.
J. Comput. Lang., 2020

Extending Liquid Types to Arrays.
ACM Trans. Comput. Log., 2020

2018
Case Study-Based Sensitivity Analysis of Scale Estimates w.r.t. the Shape of Fuzzy Data.
Proceedings of the Uncertainty Modelling in Data Science, 2018

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

2017
Liquid Types for Array Invariant Synthesis.
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?
Inf. Sci., 2016

Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications.
Eur. J. Oper. Res., 2016

An Empirical Analysis of the Coherence Between Fuzzy Rating Scale- and Likert Scale-Based Responses to Questionnaires.
Proceedings of the Soft Methods for Data Science, 2016

Polymorphic Types in Erlang Function Specifications.
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015
Space consumption analysis by abstract interpretation: Reductivity properties.
Sci. Comput. Program., 2015

Space consumption analysis by abstract interpretation: Inference of recursive functions.
Sci. Comput. Program., 2015

Shape analysis in a functional language by using regular languages.
Sci. Comput. Program., 2015

A Generic Intermediate Representation for Verification Condition Generation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Checking Java Assertions Using Automated Test-Case Generation.
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.
Inf. Comput., 2014

ResAna: a resource analysis toolset for (real-time) JAVA.
Concurr. Comput. Pract. Exp., 2014

The Wabl/Ldev/Rdev Median of a Random Fuzzy Number and Statistical Properties.
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.
Proceedings of the Synergies of Soft Computing and Statistics for Intelligent Data Analysis, 2012

Making resource analysis practical for real-time Java.
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.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2010
Power Analysis of the Homoscedasticity Test for Random Fuzzy Sets.
Proceedings of the Combining Soft Computing and Statistical Methods in Data Analysis, 2010

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009
Multi-sample test-based clustering for fuzzy random variables.
Int. J. Approx. Reason., 2009

A Simple Region Inference Algorithm for a First-Order Functional Language.
Proceedings of the Functional and Constraint Logic Programming, 2009

A Space Consumption Analysis by Abstract Interpretation.
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.
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.
Proceedings of the Soft Methods for Handling Variability and Imprecision, 2008

A type system for safe memory management and its proof of correctness.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

An Inference Algorithm for Guaranteeing Safe Destruction.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2007
Comparative study of the prereactive protein kinase A Michaelis complex with Kemptide substrate.
J. Comput. Aided Mol. Des., 2007

Testing linear independence in linear models with interval-valued data.
Comput. Stat. Data Anal., 2007

A Determination Doefficient for Fuzzy Random Variables in a Fuzzy Frithmetic-based Linear Model.
Proceedings of the FUZZ-IEEE 2007, 2007

2006
Bootstrap techniques and fuzzy random variables: Synergy in hypothesis testing with fuzzy data.
Fuzzy Sets Syst., 2006

Bootstrap approach to the multi-sample test of means with imprecise data.
Comput. Stat. Data Anal., 2006

Exploratory Analysis of Random Variables Based on Fuzzifications.
Proceedings of the Soft Methods for Integrated Uncertainty Modelling, 2006

A sharing analysis for SAFE.
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.
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.
Inf. Sci., 2001

Testing the expected value of a fuzzy random variable. A discussion.
Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001


  Loading...