SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line. - James I. Lathrop; Robyn R. Lutz; Cameron Brecount; Hugh D. Potter; Kathryn Rohlfing; Jesse Slater; Joshua Wallin (RE, 2022)

Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. - James I. Lathrop; Peter-Michael Osera; Addison W. Schmidt; Jesse Slater (Allerton, 2023)