Inigo Incer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2025
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RV | A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. | Josefine B. Graebener, Inigo Incer, Richard M. Murray |
| 2024 | ISoLA | Composition and Merging of Assume-Guarantee Contracts Are Tensor Products. | Inigo Incer |
| 2023 | MEMOCODE | Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
| 2023 | MEMOCODE | Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
| 2021 | EMSOFT | The cyber-physical immune system: work-in-progress. | Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |