Our work aims at certifying that all the executions of several collaborating synchronous systems in a realistic environment follow a given specification. In order to analyze the numerous executions that may happen while considering a set of synchronous systems whose clocks are non-perfect and that communicate through non-instantaneous channels, we define two new abstract domains. The Changes co...

In this paper, I defend the possible consent interpretation of Kant’s formula of humanity from objections according to which it has counterintuitive implications. I do this in two ways. First, I argue that to a great extent, the supposed counterintuitive implications rest on a misunderstanding of the possible consent interpretation. Second, I argue that to the extent that these supposed counter...

Interpretation of Annotated Commands

This paper focuses on what electrical and magnetic recordings of human brain activity reveal about spoken language understanding. Based on the high temporal resolution of these recordings, a fine-grained temporal profile of different aspects of spoken language comprehension can be obtained. Crucial aspects of speech comprehension are lexical access, selection and semantic integration. Results s...

Interpretation Based Program Testing

We describe in this poster/short paper on-going work on the extraction and semantic interpretation of text regions in television news programmes. We present some of the data we consider in this work, the actual technologies in use and where they have to be improved. Finally we briefly discuss a possible innovative and valuable approach to the establishment of a cross-media analysis framework.