SELECTED PUBLICATIONS

SOFTWARE ENGINEERING

Journals:

  1. Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford and Tom Maibaum, Can Product Specific Assurance Case Templates be Used as Medical Device Standards?, IEEE Design & Test, Volume:  32 Issue 5, 1-11, October, 2015. Submitted version
  2. D. Kelly, A. Wassyng, C.G. Orton, The most suitable person to establish quality assurance guidelines for the generation and use of noncommercial clinical software is a medical physicis”, Medical physics 41 (9), 090601, 2014.
  3. M. Lawford, A. Wassyng, Formal Verification of Nuclear Systems: Past, Present, and Future, Information and Security: An International Journal, ProCon Ltd., Volume 28, Issue 2, Number 18, 2012, 223-235.
  4. V. Babiy, R Janicki, W.W.Koczkodaj, A. Wassyng, A context aware framework for product based software certification, Journal of Applied Computer Science, Vol. 19, No. 1, 7-32, 2011.
  5. 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. 
  6. 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 
  7. R. Janicki and A. Wassyng, Tabular Expressions and Their Relational Semantics, Fundamenta Informaticae, Vol. 68, 1-28, 2005. PDF 

Invited journal articles:

  1. P. Joannou and A. Wassyng, Understanding Integrity Level Concepts, column for IEEE Computer – Standards, (47:11), 99-101 (2014).
  2. T. Maibaum and A. Wassyng, A Product-Focused Approach to Software Certification, column for IEEE Computer – Software Technologies, (41:2), 91-93 (2008).

Conferences:

  1. Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas SE Maibaum, Alan Wassyng, Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements, in Vincent G. Duffy (ed), Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, Proceedings of the 6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, LNCS Vol. 9185, 387-398, 2015.
  2. Neeraj Kumar Singh, Mark Lawford, Thomas SE Maibaum, Alan Wassyng, Formalizing the Cardiac Pacemaker Resynchronization Therapy, in Vincent G. Duffy (ed), Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, Proceedings of the 6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, LNCS Vol. 9185, 374-386, 2015.
  3. Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine, in Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15), Oslo, Norway, June 2015.
  4. Wen Chen, Alan Wassyng and Tom  Maibaum, Impact Analysis via Reachability and Alias Analysis, in The Practice of Enterprise Modeling, eds Ulrich Frank, Pericles Loucopoulos, Óscar Pastor and Ilias Petrounias, Lecture Notes in Business Information Processing #197, 261-270, Springer 2014.
  5. Wen Chen, Alan Wassyng and Tom Maibaum, Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems, in Product-Focused Software Process Improvement, eds Andreas Jedlitschka, Pasi Kuvaja, Marco Kuhrmann, Tomi Männistö, Jürgen Münch and Mikko Raatikainen, 224-238, LNCS 8892, Springer, 2014.
  6. Hao Wang, Yihai Chen, Ridha Khedri, Alan Wassyng, Envisioning a Requirements Specification Template for Medical Device Software, in Product-Focused Software Process Improvement, eds Andreas Jedlitschka, Pasi Kuvaja, Marco Kuhrmann, Tomi Männistö, Jürgen Münch and Mikko Raatikainen, 209-223, LNCS 8892, Springer, 2014.
  7. N.K. Singh, H. Wang, M. Lawford, T.S.E. Maibaum, A. Wassyng, Formalizing the Glucose Homeostasis Mechanism, Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk, in HCI International 2014, At Heraklion, Greece, June 2014 (LNCS, pp 460-471, Nov 2014).
  8. John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, and Paul Jones, Certifiably Safe Software-Dependent Systems: Challenges and Directions, Future of Software Engineering, 2014, International Conference on Software Engineering (ICSE) 2014.
  9. Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Formalizing and verifying function blocks using tabular expressions and PVS, FTSCS 2013, LNCS pp 125-141, Jan 2014.
  10. Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng, Large-Scale Enterprise Systems: Changes and Impacts, In Enterprise Information Systems, Lecture Notes in Business Information Processing (LNBIP), Volume 141, 2013, 274-290.
  11. Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng, Insulin Pump Software Certification, In J. Gibbons and W. MacCaull (Eds.): FHIES 2013, LNCS 8315, Springer-Verlag Berlin Heidelberg, 2014, 87-106.
  12. Anis Yousefi, Alan Wassyng, A Call Graph Mining and Matching Based Defect Localization Technique, in Proceedings of IEEE Sixth International Software Testing, Verification and Validation Workshops, pages 86-95, 2013.
  13. W. Chen, A. Iqbal, A. Abdrakhmanov, J. Parlar, C. George, M. Lawford, T. Maibaum, and A. Wassyng, Change Impact Analysis for Large-scale Enterprise Systems, In Proceedings of the 14th International Conference on Enterprise Information Systems, SciTePress, 2012, 359-368.
  14. Victor Bandur, Wolfram Kahl, Alan Wassyng, Microcontroller Assembly Synthesis from Timed Automaton Task Specifications, in M. Stoelinga and R. Pinger (Eds.), Proceedings of the 17th International Conference on Formal Methods for Industrial Critical Systems, Paris, August 2012, LNCS Vol. 7437, 63-77, Springer 2012.
  15. 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.
  16. 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.
  17. 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 
  18. 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.
  19. 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 
  20. 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 
  21. 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 
  22. 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.
  23. 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 
  24. 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.

Invited book chapters:

  1. A. Wassyng, M. Lawford and T. Maibaum, Separating Safety & Control Systems to Reduce Complexity, In M. Hinchey and L. Doyle eds., Conquering Complexity, Springer, 89-108. Jan 2012.
  2. 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

Journals:

  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.)

Conferences:

  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.

Invited book chapters:

  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

Journals:

  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.

[Home]