SELECTED PUBLICATIONS

SOFTWARE ENGINEERING

1. A. Wassyng and M. Lawford, Integrated software methodologies - An engineering approach, Transactions of the Royal Society of South Africa, Vol. 65, No. 2, October 2010, 125-136.
2. A. Wassyng and M. Lawford, Software Tools for Safety-Critical Software Development, International Journal of Software Tools for Technology Transfer, Special Section The Industrialisation of Formal methods: A View from Formal Methods 2003. Vol. 8, Number 4-5, 337-354, Springer, August 2006. PDF
3. R. Janicki and A. Wassyng, Tabular Expressions and Their Relational Semantics, Fundamenta Informaticae, Vol. 68, 1-28, 2005. PDF

1. A. Wassyng, T. Maibaum, M. Lawford, H. Bherer, Software Certification: Is There a Case Against Safety Cases, R. Calinescu and E. Jackson (Eds.): Monterey Workshops 2010, LNCS Vol. 6662, 206-227, Springer, 2011.
2. V. Babiy, A.D. Bogobowicz, R. Janicki, W.W. Koczkodaj, A. Wassyng, Selecting the best strategy in a software certification process, Proc. of IMCSIT (International Multiconference on Computer Science and Information Technology, Vol.5 (Advances in Artificial Intelligence and Applications), pp 53-58, Wisla, Poland, 2010.
3. A. Wassyng, T. Maibaum, and M. Lawford, On Software Certification: We Need Product-Focused Approaches, C. Choppy and O. Sokolsky (Eds.): Monterey Workshop 2008, LNCS Vol. 6028, Springer, 2010, 250-274. PDF
4. N. Aguirre, M. Frias, M. Moscato, T. Maibaum, A. Wassyng, Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy, 12th International Conference on Fundamental Approaches to Software Engineering (FASE 2009), LNCS Vol. 5503, 155-170, Springer, 2009.
5. X. Hu, M. Lawford and A. Wassyng, Formal Verification of the Implementability of Timing Requirements, In D. Cofer and A. Fantechi (Eds) Proceedings of FMICS 2008: International Workshop on Formal Methods in Industry Critical Systems, LNCS 5596, pp. 119-134, 2009. PDF
6. J. Hatcliff, M. Heimdahl, M. Lawford, T. Maibaum, A. Wassyng, F. Wurden, A Software Certification Consortium and its Top 9 Hurdles, In Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008), Electronic Notes in Theoretical Computer Science, Vol. 238, No. 4, pp. 11-17, 2009. PDF
7. A. Wassyng, M. Lawford, X. Hu, Timing Tolerances in Safety-Critical Software, FM05: 13th International Symposium of Formal Methods, University of Newcastle upon the Tyne, July, 2005. PDF
8. A. Wassyng, R. Janicki, Using Tabular Expressions, In Proceedings of International Conference on Software and Systems Engineering and their Applications, Paris, Vol. 4, 1-17, December 2003.
9. A. Wassyng, M. Lawford, Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project, In K. Arakai, S. Gnesi, and D. Mandrioli, eds. FME 2003: International Symposium of Formal Methods Europe Proceedings, Pisa, Italy, LNCS Vol. 2805, 133-153, Springer-Verlag, September 2003. PDF
10. G.H. Archinoff, R.J. Hohendorf, A. Wassyng, B. Quigley, M.R. Borsch, Verification of the Shutdown System Software at the Darlington Nuclear Generating Station, Proceedings of the International Conference on Control & Instrumentation in Nuclear Installations, Glasgow, May 1990.

1. P. Joannou, A. Wassyng, Modelling for Requirements Analysis and Design, in Software Important to Safety in Nuclear Power Plants, International Atomic Energy Agency, Vienna, Technical Reports Series No. 367, 1994.

USE OF COMPUTERS IN ENGINEERING EDUCATION

1. A. Wassyng, S. Sharp, K. Smith, Personal Computers and Modeling in Engineering Education, ASEE CoED Journal, Vol. X No. 1, 31-46, January-March 1990. (Winner of the 1990 Merle K. Miller award.)

1. A. Wassyng, S. Sharp, Effective Teaching in Engineering Using Computer Aided Learning, Proceedings of the North Midwest Section Meeting, ASEE, Minneapolis MN, 1984.
2. S. Sharp, A. Wassyng, A Program to Improve Problem Solving Skills in Engineering, Proceedings of the North Midwest Section Meeting, ASEE, Minneapolis MN, 1984.
3. K.A. Smith, A. Wassyng, A.M. Starfield, Development of a Systematic Problem Solving Course: An Alternative to Case Studies, Proceedings of the Thirteenth Annual Frontiers in Education Conference, ISEE/ASEE, Worcestor MA, 1983.

1. A. Wassyng, K. Smith, S. Sharp, Personal Computers in Education, in Steven F. Schomberg (ed.), Strategies for Active Teaching and Learning in University Classrooms, University of Minnesota, 1986.

NUMERICAL MATHEMATICS AND APPLICATIONS

1. A. Wassyng, Solving Ax=b: A Method with Reduced Storage Requirements, SIAM Journal on Numerical Analysis, Vol. 19, No. 1, 197-204, 1982.
2. B.H.G. Brady, A. Wassyng, A Coupled Finite Element Boundary Element Method of Stress Analysis, International Journal of Rock Mechanics Mining Science & Geomechanics Abstracts (now International Journal of Rock Mechanics & Mining Sciences), Vol. 18, 475-485, 1981.
3. D.S. Henderson, A. Wassyng, A New Method for the Solution of Ax=b, Numerische Mathematik, Vol. 29, 287-289, 1978.