Inigo Incer
From Murray Wiki
Jump to navigationJump to search
| First name | Inigo |
|---|---|
| Last name | Incer |
| Current position | Alumni |
| Department | CMS |
| Co-advisor | Sanjit Seshia, Alberto Sangiovanni-Vincentelli |
| Current project | |
| Other projects | |
| Previous projects | AFOSR T&E, AFOSR T&E2, AFOSR Syn Bio MURI |
| Graduated | |
| Previous positions | Postdoc |
| URL | https://iincer.github.io |
| Subsequent positions |
Papers:
- Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks. Inigo Incer, Noel Csomay-Shanklin, Aaron Ames, Richard M. Murray. To appear, 2024 Conference on Decision and Control (CDC).
- 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, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia. Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023.
- Reasoning over Test Specifications using Assume-Guarantee Contracts. Apurva Badithela, Josefine B. Graebener, Inigo Incer, and Richard M. Murray. Submitted, NASA Formal Methods (NFM), 2023.
- Context-Aided Variable Elimination for Requirement Engineering. Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia. Submitted, 2023 Formal Methods in Computer-Aided Design (FMCAD).
- From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology. Ayush Pandey, Inigo Incer, Alberto Sangiovanni-Vincentelli, Richard M. Murray. 2022 International Workshop on Biodesign Automation (IWBDA).
