Mark Lawford

	2012
21		Vera Pantelic, Mark Lawford: Optimal Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Automat. Contr. 57(5): 1110-1124 (2012)
	2011
20		Marc Bender, Mark Lawford: A low-power, low-cost automotive touchscreen with real controls. CCECE 2011: 1416-1419
19		Alan Wassyng, Mark Lawford, T. S. E. Maibaum: Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT 2011: 219-226
18		Colin Eles, Mark Lawford: A Tabular Expression Toolbox for Matlab/Simulink. NASA Formal Methods 2011: 494-499
	2010
17		Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff: Software certification consortium: certification methods for safety-critical software. CASCON 2010: 434-436
16		Mark Lawford, T. S. E. Maibaum, Alan Wassyng: Certification of Software-Driven Medical Devices. ISoLA (2) 2010: 293-295
15		Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer: Software Certification: Is There a Case against Safety Cases? Monterey Workshop 2010: 206-227
	2009
14		John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden: A Software Certification Consortium and its Top 9 Hurdles. Electr. Notes Theor. Comput. Sci. 238(4): 11-17 (2009)
	2008
13		Xiayong Hu, Mark Lawford, Alan Wassyng: Formal Verification of the Implementability of Timing Requirements. FMICS 2008: 119-134
12		Alan Wassyng, T. S. E. Maibaum, Mark Lawford: On Software Certification: We Need Product-Focused Approaches. Monterey Workshop 2008: 250-274
	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

Coauthor Index

1	Tom Arbuckle	[10]
2	Adam Balaban	[10]
3	Marc Bender	[20]
4	Hans Bherer	[15]
5	Colin Eles	[18]
6	Peter Froebel	[1]
7	John Hatcliff	[14] [17]
8	Mats Per Erik Heimdahl	[14]
9	Xiayong Hu	[6] [13]
10	Xiao-Hui Jin	[9]
11	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[12] [14] [15] [16] [17] [19]
12	Jeff McDougall	[1]
13	Greg Moum	[1]
14	Vera Pantelic	[8] [9] [21]
15	David Lorge Parnas	[2] [3] [9]
16	Dennis K. Peters	[10] [11]
17	Baltasar Trancón-y-Widemann	[11]
18	Alan Wassyng	[4] [6] [7] [12] [13] [14] [15] [16] [17] [19]
19	Jens H. Weber (Jens H. Weber-Jahnke, Jens H. Jahnke)	[17]
20	Fred L. Wurden	[14]
21	Hong Zhang	[5] [8]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page