dblp.uni-trier.dewww.uni-trier.de

Mark Lawford

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
11EEDennis 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
8EEMark Lawford, Vera Pantelic, Hong Zhang: Towards Integrated Verification of Timed Transition Models. Fundam. Inform. 70(1-2): 75-110 (2006)
7EEAlan Wassyng, Mark Lawford: Software tools for safety-critical software development. STTT 8(4-5): 337-354 (2006)
2005
6EEAlan Wassyng, Mark Lawford, Xiayong Hu: Timing Tolerances in Safety-Critical Software. FM 2005: 157-172
2004
5EEMark Lawford, Hong Zhang: Equivalence Verification of Timed Transition Models. ACSD 2004: 155-164
2003
4EEAlan Wassyng, Mark Lawford: Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. FME 2003: 133-153
3EEDavid Lorge Parnas, Mark Lawford: Guest Editors' Introduction: Inspection's Role in Software Quality Assurance. IEEE Software 20(4): 16-20 (2003)
2EEDavid Lorge Parnas, Mark Lawford: The Role of Inspection in Software Quality Assurance. IEEE Trans. Software Eng. 29(8): 674-676 (2003)
2000
1EEMark 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

Coauthor Index

1Tom Arbuckle [10]
2Adam Balaban [10]
3Peter Froebel [1]
4Xiayong Hu [6]
5Xiao-Hui Jin [9]
6Jeff McDougall [1]
7Greg Moum [1]
8Vera Pantelic [8] [9]
9David Lorge Parnas [2] [3] [9]
10Dennis K. Peters [10] [11]
11Baltasar Trancón-y-Widemann [11]
12Alan Wassyng [4] [6] [7]
13Hong Zhang [5] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)