Concept

Formal system

Related publications (138)

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.

The RADO approach to Quality-Driven Service Composition - Approximating the Pareto-Frontier in Polynomial Time

Boi Faltings, Immanuel Trummer

In Quality-Driven Service Composition, tasks from an ab- stract work ow are assigned to concrete services such that work ow QoS are optimized. The following three proper- ties are desirable for a corresponding algorithm. First, the run time is ideally boun ...

2012

Automatic Verification of Temporal Epistemic Logic under Convergent Equational Theories

We present a methodology for the automatic veriﬁcation of multi-agent systems against temporal-epistemic speciﬁcations derived from higher-level languages deﬁned over convergent equational theories. We introduce a modality called rewriting knowledge that o ...

2012

Music Recommendation to Groups

Lucas Maystre

First we present Unison, a conceptual music recommender system for groups of people; the system aims at generating a playlist that takes musical tastes of all the group members into account. We discuss both theoretical and practical concerns related to suc ...

2012

The Idiap Speaker Recognition Evaluation System at NIST SRE 2012

Sébastien Marcel, Laurent El Shafey

In this paper, we present the Idiap Research Institute submission to the 2012 NIST Speaker Recognition Evaluation. Our system is based on the Inter-Session Variability (ISV) modelling technique. The implementation of the system relies on Bob, a free signal ...

2012

Tools for brain-computer interaction: a general concept for a hybrid BCI

José del Rocio Millán Ruiz, Robert Leeb, Luca Tonin, Michele Tavella

The aim of this work is to present the development of a hybrid Brain-Computer Interface (hBCI) which combines existing input devices with a BCI. Thereby, the BCI should be available if the user wishes to extend the types of inputs available to an assistive ...

Frontiers Research Foundation2011

Formal Analysis of SystemC Designs in Process Algebra

Hossein Hojjat

SystemC is an IEEE standard system-level language used in hardware/software co-design and has been widely adopted in the industry. This paper describes a formal approach to verifying SystemC designs by providing a mapping to the process algebra mCRL2. Our ...

2011

A probabilistic spinning reserve market model considering DisCos different value of lost loads

Ali Ahmadi Khatir

In practice, some customers like industrial ones have higher value of involuntary lost load (VOLL) than other customers and thus, are willing to pay more for higher reliability levels than those with less VOLL, and consequently, they are more concerned wit ...

Elsevier2011

Causality in Databases

Christoph Koch, Dan Suciu

Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for “causes” of tuples in the query results or in general observations, the analysis of lineage becomes an essential tool for providing such ju ...

2010

From high-level component-based models to distributed implementations

Joseph Sifakis

Although distributed systems are widely used nowadays, their implementation and deployment is still a time-consuming, error-prone, and hardly predictive task. In this paper, we propose a methodology for producing automatically efficient and correct-by-cons ...

ACM2010

A Perching Mechanism for Micro Aerial Vehicles

Dario Floreano, Roland Siegwart, Mirko Kovac, Jürg Markus Germann

Micro Aerial Vehicles (MAVs) with perching capabilities can be used to efficiently place sensors in aloft locations. A major challenge for perching is to build a lightweight mechanism that can be easily mounted on a MAV, allowing it to perch (attach and de ...

2010