A framework for model checking UDP network programs with Java pathfinder. - William Rathje; Brad Richards (HILT, 2014)

Learning When Not to Measure: Theorizing Ethical Alignment in LLMs. - William Rathje (AIES (1), 2024)