Information & computer science publications

In this paper, we propose a novel approach for object cosegmentation in arbitrary videos by sampling, tracking and matching object proposals via a Regulated Maximum Weight Clique (RMWC) extraction scheme.

Inspired by concolic testing, we propose a novel algorithm that integrates concrete execution and symbolic reasoning about the error trace to address these challenges.

This paper reports on our initial steps toward representing this core theme and describes the methodological background and open challenges.

We propose a template-based approach that extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping…

We describe the latest release of Yices, namely, Yices 2.2. We present the tool’s architecture and discuss the algorithms it implements, and we describe recent developments such as support for…

We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.

In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are…