Queen's University
School of Computing

Technical Report List (part D)

Electronic copies of some reports are available in Adobe PDF and Postscript formats; click the appropriate link to download for display. Some postscript files may not display properly at your site, especially if they contain embedded font file descriptions.

Daley, Mark:

2006-513 available in PDF (208.541 Kbytes) and Postscript (221.292 Kbytes)

"Iterated TGR languages: Membership problem and effective closure properties", by Ian McQuillan, Kai Salomaa and Mark Daley, April 2006. 14 pages.

Dawes, Robin:

1991-310

"De Bruijn Bus Networks and Their Generalization", by F O. Ergincan, R.W. Dawes and J. C. Bermond.

1991-309

"On The Construction opf Maximally-Tough 1,2 and 3 Trees", by M.G. Rodrigues and R. W. Dawes.

1990-266

"Neighbourhood Covers for Trees", by Robin W. Dawes, January 1990.

1988-242

"Properties of Tough Graphs", by R. Dawes and M. Rodrigues, December 1988. 6 pages.

1987-201

"Testing for Class Membership in Multi-Parent Hierarchies", by D. Lamb and R. Dawes, November 1987. 8 pages.

1987-199

"Fault-Tolerant Networks of Specified Diameter", by H. Meijer and R. Dawes. 15 pages.

Dayani-Fard, Homayoun:

1998-416 available in PDF (226.828 Kbytes) and Postscript (261.748 Kbytes)

"A Study of Semi-Automated Program Construction", by H. Dayani-Fard, J.I. Glasgow and D.A. Lamb, June 1998.

1996-397 available in PDF (144.949 Kbytes) and Postscript (155.105 Kbytes)

"Bridging the Gap between the Design and Implementation of Hard Real-Time Systems", by Homayoun Dayani-Fard and David Alex Lamb, March 1996.

Dean, Tom:

2009-565 available in PDF (725.078 Kbytes) and Postscript (25.047 Mbytes)

"Lightweight Transformation of Data Models from SQL Schemas to UML-ER", by Manar Alalfi, James R. Cordy and Thomas R. Dean, September 2009. 17 pages.

2007-532 available in PDF (801.168 Kbytes) and Postscript (4.963 Mbytes)

"A Survey of Analysis Models and Methods in Website Verification and Testing", by Manar Alalfi, James R. Cordy and Thomas R. Dean, April 2007. 58 pages.

1994-370 available in PDF (108.804 Kbytes) and Postscript (699.871 Kbytes)

"A Theory-Model Core for Module Interconnection Languages", by Thomas Dean and David Lamb, October 1994. 30 pages.

1994-369

"Modelling Software Systems Using a Typed Architectural Language", by Thomas Dean and James R. Cordy.

1994-368

"Software Architecture Description Based on Connectivity", by Thomas Dean and James R. Cordy.

1994-367

"A Dynamic Finite State Machine", by Thomas Dean.

Dehne, Frank:

1988-235

"Pipelined Search in Coarse Grained Networks", by S.G. Akl and Frank Dehne, September 1988. 12 pages.

Dingel, Juergen:

2011-579 available in PDF (837.102 Kbytes) and Postscript (7.207 Mbytes)

"Timed Automata for the Development of Real-Time Systems", by Md Tawhid Bin Waez, Juergen Dingel and Karen Rudie, August 2011. 63 pages.

2011-578 available in PDF (741.522 Kbytes) and Postscript (4.048 Mbytes)

"Symbolic Execution of UML-RT State Machines", by Karolina Zurowska and Juergen Dingel, June 2011. 20 pages.

2010-573 available in PDF (604.703 Kbytes) and Postscript (7.226 Mbytes)

"Model-based generation of test cases for reactive systems", by Karolina Zurowska and Juergen Dingel, July 2010. 43 pages.

2009-566 available in PDF (2.393 Mbytes) and Postscript (47.216 Mbytes)

"Proceedings of the Doctoral Symposium at MODELS 2009", by Juergen Dingel, October 2009. 58 pages.

2008-552 available in PDF (340.829 Kbytes) and Postscript (4.110 Mbytes)

"Mapping UML State Machines to kiltera", by Ernesto Posse and Juergen Dingel, November 2008. 34 pages.

2008-548 available in PDF (725.010 Kbytes) and Postscript (7.659 Mbytes)

"Model-Based Testing of Distributed Systems", by Ahmad Saifan and Juergen Dingel, September 2008. 57 pages.

2006-524 available in PDF (240.650 Kbytes) and Postscript (1.679 Mbytes)

"Discovering Architectural Mismatch in Distributed Event-based Systems using Software Model Checking", by L. Ruhai Cai, Jeremy S. Bradbury and Juergen Dingel, October 2006. 15 pages.

2006-520 available in PDF (241.746 Kbytes) and Postscript (2.419 Mbytes)

"Mutation Operators for Concurrent Java (J2SE 5.0)", by Jeremy S. Bradbury, James R. Cordy and Juergen Dingel, November 2006. 22 pages.

2006-519 available in PDF (658.453 Kbytes) and Postscript (1.754 Mbytes)

"ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis", by Jeremy S. Bradbury, James R. Cordy and Juergen Dingel, October 2006. 9 pages.

2006-517 available in PDF (612.836 Kbytes) and Postscript (3.409 Mbytes)

"Sce Integration via Higher-Order Graphs", by Zinovy Diskin, Juergen Dingel and Hongzhi Liang, August 2006. 23 pages.

2005-501 available in PDF (399.400 Kbytes) and Postscript (997.404 Kbytes)

"On the Semantics of UML State Machines: Categorization and Comparison", by Michelle L. Crane and Juergen Dingel, August 2005. 55 pages.

2003-467 available in PDF (184.901 Kbytes) and Postscript (160.601 Kbytes)

"Automatic transition trace analysis of parallel programs using VeriSoft", by Juergen Dingel, June 2003. 11 pages.

2003-465 available in PDF (162.738 Kbytes) and Postscript (341.398 Kbytes)

"Embee Performance Tests", by Michelle Crane and Juergen Dingel, June 2003. 14 pages.

Diskin, Zinovy:

2006-522 available in PDF (416.274 Kbytes) and Postscript (12.194 Mbytes)

"Metamodel-independent schema & data integration: Towards joining syntax and semantics in generic model management.", by Zinovy Diskin, September 2006. 15 pages.

2006-521 available in PDF (698.089 Kbytes) and Postscript (4.276 Mbytes)

"Model transformation via pull-backs: algebra vs. heuristics", by Zinovy Diskin, September 2006. 18 pages.

2006-517 available in PDF (612.836 Kbytes) and Postscript (3.409 Mbytes)

"Sce Integration via Higher-Order Graphs", by Zinovy Diskin, Juergen Dingel and Hongzhi Liang, August 2006. 23 pages.

Domaratzki, Michael:

2006-515 available in PDF (268.020 Kbytes) and Postscript (387.250 Kbytes)

"Lower bounds for the transition complexity of NFAs", by Michael Domaratzki and Kai Salomaa, June 2006. 15 pages.

2004-479 available in PDF (57.413 Kbytes) and Postscript (81.092 Kbytes)

"On the Decidability of 2-Infix-Outfix Codes", by Michael Domaratzki, April 2004. 8 pages.

2003-472 available in PDF (263.848 Kbytes) and Postscript (322.310 Kbytes)

"Decidability of Trajectory-Based Equations", by Michael Domaratzki and Kai Salomaa, September 2003. 17 pages.

2003-471 available in PDF (155.988 Kbytes) and Postscript (162.284 Kbytes)

"Splicing on Routes versus Shuffle and Deletion along Trajectories", by Mike Domaratzki, September 2003. 8 pages.

2003-464 available in PDF (171.765 Kbytes) and Postscript (171.476 Kbytes)

"Deletion along Trajectories", by Michael Domaratzki, March 2003. 15 pages.

2002-459 available in PDF (233.667 Kbytes) and Postscript (591.132 Kbytes)

"One-Visit Caterpillar Tree Automata", by Alexander Okhotin, Kai Salomaa and Michael Domaratzki, August 2002. 20 pages.

2001-449 available in PDF (203.461 Kbytes) and Postscript (209.171 Kbytes)

"A Generalization of the Genocchi Numbers with Applications to Enumeration of Finite Automata", by Michael Domaratzki. September, 2001. 11 pages.

Dong, Fangpeng:

2006-504 available in PDF (615.267 Kbytes) and Postscript (2.502 Mbytes)

"Scheduling Algorithms for Grid Computing: State of the Art and Open Problems", by Fangpeng Dong and Selim G. Akl, January 2006. 55 pages.

Donnett, J.:

1987-194

"Simulatead Annealing and Code Partitioning for Distributed Multimicroprocessors", by J. Donnett, July 1987. 33 pages.

Doran, R.J.:

1981-121

"A Comparison of Parallel Implementations of the Alpha-Beta and Scout Tree Search Algorithms Using the Game of Checkers", by S.G. Akl and R.J. Doran, April 1981. 25 pages.

1980-98

"Design, Analysis and Implementation of a Parallel Alpha-Beta Algorithm", by S.G. Akl, D.T. Barnard and R.J. Doran, April 1980. 51 pages.

1979-87

"Searching Game Trees in Parallel", by S.G. Akl, D.T. Barnard and R.J. Doran, November 1979. 36 pages.

Duboux, Thibault:

1991-317

"Constant Delay Parallel Counters", by Selim G. Akl, Thibault Duboux and Ivan Stojmenovic.

Duncan, Nicholas:

1995-372 available in PDF (296.238 Kbytes) and Postscript (343.989 Kbytes)

"Tree-to-Tree Correction for Document Trees", by David T. Barnard, Gwen Clarke and Nicholas Duncan, January 1995. 44 pages.

1991-315

"The Document-To-Document Correction Problem", by N. Duncan and D. Barnard.

1991-311

"A Case-Based Approach to Decision Support", by N. Duncan, E. Blevis and J. Glasgow.

1991-299

"Bibliography on SGML (Standard Generalized Markup Language) and Related Issues", by Robin Cover, Nicholas Duncan and David T. Barnard.

1990-281

"Bibliography On Structured Text", by Nicholas Duncan and David T. Barnard.

Durham, Ivor:

1985-175

"DRAT: A Program for Maintaining Listings", by D.A. Lamb, Ivor Durham and Joseph M. Newcomer, October 1985. 13 pages.

Dutrisac, J. G.:

2008-543 available in PDF (8.717 Mbytes) and Postscript (9.588 Mbytes)

"Subverting Knowledge Discovery in Adversarial Settings", by J. G. Dutrisac and D. B. Skillicorn, January 2008. 30 pages.