Michael J. A. Smith

According to our database, Michael J. A. Smith authored at least 10 papers between 2007 and 2014.

Collaborative distances:

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

2014

Density of States for Platonic Crystals and Clusters.

Michael J. A. Smith, Michael H. Meylan, Ross C. McPhedran

SIAM J. Appl. Math., 2014

2012

Roadmap Document on Stochastic Analysis

Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang

CoRR, 2012

2011

Controlling Modelling Artifacts.

Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Compositional Abstractions for Long-Run Properties of Stochastic Systems.

Michael J. A. Smith

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Visualisation for Stochastic Process Algebras: The Graphic Truth.

Michael J. A. Smith, Stephen Gilmore

Proceedings of the Computer Performance Engineering, 2011

2010

Stochastic abstraction of programs : towards performance-driven development.

Michael James Andrew Smith

PhD thesis, 2010

Abstraction and Model Checking in the PEPA Plug-In for Eclipse.

Michael J. A. Smith

Proceedings of the QEST 2010, 2010

Compositional Abstraction of PEPA Models for Transient Analysis.

Michael J. A. Smith

Proceedings of the Computer Performance Engineering, 2010

2008

Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions.

Michael J. A. Smith

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

2007

Stochastic Modelling of Communication Protocols from Source Code.

Michael J. A. Smith

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007