Steve Roach

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

24EESalamah 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
21EESteve 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
20EESalamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. ATVA 2007: 533-542
19EESalamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Verification of Automatically Generated Pattern-Based LTL Specifications. HASE 2007: 341-348
18EELuis García, Steve Roach: Model-Checker-Based Testing of LTL Specifications. HASE 2007: 417-418
17EEOmar 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
16EEOscar 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)
15EEVictor 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)
14EEZubin Balsara, Steve Roach: Prediction of inherited and genetic mutations using the software model checker SPIN. SAC 2005: 208-209
13EESalamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon: Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220
12EEAnn Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112
11EEVictor 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
10EESteve Roach, Jeffrey Van Baalen: Automated Procedure Construction for Deductive Synthesis. Autom. Softw. Eng. 12(4): 393-414 (2005)
9EEGregory 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
7EENelly 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)
6EEAnn 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)
4EEOscar Mondragon, Ann Q. Gates, Steve Roach: Prospec: Support for Elicitation and Formal Specification of Software Properties. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
3EESteve Roach, Jeffrey Van Baalen: Experience Report on Automated Procedure Construction for Deductive Synthesis. ASE 2002: 69-
2EEAnn Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado: DynaMICs: Comprehensive Support for Run-Time Monitoring. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
1EEJeffrey Van Baalen, Steve Roach: Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. LOPSTR 1998: 61-70

Coauthor Index

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

Colors in the list of coauthors

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