| Publication | Date of Publication | Type |
|---|
Verification of mutable linear data structures and iterator-based algorithms in Dafny
Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | Paper |
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming | 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
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
Extending liquid types to arrays
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
Polymorphic success types for Erlang
EPiC Series in Computing | 2019-07-04 | Paper |
Arithmetic and distance-based approach to the statistical analysis of imprecisely valued data
Towards Advanced Data Analysis by Combining Soft Computing and Statistics | 2016-11-08 | Paper |
Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications
European Journal of Operational Research | 2016-10-07 | Paper |
Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications
European Journal of Operational Research | 2016-06-01 | Paper |
The wabl/ldev/rdev median of a random fuzzy number and statistical properties
Strengthening Links Between Data Analysis and Soft Computing | 2016-05-26 | Paper |
A linear regression model for interval-valued response based on set arithmetic
Synergies of Soft Computing and Statistics for Intelligent Data Analysis | 2016-05-13 | Paper |
Polymorphic types in Erlang function specifications
Functional and Logic Programming | 2016-04-04 | Paper |
Checking Java Assertions Using Automated Test-Case Generation
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
A generic intermediate representation for verification condition generation
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
Least squares fitting of an affine function and strength of association for interval-valued data
Metrika | 2015-10-14 | Paper |
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Electronic Notes in Theoretical Computer Science | 2015-04-09 | Paper |
Bertoluzza et al.'s metric as a basis for analyzing fuzzy data
Metron | 2014-12-03 | Paper |
A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
Information and Computation | 2014-03-13 | Paper |
Interpolation-based height analysis for improving a recurrence solver
Foundational and Practical Aspects of Resource Analysis | 2012-11-02 | Paper |
A space consumption analysis by abstract interpretation
Foundational and Practical Aspects of Resource Analysis | 2010-09-14 | Paper |
Multi-sample test-based clustering for fuzzy random variables
International Journal of Approximate Reasoning | 2010-04-07 | Paper |
Testing linear independence in linear models with interval-valued data
Computational Statistics and Data Analysis | 2009-05-29 | Paper |
Bootstrap approach to the multi-sample test of means with imprecise data
Computational Statistics and Data Analysis | 2009-04-06 | Paper |
An Inference Algorithm for Guaranteeing Safe Destruction
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
Bootstrap techniques and fuzzy random variables: synergy in hypothesis testing with fuzzy data
Fuzzy Sets and Systems | 2006-11-15 | Paper |
| scientific article; zbMATH DE number 2129936 (Why is no real title available?) | 2005-01-19 | Paper |
| scientific article; zbMATH DE number 2129943 (Why is no real title available?) | 2005-01-19 | Paper |
Asymptotic and bootstrap techniques for testing the expected value of a fuzzy random variable
Metrika | 2004-09-22 | Paper |
| scientific article; zbMATH DE number 1735961 (Why is no real title available?) | 2002-04-29 | Paper |
Regression and correlation analyses of a linear relation between random intervals
Test | 2002-03-26 | Paper |
Two-sample hypothesis tests of means of a fuzzy random variable
Information Sciences | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 66837 (Why is no real title available?) | 1992-09-27 | Paper |
