Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Verification and validation

Publications associées (30)

Linking Models and Experiments

Dominique Bonvin, Diogo Filipe Mateus Rodrigues, René Uwe Schneider

This position paper gives an overview of the discussion that took place at FIPSE 2 at Aldemar Resort, east of Heraklion, Crete, in June 21-23, 2014. This is the second conference in the series "Future Innovation in Process Systems Engineering" (http://fi-i ...

Amer Chemical Soc2016

Imprecise Security: Quality and Complexity Tradeoffs for Hardware Information Flow Tracking

Paolo Ienne, Andrew James Becker

Secure hardware design is a challenging task that goes far beyond ensuring functional correctness. Important design properties such as non-interference cannot be verified on functional circuit models due to the lack of essential information (e.g., sensitiv ...

Assoc Computing Machinery2016

Improving the accuracy of low-cost GNSS by fusion with inertial and magnetic sensors in alpine ski racing

Kamiar Aminian, Benedikt Fasel

For analysing performance in alpine ski racing, an accurate estimation of the skier’s centre of mass trajectory and speed is indispensable. However, the sole use of low-cost GNSS might not be accurate enough to detect meaningful differences. The aim of thi ...

2016

Minimizing Efforts in Validating Crowd Answers

Karl Aberer, Quoc Viet Hung Nguyen, Chi Thang Duong

In recent years, crowdsourcing has become essential in a wide range of Web applications. One of the biggest challenges of crowdsourcing is the quality of crowd answers as workers have wide-ranging levels of expertise and the worker community may contain fa ...

2015

Animation-Based Service Specification, Verification and Validation

Biljana Bajic-Bizumic

[Context] With the expansion of services and service science, service systems have become an important abstraction for the service revolution. Service is defined as the application of resources (including competences, skills, and knowledge) to make changes ...

EPFL2015

Application of real-time simulation for hydropower plants monitoring

Michel Sangkyu Han

The global emission of CO2 has increased in the sector of power generation from countries outside the OECD, particularly in China which comprises two-third of the share. Meanwhile, OECD countries focus their effort in reducing their emission, where the ind ...

EPFL2015

Recommendations for Standardizing Validation Procedures Assessing Physical Activity of Older Persons by Monitoring Body Postures and Movements

Kamiar Aminian

Physical activity is an important determinant of health and well-being in older persons and contributes to their social participation and quality of life. Hence, assessment tools are needed to study this physical activity in free-living conditions. Wearabl ...

Mdpi Ag2014

Sound Compilation of Reals

Viktor Kuncak, Eva Darulova

Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and sp ...

ACM2014

Smart knee prosthesis kinematics estimation and validation in a robotic knee simulator

Kamiar Aminian, Arash Arami

In this work we present the smart knee prosthesis designed for in-vivo kinematics measurement and its validation in two knee simulators, i.e. a robotic knee simulator to provide realistic condition, and a manual simulator with more degrees of freedom. The ...

2014

Probabilistic assessment of the process-noise covariance matrix of discrete Kalman filter state estimation of active distribution networks

Mario Paolone, Sidi-Rachid Cherkaoui, Marco Pignati, Lorenzo Zanni, Styliani Sarri

The accuracy of state estimators using the Kalman Filter (KF) is largely influenced by the measurement and the process noise covariance matrices. The former can be directly inferred from the available measurement devices whilst the latter needs to be asses ...

IEEE2014