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

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.

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

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

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

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

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

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

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

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

Chat with Graph Search

What is the 'spectral diet' of humans?

Verified Functional Programming

System Support for Efficient Replication in Distributed Systems

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

Automatic extraction of constraints in manipulation tasks for autonomy and interaction

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

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