Person:209390

Available identifiers

zbMath Open montenegro.manuelMaRDI QIDQ209390

List of research outcomes

Publication	Date of Publication	Type
Verification of mutable linear data structures and iterator-based algorithms in Dafny	2023-08-08	Paper
Verification of the ROS NavFn planner using executable specification languages	2023-03-20	Paper
Analyzing the influence of the rating scale for items in a questionnaire on Cronbach coefficient alpha	2022-10-26	Paper
Liquid Types for Array Invariant Synthesis	2022-08-12	Paper
Extending Liquid Types to Arrays	2020-09-11	Paper
Polymorphic success types for Erlang	2019-07-04	Paper
Arithmetic and Distance-Based Approach to the Statistical Analysis of Imprecisely Valued Data	2016-11-08	Paper
Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications	2016-10-07	Paper
Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications	2016-06-01	Paper
The Wabl/Ldev/Rdev Median of a Random Fuzzy Number and Statistical Properties	2016-05-26	Paper
A Linear Regression Model for Interval-Valued Response Based on Set Arithmetic	2016-05-13	Paper
Polymorphic Types in Erlang Function Specifications	2016-04-04	Paper
Checking Java Assertions Using Automated Test-Case Generation	2016-02-05	Paper
A Generic Intermediate Representation for Verification Condition Generation	2016-02-05	Paper
Least squares fitting of an affine function and strength of association for interval-valued data	2015-10-14	Paper
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation	2015-04-09	Paper
Bertoluzza et al.'s metric as a basis for analyzing fuzzy data	2014-12-03	Paper
A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation	2014-03-13	Paper
Interpolation-Based Height Analysis for Improving a Recurrence Solver	2012-11-02	Paper
A Space Consumption Analysis by Abstract Interpretation	2010-09-14	Paper
Multi-sample test-based clustering for fuzzy random variables	2010-04-07	Paper
Testing linear independence in linear models with interval-valued data	2009-05-29	Paper
Bootstrap approach to the multi-sample test of means with imprecise data	2009-04-06	Paper
An Inference Algorithm for Guaranteeing Safe Destruction	2009-03-24	Paper
Bootstrap techniques and fuzzy random variables: synergy in hypothesis testing with fuzzy data	2006-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q3157552	2005-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q3157563	2005-01-19	Paper
Asymptotic and bootstrap techniques for testing the expected value of a fuzzy random variable	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4329330	2002-04-29	Paper
Regression and correlation analyses of a linear relation between random intervals	2002-03-26	Paper
Two-sample hypothesis tests of means of a fuzzy random variable	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4011482	1992-09-27	Paper

Research outcomes over time

This page was built for person: Manuel Montenegro