Inigo Incer - RankMe

30 papers B 1C 2Misc 1Journal 16Unranked 9

Year	Rank	Type	Title / 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