Publications

The following are my publications, listed in reverse chronological order (i.e., newest first).

Note: Many of these papers are copyright of the publishing organization and are posted here with their permission. Re-distribution of them for profit or commercial advantage is prohibited except with explicit permission of the copyright holder. Please refer to the relevant copyright notices.

  1. Shadi Alawneh, Roelof Dragt, Dennis Peters, Claude Daley and Stephen Bruneau, "Hyper-Real-Time Ice Simulation and Modeling Using GPGPU", IEEE Transactions on Computers, vol. 64, no. 12 (Dec 2015), pp. 3475-3487. pdf
  2. Ying Liu, Weimin Huang, Eric W. Gill, Dennis K. Peters, and Raul Vicen-Bueno, "Comparison of Algorithms for Wind Parameters Extraction From Shipborne X-Band Marine Radar Images", IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, vol. 8, no. 2 (Feb 2015), pp. 896-906. abstract, pdf
  3. Abir Zubayer, Dennis Peters and Brian Veitch, "The Multi-Craft Problem: A Distributed Simulation Approach Using Networked Floating Objects", Proc. 2015 Spring Simulation Multi-Conference (SpringSim '15), Annual Simulation Symposium (ANSS), Society for Modeling and Simulation International, April 12-15, 2015.
  4. Claude Daley, Shadi Alawneh, Dennis Peters, Gary Blades and Bruce Colbourne, "Simulation of Managed Sea Ice Loads on a Floating Offshore Platform using GPGPU-Event Mechanics" Proc. Int'l Conf. and Exhibition on Performance of Ships and Structures in Ice (ICETECH 2014), July 2014, Banff, Alberta, Canada.
    pdf
  5. Ying Liu, Weimin Huang, Eric W. Gill, and Dennis K. Peters, "Dual-curve-ļ¬tting-based Wind Parameter Extraction from Shipborne Nautical X-Band Radar Data", IEEE OCEANS '14, Taipei, 2014, pp. 1-5. pdf
  6. Claude Daley, Shadi Alawneh, Dennis Peters and Bruce Colbourne, "GPU-Event-Mechanics Evaluation of Ice Impact Load Statistics" Proc. The Offshore Technology Conference (OTC 2014), February 2014, Houston, Texas, USA.
    pdf
  7. Shadi Alawneh and Dennis Peters, "2D Triangulation of Polygons on CUDA" Proc. 2013 Int'l Conf. on High Performance Computing & Simulation (HPCS 2013) , July 2013, Helsinki, Finland.
    pdf
  8. Shadi Alawneh and Dennis Peters, "Using Test Oracles and Formal Specifications with Test-Driven Development", Int'l J. of Software Engineering and Knowledge Engineering, vol. 23, no. 3 (2013) pp. 361-385. abstract, pdf
  9. Shadi Alawneh and Dennis Peters, "Ice simulation using GPGPU" IEEE International Conference on High Performance Computing and Communications (HPCC-2012) , vol. 14 (Liverpool, UK), IEEE Computer Society, June 2012.
    pdf
  10. Claude Daley, Shadi Alawneh, Dennis Peters, Bruce Quinton and Bruce Colbourn "GPU Modeling of Ship Operations in Pack Ice," International Conference and Exhibition on the Performance of Ships and Structures in Ice (ICETECH 2012), (Banff, Alberta), Society of Naval Architects and Marine Engineers, September 2012.
    pdf
  11. Justin Adams, Justin Sheppard, Shadi Alawneh and Dennis Peters, "Ice-Floe Simulation Viewer Tool" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2011.
    pdf
  12. Shadi Alawneh and Dennis Peters, "Enhancing Performance of Simulations using GPGPU" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2011.
    pdf
  13. Shadi Alawneh and Dennis Peters, "Tool Support for Test-Driven Development Using Formal Specifications" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2010.
    pdf
  14. Shadi Alawneh and Dennis Peters, "Test Driven Development with Oracles and Formal Specifications" Proceedings of the 22nd IFIP International Conference on Testing Software and Systems, Nov. 2010.
    pdf
  15. Shadi Alawneh and Dennis Peters, "Specification-Based Test Oracles with Junit" Proceedings of the Canadian Conference on Electrical and Computer Engineering (CCECE), May 2010.
    pdf
  16. Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann, "An IDE for Software Development using Tabular Expressions" Proceedings of the 2007 Conference of the Center for Advanced Studies on Collaborative Research (CASCON), October 2007, Richmond Hill, Ontario Canada 2007, pp. 248 - 251.
    Get it from ACM.
  17. Tom Arbuckle, Adam Balaban, Dennis K. Peters, and Mark Lawford. "Software documents: Comparison and measurement", Int'l Conf. on Software Engineering and Knowledge Engineering Knowldge Systems Institute, July 2007.
  18. Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann, "Software Specification Using Tabular Expressions and OMDoc" Proc. Calculemus/MKM 2007 Work in Progress, June 2007, RISC-Linz Report Series 07-06, Johannes Kepler University, A-4040 Linz, Austria. pp. 61-75.
    Get it from RISC.
  19. Jonathan S. Anstey, Dennis K. Peters and Chris Dawson "An Improved Feature Extraction Technique for High Volume Time Series Data" Proc. IASTED Int'l Conf. on Signal Processing, Pattern Recognition and Applications (SPPRA), Int'l Assoc. of Science and Technology for Development (IASTED), Innsbruck, Austria February 2007.
    pdf.
  20. Jonathan S. Anstey, Dennis K. Peters and Chris Dawson "An Improved Feature Extraction Technique for High Volume Time Series Data" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2006.
    pdf.
  21. Pouria Shaker and Dennis K. Peters "A Process for Design-level Detection of Concern Interactions in Aspect-Oriented Systems" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2006.
    pdf.
  22. Pouria Shaker and Dennis K. Peters "Design-level Detection of Interactions in Aspect-Oriented Systems" Aspects, Dependencies, and Interactions Workshop, European Conference on Object-Oriented Programming, July 2006, Nantes France.
    abstract, pdf.
  23. Zhiwei An and Dennis K. Peters "Statecharts Reduction and Composition with Properties" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  24. Jonathan Anstey, Dennis K. Peters and Chris Dawson "Discovering Novelty in Time Series Data" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  25. David Bonnell, Joshua Swamidas, Dennis K. Peters and Cheng Li "Digital Domain Feature Detection in a Complex Dielectric Sensor" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  26. Jonathan Milley and Dennis K. Peters "Software Specification and Testing Using UML and OCL" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  27. Pouria Shaker and Dennis K. Peters "An Introduction to Aspect-Oriented Software Development" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  28. Naeim Semsarilar, Dennis K. Peters and Theodore S. Norvell, "Open XML Requirements Specifications, a Xylia based application" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2003.
    abstract, pdf.
  29. Zhiwei An and Dennis K. Peters, "On the Description of Communications Between Software Components with UML" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2003.
    abstract, pdf.
  30. Pouria Shaker, Theodore S. Norvell and Dennis K. Peters, "Edits in Xylia: Preserving the Validity of XML Documents" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2002.
    abstract, pdf.
  31. Yingzi Wang and Dennis K. Peters, "A Technique for Specifying Interface Modules for Real-time Systems" Proc. Canadian Conference on Electrical and Computer Engineering, IEEE Canada, May 2002.
    abstract, pdf.
  32. Dennis K. Peters and David Lorge Parnas, "Requirements-based Monitors for Real-Time Systems" IEEE Transactions on Software Engineering, vol. 28, no. 2, February 2002, pp. 146-158.
    abstract, gzipped postscript, pdf.
  33. Yingzi Wang and Dennis K. Peters, "Interface Module Specifications for Real-time Systems" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2001.
    abstract, pdf.
  34. Jonathan R. Milley, Theodore S. Norvell, and Dennis K. Peters, "The Xylia Toolkit, combining XML and Java" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2001.
    abstract, pdf.
  35. D. K. Peters, "Are Computer Engineering Students Getting Enough Design?", Canadian Conference on Computer Engineering Education, IEEE, New Brunswick Section, University of New Brunswick, May 2001.
    abstract, gzipped postscript, pdf.
  36. D. K. Peters, "Requirements-based Monitors for Real-Time Systems", Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2000.
    abstract, gzipped postscript, pdf.
  37. D. K. Peters and D. L. Parnas, "Requirements-based Monitors for Real-Time Systems", Proc. 2000 Int'l Symp. on Software Testing and Analysis (ISSTA), © ACM August 2000, pp. 77-85.
    abstract gzipped postscript, pdf, .
  38. D. K. Peters, Deriving Real-Time Monitors from System Requirements Documentation, Ph.D. Thesis, McMaster University, Hamilton, ON, January 2000. 171 pages.
    abstract, gzipped postscript, pdf. Single-space version (145 pages): gzipped postscript, pdf.
  39. D. K. Peters, "Automated Testing of Real-Time Systems", Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE Newfoundland and Labrador Section, November 1999.
    abstract, gzipped postscript, pdf.
  40. D. L. Parnas and D. K. Peters, "An Easily Extensible Toolset for Tabular Mathematical Expressions", Proc. Fifth Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science No. 1579, © Springer-Verlag, March 1999, pp. 345-359.
    abstract, gzipped postscript, pdf.
  41. M. von Mohrenschildt and D. K. Peters, "The Draw-Bot: A Project for Teaching Software Engineering", Proc. 1998 Frontiers in Education Conf. (FIE '98), November 1998, pp. 1022-1027.
    abstract, gzipped postscript, pdf.
  42. D. K. Peters and D. L. Parnas, "Using Test Oracles Generated from Program Documentation", IEEE Transactions on Software Engineering, vol. 24, no. 3, March 1998, pp. 161-173.
    abstract, gzipped postscript, pdf.
  43. D. K. Peters, "Deriving Real-time Monitors from System Requirements Documentation", Proc. Third IEEE Int'l Symp. on Requirements Engineering (RE '97) Doctoral Consortium , January 1997, pp. 89-92.
    abstract, gzipped postscript, pdf.
  44. D. K. Peters, "Shortest Path Algorithm: Formal Program Documentation", CRL Report No. 280, Telecommunications Research Institute of Ontario (TRIO), (draft) February 1996. 15 pgs.
    abstract, gzipped postscript, pdf.
  45. D. K. Peters, Generating a Test Oracle from Program Documentation, M.Eng. Thesis, Department of Electrical and Computer Engineering, McMaster University, Hamilton, ON, April 1995, 97 pgs.
    Also printed as CRL Report No. 302, Telecommunications Research Institute of Ontario (TRIO).
    abstract, gzipped postscript, pdf.
  46. D. K. Peters and D. L. Parnas, "Generating a Test Oracle from Program Documentation--work in progress", Proc. 1994 Int'l Symp. on Software Testing and Analysis (ISSTA), © ACM August 1994, pp. 58-65.
    abstract, gzipped postscript, pdf, Definitive copy in ACM Digital Library.

Supervised Theses

  1. Abir Zubayer, The Multi-Craft Problem: A Distributed Simulation Approach Using Networked Floating Objects, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, October 2015.
    pdf
  2. Xiaoqian Men, Particle Simulation Using Serial, GPU and Distributed Approaches, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, January 2015.
    pdf
  3. Krista A. King, Automated Specification-Based Graphical User Interface Testing, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2015.
    pdf
  4. Shadi Alawneh, Hyper-Real-Time Ice Simulation and Modeling Using GPGPU, PhD. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2014.
    pdf
  5. Fazilatunnessa, Techniques for Developing Verified Concurrent Programs Based on Monitors and Semaphores, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2012.
    abstract, pdf
  6. Jonathan S. Anstey, Time Series Novelty Detection with Application to Production Sensor Systems, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2011.
    abstract, pdf
  7. Shadi Alawneh, Test-Driven Development with Oracles and Formal Specifications, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, June 2010.
    pdf
  8. Pouria Shaker, Detecting Concern Interactions in Aspect-Oriented Designs, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, February 2007.
    pdf.
  9. Yingzi Wang, Relational Specification of Interface Modules for Real-Time Systems, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2006.
    pdf.

Back to Dennis Peters' homepage

Last modified: Thu Oct 11 11:31:41 NDT 2012 by Dennis Peters