Jesse Slater

According to our database, Jesse Slater authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.

James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022

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

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022