Inigo Incer: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
|First name=Inigo | |First name=Inigo | ||
|Last name=Incer | |Last name=Incer | ||
|Department=CMS | |Department=CMS | ||
| | |Previous projects=AFOSR T&E, AFOSR T&E2, AFOSR Syn Bio MURI | ||
|Previous positions=Postdoc | |||
|Previous | |||
|URL=https://iincer.github.io | |URL=https://iincer.github.io | ||
}} | }} | ||
Revision as of 22:39, 10 August 2024
| First name | Inigo |
|---|---|
| Last name | Incer |
| Current position | |
| Department | CMS |
| Co-advisor | |
| 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).
