Joe Hupcey

How Formal Techniques Can Keep Hackers from Driving You into a Ditch

Joe Hupcey, Bryan Ramirez, 2016 .

Using formal to exhaustively determine unsafe clock ratios between asynchronous blocks

Eric Hendrickson, Bill Au, Joe Hupcey, 2017 .