Michael Jones
Michael Jones
Professor of Computer Science, Brigham Young University
Verified email at
Cited by
Cited by
Model checking machine code with the GNU debugger
E Mercer, M Jones
International SPIN Workshop on Model Checking of Software, 251-265, 2005
Responding to policies at runtime in TrustBuilder
B Smith, KE Seamons, MD Jones
Policies for Distributed Systems and Networks, 2004. POLICY 2004 …, 2004
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
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
Goblins by SpheroidalWeathering.
M Beardall, M Farley, D Ouderkirk, J Smith, M Jones, PK Egbert
NPH, 7-14, 2007
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
Time-efficient model checking with magnetic disk
T Bao, M Jones
International Conference on Tools and Algorithms for the Construction and …, 2005
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
HCI Outdoors: Understanding Human-Computer Interaction in Outdoor Recreation
MD Jones, KWJ Cheverst, Z Anderson, FJ Daiber, J Hakkila
ACM, 2018
Guided model checking with a bayesian meta-heuristic
K Seppi, M Jones, P Lamborn
Fundamenta Informaticae 70 (1, 2), 111-126, 2006
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
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
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
Parallel search for LTL violations
MD Jones, J Sorber
International Journal on Software Tools for Technology Transfer 7 (1), 31-42, 2005
Towards understanding hikers' technology preferences
Z Anderson, C Lusk, MD Jones
Proceedings of the 2017 ACM International Joint Conference on Pervasive and …, 2017
UbiMount: 2nd workshop on ubiquitous computing in the mountains
F Daiber, M Jones, F Wiehr, K Cheverst, F Kosmalla, J Häkkilä
Proceedings of the 2017 ACM International Joint Conference on Pervasive and …, 2017
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
Explicit state model checking with Hopper
M Jones, E Mercer
International SPIN Workshop on Model Checking of Software, 146-150, 2004
Delaunay deformable mesh for the weathering and erosion of 3d terrain
LA Tychonievich, MD Jones
The Visual Computer 26 (12), 1485-1495, 2010
Automatic detection of alpine ski turns in sensor data
M Jones, C Walker, Z Anderson, L Thatcher
Proceedings of the 2016 ACM International Joint Conference on Pervasive and …, 2016
The system can't perform the operation now. Try again later.
Articles 1–20