 | 2008 |
|---|
| 12 |       | Xiayong Hu,
Mark Lawford,
Alan Wassyng:
Formal Verification of the Implementability of Timing Requirements.
FMICS 2008: 119-134 |
| 2007 |
|---|
| 11 | | Dennis K. Peters,
Mark Lawford,
Baltasar Trancón-y-Widemann:
An IDE for software development using tabular expressions.
CASCON 2007: 248-251 |
| 10 |  | Tom Arbuckle,
Adam Balaban,
Dennis K. Peters,
Mark Lawford:
Software Documents: Comparison and Measurement.
SEKE 2007: 740- |
| 2006 |
|---|
| 9 | | Vera Pantelic,
Xiao-Hui Jin,
Mark Lawford,
David Lorge Parnas:
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.
Software Engineering Research and Practice 2006: 629-635 |
| 8 | | Mark Lawford,
Vera Pantelic,
Hong Zhang:
Towards Integrated Verification of Timed Transition Models.
Fundam. Inform. 70(1-2): 75-110 (2006) |
| 7 | | Alan Wassyng,
Mark Lawford:
Software tools for safety-critical software development.
STTT 8(4-5): 337-354 (2006) |
| 2005 |
|---|
| 6 | | Alan Wassyng,
Mark Lawford,
Xiayong Hu:
Timing Tolerances in Safety-Critical Software.
FM 2005: 157-172 |
| 2004 |
|---|
| 5 | | Mark Lawford,
Hong Zhang:
Equivalence Verification of Timed Transition Models.
ACSD 2004: 155-164 |
| 2003 |
|---|
| 4 | | Alan Wassyng,
Mark Lawford:
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.
FME 2003: 133-153 |
| 3 | | David Lorge Parnas,
Mark Lawford:
Guest Editors' Introduction: Inspection's Role in Software Quality Assurance.
IEEE Software 20(4): 16-20 (2003) |
| 2 | | David Lorge Parnas,
Mark Lawford:
The Role of Inspection in Software Quality Assurance.
IEEE Trans. Software Eng. 29(8): 674-676 (2003) |
| 2000 |
|---|
| 1 | | Mark Lawford,
Jeff McDougall,
Peter Froebel,
Greg Moum:
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software.
AMAST 2000: 73-88 |
