Risultati della ricerca - Incer, Inigo

An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras di Incer, Inigo

Testo

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products di Incer, Inigo

Testo

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts di Rouquette, Nicolas, Pinto, Alessandro, Incer, Inigo

Testo

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems di Graebener, Josefine B., Incer, Inigo, Murray, Richard M.

Testo

Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks di Incer, Inigo, Csomay-Shanklin, Noel, Ames, Aaron, Murray, Richard M.

Testo

Context-Aided Variable Elimination for Requirement Engineering di Incer, Inigo, Benveniste, Albert, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.

Testo

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems di Vin, Eric, Miller, Kyle A., Incer, Inigo, Seshia, Sanjit A., Fremont, Daniel J.

Testo

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design di Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.

Testo