Inigo Incer

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Aerial Vehicles

Deterministic Automata

Mission Planning

Top Venues

IEEE Control. Syst. Lett.

Publications

Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
Synthesizing LTL contracts from component libraries using rich counterexamples. Sci. Comput. Program. 236 (2024)
Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray
Layered Control Systems Operating on Multiple Clocks. IEEE Control. Syst. Lett. 8 (2024)
Inigo Incer
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products. CoRR (2024)
Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks. CoRR (2024)
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
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Context-Aided Variable Elimination for Requirement Engineering. CoRR (2023)
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE (2023)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
Some Algebraic Aspects of Assume-Guarantee Reasoning. CoRR (2023)
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. MEMOCODE (2023)
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. MEMOCODE (2023)
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR (2023)
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
Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops (2023)
Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray
Reasoning over Test Specifications Using Assume-Guarantee Contracts. NFM (2023)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
From Interface Automata to Hypercontracts. Principles of Systems Design (2022)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Hypercontracts. NFM (2022)
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Contract-Based Specification Refinement and Repair for Mission Planning. CoRR (2022)
Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
The cyber-physical immune system: work-in-progress. EMSOFT (2021)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Hypercontracts. CoRR (2021)
Inigo Incer, Michael Theodorides, Sadia Afroz, David A. Wagner
Adversarially Robust Malware Detection Using Monotonic Classification. IWSPA@CODASPY (2018)