Sotabase

Career

· Asst. Professor, Univ. Michigan Ann Arbor

Publications (20)

Adversarially Robust Malware Detection Using Monotonic Classification
IWSPA@CODASPY · 2018
61
cited
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design
ACM Trans. Cyber Phys. Syst. · 2023
16
cited
Contract-Based Specification Refinement and Repair for Mission Planning
FME Workshop on Formal Methods in Software Engineering · 2022
4
cited
Hypercontracts
Formal methods in system design · 2021
4
cited
Some Algebraic Aspects of Assume-Guarantee Reasoning
arXiv.org · 2023
4
cited
Layered Control Systems Operating on Multiple Clocks
IEEE Control Systems Letters · 2024
3
cited
Reasoning over Test Specifications Using Assume-Guarantee Contracts
NASA Formal Methods · 2023
2
cited
Symbiotic CPS Design-Space Exploration through Iterated Optimization
CPS-IoT Week Workshops · 2023
2
cited
Algorithms for Context-Aided Variable Elimination
2023
1
cited
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems
International Conference on Formal Methods and Models for Co-Design · 2023
1
cited
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts
International Conference on Formal Methods and Models for Co-Design · 2023
1
cited
From Interface Automata to Hypercontracts
Principles of Systems Design · 2022
1
cited
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
Runtime Verification · 2025
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
arXiv.org · 2023
Correction: Hypercontracts
Formal methods in system design · 2025
From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
bioRxiv · 2022
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
arXiv.org · 2025
Synthesizing LTL contracts from component libraries using rich counterexamples
Science of Computer Programming · 2024
The cyber-physical immune system: work-in-progress
International Conference on Embedded Software · 2021
Work-in-Progress: The Cyber-Physical Immune System
International Conference on Embedded Software · 2021
Sotabase
Inigo Incer | Researcher Profile | Sotabase | Sotabase