Stochastic Modelling of Communication Protocols from Source Code. - Michael J. A. Smith (QAPL, 2007)

Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. - Michael J. A. Smith (QAPL, 2008)

Compositional Abstraction of PEPA Models for Transient Analysis. - Michael J. A. Smith (EPEW, 2010)

Abstraction and Model Checking in the PEPA Plug-In for Eclipse. - Michael J. A. Smith (QEST, 2010)

Stochastic abstraction of programs : towards performance-driven development. - Michael James Andrew Smith (2010)

Visualisation for Stochastic Process Algebras: The Graphic Truth. - Michael J. A. Smith; Stephen Gilmore (EPEW, 2011)

Compositional Abstractions for Long-Run Properties of Stochastic Systems. - Michael J. A. Smith (QEST, 2011)

Controlling Modelling Artifacts. - Michael J. A. Smith; Flemming Nielson; Hanne Riis Nielson (QEST, 2011)

Roadmap Document on Stochastic Analysis - Bo Friis Nielsen; Flemming Nielson; Henrik Pilegaard; Michael James Andrew Smith; Ender Yüksel; Kebin Zeng; Lijun Zhang 001 (CoRR, 2012)

Density of States for Platonic Crystals and Clusters. - Michael J. A. Smith; Michael H. Meylan; Ross C. McPhedran (SIAM J. Appl. Math., 2014)