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
∙
01/19/2022
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
Graphical models in probability and statistics are a core concept in the...
research
∙
05/26/2021
Hypercontracts
Contracts (or interface) theories have been proposed to formally support...
research
∙
01/14/2021
Structural Analysis of Multimode DAE Systems: summary of results
Modern modeling languages for general physical systems, such as Modelica...
research
∙
11/05/2020
Mixed Nondeterministic-Probabilistic Interfaces
Interface theories are powerful frameworks supporting incremental and co...
research
∙
08/12/2020