Michael Jones
Michael Jones
Associate Professor of Computer Science, Brigham Young University
Verified email at cs.byu.edu
Title
Cited by
Cited by
Year
Model checking machine code with the GNU debugger
E Mercer, M Jones
International SPIN Workshop on Model Checking of Software, 251-265, 2005
582005
Responding to policies at runtime in TrustBuilder
B Smith, KE Seamons, MD Jones
Policies for Distributed Systems and Networks, 2004. POLICY 2004 …, 2004
432004
Incremental proof of the producer/consumer property for the PCI protocol
D Cansell, G Gopalakrishnan, M Jones, D Méry, A Weinzoepflen
International Conference of B and Z Users, 22-41, 2002
372002
Time-efficient model checking with magnetic disk
T Bao, M Jones
International Conference on Tools and Algorithms for the Construction and …, 2005
312005
Goblins by SpheroidalWeathering.
M Beardall, M Farley, D Ouderkirk, J Smith, M Jones, PK Egbert
NPH, 7-14, 2007
272007
Parallel search for LTL violations
MD Jones, J Sorber
International Journal on Software Tools for Technology Transfer 7 (1), 31-42, 2005
252005
Formalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem
A Mokkedem, RM Hosabettu, MD Jones, GC Gopalakrishnan
Formal Methods in System Design 16 (1), 93-119, 2000
252000
Guided model checking with a bayesian meta-heuristic
K Seppi, M Jones, P Lamborn
Fundamenta Informaticae 70 (1, 2), 111-126, 2006
242006
Directable weathering of concave rock using curvature estimation
MD Jones, MK Farley, J Butler, M Beardall
IEEE Transactions on Visualization and Computer Graphics 16 (1), 81-94, 2010
232010
A brief introduction to formal methods [hardware design]
PE Black, KM Hall, MD Jones, TN Larson, PJ Windley
Custom Integrated Circuits Conference, 1996., Proceedings of the IEEE 1996 …, 1996
231996
Mobile Phone Access to a Sign Language Dictionary
MD Jones, H Hamilton, J Petmecky
Proceedings of the 17th International ACM SIGACCESS Conference on Computers …, 2015
192015
Explicit state model checking with Hopper
M Jones, E Mercer
International SPIN Workshop on Model Checking of Software, 146-150, 2004
192004
Large and small eddies matter: Animating trees in wind using coarse fluid simulation and synthetic turbulence
A Selino, MD Jones
Computer Graphics Forum 32 (1), 75-84, 2013
162013
What you sculpt is what you get: Modeling physical interactive devices with clay and 3d printed widgets
MD Jones, K Seppi, DR Olsen
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems …, 2016
152016
Head mounted displays and deaf children: Facilitating sign language in challenging learning environments
M Jones, MJ Lawler, E Hintz, N Bench, F Mangrubang, M Trullender
Proceedings of the 2014 conference on Interaction design and children, 317-320, 2014
152014
Benchmarking explicit state parallel model checkers
M Jones, EG Mercer, T Bao, R Kumar, P Lamborn
Electronic Notes in Theoretical Computer Science 89 (1), 84-98, 2003
132003
Delaunay deformable mesh for the weathering and erosion of 3d terrain
LA Tychonievich, MD Jones
The Visual Computer 26 (12), 1485-1495, 2010
112010
A dead variable analysis for explicit model checking
M Lewis, M Jones
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006
102006
Tools and Algorithms for the Construction and Analysis of Systems
N Halbwachs, L Zuck
Springer Berlin/Heidelberg., 2005
102005
Test case generation using model checking for software components deployed into new environments
T Bao, MD Jones
Software Testing, Verification and Validation Workshops, 2009. ICSTW'09 …, 2009
92009
The system can't perform the operation now. Try again later.
Articles 1–20