Research Publications for Barry M (Mark) Utting
Welcome to the University of Waikato research publications search. This database includes all research publications produced by the University from 1998.
Author's Publications
Search our Staff Profiles to contact our current staff members.
Pearce, D. J., Utting, M., & Groves, L. (2019). An introduction to software verification with Whiley. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 11430 LNCS (pp. 1-37). Chongqing, China. doi:10.1007/978-3-030-17601-3_1
Other publications by:
UTTING, Barry M (Mark)Utting, M., Pearce, D. J., & Groves, L. (2017). Making whiley boogie!. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 10510 LNCS (pp. 69-84). doi:10.1007/978-3-319-66845-1_5
Other publications by:
UTTING, Barry M (Mark)Weng, M. H., Pfahringer, B., & Utting, M. (2017). Static techniques for reducing memory usage in the c implementation of Whiley programs. In Proc Australasian Computer Science Week Multiconference (pp. 8 pages). Conference held Geelong, Australia: ACM. doi:10.1145/3014812.3014827
Open Access version at:
https://hdl.handle.net/10289/11067
Other publications by:
WENG, Min-Hsien-H (Sam) :: PFAHRINGER, Bernhard M :: UTTING, Barry M (Mark)Boulaire, F., Utting, M., & Drogemuller, R. (2015). Dynamic agent composition for large-scale agent-based models. Complex Adaptive Systems Modeling, 3(1). doi:10.1186/s40294-015-0007-2
Other publications by:
UTTING, Barry M (Mark)Weng, M. -H., Utting, M., & Pfahringer, B. (2015). Bound analysis for Whiley programs. In C. Gaston, P. Le Gall, & A. Petrenko (Eds.), Proc 1st Workshop on Usages of Symbolic Execution Vol. ENTCS 320 (pp. 53-67). Conference held Oslo, Norway: Elsevier B.V.. doi:10.1016/j.entcs.2016.01.005
Open Access version at:
https://hdl.handle.net/10289/11038
Other publications by:
WENG, Min-Hsien-H (Sam) :: UTTING, Barry M (Mark) :: PFAHRINGER, Bernhard MUtting, B. M., & Boulaire, F. (2015). Specification and validation of the MODAM module manager. In 2nd International Workshop about Sets and Tools (pp. 15 pages). Oslo, Norway.
Open Access version at:
https://hdl.handle.net/10289/9796
Other publications by:
UTTING, Barry M (Mark)Utting, M., Legeard, B., Legeard, B., Bouquet, F., Fourneret, E., Peureux, F., . . . Vernotte, A. (2015). Recent Advances in Model-Based Testing. Advances in Computers, 101, 53-120. doi:10.1016/bs.adcom.2015.11.004
Other publications by:
UTTING, Barry M (Mark)Drogemuller, R., Boulaire, F., Ledwich, G., Buys, L., Utting, M., Vine, D., . . . Arefi, A. (2015). Aggregating energy supply and demand. In eWork and eBusiness in Architecture, Engineering and Construction (pp. 425-430). Vienna: CRC Press/Balkema. Retrieved from https://www.crcpress.com/product/isbn/9781138027107
Other publications by:
UTTING, Barry M (Mark)Boulaire, F., Utting, M., & Drogemuller, R. (2015). Impact of technology uptake on an Australian electricity distribution network. Environmental Modelling and Software, 69, 196-213. doi:10.1016/j.envsoft.2015.03.019
Other publications by:
UTTING, Barry M (Mark)Boulaire, F., Utting, M., & Drogemuller, R. (2014). Parallel ABM for electricity distribution grids: A case study. In D. an May, M. Alexander, P. Bientinesi, M. Cannataro, C. Clauss, A. Costan, . . . J. Weidendorfer (Eds.), Euro-Par 2013: Parallel Processing Workshops, Revised Selected Papers Vol. LNCS 8374 (pp. 565-574). Aachen, Germany: Springer Verlag. doi:10.1007/978-3-642-54420-0-55
Other publications by:
UTTING, Barry M (Mark)
See Also: Research Links | Student Research Theses | Research Commons