Publications related to Model-based testing

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

We present a new approach for modeling and analyzing route choice behavior. It is motivated by the need to reduce the complexity of the state-of-the-art choice models. It is inspired by the simplifications done by the travelers, using representations of th ...

2015

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Michel Bierlaire, Gunnar Flötteröd, Evanthia Kazagli

We present a new approach for modeling and analyzing route choice behavior. It is motivated by the need to reduce the complexity of the state-of-the-art choice models. It is inspired by the simplifications done by the travelers, using representations of th ...

2015

Blood flow velocity field estimation via spatial regression with PDE penalization

Fabio Nobile

We propose an innovative method for the accurate estimation of surfaces and spatial fields when prior knowledge of the phenomenon under study is available. The prior knowledge included in the model derives from physics, physiology, or mechanics of the prob ...

American Statistical Association2015

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Luc Patiny, Julien Wist, Andrés Mauricio Castillo Robles

We present a method for the automatic assignment of small molecules' NMR spectra. The method includes an automatic and novel self-consistent peak-picking routine that validates NMR peaks in each spectrum against peaks in the same or other spectra that are ...

Wiley-Blackwell2015

Case study – Delta restoration at a steep river mouth

Anton Schleiss, Giovanni De Cesare, Stéphanie Joëlle André, Stéphane Christian Olivier Terrier

The mouth of the Baye de Clarens torrent in Switzerland is currently constrained by lateral training walls, sequent sills and a bridge with a low hydraulic capacity. Due to a bed load trap upstream, few sediments reach the mouth. To improve flood protectio ...

IAHR2015

ECMA-407: A New 3D audio codec implementation up to NHK 22.2

Marco Mattavelli, Claudio Paolo Alberti, Junaid Jameel Ahmad

ECMA-407, the first 3D audio standard worldwide, introduces a new concept of static models to lower bitrate coding, which may be equally applied with channels, channels and objects and Higher Order Ambisonics (HOA). Static models may either operate in time ...

2014

An efficient deterministic test for Kloosterman sum zeros

Robert Granger

We propose a simple deterministic test for deciding whether or not a non-zero element

a \in \mathbb{F}_{2^n}

or

\mathbb{F}_{3^n}

is a zero of the corresponding Kloosterman sum over these fields, and analyse its complexity. The test seems to have been o ...

American Mathematical Society2014

Model-based automated testing of critical PLC programs

Jean-Charles Tournier, Simon Bliudze

Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model-based approach which uses the BIP (Behavior, Interactions and Priorities) fr ...

IEEE2013

A methodology for creating sequential multi-period base-case scenarios for large data sets

François Maréchal, Greta Martha Van Eetvelde, Laurent Gabriel Félix Alexandre Stéphane Bungener

Key performance indicators in engineering problems include but are not limited to financial, operational, management and environmental factors, which are significantly affected by aspects such as seasonality, fouling, economic climate, production rates, su ...

AIDIC Servizi2013

Rigorous implementation of real-time systems – from theory to application

Joseph Sifakis

The correct and efficient implementation of general real-time applications remains very much an open problem. A key issue is meeting timing constraints whose satisfaction depends on features of the execution platform, in particular its speed. Existing rigo ...

2013

Model-based testing

Graph Chatbot

Chat with Graph Search

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Blood flow velocity field estimation via spatial regression with PDE penalization

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Case study – Delta restoration at a steep river mouth

ECMA-407: A New 3D audio codec implementation up to NHK 22.2

An efficient deterministic test for Kloosterman sum zeros

Model-based automated testing of critical PLC programs

A methodology for creating sequential multi-period base-case scenarios for large data sets

Rigorous implementation of real-time systems – from theory to application

ECMA-407: A New 3D audio codec implementation up to NHK 22.2

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Blood flow velocity field estimation via spatial regression with PDE penalization

Case study – Delta restoration at a steep river mouth

An efficient deterministic test for Kloosterman sum zeros

Model-based automated testing of critical PLC programs

A methodology for creating sequential multi-period base-case scenarios for large data sets

Rigorous implementation of real-time systems – from theory to application