Publication

Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

Publications associées (28)

Scaling Functional Synthesis and Repair

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

What is the 'spectral diet' of humans?

Marilyne Andersen, Forrest Simon Webler, Manuel Spitschan

Our visual perception of the world - seeing form and colour or navigating the environment - depends on the interaction of light and matter in the environment. Light also has a more fundamental role in regulating rhythms in physiology and behaviour, as well ...

ELSEVIER2019

Verified Functional Programming

Nicolas Charles Yves Voirol

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019

System Support for Efficient Replication in Distributed Systems

Dragos-Adrian Seredinschi

Current online applications, such as search engines, social networks, or file sharing services, execute across a distributed network of machines. They provide non-stop services to their users despite failures in the underlying network. To achieve such a hi ...

EPFL2019

Role of the pedestal position on the pedestal performance in AUG, JET-ILW and TCV and implications for ITER

Patrick Blanchard, Stefano Coda, Benoît Labit, Lenke Horváth, Pamela Solange Valdés Undurraga, Antoine Pierre Emmanuel Alexis Merle, Umar Sheikh

The role of the pedestal position on the pedestal performance has been investigated in AUG, JET-ILW and TCV. When the pedestal is peeling-ballooning (PB) limited, the three machines show a similar behaviour. The outward shift of the pedestal density relati ...

IOP Publishing Ltd2019

Automatic extraction of constraints in manipulation tasks for autonomy and interaction

Ana-Lucia Ureche

Tasks routinely executed by humans involve sequences of actions performed with high dexterity and coordination. Fully specifying these actions such that a robot could replicate the task is often difficult. Furthermore the uncertainties introduced by the us ...

EPFL2018

Discovery and Temporal Analysis of Latent Study Patterns from MOOC Interaction Sequences

Pierre Dillenbourg, Mina Shirvani Boroujeni

Capturing students' behavioral patterns through analysis of sequential interaction logs, is an important task in educational data mining to enable more effective personalized support during the learning process. This study aims at discovery and temporal an ...

2018

Augmented Reality to Facilitate a Conceptual Understanding of Statics in Vocational Education

Lorenzo Lucignano

At the core of the contribution of this dissertation there is an augmented reality (AR) environment, StaticAR, that supports the process of learning the fundamentals of statics in vocational classrooms, particularly in carpentry ones. Vocational apprentice ...

EPFL2018