Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. - Peter Csaba Ölveczky; Martin Grimeland (IPDPS, 2007)

A smart building semantic platform to enable data re-use in energy analytics applications: the Data Clearing House. - Daniel Hugo; John McCulloch; Akram Hameed; Will Borghei; Martin Grimeland; Verity Felstead; Mark Goldsworthy (CoRR, 2023)