Adversarially Robust Malware Detection Using Monotonic Classification. - Inigo Incer; Michael Theodorides; Sadia Afroz 001; David A. Wagner 001 (IWSPA@CODASPY, 2018)

Quotient for Assume-Guarantee Contracts. - Íñigo Íncer Romeo; Alberto L. Sangiovanni-Vincentelli; Chung-Wei Lin; Eunsuk Kang (MEMOCODE, 2018)

A Metric for Linear Temporal Logic. - Íñigo Íncer Romeo; Marten Lohstroh; Antonio Iannopollo; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CoRR, 2018)

Reactors: A Deterministic Model for Composable Reactive Systems. - Marten Lohstroh; Íñigo Íncer Romeo; Andrés Goens; Patricia Derler; Jerónimo Castrillón; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CyPhy/WESE, 2019)

Coherent Extension, Composition, and Merging Operators in Contract Models for System Design. - Roberto Passerone; Íñigo Íncer Romeo; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2019)

The Quotient in Preorder Theories. - Íñigo X. Íncer Romeo; Leonardo Mangeruca; Tiziano Villa; Alberto L. Sangiovanni-Vincentelli (GandALF, 2020)

The cyber-physical immune system: work-in-progress. - Bo Pang; Ashank Verma; Jingchao Zhou; Inigo Incer; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2021)

From Interface Automata to Hypercontracts. - Inigo Incer; Albert Benveniste; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (Principles of Systems Design, 2022)

Hypercontracts. - Inigo Incer; Albert Benveniste; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (NFM, 2022)

The Algebra of Contracts - Inigo Incer (2022)

Symbiotic CPS Design-Space Exploration through Iterated Optimization. - Sheng-Jung Yu; Inigo Incer; Valmik Prabhu; Anwesha Chattoraj; Eric Vin; Daniel J. Fremont; Ankur Mehta; Alberto L. Sangiovanni-Vincentelli; Shankar Sastry 001; Sanjit A. Seshia (CPS-IoT Week Workshops, 2023)

Contract-Based Specification Refinement and Repair for Mission Planning. - Piergiuseppe Mallozzi; Inigo Incer; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (FormaliSE, 2023)

Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. - Sheng-Jung Yu; Inigo Incer; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2023)

Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. - Sheng-Jung Yu; Inigo Incer; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2023)

Reasoning over Test Specifications Using Assume-Guarantee Contracts. - Apurva Badithela; Josefine B. Graebener; Inigo Incer; Richard M. Murray (NFM, 2023)

A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. - Piergiuseppe Mallozzi; Hussein Sibai; Inigo Incer; Sanjit A. Seshia; Alberto L. Sangiovanni-Vincentelli (CoRR, 2023)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. - 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 (CoRR, 2023)

Context-Aided Variable Elimination for Requirement Engineering. - Inigo Incer; Albert Benveniste; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2023)

Some Algebraic Aspects of Assume-Guarantee Reasoning. - Inigo Incer; Albert Benveniste; Alberto L. Sangiovanni-Vincentelli (CoRR, 2023)

Guaranteeing System-level Properties in Genetic Circuits Subject to Context Effects. - Inigo Incer; Ayush Pandey; Nicholas Nolan; Emma L. Peterman; Kate E. Galloway; Eduardo D. Sontag; Domitilla Del Vecchio (CDC, 2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products. - Inigo Incer (ISoLA (3), 2024)

Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks. - Inigo Incer; Noel Csomay-Shanklin; Aaron D. Ames; Richard M. Murray (CoRR, 2024)

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts. - Nicolas Rouquette; Alessandro Pinto; Inigo Incer (CoRR, 2024)

Layered Control Systems Operating on Multiple Clocks. - Inigo Incer; Noel Csomay-Shanklin; Aaron D. Ames; Richard M. Murray (IEEE Control. Syst. Lett., 2024)

Synthesizing LTL contracts from component libraries using rich counterexamples. - Antonio Iannopollo; Inigo Incer; Alberto L. Sangiovanni-Vincentelli (Sci. Comput. Program., 2024)

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. - 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 (ACM Trans. Cyber Phys. Syst., 2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. - Josefine B. Graebener; Inigo Incer; Richard M. Murray (CoRR, 2025)