Steve Roach

	2008
24		Salamah Salamah, Ann Q. Gates, Steve Roach: Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG 2008: 9-14
23		Luis García, Steve Roach, Salamah Salamah: PROTEF: Automatic Verification of Pattern-Based LTL Templates. SEKE 2008: 261-266
22		Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela: A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. SEKE 2008: 273-278
21		Steve Roach, Jules Simon: Teaching and Assessing Graduate Ethics in Engineering, Science, and Technology. Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education 2008: 509-513
	2007
20		Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. ATVA 2007: 533-542
19		Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Verification of Automatically Generated Pattern-Based LTL Specifications. HASE 2007: 341-348
18		Luis García, Steve Roach: Model-Checker-Based Testing of LTL Specifications. HASE 2007: 417-418
17		Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates: Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. RV 2007: 75-86
16		Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky: Generating Properties for Runtime Monitoring from Software Specification Patterns. International Journal of Software Engineering and Knowledge Engineering 17(1): 107-126 (2007)
	2006
15		Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom: A transformational perspective into the core of an abstract class loader for the SSP. ACM Trans. Embedded Comput. Syst. 5(4): 773-818 (2006)
	2005
14		Zubin Balsara, Steve Roach: Prediction of inherited and genetic mutations using the software model checker SPIN. SAC 2005: 208-209
13		Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon: Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220
12		Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112
11		Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach: A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. WORDS 2005: 301-311
10		Steve Roach, Jeffrey Van Baalen: Automated Procedure Construction for Deductive Synthesis. Autom. Softw. Eng. 12(4): 393-414 (2005)
	2004
9		Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter: The SSP: An Example of High-Assurance Systems Engineering. HASE 2004: 167-177
8		Victor L. Winter, Steve Roach, Fares Fraij: Higher-order strategic programming: A road to software assurance. IASTED Conf. on Software Engineering and Applications 2004: 350-355
7		Nelly Delgado, Ann Q. Gates, Steve Roach: A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Trans. Software Eng. 30(12): 859-872 (2004)
	2003
6		Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach: Instrumentation of Intermediate Code for Runtime Verification. SEW 2003: 66
5		Victor L. Winter, Steve Roach, Gregory L. Wickstrom: Transformation-oriented programming: A development methodology for high assurance software. Advances in Computers 58: 49-117 (2003)
4		Oscar Mondragon, Ann Q. Gates, Steve Roach: Prospec: Support for Elicitation and Formal Specification of Software Properties. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
	2002
3		Steve Roach, Jeffrey Van Baalen: Experience Report on Automated Procedure Construction for Deductive Synthesis. ASE 2002: 69-
	2001
2		Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado: DynaMICs: Comprehensive Support for Run-Time Monitoring. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
	1998
1		Jeffrey Van Baalen, Steve Roach: Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. LOPSTR 1998: 61-70

Coauthor Index

1	Jeffrey Van Baalen	[1] [3] [10]
2	Zubin Balsara	[14]
3	Jason Beranek	[11] [15]
4	Jared Davis	[9]
5	Nelly Delgado	[2] [7]
6	Fares Fraij	[8] [11] [15]
7	Irbis Gallegos	[12] [17] [22]
8	Luis García	[18] [23]
9	Ann Q. Gates	[2] [4] [6] [7] [12] [13] [16] [17] [19] [20] [22] [24]
10	Vladik Kreinovich	[19] [20]
11	Azamatbek Mametjanov	[11]
12	Humberto Mendoza	[16]
13	Oscar Mondragon	[2] [4] [6] [13] [16]
14	Steven E. Morrison	[9]
15	Omar Ochoa	[12] [17] [22]
16	Mary Payne	[6]
17	Salamah Salamah	[13] [19] [20] [22] [23] [24]
18	Jules Simon	[21]
19	Oleg Sokolsky	[12] [16]
20	Corina Vela	[22]
21	Gregory L. Wickstrom	[5] [9] [15]
22	Victor L. Winter	[5] [8] [9] [11] [15]

Colors in the list of coauthors