Synthesis of Railway-Signaling Plans using Reachability Games. - Patrick Kasting; Michael R. Hansen; Steen Vester (IFL, 2016)

Effect-driven QuickChecking of compilers. - Jan Midtgaard; Mathias Nygaard Justesen; Patrick Kasting; Flemming Nielson; Hanne Riis Nielson (Proc. ACM Program. Lang., 2017)