Concept

Verification and validation

Related publications (59)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

We present a trustworthy connection between the Leon verification system and the Isabelle proof assistant. Leon is a system for verifying functional Scala programs. It uses a variety of automated theorem provers (ATPs) to check verification conditions (VCs ...

2016

, ,

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

[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

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

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, 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

Are current bridge load modelling techniques realistic for existing road bridges?

Mark Anthony Treacy

Road traffic loading is a highly variable process with a wide range of complex variables to consider. Consequently, various simplifying assumptions are required to efficiently model heavy traffic events for bridge safety verification, which reduce the accu ...

Crc Press-Taylor & Francis Group2014