A Framework for Compositional Timing Analysis of Embedded Computer Systems. - Rob Edman; Hazel Shackleton; John Shackleton; Tyler Smith; Steve Vestal (HPCC/CSS/ICESS, 2015)

Zonotopes whose cellular strings are all coherent. - Rob Edman; Pakawut Jiradilok; Gaku Liu; Thomas McConville (Eur. J. Comb., 2021)