We study the relation between specifications of component behaviors and contracts
providing means to specify assumptions on environments as well as component guarantees …

We present SGR (1), a novel synthesis technique and methodological guidelines for
automatically constructing event-based behavior models. Our approach works for an …

Panda (for Provenance and Data), a system for data-oriented workflows that supports
debugging and drill-down using logical provenance-provenance information stored at the …

We present a framework for the compositional simulation-based analysis of AI-based
autonomous systems for Markovian safety specifications. Our compositional approach …

Complexity is a major obstacle to apply formal verification techniques in industry. Assume-
guarantee (AG) reasoning is a promising compositional verification approach to deal with …

Whitening the testing of service-oriented applications can provide service consumers
confidence on how well an application has been tested. However, to protect business …

We formulate a sound and complete assume–guarantee framework for reasoning
compositionally about components modelled as a variant of interface automata. The …

We formulate a sound and complete assume-guarantee framework for reasoning
compositionally about safety properties of component behaviours. The specification of a …

The correspondence of active learning and testing of finite-state machines (FSMs) has been
known for a while; however, it was not utilized in the learning. We propose a new framework …

This paper explores the use of hardware sand-boxes, conceptually similar to software
sandboxes, for secure integration of non-trusted IPs in systems-on-chip (SoC) designs. Our …