research
∙
09/16/2023
Some Algebraic Aspects of Assume-Guarantee Reasoning
We present the algebra of assume-guarantee (AG) contracts. We define con...
share
research
∙
05/27/2023
Context-Aided Variable Elimination for Requirement Engineering
Deriving system-level specifications from component specifications usual...
research
∙
03/31/2023
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Contract-based design is a method to facilitate modular system design. W...
research
∙
02/27/2023
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
We propose a context-sensitive grammar for the systematic exploration of...
research
∙
11/21/2022
Contract-Based Specification Refinement and Repair for Mission Planning
We address the problem of modeling, refining, and repairing formal speci...
research
∙
05/26/2021
