Inigo Incer

According to our database, Inigo Incer authored at least 24 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Synthesizing LTL contracts from component libraries using rich counterexamples.

Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli

Sci. Comput. Program., 2024

Layered Control Systems Operating on Multiple Clocks.

Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray

IEEE Control. Syst. Lett., 2024

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts.

Nicolas Rouquette, Alessandro Pinto, Inigo Incer

CoRR, 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

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products.

Inigo Incer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2023

Some Algebraic Aspects of Assume-Guarantee Reasoning.

Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli

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

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

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

Reasoning over Test Specifications Using Assume-Guarantee Contracts.

Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.

Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.

Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Contract-Based Specification Refinement and Repair for Mission Planning.

Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

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, Sanjit A. Seshia

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

The Algebra of Contracts

Inigo Incer

PhD thesis, 2022

Hypercontracts.

Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

From Interface Automata to Hypercontracts.

Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Principles of Systems Design, 2022

2021

The cyber-physical immune system: work-in-progress.

Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

2020

The Quotient in Preorder Theories.

Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Proceedings 11th International Symposium on Games, 2020

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

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

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

A Metric for Linear Temporal Logic.

Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

CoRR, 2018

Quotient for Assume-Guarantee Contracts.

Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Adversarially Robust Malware Detection Using Monotonic Classification.

Inigo Incer, Michael Theodorides, Sadia Afroz, David A. Wagner

Proceedings of the Fourth ACM International Workshop on Security and Privacy Analytics, 2018