Inigo Incer: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
|Current project=AFOSR T&E | |Current project=AFOSR T&E | ||
|Other projects=AFOSR T&E2 | |Other projects=AFOSR T&E2 | ||
|URL=https://iincer.github.io | |||
}} | }} | ||
Revision as of 06:37, 27 December 2023
| First name | Inigo |
|---|---|
| Last name | Incer |
| Current position | Postdoc |
| Department | CMS |
| Co-advisor | |
| Current project | AFOSR T&E |
| Other projects | AFOSR T&E2 |
| Previous projects | |
| Graduated | |
| Previous positions | |
| 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).
