30 citations · 55 across the 9 of their papers we have counts for
9 papers
Context-Aided Variable Elimination for Requirement Engineering
Inigo Incer, Albert Benveniste, Richard M. Murray +2
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This pa…
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Inigo Incer, Apurva Badithela, Josefine Graebener +8
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalabl…
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
Albert Benveniste, Jean-Baptiste Raclet
Graphical models in probability and statistics are a core concept in the area of probabilistic reasoning and probabilistic programming-graphical models include Bayesian networks an…
Hypercontracts
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli +1
Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. In this paper we propose hypercontracts…
Structural Analysis of Multimode DAE Systems: summary of results
Albert Benveniste, Benoît Caillaud, Mathias Malandain
Modern modeling languages for general physical systems, such as Modelica, Amesim, or Simscape, rely on Differential Algebraic Equations (DAEs), i.e., constraints of the form f(\dot…
Mixed Nondeterministic-Probabilistic Interfaces
Albert Benveniste, Kim Larsen, Jean-Baptiste Raclet
Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition.…