C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ian McCormack
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Static Analysis
Symbolic Execution
Design Methodology
Specification Language
Top Venues
CoRR
ACM Trans. Cyber Phys. Syst.
</>
Publications
</>
Jenna DiVincenzo
,
Ian McCormack
,
Hemant Gouni
,
Jacob Gorenburg
,
Mona Zhang
,
Conrad Zimmerman
,
Joshua Sunshine
,
Éric Tanter
,
Jonathan Aldrich
Gradual C0: Symbolic Execution for Efficient Gradual Verification.
CoRR
(2022)
Mohammad Khayatian
,
Mohammadreza Mehrabian
,
Edward Andert
,
Reese Grimsley
,
Kyle Liang
,
Yi Hu
,
Ian McCormack
,
Carlee Joe-Wong
,
Jonathan Aldrich
,
Bob Iannucci
,
Aviral Shrivastava
Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures.
ACM Trans. Cyber Phys. Syst.
6 (3) (2022)