Extending JML Specifications with Temporal Logic. - Kerry Trentelman; Marieke Huisman (AMAST, 2002)

Factorising Temporal Specifications. - Marieke Huisman; Kerry Trentelman (CATS, 2005)

Second-Order Principles in Specification Languages for Object-Oriented Programs. - Bernhard Beckert; Kerry Trentelman (LPAR, 2005)

Proving Correctness of JavaCard DL Taclets using Bali. - Kerry Trentelman (SEFM, 2005)

Towards a formal semantics of social influence. - Adam Saulwick; Kerry Trentelman (Knowl. Based Syst., 2014)

Consensus: A comprehensive solution to the grand challenges of information fusion. - Dale A. Lambert; Adam Saulwick; Kerry Trentelman (FUSION, 2015)

Information Fusion for Maritime Domain Awareness: Illegal Fishing Detection (Poster). - Kerry Trentelman; Rebecca Rafferty; Adam Saulwick; Aaron Ceglar (CogSIMA, 2019)

Explainable spatiotemporal reasoning for geospatial intelligence applications. - Matt Duckham; Jelena Gabela; Allison Kealy; Mustafizur Khan; Jonathan Legg; Bill Moran 001; Shakila Khan Rumi; Flora D. Salim; Shaila Sharmeen; Yaguang Tao; Kerry Trentelman; Maria Vasardani (Trans. GIS, 2022)

Explainable agency: human preferences for simple or complex explanations. - Michelle L. Blom; Ronal Singh; Tim Miller 001; Liz Sonenberg; Kerry Trentelman; Adam Saulwick (CoRR, 2024)