We stand with Ukraine  

Ian McCormack

According to our database1, Ian McCormack authored at least 2 papers in 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures.
[BibTeX]
[DOI]
Mohammad Khayatian
,
Mohammadreza Mehrabian
,
Edward Andert
,
Reese Grimsley
,
Kyle Liang
,
Yi Hu
,
Ian McCormack
,
Carlee Joe-Wong
,
Jonathan Aldrich
,
Bob Iannucci
,
Aviral Shrivastava
ACM Trans. Cyber Phys. Syst., 2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification.
[BibTeX]
[DOI]
Jenna DiVincenzo
,
Ian McCormack
,
Hemant Gouni
,
Jacob Gorenburg
,
Mona Zhang
,
Conrad Zimmerman
,
Joshua Sunshine
,
Éric Tanter
,
Jonathan Aldrich
CoRR, 2022


  Loading...