Michael G. McQuinn

According to our database, Michael G. McQuinn authored at least 5 papers between 2005 and 2007.

Collaborative distances:

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

2007

Detecting and Exploiting Symmetry in Discrete-State Markov Models.

W. Douglas Obal II, Michael G. McQuinn, William H. Sanders

IEEE Trans. Reliab., 2007

Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.

Michael G. McQuinn, Peter Kemper, William H. Sanders

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Design of Experiments within the Mobius Modeling Environment.

Tod Courtney, Shravan Gaonkar, Michael G. McQuinn, Eric Rozier, William H. Sanders, Patrick G. Webster

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

Data Analysis and Visualization within the Möbius Modeling Environment.

Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

The Mobius Modeling Environment: Recent Extensions - 2005.

Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005