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.
- 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
- 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
- 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.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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,
.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- 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
- Xiaoqian Men,
Particle Simulation Using Serial, GPU and
Distributed Approaches,
M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, January 2015.
pdf
- Krista A. King, Automated Specification-Based Graphical User
Interface Testing, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2015.
pdf
- Shadi Alawneh, Hyper-Real-Time Ice Simulation
and Modeling Using GPGPU, PhD. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2014.
pdf
- 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
- 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
- Shadi Alawneh, Test-Driven Development with Oracles and Formal Specifications, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, June 2010.
pdf
- Pouria Shaker, Detecting Concern Interactions in Aspect-Oriented
Designs, M.Eng. thesis, Faculty of Engineering and Applied Science,
Memorial University, February 2007.
pdf.
- 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