Inigo Incer

30 papers B 1C 2Misc 1Journal 16Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Some Algebraic Aspects of Assume-Guarantee Reasoning.
Engineering Safe and Trustworthy Cyber Physical Systems
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
2025 B conf
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems.
RV
Josefine B. Graebener, Inigo Incer, Richard M. Murray
2025 J jnl
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems.
CoRR
Josefine B. Graebener, Inigo Incer, Richard M. Murray
2025 J jnl
Correction: Hypercontracts.
Formal Methods Syst. Des.
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025 J jnl
Hypercontracts.
Formal Methods Syst. Des.
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025 J jnl
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design.
ACM Trans. Cyber Phys. Syst.
Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025 J jnl
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems.
CoRR
Eric Vin, Kyle A. Miller, Inigo Incer, Sanjit A. Seshia, Daniel J. Fremont
2024 — conf
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products.
ISoLA (3)
Inigo Incer
2024 J jnl
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products.
CoRR
Inigo Incer
2024 J jnl
Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts.
CoRR
Nicolas Rouquette, Alessandro Pinto, Inigo Incer
2024 — conf
Guaranteeing System-level Properties in Genetic Circuits Subject to Context Effects.
CDC
Inigo Incer, Ayush Pandey, Nicholas Nolan, Emma L. Peterman, Kate E. Galloway, Eduardo D. Sontag, Domitilla Del Vecchio
2024 J jnl
Layered Control Systems Operating on Multiple Clocks.
IEEE Control. Syst. Lett.
Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray
2024 J jnl
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks.
CoRR
Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray
2024 J jnl
Synthesizing LTL contracts from component libraries using rich counterexamples.
Sci. Comput. Program.
Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2023 J jnl
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies.
CoRR
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
2023 C conf
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.
MEMOCODE
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2023 J jnl
Context-Aided Variable Elimination for Requirement Engineering.
CoRR
Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023 C conf
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.
MEMOCODE
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2023 — conf
Contract-Based Specification Refinement and Repair for Mission Planning.
FormaliSE
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2023 J jnl
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.
CoRR
Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023 — conf
Reasoning over Test Specifications Using Assume-Guarantee Contracts.
NFM
Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray
2023 J jnl
Some Algebraic Aspects of Assume-Guarantee Reasoning.
CoRR
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
2023 — conf
Symbiotic CPS Design-Space Exploration through Iterated Optimization.
CPS-IoT Week Workshops
Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia
2022 J jnl
Contract-Based Specification Refinement and Repair for Mission Planning.
CoRR
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2022 — conf
From Interface Automata to Hypercontracts.
Principles of Systems Design
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022 — conf
Hypercontracts.
NFM
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022 — —
The Algebra of Contracts
Inigo Incer
2021 J jnl
Hypercontracts.
CoRR
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021 Misc conf
The cyber-physical immune system: work-in-progress.
EMSOFT
Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2018 — conf
Adversarially Robust Malware Detection Using Monotonic Classification.
IWSPA@CODASPY
Inigo Incer, Michael Theodorides, Sadia Afroz, David A. Wagner