SQRL Report No. 1
"On Documenting the Requirements for Computer Programs Based on
Models of Physical Phenomena"
Parnas, D.L.
Kreyman, K.
abstract compressed ps file PDF file
January 2002
SQRL Report No. 2
"Hierarchical Interface-based Supervisory Control: AIP Example for
Parallel Case"
Leduc, R.J., Lawford, M., Wonham,
W.M.
abstract compressed ps file PDF file
February 2002
SQRL Report No. 3
"A Model of Concurrency in Object-Oriented Databases"
Daniela Rosu
abstract compressed ps file PDF file
February 2002
SQRL Report No. 4
"Table Input Method: A Tool for the Construction of Tabular
Expression is the Table Tool System"
Kowalik,
J.G.
abstract compressed ps file PDF file
May 2002
SQRL Report No. 5
"Computing the Singular Values of 2-by-2 Complex Matrices"
Qiao, S., Wang, X.
abstract compressed ps file PDF file
June 2002
SQRL Report No. 6
"The Design and Implementation of an Object-Oriented Validated ODE
Solver"
Nedialkov, N., Jackson,
K.R.
abstract compressed ps file PDF file
June 2002
SQRL Report No. 7
"Basic Science for Software Developers"
Parnas, D.L.,
Soltys, M.,
abstract compressed ps file PDF file
October 2002
SQRL Report No. 8
"Right on Time: Pre-verified Software Components for Construction
of Real-Time Systems"
Lawford, M., Hu, X.
abstract compressed ps file PDF file
November 2002
SQRL Report No. 9
"Robust Nonblocking Supervisory Control of Discrete-Event
Systems"
Bourdon, S.E.,
Lawford, M.,
Wonham, W.M.
abstract compressed ps file PDF file
February
2003
SQRL Report No. 10
"Verification of the WAP Transaction Layer Using the Model Checker
SPIN"
He, T.Y.,
abstract PDF file
August
2003
SQRL Report No. 11
"Modelling Concurrency by Tabular Expressions"
Yang, Y.
abstract compressed ps file PDF file
August
2003
SQRL Report No. 12
"Hierarchical Interface-based Supervisory Control: Part I: Serial
Case"
Leduc, R.J., Brandin,
B.A., Lawford, M.,
Wonham, W.M.
abstract compressed ps file PDF file
August
2003
SQRL Report No. 13
"Hierarchical Interface-based Supervisory Control: Part II:
Parallel Case"
Leduc, R.J., Lawford, M., Wonham,
W.M.
abstract compressed ps file PDF file
August
2003
SQRL Report No. 14 (rev 2)
"A Basic Extended Simple Type Theory"
Farmer, W.M.
abstract PDF file
June 2004
SQRL Report No. 15
"Compositional Syntax and Semantics of Tables"
Kahl, W.,
abstract compressed ps file compressed ps file (2 pages per sheet)
PDF file
October
2003
SQRL Report No. 16
"Basic Pattern Matching Calculi"
Kahl, W.,
abstract compressed ps file compressed ps file (2 pages per sheet)
PDF file
October
2003
SQRL Report No. 17
"Formal Verification of Timed Transition Models"
Zhang, H.
abstract compressed ps file PDF file
November
2003
SQRL Report No. 18 (rev 2)
"The Seven Virtues of Simple Type Theory"
Farmer, W.M.
abstract PDF file
November
2006
SQRL Report No. 19
"Inspecting the Source Code that Implements the PPP Protocol in
Linux"
Rusovan,
S.,
abstract compressed ps file PDF file
January
2004
SQRL Report No. 20
"Declarative Assembler"
Anand, C., Carette, J., Kahl, W., Gibbard, C., Lortie, R.
abstract PDF file
October
2004
SQRL Report No. 21
" Supervisory Control of Probabilistic Discrete Event
Systems."
Pantelic,
V., Postma, S., and Lawford, M.
abstract PDF file
July 2008
SQRL Report No. 23
"Generating Test Cases From Software Documentation"
Shilei
Liu
abstract compressed ps file PDF file
July 2001
SQRL Report No. 24
"A Comparative Study of Pre/postcondition and Relational Approaches
to Program Development"
Hong Duan
abstract compressed ps file PDF file
January
2005
SQRL Report No. 25
"Use of Tabular Expressions in the Inspection of Concurrent
Programs"
Xiao-Hui
Jin
abstract PDF file
February
2005
SQRL Report No. 26
"Inspection of Software with Incomplete Description"
Michael
Sharygin
abstract compressed ps file PDF file
February
2005
SQRL Report No. 27
"Inspection of OO Software with Incomplete Documentation Using a
Document Driven Approach"
Hongying
Shi
abstract PDF file
April
2005
SQRL Report No. 28
"Gaussian Elimination: a case study in efficient genericity with
MetaOCaml"
Jacques Carette
abstract PDF file
June 2005
SQRL Report No. 31
"COG-PETS: Code Generation for Parameter Estimation in Time
Series"
Christopher Kumar Anand, Jacques Carette, Andrew Thomas
Curtis, David Miller
abstract PDF file
June 2005
SQRL Report No. 32
"Hierarchical Interface-based Supervisory Control of a Flexible
Manufacturing System"
Leduc, R.J., Lawford, M., Dai,
P.
abstract compressed ps file PDF file
December
2005
SQRL Report No. 33
"Bimonadic Semantics for Basic Pattern Matching Calculi"
Kahl, W., Carette, J., Ji,
X.
abstract PDF file
June 2006
SQRL Report No. 34
"Topics in Software Design. Volume 1"
Sekerinski, E.
abstract PDF file
June 2005
SQRL Report No. 35
"Topics in Software Design. Volume 2"
Sekerinski, E.
abstract PDF file
April
2006
SQRL Report No. 36
"Inspection of Concurrent Systems: Combining Tables, Theorem Proving
and Model Checking"
Pantelic,
V.
abstract PDF file
May 2006
SQRL Report No. 37
"CERTSOFT06: First International Workshop on Software Certification"
Gnesi, S., Maibaum, T.S., Wassyng, A.
abstract PDF file
August
2006
SQRL Report No. 38
"Chiron: A Set Theory with Types, Undefinedness, Quotation, and
Evaluation"
Farmer, W.M.
abstract PDF file
March
2009
SQRL Report No. 41
"Trustable Communication Between Mathematics Systems"
Carette, J., Farmer, W.M., Wajs, J.
abstract PDF file
October
2004
SQRL Report No. 42
"A Canonical Form for Piecewise Defined Functions"
Carette, J.
abstract PDF file
May 2007
SQRL Report No. 43
"A Domain-Specific Language for the Generation of Optimized
SIMD-Parallel Assembly Code"
Anand, C.K., Kahl, W.
abstract PDF file
May 2007
SQRL Report No. 44
"Hierarchical Interface-Based Supervisory Control with Data
Events."
Leduc, R.
abstract PDF file
July 2007
SQRL Report No. 45
"Developing User-Centric Software Requirements
Specifications."
Sun,
Hongqing.
abstract PDF file
August
2007
SQRL Report No. 46
"Synthesis Method for Hierarchical Interface-Based Supervisory
Control."
Leduc, R., Dai, P.,
Song, R.
abstract PDF file
August
2007
SQRL Report No. 47
"Modern Extensible Languages."
Zingaro,
D.
abstract PDF file
October
2007
SQRL Report No. 48
"Model Manipulation as Part of a Better Development Process for
Scientific Computing Code."
Carette, J., Smith, S., McCutchan, J.,
Anand, C.,
Korobkine, A.
abstract PDF file
December
2007
SQRL Report No. 49
"Teaching the Unifying Mathematics of Software Design."
Sekerinski, E.
abstract PDF file
December
2007
SQRL Report No. 50
"Synthesising and Verifying Multi-Core Parallelism in Categories of
Nested Code Graphs."
Anand, C.K., Kahl, W.
abstract PDF file
January
2008
SQRL Report No. 51
"Integrated Software Methodologies - An Engineering Approach."
Wassyng, A., Lawford, M.
abstract PDF file
February
2008
SQRL Report No. 52
"Formal Verification of Implementability of Timing
Requirements."
Hu, X., Lawford, M., Wassyng, A.
abstract PDF file
February
2008
SQRL Report No. 53
"On the Practice of B-ing Earley."
Zingaro,
D.
abstract PDF file
March
2008
SQRL Report No. 54
"Specifying and Simulating the Externally Observable Behavior of
Modules."
Wang, Y.
abstract PDF file
May 2008
SQRL Report No. 56
" Collagories for Relational Adhesive Rewriting."
Kahl, W.
abstract PDF file
July 2009
SQRL Report No. 57
" Collagory Notes, Version 1."
Kahl, W.
abstract PDF file
March
2010
SQRL Report No. 58
" An Experimental Implementation of Action-Based Concurrency."
Cui, X., Sekerinski, E.
abstract PDF file
July 2009
SQRL Report No. 59
" Challenges in Software Certification."
Maibaum, T.
abstract PDF file
May 2010