Information & computer science publications

Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper…

The Evidential Tool Bus (ETB) is a distributed framework for tool integration for the purpose of building and maintaining assurance cases. We outline the semantic characteristics of the variant of…

We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS), a widely used open-source framework for robot software development.

The paper describes and illustrates these applications of synchronous observers.

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

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…

Motivated by contemporary security challenges, we reevaluate and refine capability-based addressing for the RISC era. We present CHERI, a hybrid capability model that extends the 64-bit MIPS ISA with byte-granularity…